Detecting Simulink compiler bugs via controllable zombie blocks mutation

Shikai Guo, He Jiang 0001, Zhihao Xu, Xiaochen Li, Zhilei Ren, Zhide Zhou, Rong Chen 0003. Detecting Simulink compiler bugs via controllable zombie blocks mutation. In Abhik Roychoudhury, Cristian Cadar, Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. pages 1061-1072, ACM, 2022. [doi]

Abstract

Abstract is missing.