ISSTA/ECOOP 2024 (series) / DEBT 2024 (series) / Second Workshop on Future Debugging Techniques /
Bug localisation in Model-Based Testing Using Model-Centric Shrinking
Thu 19 Sep 2024 13:30 - 14:00 at EI 1 Petritsch - DEBT Work-in-progress papers
In Model-Based Testing (MBT), long traces to errors complicate bug localisation. Shrinking of these long traces, aimed at finding smaller counterexamples from existing ones, traditionally operates at the trace-level. However, leveraging the detailed behavior captured by MBT models suggests potential for more effective shrinking methods. We propose a model-centric shrinking approach, the \textit{ShortestPathShrinker}. It centers around the idea that finding shorter traces in MBT is similar to finding shorter paths in graphs. Our experimental results show that the algorithm yields smaller or comparable traces to existing methods, in a faster fashion depending on the type of bug. Future work is discussed.
Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:00 | |||
13:30 30mTalk | Bug localisation in Model-Based Testing Using Model-Centric Shrinking DEBT Susan van den Broek University of Amsterdam, Ana Oprescu University of Amsterdam, Theo C Ruys Axini B.V. DOI | ||
14:00 30mTalk | A Reversible Debugger for MPI Applications DEBT Mihkel Tiks Tartu University, Ott-Kaarel Martens Tartu University, Eero Vainikko Tartu University, Stefan Kuhn Tartu University DOI | ||
14:30 30mTalk | Language-Agnostic Debugging for Microcontrollers DEBT Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Nokia Bell Labs, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel DOI |
Information for Participants
Thu 19 Sep 2024 13:30 - 15:00 at EI 1 Petritsch - DEBT Work-in-progress papers
Info for room EI 1 Petritsch: