SLEMI: Equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink.
Published in ICSE (CORE A*, Acceptance rate: 20.9%), 2020
Recommended citation: Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson and Christoph Csallner. "SLEMI: Equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink." Proc. 42nd ACM/IEEE International Conference on Software Engineering (ICSE), 2020.
Abstract
SLEMI speeds up our earlier SLforge random Simulink-model generator and differential testing tool. Instead of generating each Simulink model from scratch, SLEMI can quickly mutate existing models. SLEMI has found 6 new confirmed Simulink bugs.