SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink
Technical
Finding bugs in commercial cyber-physical system development tools such as MathWorks Simulink is important in practice, as these tools are widely used to generate embedded code that gets deployed in safety-critical applications such as cars and planes. Equivalence Modulo Input (EMI) based mutation is a new twist on differential testing that promises lower use of computational resources and has already been successful at finding bugs in compilers for procedural languages. To provide EMI-based mutation for differential testing of cyber-physical system development tools, this paper develops several novel mutation techniques. These techniques deal with CPS language features that are not found in procedural languages, such as an explicit notion of execution time and zombie code, which combines properties of live and dead procedural code. In our experiments the most closely related work SLforge found two bugs in the Simulink tool. In comparison, SLEMI found a super-set of issues, including 9 confirmed as bugs by MathWorks Support.
Tue 7 Jul Times are displayed in time zone: (UTC) Coordinated Universal Time change
15:00 - 16:00: A1-Autonomous Driving SystemsPaper Presentations / Technical Papers at Baekje Chair(s): Donghwan ShinUniversity of Luxembourg (SnT) | |||
| 15:00 - 15:12 Talk | SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink Technical Papers Shafiul Azam ChowdhuryUniversity of Texas at Arlington, Sohil Lal ShresthaThe University of Texas at Arlington, Taylor T JohnsonVanderbilt University, Christoph CsallnerUniversity of Texas at Arlington Link to publication DOI Media Attached | ||
| 15:12 - 15:24 Talk | DeepBillboard: Systematic Physical-World Testing of Autonomous Driving SystemsTechnical Technical Papers Husheng ZhouThe University of Texas at Dallas, Wei LiSouthern University of Science and Technology, Zelun KongThe University of Texas at Dallas, Junfeng GuoThe University of Texas at Dallas, Yuqun ZhangSouthern University of Science and Technology, Lingming ZhangThe University of Texas at Dallas, Bei YuThe Chinese University of Hong Kong, Cong LiuUT Dallas | ||
| 15:24 - 15:36 Talk | Misbehaviour Prediction for Autonomous Driving SystemsTechnical Technical Papers Andrea StoccoUniversità della Svizzera italiana, Michael WeissUniversità della Svizzera Italiana (USI), Marco CalzanaUniversità della Svizzera Italiana (USI), Paolo TonellaUniversità della Svizzera italiana Pre-print | ||
| 15:36 - 15:48 Talk | Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification Technical Papers Claudio MenghiUniversity of Luxembourg, Shiva NejatiUniversity of Ottawa, Lionel BriandSnT Centre/University of Luxembourg, Yago Isasi ParacheLuxSpace | ||
| 15:48 - 16:00 Talk | A Comprehensive Study of Autonomous Vehicle BugsTechnical Technical Papers Joshua GarciaUniversity of California, Irvine, Yang FengNanjing University, Junjie ShenUniversity of California, Irvine, Sumaya AlmaneeUniversity of California, Irvine, Yuan XiaUniversity of California, Irvine, Qi Alfred ChenUniversity of California, Irvine | ||