ICST 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy

This program is tentative and subject to change.

Tue 1 Apr 2025 12:00 - 12:30 at Room C - Technical Program

Recent advances in defect detection use language models. Here, existing works enhanced the training data to improve the models’ robustness when applied to semantically identical code (i.e., the prediction should be the same). However, the use of semantically identical code has not been considered for improving the tools during their application - a concept closely related to metamorphic testing.

The goal of our study is to determine whether we can use semantic-preserving transformations, analogue to mutation operators, to improve the performance of defect detection tools in the testing stage. We first collect existing publications which im- plemented semantic-preserving transformations and share their implementation, such that we can reuse them. We empirically study the effectiveness of three different ensemble strategies for enhancing defect detection tools. We apply the collected transfor- mations on a popular dataset (Devign), considering vulnerabilities as a type of defect, and use two fine-tuned large language models for defect detection (VulBERTa, PLBART).

We found 28 publications with 94 different transformation. We choose to implement 39 transformations, but a manual check revealed that 23 out 39 transformations change code semantics. Using the 16 remaining, correct transformations and three ensemble strategies, we were not able to increase the accuracy of the defect detection models. Our results show that reusing shared semantic-preserving transformation is difficult, sometimes even causing wrongful changes to the semantics.

This program is tentative and subject to change.

Tue 1 Apr

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

11:00 - 12:30
Technical ProgramMutation at Room C
11:00
30m
Paper
Equivalent Mutants: Deductive Verification to the Rescue
Mutation
Serge Demeyer University of Antwerp and Flanders Make vzw, Reiner Hähnle Technical University of Darmstadt
11:30
30m
Paper
Exploring Robustness of Image Recognition Models on Hardware Accelerators
Mutation
Nikolaos Louloudakis University of Edinburgh, Perry Gibson University of Glasgow, José Cano University of Glasgow, Ajitha Rajan University of Edinburgh
12:00
30m
Paper
Semantic-Preserving Transformations as Mutation Operators: A Study on Their Effectiveness in Defect Detection
Mutation
Max Hort Simula Research Laboratory, Linas Vidziunas , Leon Moonen Simula Research Laboratory and BI Norwegian Business School
Hide past events
:
:
:
: