NEXTA 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy
co-located with ICST 2025
ICST 2025 (series) / NEXTA 2025 (series) / Congress Center, University of Naples Federico II, Naples, Italy /

Room information: Room A1

VenueCongress Center, University of Naples Federico II, Naples, Italy
Room nameRoom A1
Floor1
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 31 Mar

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

09:00 - 09:10
OpeningITEQS at Room A1
09:00
10m
Day opening
Opening
ITEQS

09:10 - 10:10
KeynoteITEQS at Room A1
09:10
60m
Keynote
Oracle Generation for Autonomous Driving: Leveraging Human-Aligned Quality Metrics for Fault DetectionKeynote
ITEQS
K: Gunel Jahangirova King's College London
Link to publication
11:00 - 12:30
AI and TestingITEQS at Room A1
11:00
30m
Talk
Quality Assurance for LLM-RAG Systems: Empirical Insights from Tourism Application TestingBest Paper Candidate
ITEQS
Bestoun S. Ahmed Karlstad University, Ludwig Otto Baader Ludwig Maximilians University Munich, Firas Bayram Karlstad University, Siri Jagstedt Karlstad University, Peter Magnusson Karlstad University
11:30
30m
Talk
Using Reinforcement Learning for Security Testing: A Systematic Mapping Study
ITEQS
Tanwir Ahmad Åbo Akademi University, Matko Butkovic Åbo Akademi University, Dragos Truscan Åbo Akademi University
12:00
30m
Talk
Visual spectrum-based fault localization for Python programs based on the differentiation of execution slices
ITEQS
Shehroz Khan Åbo Akademi University, Gaadha Sudheerbabu Åbo Akademi University, Bianca Elena Staicu Åbo Akademi University, Tanwir Ahmad Åbo Akademi University, Dragos Truscan Åbo Akademi University
14:00 - 15:00
Cyber-Physical SystemsITEQS at Room A1

Session chiar: Abdul Rauf (Test Scouts AB)

14:00
30m
Talk
A Protocol Fuzzing Framework to Detect Remotely Exploitable Vulnerabilities in IoT NodesBest Paper Candidate
ITEQS
Phi Tuong Lau NaN, Stefan Katzenbeisser University of Passau
14:30
30m
Talk
Unified Search for Multi-Requirement Falsification for Cyber-Physical Systems
ITEQS
Jesper Winsten Åbo Akademi University, Ivan Porres Åbo Akademi University
15:00 - 15:10
ClosingITEQS at Room A1

Closing and Best Paper Award

15:00
10m
Day closing
Closing and Future ITEQS
ITEQS

Tue 1 Apr

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

09:00 - 09:15
OpeningA-TEST at Room A1
09:00
15m
Day opening
Opening
A-TEST

