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

icse-2019-Paper-Presentations
14:00 - 15:30: Papers - Specifications and Models at Van-Horne
Chair(s): Sylvain HalléUniversité du Québec à Chicoutimi, Canada
icse-2019-Demonstrations14:00 - 14:20
Talk
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
icse-2019-Technical-Papers14:20 - 14:40
Talk
Shahar MaozTel Aviv University, Jan Oliver RingertTel Aviv University, Rafi ShalomTel Aviv University
icse-2019-Demonstrations14:40 - 15:00
Talk
Kaiyuan WangGoogle, Inc., Allison SullivanNorth Carolina Agriculture and Technical State University, Sarfraz KhurshidUniversity of Texas at Austin
icse-2019-Demonstrations15:00 - 15:20
Talk
Gianluca BarbonUniversité Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaünUniversity of Grenoble Alpes, Emmanuel YahUniversité Grenoble Alpes
icse-2019-Paper-Presentations15:20 - 15:30
Talk