This program is tentative and subject to change.
Wed 8 Oct 2025 14:36 - 14:54 at DCIH 507 - Session 4: Model Transformation, Verification, and Analysis
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 OctDisplayed time zone: Eastern Time (US & Canada) 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 18mTalk | Translating Behavior Trees to Petri Nets for Model CheckingFT 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 18mTalk | Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems 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 18mTalk | Automata Models for Effective Bug Description 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 18mTalk | Towards the Coordination and Verification of Heterogeneous Systems with Data and Time 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 18mTalk | A framework for evaluating tool support for co-evolution of modeling languages, tools and models Journal-First Juha-Pekka Tolvanen MetaCase, Steven Kelly MetaCase, Juri Di Rocco University of L'Aquila, Alfonso Pierantonio , Giordano Tinella DOI |