09:15 - 10:30
KeynoteA-TEST at Room A1
09:15
75m
Keynote
EndGame: Lessons learned while gamifying End-2-End testing
A-TEST
K: Riccardo Coppola Politecnico di Torino
11:00 - 12:30
Automated Testing in Critical SystemsA-TEST at Room A1
11:00
30m
Talk
Introducing a Testing Automation Framework for Basic Integrity of Java Applications in Hitachi Railway Systems
A-TEST
Angelo Venditto Hitachi Rail, Chiara Aprile Hitachi Rail, Fabrizio Zanini Hitachi Rail, Fausto Del Villano Hitachi Rail
11:30
30m
Talk
Automated Testing in Railways: Leveraging Robotic Arm Precision and Efficiency for Superior Customizability and Usability Test Case Execution
A-TEST
Giuseppe Guida Hitachi Rail STS, Mario D'Avino Hitachi Rail STS, Massimo Nisci Hitachi Rail STS, Roberto Villano Hitachi Rail STS, Barbara Di Giampaolo Hitachi Rail STS, Michele Schettino Hitachi Rail STS, Erasmo Alessio Bortone Hitachi Rail STS
12:00
30m
Talk
A Workflow for Automated Testing of a Safety-Critical Embedded Subsystem
A-TEST
Michele Ignarra Hitachi Rail, Maria Guarino Hitachi Rail, Andrea Aiello Hitachi Rail, Vincenzo Tonziello Hitachi Rail, Giovanni De Donato Alten, Emanuele Pascale Hitachi Rail, Renato De Guglielmo Hitachi Rail, Antonio Costa Hitachi Rail, Cosimo Affuso Hitachi Rail
14:00 - 15:30
AI-Driven Testing AutomationA-TEST at Room A1
14:00
30m
Talk
Test Case Generation for Dialogflow Task-Based Chatbots
A-TEST
Rocco Gianni Rapisarda University of Milano-Bicocca, Davide Ginelli University of Milano-Bicocca, Diego Clerissi DIBRIS, University of Genova, Italy, Leonardo Mariani University of Milano-Bicocca
14:30
30m
Talk
Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models
A-TEST
Tim Rosenbach German Aerospace Center (DLR) Institute for Software Technology, Alexander Weinert German Aerospace Center (DLR) Institute for Software Technology, David Heidrich German Aerospace Center (DLR)
15:00
30m
Talk
SleepReplacer-GPT: AI-based Thread Sleep Replacement in Selenium WebDriver Tests
A-TEST
Dario Olianas , Maurizio Leotta DIBRIS, University of Genova, Italy, Filippo Ricca Università di Genova
16:00 - 16:30
AI-Driven Testing AutomationA-TEST at Room A1
16:00
30m
Talk
Curiosity Driven Multi-agent Reinforcement Learning for 3D Game Testing
A-TEST
Raihana Ferdous Consiglio Nazionale delle Ricerche (CNR), Fitsum Kifetew Fondazione Bruno Kessler, Davide Prandi Fondazione Bruno Kessler, Angelo Susi Fondazione Bruno Kessler
16:30 - 17:00
ClosingA-TEST at Room A1
16:30
30m
Day closing
Closing
A-TEST

Wed 2 Apr

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

11:00 - 12:30
Fuzzing and SecurityICST Research Papers / ICST Industry / ICST Journal-First Papers at Room A1
Chair(s): Serge Demeyer University of Antwerp and Flanders Make vzw
11:00
15m
Talk
SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller
ICST Research Papers
Ao Li Carnegie Mellon University, Rohan Padhye Carnegie Mellon University, Vyas Sekar Carnegie Mellon University
11:15
15m
Talk
Mutation-based Fuzzing of the Swift Compiler With Incomplete Type Information
ICST Research Papers
Sarah Canto Hyatt University of California, Santa Barbara, Kyle Dewey California State University, Northridge
11:30
15m
Talk
Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing
ICST Research Papers
Manuel Carrasco Imperial College London, Cristian Cadar Imperial College London, Alastair F. Donaldson Imperial College London
11:45
15m
Talk
Introducing Black-Box Fuzz Testing for REST APIs in Industry: Challenges and Solutions
ICST Industry
Andrea Arcuri Kristiania University College and Oslo Metropolitan University, Alexander Poth Volkswagen AG, Olsi Rrjolli Volkswagen AG
12:00
15m
Talk
Compiler Fuzzing in Continuous Integration: a Case Study on Dafny
ICST Industry
Karnbongkot Boonriong Imperial College London, Stefan Zetzsche Amazon Web Services, Alastair F. Donaldson Imperial College London
12:15
15m
Talk
Automated SC-MCC Test Case Generation using Coverage Guided Fuzzing
ICST Journal-First Papers
Golla Monika Rani , Sangharatna Godboley National Institute of Technology Warangal
14:00 - 15:30
EducationICST Education at Room A1
Chair(s): Dietmar Pfahl University of Tartu
14:00
15m
Talk
Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects?
ICST Education
Ruizhen Gu University of Sheffield, José Miguel Rojas University of Sheffield, Donghwan Shin University of Sheffield
Pre-print
14:15
15m
Talk
Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs
ICST Education
Ricardo Brancas INESC-ID, Instituto Superior Técnico, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University
Pre-print
14:30
15m
Talk
Experience Report on using Experiential Learning to Facilitate Learning of Bug Investigation Steps
ICST Education
Adina Moldovan Altom, Oana Casapu Altom, Andreea Vescan Babes-Bolyai University
14:45
15m
Talk
Requirements for an Automated Assessment Tool for Learning Programming by Doing
ICST Education
Arthur Rump University of Twente, Vadim Zaytsev University of Twente, Netherlands, Angelika Mader University of Twente
Pre-print
15:00
15m
Talk
Teaching Bug Advocacy through Flipped Classroom
ICST Education
Andreea Galbin-Nasui Babes-Bolyai University, Cluj-Napoca, Andreea Vescan Babes-Bolyai University
15:15
15m
Talk
A System-Level Testing Framework for Automated Assessment of Programming Assignments Allowing Students Object-Oriented Design Freedom
ICST Education
Valerio Terragni University of Auckland, Nasser Giacaman The University of Auckland

Thu 3 Apr

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

11:00 - 12:30
Testing Tools and Data ShowcaseICST Testing Tools and Data Showcase at Room A1
Chair(s): Domenico Bianculli University of Luxembourg
11:00
15m
Talk
in 3h 30 min Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm
ICST Testing Tools and Data Showcase
Wishaal Kanhai , Ivar van Loon , Yuraj Mangalgi , Thijs van der Valk , Lucas Witte Delft University of Technology, Annibale Panichella Delft University of Technology, Mitchell Olsthoorn Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology
11:15
15m
Talk
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools
ICST Testing Tools and Data Showcase
Davide Corradini University of Luxembourg, Michele Pasqua University of Verona, Mariano Ceccato University of Verona
11:30
15m
Talk
ViMoTest: A Tool to Specify ViewModel-based GUI Test Scenarios using Projectional Editing
ICST Testing Tools and Data Showcase
Mario Fuksa University of Stuttgart, Sandro Speth Institute of Software Engineering, University of Stuttgart, Steffen Becker University of Stuttgart
11:45
15m
Talk
E2E-Loader: A Tool to Generate Performance Tests from End-to-End GUI-level Tests
ICST Testing Tools and Data Showcase
Sergio Di Meglio Università degli Studi di Napoli Federico II, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II, Sergio Di Martino Università degli Studi di Napoli Federico II
12:00
15m
Talk
AMBER: AI-enabled Java Microbenchmark Harness
ICST Testing Tools and Data Showcase
Antonio Trovato University of Salerno, Luca Traini University of L'Aquila, Federico Di Menna University of L'Aquila, Dario Di Nucci University of Salerno
Pre-print
12:15
15m
Talk
Codehacks: A Dataset of Adversarial Tests For Competitive Programming Problems Obtained From Codeforces
ICST Testing Tools and Data Showcase
Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory and BI Norwegian Business School

Fri 4 Apr

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

