This program is tentative and subject to change.

Debugging complex systems is a crucial yet time-consuming task. This paper presents the use of automata learning and testing techniques to obtain concise and informative bug descriptions. We introduce the concepts of Failure Explanations (FE), Eventual Failure Explanations (EFE), and Early Detection (ED) to provide meaningful summaries of failing behavior patterns. By factoring out irrelevant information and focusing on essential test patterns, our approach aims to enhance bug detection and understanding. We evaluate our methods using various test patterns and real-world benchmarks, demonstrating their effectiveness in producing compact and informative bug descriptions.

This program is tentative and subject to change.

Wed 8 Oct

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Session 4: Model Transformation, Verification, and AnalysisResearch Papers / New Ideas and Emerging Results (NIER) / Journal-First at DCIH 507

Hybrid

14:00
18m
Talk
Translating Behavior Trees to Petri Nets for Model CheckingFT@In Person
Research Papers
Matteo Palmas Bosch Research, Robert Bosch GmbH, Michaela Klauck Bosch Research, Robert Bosch GmbH, Ralph Lange Bosch Research, Robert Bosch GmbH, Enrico Ghiorzi University of Genoa, Armando Tacchella University of Genoa
14:18
18m
Talk
Vision: An Extensible Methodology for Formal Software Verification in Microservice SystemsIn Person
New Ideas and Emerging Results (NIER)
Connor Wojtak University of Arizona, Darek Gajewski University of Arizona, Tucson, Arizona, USA, Tomas Cerny University of Arizona
14:36
18m
Talk
Automata Models for Effective Bug DescriptionArtifact Evaluated − FunctionalFTArtifacts Available@In Person
Research Papers
Tom Yaacov Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev, Gal Amram IBM Research, Avi Hayoun Ben-Gurion University of the Negev
14:54
18m
Talk
Towards the Coordination and Verification of Heterogeneous Systems with Data and TimeArtifact Evaluated − ReusableArtifact Evaluated − Functional@RemoteFTArtifacts Available
Research Papers
Tim Kräuter Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences, Harald König FHDW Hannover, Western Norway University of Applied Sciences, Francisco Durán University of Málaga, Spain
Pre-print
15:12
18m
Talk
A framework for evaluating tool support for co-evolution of modeling languages, tools and modelsRemote
Journal-First
DOI
Hide past events