Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI) (ICSE 2020 - Demonstrations)

Who

Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T Johnson, Christoph Csallner

Track

ICSE 2020 Demonstrations

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 7 Jul 2020 16:29 - 16:32 at Baekje - A4-Cyber-Physical Systems Chair(s): Joanne M. Atlee

Abstract

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

Link to Publication

http://ranger.uta.edu/~csallner/papers/Chowdhury20Demo.pdf

DOI

https://doi.org/10.5281/zenodo.3627640

Shafiul Azam Chowdhury

University of Texas at Arlington

United States

Sohil Lal Shrestha

The University of Texas at Arlington

United States

Taylor T Johnson

Vanderbilt University

United States

Christoph Csallner

University of Texas at Arlington

United States

SLEMI: Automatically Find Compiler Bugs in Simulink using Equivalence Modulo Input (EMI)

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 7 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

	16:05 - 17:05: A4-Cyber-Physical SystemsPaper Presentations / Software Engineering in Practice / Technical Papers / Demonstrations at Baekje Chair(s): Joanne M. AtleeUniversity of Waterloo

	16:05 - 16:17 Talk		Adapting Requirements Models to Varying EnvironmentsTechnical Technical Papers Dalal AlrajehImperial College London, Antoine CailliauICTEAM, UCLouvain, Axel van LamsweerdeUniversité catholique de Louvain
	16:17 - 16:29 Talk		Comparing Formal Tools for System Design: a Judgment StudyTechnical Technical Papers Alessio FerrariCNR-ISTI, Franco MazzantiISTI-CNR, Davide BasileUniversity of Florence, Maurice H. ter BeekISTI-CNR, Alessandro FantechiUniversity of Florence DOI Pre-print
	16:29 - 16:32 Talk		Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)Demo Demonstrations 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
	16:32 - 16:44 Talk		The Forgotten Case of the Dependency Bugs: On the Example of the Robot Operating SystemSEIP Software Engineering in Practice Anders Fischer-NielsenIT University of Copenhagen, Zhoulai FuIT University of Copenhagen, Denmark, Ting SuETH Zurich, Switzerland, Andrzej WąsowskiIT University of Copenhagen, Denmark Pre-print
	16:44 - 16:47 Talk		PROMISE: High-Level Mission Specification for Multiple RobotsDemo Demonstrations Sergio GarciaChalmers \| University of Gothenburg, Patrizio PelliccioneUniversity of L'Aquila and Chalmers \| University of Gothenburg, Claudio MenghiUniversity of Luxembourg, Thorsten BergerChalmers \| University of Gothenburg, Tomas BuresCharles University, Czech Republic
	16:47 - 16:59 Talk		How do you Architect your Robots? State of the Practice and Guidelines for ROS-based SystemsSEIP Software Engineering in Practice Ivano MalavoltaVrije Universiteit Amsterdam, Grace LewisCarnegie Mellon Software Engineering Institute, Bradley SchmerlCarnegie Mellon University, USA, Patricia LagoVrije Universiteit Amsterdam, David GarlanCarnegie Mellon University