Published January 25, 2020 | Version v1
Software Open

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

Creators

  • 1. The University of Texas at Arlington
  • 2. Vanderbilt University

Description

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

slemi-icse.zip

Files (42.4 MB)

Name Size Download all
md5:76acbaac38a800a573dbd29cbd26e9fe
42.4 MB Preview Download