Demo: SLEMI: Finding Simulink Compiler Bugs throughEquivalence Modulo Input (EMI)
Published in ICSE (CORE A*, Acceptance rate: 33.3%), 2020
Recommended citation: Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson and Christoph Csallner. "Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)" Proc. 42nd ACM/IEEE International Conference on Software Engineering (ICSE), 2020.
Abstract
This is a tool demonstration of SLEMI. It also adds a new mutation technique that found one additional new confirmed bug in Simulink.