Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Mon 26 Oct 2020 13:45 - 14:15 at Infante - RT7 - Optimizing Testing Chair(s): Fabiano Ferrari
Tue 27 Oct 2020 00:45 - 01:15 at Infante - RT7 - Optimizing Testing Chair(s): Corina S. Pasareanu

One recent promising direction on reducing costs of mutation analysis is to identify redundant mutations, i.e., mutations that are subsumed by some other mutations. Previous works found out redundant mutants manually through the truth table. Although the idea is promising, it can only be applied for logical and relational operators. In this paper, we propose an approach to discover redundancy in mutations through dynamic subsumption relations among mutants. We focus on subsumption relations among mutations of an expression or statement, named here as “mutation target:” By focusing on targets and relying on automatic test generation tools, we define subsumption relations for dozens of mutation targets in which the MUJAVA tool can apply mutations. We then implemented these relations in a tool, named MUJAVA-M, that generates a reduced set of mutants for each target, avoiding redundant mutants. We evaluated MUJAVA and MUJAVA-M using classes of five open-source projects. As results, we analyze 2,341 occurrences of 32 mutation targets in 168 classes. MUJAVA-M generates less mutants (on average 64.43% less) with 100% of effectiveness in 20 out of 32 targets and more than 95% in 29 out of 32 mutation targets. MUJAVA- M also reduced the time to execute the test suites against the mutants in 52.53% on average, considering the full mutation analysis process.

Mon 26 Oct

Displayed time zone: Lisbon change

13:45 - 15:15
RT7 - Optimizing TestingResearch Papers at Infante +11h
Chair(s): Fabiano Ferrari Federal University of São Carlos
13:45
30m
Talk
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
Research Papers
Marcio Augusto Guimarães Federal University of Alagoas (UFAL), Leo Fernandes Federal Institute of Alagoas (IFAL), Márcio Ribeiro Federal University of Alagoas, Brazil, Marcelo d'Amorim Federal University of Pernambuco, Rohit Gheyi Federal University of Campina Grande
Link to publication DOI
14:15
30m
Talk
Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs
Research Papers
Qianqian Zhu TU Delft, Andy Zaidman Delft University of Technology
Link to publication DOI Pre-print
14:45
30m
Talk
STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases
Research Papers
Abdullah Alsharif The University of Sheffield, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
Link to publication DOI

Tue 27 Oct

Displayed time zone: Lisbon change

00:45 - 02:15
RT7 - Optimizing TestingResearch Papers at Infante
Chair(s): Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
00:45
30m
Talk
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
Research Papers
Marcio Augusto Guimarães Federal University of Alagoas (UFAL), Leo Fernandes Federal Institute of Alagoas (IFAL), Márcio Ribeiro Federal University of Alagoas, Brazil, Marcelo d'Amorim Federal University of Pernambuco, Rohit Gheyi Federal University of Campina Grande
Link to publication DOI
01:15
30m
Talk
Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs
Research Papers
Qianqian Zhu TU Delft, Andy Zaidman Delft University of Technology
Link to publication DOI Pre-print
01:45
30m
Talk
STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases
Research Papers
Abdullah Alsharif The University of Sheffield, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
Link to publication DOI