SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink

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

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

Reference:

Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner, "SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink", In 42nd ACM/IEEE International Conference on Software Engineering (ICSE), 2020, May.

Bibtex Entry:

@inproceedings{chowdhury2020icse,
author="Shafiul Azam Chowdhury and Sohil Lal Shrestha and Taylor T. Johnson and Christoph Csallner",
title="{SLEMI}: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink",
year="2020",
booktitle="42nd ACM/IEEE International Conference on Software Engineering (ICSE)",
month="May",
pdf="research/chowdhury2020icse.pdf",
}