- Notifications
You must be signed in to change notification settings - Fork2
SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)
License
shafiul/slemi
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
We are investigating automatedEquivalence Modulo Input (EMI)-based testing of commercial cyber-physical system development tool chains (e.g. MATLAB/Simulink). We present following three independant tools in this repository:
Our SLEMI paper has been accepted at the prestigious 42th International Conference on Software Engineering (ICSE 2020, CORE: A*, acceptance rate: 20.3%)!
MATLAB R2018a with default Simulink toolboxes
Please usegit to properly install all third-party dependencies:
git clone <REPO URL>cd <REPO>git submodule update --initmatlab # Opens MATLABCheck out tutorials to get started!
We use the open sourceSLforge tool to generate valid Simulink models.Although we initially forked from the project, our current version is independant of SLforge and its predecessor CyFuzz
Check outSLforge homepage for latest news, running the tools and to contribute.
We would like to thank our mentors at MathWorks, Stephen Van Kooten, Jing Shen, Divya Bhat, Akshay Rajhans, and Pieter J. Mosterman, for valuable technical discussions and feedback throughout the project. The material presented in this paper is based upon work supported by a Development Collaborative Research Grant (DCRG) from MathWorks, the National Science Foundation (NSF) under grant numbers CNS 1464311, CNS 1713253, EPCN 1509804, SHF 1527398, and SHF 1736323, the Air Force Research Laboratory (AFRL) through the AFRL's Visiting Faculty Research Program (VFRP) under contract number FA8750-13-2-0115, as well as contract numbers FA8750-15-1-0105, and FA8650-12-3-7255 via subcontract number WBSC 7255 SOI VU 0001, and the Air Force Office of Scientific Research (AFOSR) through AFOSR's Summer Faculty Fellowship Program (SFFP) under contract number FA9550-15-F-0001, as well as under contract numbers FA9550-15-1-0258 and FA9550-16-1-0246. The U.S. government is authorized to reproduce and distribute reprints for Governmental purposes notwithstanding any copyright notation thereon. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of AFRL, AFOSR, NSF, or MathWorks.