11:00 - 12:30
TutorialsICST Technical Briefings and Tutorials at Room A1
Chair(s): Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Andrea De Lucia University of Salerno
11:00
90m
Talk
Scenario-based Testing with BeamNG.tech (Hands-On Training)
ICST Technical Briefings and Tutorials
Chrysanthi Papamichail , David Stark , Alessio Gambi Austrian Institute of Technology (AIT)
14:00 - 15:28
Advances in Software TestingICST Research Papers / ICST Short Papers, Vision and Emerging Results / ICST Industry / ICST Education at Room A1
Chair(s): Annibale Panichella Delft University of Technology
14:00
15m
Talk
Code, Test and Coverage Evolution in Mature Software Systems: Changes over the Past Decade
ICST Research Papers
Thomas Bailey Imperial College London, Cristian Cadar Imperial College London
14:15
15m
Talk
Coverage Metrics for T-Wise Feature Interactions
ICST Research Papers
Sabrina Böhm University of Ulm, Germany, Tim Jannik Schmidt University of Ulm, TU Braunschweig, Germany, Sebastian Krieter TU Braunschweig, Germany, Tobias Pett Karlsruhe Institute for Technology (KIT), Germany, Thomas Thüm TU Braunschweig, Germany, Malte Lochau University of Siegen
14:30
15m
Talk
LLM-based Labelling of Recorded Automated GUI-based Test cases
ICST Industry
Diogo Buarque Franzosi Blekinge Institute of Technology, Emil Alégroth Blekinge Institute of Technology, Maycel Isaac Synteda
14:45
15m
Talk
A Tool-assisted Training Approach for Empowering Localization and Internationalization Testing Proficiency
ICST Education
Maria Couto Federal University of Pernambuco, Breno Miranda Centro de Informática at Universidade Federal de Pernambuco, Kiev Gama Universidade Federal de Pernambuco
15:00
7m
Short-paper
Pre-trained Models for Bytecode Instructions
ICST Short Papers, Vision and Emerging Results
Donggyu Kim Handong Global University, Taemin Kim , Jiho Shin York University, Song Wang York University, Heeyoul Choi , Jaechang Nam Handong Global University
Pre-print
15:07
7m
Short-paper
EnCus: Customizing Search Space for Automated Program Repair
ICST Short Papers, Vision and Emerging Results
Seongbin Kim , Sechang Jang , Jindae Kim Seoul National University of Science and Technology, Jaechang Nam Handong Global University
Pre-print
15:14
7m
Talk
Test Generation from Use Case Specifications for IoT Systems: Custom, LLM-Based, and Hybrid Approaches
ICST Short Papers, Vision and Emerging Results
Zacharie Chenail-Larcher École de technologie supérieure (ÉTS), Jean Baptiste Minani Concordia University, Montreal, Canada, Naouel Moha École de Technologie Supérieure (ETS)
next event in 3h 30 min

Mon 31 Mar

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

Room9:003010:003011:003012:003013:003014:003015:0030
Room A1

ITEQS

Opening

ITEQS

Keynote

ITEQS

AI and Testing

ITEQS

Cyber-Physical Systems

ITEQS

Closing

Tue 1 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Room A1

A-TEST

Opening

A-TEST

Keynote

A-TEST

Automated Testing in Critical Systems

A-TEST

AI-Driven Testing Automation

A-TEST

AI-Driven Testing Automation

A-TEST

Closing

Wed 2 Apr

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

Room11:003012:003013:003014:003015:0030
Room A1

ICST Research Papers + ICST Industry + ICST Journal-First Papers

Fuzzing and Security

ICST Education

Education

Thu 3 Apr

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

Room11:003012:0030
Room A1

ICST Testing Tools and Data Showcase

Testing Tools and Data Showcase

Fri 4 Apr

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

Room11:003012:003013:003014:003015:0030
Room A1

ICST Technical Briefings and Tutorials

Tutorials

ICST Research Papers + ICST Short Papers, Vision and Emerging Results + ICST Industry + ICST Education

Advances in Software Testing

Mon 31 Mar

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Room A1
ITEQS
Opening
09:00 - 09:10
ITEQSKeynote
Oracle Generation for Autonomous Driving: Leveraging Human-Aligned Qual ...
09:10 - 10:10
ITEQSBest Paper Candidate
Quality Assurance for LLM-RAG Systems: Empirical Insights from Tourism ...
11:00 - 11:30
ITEQS
Using Reinforcement Learning for Security Testing: A Systematic Mapping ...
11:30 - 12:00
ITEQS
Visual spectrum-based fault localization for Python programs based on t ...
12:00 - 12:30
ITEQSBest Paper Candidate
A Protocol Fuzzing Framework to Detect Remotely Exploitable Vulnerabili ...
14:00 - 14:30
ITEQS
Unified Search for Multi-Requirement Falsification for Cyber-Physical S ...
14:30 - 15:00
ITEQS
Closing and Future ITEQS
15:00 - 15:10

