Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021

We introduce SEMu, a Dynamic Symbolic Execution technique that generates test inputs capable of killing stubborn mutants (killable mutants that remain undetected after a reasonable amount of testing). SEMu aims at mutant propagation (triggering erroneous states to the program output) by incrementally searching for divergent program behaviours between the original and the mutant versions. We model the mutant killing problem as a symbolic execution search within a specific area in the programs’ symbolic tree. In this framework, the search area is defined and controlled by parameters that allow scalable and cost-effective mutant killing. We integrate SEMu in KLEE and experimented with Coreutils (a benchmark frequently used in symbolic execution studies). Our results show that our modelling plays an important role in mutant killing. Perhaps more importantly, our results also show that, within a two-hour time limit, SEMu kills 37% of the stubborn mutants, where KLEE kills none and where the mutant infection strategy (strategy suggested by previous research) kills 17%.

Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 17:25
16:30
20m
Paper
Killing Stubborn Mutants with Symbolic ExecutionJournal-First
Journal-First Papers
Thierry Titcheu Chekam SES S.A. & University of Luxembourg (SnT), Mike Papadakis University of Luxembourg, Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
Link to publication Pre-print Media Attached
16:50
15m
Short-paper
Toward Speeding up Mutation Analysis by Memoizing Expensive MethodsNIER
NIER - New Ideas and Emerging Results
Ali Ghanbari The University of Texas at Dallas, Andrian Marcus University of Texas at Dallas
Pre-print Media Attached
17:05
20m
Paper
What It Would Take to Use Mutation Testing in Industry—A Study at FacebookSEIP
SEIP - Software Engineering in Practice
Moritz Beller Facebook, Inc., Chu-Pan Wong Carnegie Mellon University, USA, Johannes Bader Jane Street, Andrew Scott Facebook, Mateusz Machalica Facebook, Inc., Satish Chandra Facebook, USA, Erik Meijer Facebook
Pre-print Media Attached

Fri 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

04:30 - 05:25
04:30
20m
Paper
Killing Stubborn Mutants with Symbolic ExecutionJournal-First
Journal-First Papers
Thierry Titcheu Chekam SES S.A. & University of Luxembourg (SnT), Mike Papadakis University of Luxembourg, Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
Link to publication Pre-print Media Attached
04:50
15m
Short-paper
Toward Speeding up Mutation Analysis by Memoizing Expensive MethodsNIER
NIER - New Ideas and Emerging Results
Ali Ghanbari The University of Texas at Dallas, Andrian Marcus University of Texas at Dallas
Pre-print Media Attached
05:05
20m
Paper
What It Would Take to Use Mutation Testing in Industry—A Study at FacebookSEIP
SEIP - Software Engineering in Practice
Moritz Beller Facebook, Inc., Chu-Pan Wong Carnegie Mellon University, USA, Johannes Bader Jane Street, Andrew Scott Facebook, Mateusz Machalica Facebook, Inc., Satish Chandra Facebook, USA, Erik Meijer Facebook
Pre-print Media Attached