ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
Tue 18 Apr 2023 11:00 - 11:20 at Grand canal - Session 8: Mutation Testing Chair(s): Renzo Degiovanni

Mutation testing is a prominent technique for evaluating the effectiveness of a test suite. Existing tools developed for supporting this technique are applicable for mainstream programming languages like C and Java. Mutation testing tools and mutation operators used by these tools are inherently language-specific. Moreover, there is a lack of industrial case studies for evaluating mutation testing tools and techniques in practice. In this article, we introduce muPLSQL, a tool for applying mutation testing on PL/SQL programs, facilitating automation for both mutant generation and test execution. We utilized existing mutation operators that are applicable for PL/SQL. In addition, we introduced some operators specifically for this language. We conducted an industrial case study for evaluating the applicability and usefulness of our tool and mutation testing in general. We applied mutation testing on a business support software system. muPLSQL generated a total of 5,939 mutants. The number of live mutants was 680. Manual inspection of live mutants led to improvements of the existing test suite. In addition, we found 8 faults in source code during the inspection process. Test execution against the mutants required around 40 hours. The overall effort was almost one person month.

Tue 18 Apr

Displayed time zone: Dublin change

11:00 - 12:30
Session 8: Mutation TestingJournal-First Papers / Research Papers at Grand canal
Chair(s): Renzo Degiovanni SnT, University of Luxembourg
11:00
20m
Talk
Mutation testing of PL/SQL programs
Journal-First Papers
Arzu Behiye Tarimci Turkcell Technology, Hasan Sozer Ozyegin University
11:20
20m
Talk
How Closely are Common Mutation Operators Coupled to Real Faults?
Research Papers
Gregory Gay Chalmers | University of Gothenburg, Alireza Salahirad University of South Carolina
11:40
20m
Talk
Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust
Research Papers
Zalán Lévai University of Sheffield, Phil McMinn University of Sheffield
12:00
20m
Talk
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations
Research Papers
Agustín Mista Chalmers University of Technology, Alejandro Russo Chalmers University of Technology, Sweden