Tue 1 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Room A1
A-TEST
Opening
09:00 - 09:15
A-TEST
EndGame: Lessons learned while gamifying End-2-End testing
09:15 - 10:30
A-TEST
Introducing a Testing Automation Framework for Basic Integrity of Java ...
11:00 - 11:30
A-TEST
Automated Testing in Railways: Leveraging Robotic Arm Precision and Eff ...
11:30 - 12:00
A-TEST
A Workflow for Automated Testing of a Safety-Critical Embedded Subsystem
12:00 - 12:30
A-TEST
Test Case Generation for Dialogflow Task-Based Chatbots
14:00 - 14:30
A-TEST
Automated Testing of the GUI of a Real-Life Engineering Software using ...
14:30 - 15:00
A-TEST
SleepReplacer-GPT: AI-based Thread Sleep Replacement in Selenium WebDri ...
15:00 - 15:30
A-TEST
Curiosity Driven Multi-agent Reinforcement Learning for 3D Game Testing
16:00 - 16:30
A-TEST
Closing
16:30 - 17:00

Wed 2 Apr

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Room A1
ICST Research Papers
SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-De ...
11:00 - 11:15
ICST Research Papers
Mutation-based Fuzzing of the Swift Compiler With Incomplete Type Infor ...
11:15 - 11:30
ICST Research Papers
Scalable SMT Sampling for Floating-point Formulas via Coverage-guided F ...
11:30 - 11:45
ICST Industry
Introducing Black-Box Fuzz Testing for REST APIs in Industry: Challenge ...
11:45 - 12:00
ICST Industry
Compiler Fuzzing in Continuous Integration: a Case Study on Dafny
12:00 - 12:15
ICST Journal-First Papers
Automated SC-MCC Test Case Generation using Coverage Guided Fuzzing
12:15 - 12:30
ICST Education
Can Test Generation and Program Repair Inform Automated Assessment of P ...
14:00 - 14:15
ICST Education
Combining Logic and Large Language Models for Assisted Debugging and Re ...
14:15 - 14:30
ICST Education
Experience Report on using Experiential Learning to Facilitate Learning ...
14:30 - 14:45
ICST Education
Requirements for an Automated Assessment Tool for Learning Programming ...
14:45 - 15:00
ICST Education
Teaching Bug Advocacy through Flipped Classroom
15:00 - 15:15
ICST Education
A System-Level Testing Framework for Automated Assessment of Programmin ...
15:15 - 15:30

Thu 3 Apr

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

Room11:0015304512:00153045
Room A1
ICST Testing Tools and Data Showcase
Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Al ...
11:00 - 11:15
ICST Testing Tools and Data Showcase
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automate ...
11:15 - 11:30
ICST Testing Tools and Data Showcase
ViMoTest: A Tool to Specify ViewModel-based GUI Test Scenarios using Pr ...
11:30 - 11:45
ICST Testing Tools and Data Showcase
E2E-Loader: A Tool to Generate Performance Tests from End-to-End GUI-le ...
11:45 - 12:00
ICST Testing Tools and Data Showcase
AMBER: AI-enabled Java Microbenchmark Harness
12:00 - 12:15
ICST Testing Tools and Data Showcase
Codehacks: A Dataset of Adversarial Tests For Competitive Programming P ...
12:15 - 12:30

Fri 4 Apr

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Room A1
ICST Technical Briefings and Tutorials
Scenario-based Testing with BeamNG.tech (Hands-On Training)
11:00 - 12:30
ICST Research Papers
Code, Test and Coverage Evolution in Mature Software Systems: Changes o ...
14:00 - 14:15
ICST Research Papers
Coverage Metrics for T-Wise Feature Interactions
14:15 - 14:30
ICST Industry
LLM-based Labelling of Recorded Automated GUI-based Test cases
14:30 - 14:45
ICST Education
A Tool-assisted Training Approach for Empowering Localization and Inter ...
14:45 - 15:00
ICST Short Papers, Vision and Emerging Results
Pre-trained Models for Bytecode Instructions
15:00 - 15:07
ICST Short Papers, Vision and Emerging Results
EnCus: Customizing Search Space for Automated Program Repair
15:07 - 15:14
ICST Short Papers, Vision and Emerging Results
Test Generation from Use Case Specifications for IoT Systems: Custom, L ...
15:14 - 15:21

:
: