ICST 2026
Mon 18 - Fri 22 May 2026 Daejeon, South Korea
VenueDaejeon Convention Center (DCC)
Room nameRoom 101
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

09:15 - 10:30
Session 1: Opening and KeynoteDoctoral Symposium at Room 101
09:15
15m
Talk
Opening
Doctoral Symposium

09:30
60m
Talk
Keynote: Mechanized Specifications Adopted by Real-World Programming Languages
Doctoral Symposium
K: Sukyoung Ryu KAIST
11:00 - 12:30
11:00
30m
Doctoral symposium paper
A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities
Doctoral Symposium
11:30
30m
Doctoral symposium paper
Analyzing the Latent Input Space of LLMs for Systematic Prompt Testing
Doctoral Symposium
Somin Kim Korea Advanced Institute of Science and Technology
12:00
30m
Doctoral symposium paper
An Activation Property-Based Framework for Efficient Neural Network Verification
Doctoral Symposium
Seunghyun Chae Pohang University of Science and Technology (POSTECH)
13:40 - 15:30
13:40
30m
Doctoral symposium paper
Understanding and Overcoming Limitations of Automated Test Generation
Doctoral Symposium
Lukas Krodinger University of Passau
DOI Pre-print
14:10
30m
Doctoral symposium paper
Designing and Verifying Agentic AI Systems through Structural Architecture and State Analysis
Doctoral Symposium
Juyeon Yoon Korea Advanced Institute of Science and Technology
14:40
30m
Doctoral symposium paper
Topographical Deep Learning Testing
Doctoral Symposium
Gianmarco De Vita Università della Svizzera italiana
15:10
20m
Panel
Q&A 1
Doctoral Symposium

16:00 - 18:00
16:00
30m
Doctoral symposium paper
Reinforcement Learning-Based Collaborative Fuzzing
Doctoral Symposium
Hyeonmin Mo Hanyang University
16:30
30m
Doctoral symposium paper
Automatic Inference of Expressive Metamorphic Relations for Effective Metamorphic Testing
Doctoral Symposium
Agustin Nolasco University of Rio Cuarto
17:00
30m
Doctoral symposium paper
Improving the Accuracy of Dynamic Specification Inference
Doctoral Symposium
Agustín Balestra University of Rio Cuarto, Argentina
17:30
30m
Panel
Q&A 2 and Closing
Doctoral Symposium

Tue 19 May

Displayed time zone: Seoul change

11:00 - 12:30
Autonomous Systems & Robotics TestingIndustry / Research Papers at Room 101
Chair(s): Khouloud Gaaloul University of Michigan - Dearborn
11:00
25m
Talk
Dynasto: Validity-Aware Dynamic–Static Parameter Optimization for Autonomous Driving TestingDistinguished Paper AwardArtifact Available
Research Papers
Dmytro Humeniuk Polytechnique Montréal, Mohammad Hamdaqa Polytechnique Montreal, Houssem Ben Braiek Polytechnique Montreal, Amel Bennaceur The Open University, UK, Foutse Khomh Polytechnique Montréal
11:25
25m
Talk
Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements
Research Papers
Yang Sun Singapore Management University, Haoyu Wang School of Computing and Information Systems, Singapore Management University, Chris Poskitt Singapore Management University, Jun Sun Singapore Management University
DOI Pre-print
11:50
15m
Talk
Metamorphic Testing of Vision-Language Action–Enabled RobotsArtifact ReviewedArtifact Available
Research Papers
Pablo Valle Mondragon University, Sergio Segura SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, Spain, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Aitor Arrieta Mondragon University
Pre-print
12:05
25m
Talk
Assessing Vision–Language Models for Perception in Autonomous Underwater Robotic Software
Industry
Muhammad Yousaf Simula Research Laboratory, Aitor Arrieta Mondragon University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics, Shuai Wang DNV AS
14:00 - 15:30
Test FlakinessResearch Papers / Short Papers, Vision and Emerging Results at Room 101
Chair(s): Phil McMinn University of Sheffield
14:00
25m
Talk
A Systematic Evaluation of Environmental Flakiness in JavaScript TestsArtifact ReviewedArtifact Available
Research Papers
Negar Hashemi Massey University, Amjed Tahir Massey University, August Shi The University of Texas at Austin, Shawn Rasheed UCOL, Rachel Blagojevic Massey University
14:25
25m
Talk
Pinpointing Flakiness in Web Tests via DOM Event Analysis and LLM-based Reasoning
Research Papers
Yu Pei University of Luxembourg, Jeongju Sohn Kyungpook National University, Sarra Habchi Cohere, Canada, Mike Papadakis University of Luxembourg
14:50
25m
Talk
Automatically Resolving Mismatched Invocations on Test Doubles in Test SuitesArtifact ReviewedArtifact Available
Research Papers
Mengzhen Li University of Minnesota, Mattia Fazzini University of Minnesota
15:15
15m
Talk
Towards an Actionable Flakiness Score
Short Papers, Vision and Emerging Results
Joanna Kisaakye University of Antwerp, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw
16:00 - 17:30
LLM-Assisted Test GenerationShort Papers, Vision and Emerging Results / Research Papers at Room 101
Chair(s): Shifat Sahariar Bhuiyan Università della Svizzera italiana
16:00
25m
Talk
Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
Research Papers
Hamed Taherkhani York University, Alireza Daghighfarsoodeh York University, Mohammad Chowdhury York University, Hung Viet Pham York University, Hadi Hemmati York University
16:25
25m
Talk
How well LLM-based test generation techniques perform with newer LLM versions?
Research Papers
Michael Konstantinou University of Luxembourg, Renzo Degiovanni Luxembourg Institute of Science and Technology, Mike Papadakis University of Luxembourg
16:50
25m
Talk
Improving Automated Patch Correctness Assessment by Designing LLM-Based OraclesArtifact ReviewedArtifact Available
Research Papers
Inyeong Jang Duksung Women's University, Jinyoung Kim Sungkyunkwan University
17:15
15m
Talk
Developer vs. DSpot vs. ChatGPT: A Comparative Study of JUnit Test Amplification
Short Papers, Vision and Emerging Results
David Onyango Owuor North Dakota State University, Ajay Jha North Dakota State University
Pre-print

Wed 20 May

Displayed time zone: Seoul change

10:30 - 12:00
Web Application Automated TestingResearch Papers / Short Papers, Vision and Emerging Results at Room 101
Chair(s): Tommaso Fulcini Politecnico di Torino
10:30
25m
Talk
Leveraging Large Language Models for Trustworthiness Assessment of Web Applications
Research Papers
Oleksandr Yarotskyi University of Coimbra, José D'Abruzzo Pereira University of Coimbra, João R. Campos University of Coimbra
10:55
25m
Talk
Towards Automated Page Object Generation for Web Testing using Large Language Models
Research Papers
Betül Karagöz Technical University of Munich, Filippo Ricca DIBRIS, Università di Genova, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Andrea Stocco Technical University of Munich, fortiss
Pre-print
11:20
25m
Talk
Neural Embeddings for Web Testing
Research Papers
Kasun Kanaththage Technical University of Munich, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Paolo Tonella USI Lugano, Andrea Stocco Technical University of Munich, fortiss
Pre-print
11:45
15m
Talk
Automated Reproduction of Android Application Bugs with LLMs: Are We There Yet?
Short Papers, Vision and Emerging Results
Dennis Carey Florida Polytechnic University, Karim Elish Florida Polytechnic University, Paniz Abedin Florida Polytechnic University
13:30 - 15:00
Automated API, Property & Grammar-based TestingResearch Papers / Industry at Room 101
Chair(s): Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China
13:30
25m
Talk
Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test GenerationArtifact ReviewedArtifact Available
Research Papers
Lucas Berg University of Namur, Lukas Krodinger University of Passau, Stephan Lukasczyk JetBrains Research, Annibale Panichella Delft University of Technology, Gordon Fraser University of Passau, Wim Vanhoof University of Namur, Xavier Devroey University of Namur
Pre-print
13:55
25m
Talk
On the Evolution of Python Test Cases into Property-based TestsArtifact Available
Research Papers
Cindy Wauters Vrije Universiteit Brussel, Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Pre-print
14:20
25m
Talk
Embedding-based Diversity Mapping for Test Generator Selection and Input Prioritization in Grammar-based TestingArtifact Available
Research Papers
Shifat Sahariar Bhuiyan Università della Svizzera italiana, Nargiz Humbatova Università della Svizzera italiana, Paolo Tonella USI Lugano
14:45
15m
Talk
Automated REST API Black-box Test Generation in Practice: An Experience Report from Industry
Industry
Davide Corradini University of Luxembourg, Seung Yeob Shin University of Luxembourg, Domenico Bianculli University of Luxembourg
15:30 - 17:00
Security, Fairness & Architectural AlignmentResearch Papers / Industry at Room 101
Chair(s): Amjed Tahir Massey University
15:30
25m
Talk
Do Language Models Prefer Vulnerable Code? A Probabilistic Study of Insecure Code PreferenceArtifact ReviewedArtifact Available
Research Papers
Rui Melo Carnegie Mellon University and Faculty of Engineering, University of Porto, Sofia Reis Faculty of Engineering of the University of Porto, Andre Catarino Faculty of Engineering, University of Porto, Rui Abreu University of Porto
Pre-print
15:55
25m
Talk
Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants CategoriesArtifact ReviewedArtifact Available
Research Papers
Mojtaba Eshghie Umeå University, Melissa Mazura KTH Royal Institute of Technology, Alexandre Bartel Umeå University
16:20
25m
Talk
Individual Fairness Testing in Fairness through Unawareness
Research Papers
Taisei Kuma Keio University, Takashi Kitamura AIST, Shingo Takada Keio University, Japan
16:45
15m
Talk
Formalizing Test Levels for Architectural Alignment and Overall Optimization
Industry
Riku Ogura freee K.K., Ren Karita freee K.K.
17:00 - 17:30
Open Steering Committee MeetingICST 2026 at Room 101
17:00
30m
Meeting
Open Steering Committee Meeting
ICST 2026
Gregory Gay Chalmers University of Technology and University of Gothenburg, Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern

