SAFE-ML 2025
Mon 31 March - Fri 4 April 2025
Naples, Italy
co-located with
ICST 2025
Toggle navigation
Attending
Venue: Congress Center, University of Naples Federico II, Naples, Italy
Program
SAFE-ML Program
Your Program
Mon 31 Mar
Tue 1 Apr
Wed 2 Apr
Thu 3 Apr
Fri 4 Apr
Track/Call
Organization
SAFE-ML 2025 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICST 2025
(
series
) /
SAFE-ML 2025 (
series
) /
Congress Center, University of Naples Federico II, Naples, Italy
/
Room information: Room A1
Venue
Congress Center, University of Naples Federico II, Naples, Italy
Room name
Room A1
Floor
1
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Opening
ITEQS
at
Room A1
09:00
10m
Day opening
Opening
ITEQS
09:10 - 10:10
Keynote
ITEQS
at
Room A1
09:10
60m
Keynote
Oracle Generation for Autonomous Driving: Leveraging Human-Aligned Quality Metrics for Fault Detection
Keynote
ITEQS
K:
Gunel Jahangirova
King's College London
Link to publication
11:00 - 12:30
AI and Testing
ITEQS
at
Room A1
11:00
30m
Talk
Quality Assurance for LLM-RAG Systems: Empirical Insights from Tourism Application Testing
Best 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 Systems
ITEQS
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 Nodes
Best 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
Closing
ITEQS
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
Opening
A-TEST
at
Room A1
09:00
15m
Day opening
Opening
A-TEST
09:15 - 10:30
Keynote
A-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 Systems
A-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 Automation
A-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 Automation
A-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
Closing
A-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 Security
ICST 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
Education
ICST 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 Showcase
ICST Testing Tools and Data Showcase
at
Room A1
Chair(s):
Domenico Bianculli
University of Luxembourg
11:00
15m
Talk
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
Fri 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Tutorials
ICST 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 Testing
ICST 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
Handong Global University
,
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)
Mon 31 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
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
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
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
Room
11:00
30
12:00
30
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
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Room A1
ITEQS
Opening
09:00 - 09:10
ITEQS
Keynote
Oracle Generation for Autonomous Driving: Leveraging Human-Aligned Qual ...
09:10 - 10:10
ITEQS
Best 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
ITEQS
Best 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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
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
Room
11:00
15
30
45
12:00
15
30
45
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
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
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
x
Thu 26 Jun 22:15
:
: