SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink.

Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner

Browse the full ICSE paper archive.