Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications

Publication
In 2020 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)