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

This program is tentative and subject to change.

Wed 2 Apr 2025 11:45 - 12:00 at Room A - Testing, Localisation and Repair Chair(s): Shin Yoo

Context. Testing is essential to improve the correctness of software systems. Metamorphic testing (MT) is an approach especially suited when the system under test lacks oracles, or they are expensive to compute. However, building an MT environment for a particular domain (e.g., cloud simulation, model transformation, machine learning) requires substantial effort.

Objective. Our goal is to facilitate the construction of MT environments for specific domains.

Method. We propose a model-driven engineering approach to automate the construction of MT environments. Starting from a meta-model capturing the domain concepts, and a description of the domain execution environment, our approach produces an MT environment featuring comprehensive support for the MT process. This includes the definition of domain-specific metamorphic relations, their evaluation, detailed reporting of the testing results, and the automated search-based generation of follow-up test cases.

Results. Our method is supported by an extensible platform for Eclipse, called Gotten. We demonstrate its effectiveness by creating an MT environment for simulation-based testing of data centres and comparing with existing tools; its suitability to conduct MT processes by replicating previous experiments; and its generality by building another MT environment for video streaming APIs.

Conclusion. Gotten is the first platform targeted at reducing the development effort of domain-specific MT environments. The environments created with Gotten facilitate the specification of metamorphic relations, their evaluation, and the generation of new test cases.

This program is tentative and subject to change.

Wed 2 Apr

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

11:00 - 12:30
Testing, Localisation and RepairJournal-First Papers / Research Papers / Industry at Room A
Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology
11:00
15m
Talk
A Taxonomy of Integration-relevant Faults for Microservice Testing
Research Papers
Lena Gregor Technical University of Munich, Anja Hentschel Siemens AG, Leon Kastner Technical University of Munich, Alexander Pretschner TU Munich
11:15
15m
Talk
Suspicious Types and Bad Neighborhoods- Filtering Spectra with Compiler Information
Research Papers
Leonhard Applis Delft University of Technology, Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Annibale Panichella Delft University of Technology
11:30
15m
Talk
Summary of Automated Program Repair for Variability Bugs in Software Product Line Systems
Journal-First Papers
Thu-Trang Nguyen , Xiao-Yi Zhang University of Science and Technology Beijing, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Hieu Vo VNU University of Engineering and Technology
Link to publication DOI
11:45
15m
Talk
Automated Engineering of Domain-Specific Metamorphic Testing Environments
Journal-First Papers
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Link to publication DOI
12:00
15m
Talk
Speculative Testing at Google with Transition Prediction
Industry
Pre-print
12:15
15m
Talk
Challenges, Strategies, and Impacts: A Qualitative Study on UI Testing in CI/CD Processes from GitHub Developers’ Perspectives
Research Papers
XIAOXIAO GAN Virginia Tech, Huayu Liang Virginia Tech, Chris Brown Virginia Tech
:
:
:
: