ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
Thu 20 Apr 2023 16:30 - 17:00 at Hanover - Afternoon Session 2 Chair(s): Florian Lorber

Mutation Testing (MT) is a test quality assessment technique that creates mutants by injecting artificial faults into the system and evaluating the ability of tests to distinguish these mutants. We focus on MT for safety-critical Timed Automata (TA). MT is prone to equivalent and duplicate mutants, the former having the same behaviour as the original system and the latter other mutants. Such mutants bring no value and induce useless test case executions. We propose MUPPAAL, a tool that: (1) offers a new operator reducing the occurrence of mutant duplicates; (2) an efficient bisimulation algorithm removing remaining duplicates; (3) leverages existing equivalence-avoiding mutation operators. Our experiments on four UPPAAL case studies indicate that duplicates represent up to 32% of all mutants and that the MUPPAAL bisimulation algorithm can identify them more than 99% of the time.

Thu 20 Apr

Displayed time zone: Dublin change

16:00 - 17:30
Afternoon Session 2A-MOST at Hanover
Chair(s): Florian Lorber Aalborg University
16:00
30m
Talk
Improving Model Learning by Inferring Separating Sequences from Traces
A-MOST
Rafael Braz ICMC/USP, Adenilso Simão University of São Paulo, Roland Groz LIG/UGA, Catherine Oriat LIG/UGA
16:30
30m
Talk
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
A-MOST
Jaime Cuartas Universidad del Valle, Jesus Aranda Universidad del Valle, Maxime Cordy University of Luxembourg, Luxembourg, James Ortiz Université de Namur, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens University of Namur
17:00
15m
Day closing
Closing A-MOST 23 and Welcoming A-MOST 24!
A-MOST
Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK)