Demo: SLEMI: Finding Simulink Compiler Bugs throughEquivalence Modulo Input (EMI)

Published in ICSE, 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.

Download paper here


This is a tool demonstration of SLEMI. It also adds a new mutation technique that found one additional new confirmed bug in Simulink.