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

Finding bugs in commercial cyber-physical system development tools (or "model-based design" tools) such as MathWorks's 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...

Full description

Bibliographic Details

Published in:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) pp. 335 - 346
Main Authors:	Chowdhury, Shafiul Azam, Shrestha, Sohil Lal, Johnson, Taylor T., Csallner, Christoph
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.10.2020
Subjects:	Cyber-physical systems differential testing equivalence modulo input model mutation Simulink
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!