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

This program is tentative and subject to change.

Fri 4 Apr 2025 11:15 - 11:30 at Aula Magna (AM) - Automated Testing Chair(s): Cristian Cadar

Games are designed to challenge human players, but this also makes it challenging to generate tests for games automatically. Neural networks have therefore been proposed to serve as dynamic test cases trained to reach statements in the underlying code, similar to how static test cases consisting of event sequences would do in traditional software. The NEATEST approach combines search-based software testing principles with neuroevolution to optimise such dynamic test cases. However, since NEATEST is designed as a single-objective algorithm, it may require a long time to cover even simple program states and it may get stuck trying to reach unreachable program states, which is particularly problematic as testing usually requires creating test cases for as many coverage goals as possible. In this paper, we therefore propose to treat the neuroevolution of dynamic test cases as a many-objective search problem. By targeting all coverage goals at the same time, easy goals are covered quickly, and the search can focus on more challenging ones. We extend the state-of-the-art many-objective test generation algorithms MIO and MOSA as well as the state-of-the-art many-objective neuroevolution algorithm NEWS/D to generate dynamic test cases. Experiments on a dataset of 20 SCRATCH games show that extending NEATEST to target several objectives simultaneously increases the average branch coverage from 75.88% to 81.33% while reducing the required search time by 93.28%.

This program is tentative and subject to change.

Fri 4 Apr

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

11:00 - 12:30
Automated TestingIndustry / Research Papers / Journal-First Papers / Education at Aula Magna (AM)
Chair(s): Cristian Cadar Imperial College London
11:00
15m
Talk
Testing Practices, Challenges, and Developer Perspectives in Open-Source IoT Platforms
Research Papers
Daniel Rodriguez-Cardenas , Safwat Ali Khan George Mason University, Prianka Mandal William & Mary, Adwait Nadkarni William & Mary, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary
Pre-print
11:15
15m
Talk
Many-Objective Neuroevolution for Testing Games
Research Papers
Patric Feldmeier University of Passau, Katrin Schmelz University of Passau, Gordon Fraser University of Passau
Pre-print
11:30
15m
Talk
Black-Box Testing for Practitioners
Education
Matthias Hamburg IEEE Computer Society; International Software Testing Qualifications Board, Adam Roman Jagiellonian University, Faculty of Mathematics and Computer Science; International Software Testing Qualifications Board
11:45
15m
Talk
CUBETESTERAI: Automated JUnit Test Generation using the LLaMA Model
Industry
Daniele Gorla Department of Computer Science, Sapienza University of Rome, Shivam Kumar , Pietro Nicolaus Roselli Lorenzini , Alireza Alipourfaz
12:00
15m
Talk
Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?
Journal-First Papers
Lev Sorokin Technische Universität München, Germany, Damir Safin fortiss, Shiva Nejati University of Ottawa
12:15
15m
Talk
[prerecorded] ADGE: Automated Directed GUI Explorer for Android Applications
Research Papers
Yue Jiang Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China, Xiaobo Xiang Singular Security Lab, Beijing, China, Qingli Guo Institute of Information Engineering, Chinese Academy of Sciences, Qi Gong Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China, Xiaorui Gong Institute of Information Engineering, Chinese Academy of Science
:
:
:
: