ICST 2026
Mon 18 - Fri 22 May 2026 Daejeon, South Korea
VenueDaejeon Convention Center (DCC)
Room nameRoom 105
Floor1
Room InformationNo extra information available
Program

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

Mon 18 May

Displayed time zone: Seoul change

11:00 - 12:30
CT and AIIWCT at Room 105
11:00
30m
Full-paper
Explainable Validation and Feature Reduction in Machine Learning
IWCT
Fenrir Badorf Loyola University Maryland, Francis Durso National Institute of Standards and Technology, Callie Walker Loyola University Maryland, Megan Olsen Loyola University Maryland, M S Raunak National Institute of Standards and Technology, Rick Kuhn National Institute of Standards and Technology
11:30
30m
Full-paper
Generation of Constrained Combinatorial Tests for Multi-Label Classifiers
IWCT
Keigo Teruya The University of Osaka, Tatsuhiro Tsuchiya Osaka University, Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo
12:00
30m
Full-paper
Generative AI Combinatorial Test Assistants
IWCT
Erin Lanus Virginia Tech, Jaganmohan Chandrasekaran Virginia Tech, Laura Freeman Virginia Tech
14:00 - 15:30
CT WorkflowIWCT at Room 105
14:00
20m
Short-paper
Association Rules Based Fault Localization in Combinatorial Testing
IWCT
Rekha Jayaram Dayananda Sagar College of Engineering, Krishnan Rangarajan Dayananda Sagar College of Engineering
14:20
20m
Short-paper
CTWedgeV: SMT-Based Validation of Combinatorial Test Suites
IWCT
Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo
14:40
30m
Full-paper
Constraint-Focused Benchmark of Combinatorial Testing Tools: A Practitioner's View
IWCT
Sebastian Puck Graz University of Technology, Alexander Perko Graz University of Technology, David Kaufmann Graz University of Technology, Franz Wotawa Graz University of Technology, Iskra Gasparic AVL List GmbH
15:10
20m
Short-paper
Combinatorial Test Generation Tool for REST API with Variable-Length Arrays
IWCT

Tue 19 May

Displayed time zone: Seoul change

14:00 - 15:30
Tool and Data Showcase 1Testing Tools and Data Showcase at Room 105
Chair(s): Jinhan Kim Università della Svizzera italiana
14:00
15m
Talk
Constraint-Driven Fuzzing at Scale with FANDANGO
Testing Tools and Data Showcase
José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Valentin Huber CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
DOI Pre-print
14:15
15m
Talk
TriAD: a Tricorder-based tool for detecting anomalies in software
Testing Tools and Data Showcase
Caio Herrera University of Sao Paulo (USP), Simone do Rocio Senger de Souza ICMC/USP, Ricardo Santos Federal University of Mato Grosso do Sul (UFMS), Paulo Sergio Lopes de Souza ICMC/USP
14:30
15m
Talk
RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems
Testing Tools and Data Showcase
Dario Facchinetti Università degli Studi di Bergamo, Matthew Rossi Università degli Studi di Bergamo, Zhenya Zhang Kyushu University, Stefano Paraboschi Università degli Studi di Bergamo, Paolo Arcaini National Institute of Informatics
14:45
15m
Talk
BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications
Testing Tools and Data Showcase
Fitash Ul Haq Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology
15:00
15m
Talk
Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering
Testing Tools and Data Showcase
Zahra Seyedghorban Delft University of Technology, Egor Klimov JetBrains Research, Arie van Deursen TU Delft, Annibale Panichella Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology
15:15
15m
Talk
mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis
Testing Tools and Data Showcase
Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield
16:00 - 17:30
Tool and Data Showcase 2Testing Tools and Data Showcase at Room 105
Chair(s): Jinhan Kim Università della Svizzera italiana
16:00
15m
Talk
DeepFix: Debugging and Fixing Machine Learning Workflow using Agentic AI
Testing Tools and Data Showcase
Fadel Mamar Seydou Technical University of Munich, Arnab Sharma University of Paderborn
16:15
15m
Talk
Ising-based Test Optimization and Benchmarking
Testing Tools and Data Showcase
Yige Yang Beihang University, Beijing, China, Man Zhang Beihang University, China, Tao Yue Beihang University
16:30
15m
Talk
TopoMap: Automated Topographical Mapping of the Deep Learning Input Space
Testing Tools and Data Showcase
Gianmarco De Vita Università della Svizzera italiana, Nargiz Humbatova Università della Svizzera italiana, Paolo Tonella USI Lugano

Wed 20 May

Displayed time zone: Seoul change

