Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI) (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, "Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)", In 42nd International Conference on Software Engineering (ICSE'20), ACM, pp. 1–4, 2020.

Bibtex Entry:

@inproceedings{chowdhury2020icse_demo,
  title = {Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)},
  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 = {1--4},
  publisher = {ACM},
  doi = {10.1145/3377812.3382147},
  publabel = {D8},
  pubtype = {D},
  pdf = "research/chowdhury2020icse_demo.pdf",
}