Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 15:00 - 15:20 at Van-Horne - Specifications and Models Chair(s): Sylvain Hallé

In this paper, we present the CLEAR visualizer tool, which supports the debugging task of behavioural models being analyzed using model checking techniques. The tool provides visualization techniques for simplifying the comprehension of counterexample by highlighting some specific states in the model where a choice is possible between executing a correct behaviour or falling into an erroneous part of the model. Our tool was applied successfully to many case studies and allowed us to visually identify several kinds of typical bugs. Video URL: https://youtu.be/nJLOnRaPe1A

Fri 31 May
Times are displayed in time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Specifications and ModelsPapers / Demonstrations / Technical Track at Van-Horne
Chair(s): Sylvain HalléUniversité du Québec à Chicoutimi, Canada
14:00
20m
Talk
PsALM: Specification of Dependable Robotic MissionsDemos
Demonstrations
Claudio MenghiUniversity of Luxembourg, SnT, Christos TsigkanosTechnische Universität Wien, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Patrizio PelliccioneChalmers | University of Gothenburg and University of L'Aquila
14:20
20m
Talk
Symbolic Repairs for GR(1) SpecificationsArtifacts Evaluated ReusableTechnical Track
Technical Track
Shahar MaozTel Aviv University, Jan Oliver RingertTel Aviv University, Rafi ShalomTel Aviv University
14:40
20m
Talk
ARepair: A Repair Framework for AlloyDemos
Demonstrations
Kaiyuan WangGoogle, Inc., Allison SullivanNorth Carolina Agriculture and Technical State University, Sarfraz KhurshidUniversity of Texas at Austin
15:00
20m
Talk
Visual Debugging of Behavioural ModelsDemos
Demonstrations
Gianluca BarbonUniversité Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaünUniversity of Grenoble Alpes, Emmanuel YahUniversité Grenoble Alpes
15:20
10m
Talk
Discussion Period
Papers