Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)

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, "Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)", 2020, May.

Bibtex Entry:

@misc{chowdhury2020icse_demo,
author="Shafiul Azam Chowdhury and Sohil Lal Shrestha and Taylor T. Johnson and Christoph Csallner",
title="Demo: {SLEMI}: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)",
year="2020",
booktitle="42nd ACM/IEEE International Conference on Software Engineering (ICSE)",
month="May",
pdf="research/chowdhury2020icse_demo.pdf",
}