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%.

Conference Day
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 ChekamSES S.A. & University of Luxembourg (SnT), Mike PapadakisUniversity of Luxembourg, Luxembourg, Maxime CordyUniversity of Luxembourg, Luxembourg, Yves Le TraonUniversity of Luxembourg, Luxembourg
Link to publication Pre-print
16:50
15m
Short-paper
Toward Speeding up Mutation Analysis by Memoizing Expensive MethodsNIER
NIER - New Ideas and Emerging Results
Ali GhanbariThe University of Texas at Dallas, Andrian MarcusUniversity of Texas at Dallas
Pre-print
17:05
20m
Paper
What It Would Take to Use Mutation Testing in Industry—A Study at FacebookSEIP
SEIP - Software Engineering in Practice
Moritz BellerFacebook, Inc., Chu-Pan WongCarnegie Mellon University, USA, Johannes BaderJane Street, Andrew ScottFacebook, Mateusz MachalicaFacebook, Inc., Satish ChandraFacebook, USA, Erik MeijerFacebook
Pre-print

Conference Day
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 ChekamSES S.A. & University of Luxembourg (SnT), Mike PapadakisUniversity of Luxembourg, Luxembourg, Maxime CordyUniversity of Luxembourg, Luxembourg, Yves Le TraonUniversity of Luxembourg, Luxembourg
Link to publication Pre-print
04:50
15m
Short-paper
Toward Speeding up Mutation Analysis by Memoizing Expensive MethodsNIER
NIER - New Ideas and Emerging Results
Ali GhanbariThe University of Texas at Dallas, Andrian MarcusUniversity of Texas at Dallas
Pre-print
05:05
20m
Paper
What It Would Take to Use Mutation Testing in Industry—A Study at FacebookSEIP
SEIP - Software Engineering in Practice
Moritz BellerFacebook, Inc., Chu-Pan WongCarnegie Mellon University, USA, Johannes BaderJane Street, Andrew ScottFacebook, Mateusz MachalicaFacebook, Inc., Satish ChandraFacebook, USA, Erik MeijerFacebook
Pre-print