SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI).

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

Browse the full ICSE paper archive.