Tao Wang, Wei Chen, Liwei Liu, Guoquan Wu, Jun Wei, Tao Huang: Detecting Smart Home Automation Application Interferences with Domain Knowledge. ASE 2023: 1086-1097