Merkliste 
 1 Ergebnisse 
 
1

Detecting Simulink compiler bugs via controllable zombie bl..:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Guo, Shikai ; Jiang, He ; Xu, Zhihao... - p. 1061-1072 , 2022