Tao Wang 0030, Wei Chen 0018, Liwei Liu, Guoquan Wu, Jun Wei 0001, Tao Huang 0001. Detecting Smart Home Automation Application Interferences with Domain Knowledge. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023. pages 1086-1097, IEEE, 2023. [doi]
Abstract is missing.