Demo: SLEMI: Finding Simulink compiler bugs through equivalence modulo input (EMI)
Demo: SLEMI: Finding Simulink compiler bugs through equivalence modulo input (EMI)
复制标题
演示：SLEMI：通过等效模输入 (EMI) 查找 Simulink 编译器错误
DOI：
10.1145/3377812.3382147
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Csallner, Christoph
中科院分区：
文献类型：
--
作者：
Chowdhury, Shafiul Azam;Shrestha, Sohil Lal;Johnson, Taylor T.;Csallner, Christoph
This demo presents usage and implementation details of SLEMI. SLEMI is the first tool to automatically find compiler bugs in the widely used cyber-physical system development tool Simulink via Equivalence Modulo Input (EMI). EMI is a recent twist on differential testing that promises more efficiency. SLEMI implements several novel mutation techniques that deal with CPS language features that are not found in procedural languages. This demo also introduces a new EMI-based mutation strategy that has already found a new confirmed bug in Simulink version R2018a. To increase SLEMI's efficiency further, this paper presents parallel generation of random, valid Simulink models. A video demo of SLEMI is available at https://www.youtube.com/watch?v=oliPgOLT6eY.
