Software Open Access

SLEMI Tool: 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

We archived the SLEMI tool which has been accepted at International Conference on Software Engineering (ICSE) 2020. Please see our homepage for details: https://github.com/shafiul/slemi/

Files (42.4 MB)
Name Size
slemi-icse.zip
md5:76acbaac38a800a573dbd29cbd26e9fe
42.4 MB Download
97
6
views
downloads
All versions This version
Views 9797
Downloads 66
Data volume 254.2 MB254.2 MB
Unique views 8383
Unique downloads 66

Share

Cite as