Thu 21 May

Displayed time zone: Seoul change

13:00 - 14:30
Cyber-Physical Systems (CPS) ReliabilityResearch Papers / Journal-First Papers at Room 101
Chair(s): Chris Poskitt Singapore Management University
13:00
25m
Talk
Continuous Requirement Conformance Falsification for Cyber-Physical Systems via Cross-Revision Knowledge TransferArtifact ReviewedArtifact Available
Research Papers
Jesper Winsten Åbo Akademi University, Ivan Porres Åbo Akademi University
13:25
25m
Talk
Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
Research Papers
Zaid Ghazal University of Michigan-Dearborn, Hadiza Yusuf University of Michigan - Dearborn, Khouloud Gaaloul University of Michigan - Dearborn
13:50
15m
Talk
Fault Localization of AI-Enabled Cyber–Physical Systems by Exploiting Temporal Neuron Activation
Journal-First Papers
Deyun Lyu National Institute of Informatics, Yi Li Kyushu University, Zhenya Zhang Kyushu University, Paolo Arcaini National Institute of Informatics, Xiao-Yi Zhang University of Science and Technology Beijing, Fuyuki Ishikawa National Institute of Informatics, Jianjun Zhao Kyushu University
DOI
14:05
15m
Talk
FlowRepair: Search-Based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
Journal-First Papers
Aitor Arrieta Mondragon University, Pablo Valle Mondragon University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
DOI
15:00 - 16:30
UI Accessibility & Automated OraclesResearch Papers at Room 101
Chair(s): Shifat Sahariar Bhuiyan Università della Svizzera italiana
15:00
25m
Talk
Lost in Navigation: Detecting Keyboard Navigation Accessibility Issues in Web Pages
Research Papers
Robert Winn University of Southern California, USA, Paul T. Chiou University of Southern California, William G.J. Halfond University of Southern California
15:25
25m
Talk
SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERTDistinguished Paper Award
Research Papers
Guan-Yan Yang National Taiwan University, Wei-Ling Wen National Taiwan University, Shu Yuan Ku National Taiwan University, Farn Wang National Taiwan University, Kuo-Hui Yeh National Yang Ming Chiao Tung University
Pre-print
15:50
25m
Talk
A Linguistically Motivated Automated Testing Framework For ASR Accent-RobustnessArtifact ReviewedArtifact Available
Research Papers
Margot Masson University College Dublin, Thomas Laurent Lero@Trinity College Dublin, Anthony Ventresque School of Computer Science and Statistics, Trinity College Dublin & Research Ireland Lero
16:30 - 17:30
16:30
60m
Talk
Closing
ICST 2026

Fri 22 May

Displayed time zone: Seoul change

09:00 - 10:30
AIST - Opening & KeynoteAIST at Room 101
09:00
90m
Keynote
AIST Keynote
AIST
Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
11:00 - 12:30
AIST - Session 1AIST at Room 101
11:00
30m
Talk
Improving LLM-Driven Test Generation by Learning from Mocking Information
AIST
Jamie Lee University of Auckland, Flynn Teh University of Auckland, Hengcheng Zhu The Hong Kong University of Science and Technology, Mengzhen Li University of Minnesota, Mattia Fazzini University of Minnesota, Valerio Terragni University of Auckland
11:30
30m
Talk
STARouter: Internal State based LLM Router for Software Testing Tasks
AIST
Hyunjoon Cho KAIST, Shin Yoo KAIST
12:00
30m
Talk
Towards LLMinating Performance Anti-Patterns in Android Apps
AIST
Rui Rua New York University Abu Dhabi, Karim Ali NYU Abu Dhabi
Pre-print
14:00 - 15:30
AIST - Session 2AIST at Room 101
14:00
30m
Talk
An Empirical Assessment of Copilot’s Defect Prediction Capabilities in Code Reviews
AIST
Charis Dimopoulou University of Luxembourg, Fabrizio Pastore University of Luxembourg
14:30
60m
Panel
AIST Panel Discussion
AIST
Sebastiano Panichella The Italian Institute of Artificial Intelligence (AI4I) & University of Bern, Mike Papadakis University of Luxembourg, Shin Yoo KAIST