10:30 - 12:00
10:30
90m
Talk
Constraint-Driven Fuzzing at Scale with FANDANGO
Testing Tools and Data Showcase
José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Valentin Huber CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
DOI Pre-print
10:30
90m
Talk
BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications
Testing Tools and Data Showcase
Fitash Ul Haq Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology
10:30
90m
Talk
mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis
Testing Tools and Data Showcase
Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield
13:30 - 15:00
Tool Competition: Self-driving Car and UAV TestingTool Competitions: Self-Driving Car and UAV Testing at Room 105
Chair(s): Tommaso Fulcini Politecnico di Torino, Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern, Erdem Uysal University of Bern
13:30
12m
Talk
Introducing ICST 2026 Tool Competition: Self-Driving Car Testing Track
Tool Competitions: Self-Driving Car and UAV Testing
Prakash Aryan University of Bern, Tommaso Fulcini Politecnico di Torino, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II, Christian Birchler University of Bern, Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern
13:42
12m
Talk
RTE4SDC at the ICST 2026 Tool Competition – Self-Driving Car Testing Track
Tool Competitions: Self-Driving Car and UAV Testing
Marcello Maugeri CybPass, PingChen Lin CybPass Limited, Aryan Pasikhani University of Sheffield
13:55
12m
Talk
EagleSemble at the ICST 2026 Tool Competition – Self-Driving Car Testing Track
Tool Competitions: Self-Driving Car and UAV Testing
Cristian Aquilino University of Udine, Ettore Ritacco University of Udine, Vincenzo Riccio University of Udine
14:08
12m
Talk
RoadFury at the ICST 2026 Tool Competition – Self-Driving Car Testing Track
Tool Competitions: Self-Driving Car and UAV Testing
Tran Chi Nguyen University of Science - VNUHCM, Dao Sy Duy Minh University of Science - VNUHCM, Huynh Trung Kiet University of Science - VNUHCM, Pham Phu Hoa University of Science - VNUHCM, Nguyen Lam Phu Quy University of Science - VNUHCM
14:21
12m
Talk
KSERESNET at the ICST 2026 Tool Competition – Self-Driving Car Testing Track
Tool Competitions: Self-Driving Car and UAV Testing
Vishal Kumar Swain National Institute of Technology Warangal, India, Sangharatna Godboley NIT Warangal, P. Radha Krishna National Institute of Technology Warangal, Warangal, Avijit Das
14:34
12m
Talk
Introduction to ICST Tool Competition 2026 - UAV Testing Track
Tool Competitions: Self-Driving Car and UAV Testing
Erdem Uysal University of Bern, Grégory Loubet-Bonino University of Bern, Ali Javadi University of Bern, Prakash Aryan University of Bern, Aren Babikian University of Toronto, Dmytro Humeniuk Polytechnique Montréal, Sajad Khatiri Università della Svizzera italiana and University of Bern, Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern
14:47
12m
Talk
TLQD at the ICST 2026 Tool Competition
Tool Competitions: Self-Driving Car and UAV Testing

Fri 22 May

Displayed time zone: Seoul change

09:00 - 10:30
Intelligent SE Session IIntelligent SE at Room 105
Chair(s): Sungsoo Ahn Gyeongsang National University
09:00
50m
Keynote
The power of experimentation
Intelligent SE
Andreas Zeller CISPA Helmholtz Center for Information Security
File Attached
09:50
20m
Paper
LLM-Assisted Cause?Effect Graph Generation for Requirements-Based Test Design
Intelligent SE
10:10
20m
Paper
Cooperative Defense Against Suicide Drones for a Maneuvering Protected Target
Intelligent SE
Sumi Kim Gyeongsang National University, Hynju Jang Gyeongsang National Unviersity, Kyori Park Gyeongsang National University, Dowon Kim Gyeongsang National Unviersity, Pilsu Jung Gyeongsang National Unviersity
11:00 - 12:30
Intelligent SE Session IIIntelligent SE at Room 105
Chair(s): Pilsu Jung Gyeongsang National Unviersity
11:00
20m
Poster
Cross-Simulation Validation of an ML Surrogate for Multirotor Emergency-Landing Risk Assessment
Intelligent SE
Jinet A. Onyango Gyeongsang National Unviersity, Jeongheon Seo , Changhui Bae Gyeongsang National University, Euteum Choi Gyeongsang National Unviersity, Seongjin Lee Gyeongsang National Unviersity
11:20
20m
Paper
Early Warning of Performance Degradation in Object Detection Models via Explainable AI
Intelligent SE
Shin Jia , Uicheon Lee Gyeongsang National University, Seonah Lee Gyeongsang National University
11:40
20m
Paper
CodeQual-Agent: An Intelligent LLM-Agent Framework for Automated Software Quality Assessment with Explainable Predictions and Real-Time Analysis
Intelligent SE
Faisal Mohammad Jeonbuk National University, Junaid Khan Kakar , Dimitri Romain Be Ndong , Chas Mot , Duksan Ryu Jeonbuk National University
12:00
30m
Talk
How to improve the software development process and open-source collaboration in the ROS framework
Intelligent SE
Michel Albonico University of Southern Denmark
14:00 - 15:30
Research papers & invited talkInSTA at Room 105
14:00
10m
Day opening
InSTA 2026 Opening
InSTA

14:10
25m
Research paper
Explainable AI for AI-Generated Software Architecture
InSTA
Muhammad Harib National University of Science and Technology, Farooque Azam , Muhammad Anwar Division of Computer Science and Software Engineering Mälardalen University, Saliha Ejaz National University of Science and Technology
14:35
25m
Research paper
A Hierarchical Network-Based Testing Framework for Structural Trend Detection in Technical Corpora
InSTA
Masataka Noda University of Tsukuba, Kazuhiko Tsuda University of Tsukuba Tokyo
15:00
25m
Talk
Software Test Architectures (STA) to Support AI Systems Throughout the Data Lifecycle
InSTA
Jon D. Hagar Grand Software Testing, LLC, Hot Sulphur Springs, CO

Mon 18 May

Displayed time zone: Seoul change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 105