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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) S. 335 - 346
Hauptverfasser:	Chowdhury, Shafiul Azam, Shrestha, Sohil Lal, Johnson, Taylor T., Csallner, Christoph
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.10.2020
Schlagworte:	Cyber-physical systems differential testing equivalence modulo input model mutation Simulink
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!