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

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

Reference:

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

Bibtex Entry:

@inproceedings{chowdhury2020icse,
  title = {SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink},
  author = {Shafiul Azam Chowdhury and Sohil Lal Shrestha and Taylor T. Johnson and Christoph Csallner},
  year = {2020},
  month = jun,
  booktitle = {42nd International Conference on Software Engineering (ICSE'20)},
  pages = {335--346},
  publisher = {ACM},
  doi = {10.1145/3377811.3380381},
  publabel = {C26},
  pubtype = {C},
  dblp = {conf/icse/ChowdhurySJC20},
  s2id = {211103257},
  pdf = "research/chowdhury2020icse.pdf",
}