ICST 2026
Mon 18 - Fri 22 May 2026
Daejeon, South Korea
Toggle navigation
Attending
Venue: Daejeon Convention Center (DCC)
Reception: KAIST, John Hanner Hall
Social Events
Registration
Diversity and Inclusion Plan
Arrival Guide
Tour Information
> Optional Tours
Hotels
Visa Guidelines
Info
Sponsorship Opportunities
Floor Map
Lunch Out (May 21st)
Program
ICST Program
Your Program
Program Overview
Keynote
Mon 18 May
Tue 19 May
Wed 20 May
Thu 21 May
Fri 22 May
Tracks
ICST 2026
Keynote
Research Papers
Industry
Short Papers, Vision and Emerging Results
Education
Posters
Artifact Evaluation
Journal-First Papers
MIP Award
Doctoral Symposium
Tutorials
Testing Tools and Data Showcase
Tool Competitions: Self-Driving Car and UAV Testing
Workshops
Student Volunteers
ICST 2026
Workshops
AIST
Artificial Intelligence in Software Testing
ASTA
Agentic AI in Software Testing and Automation
ASTA
ASTA
CCIW
CI/CD Industry Workshop
InSTA
Software Test Architecture
Intelligent SE
Intelligent Software Engineering
ITEQS
Testing EFP and Quality of Software Systems
IWCT
Combinatorial Testing
Mutation
Mutation Analysis
SAFE-ML
Secure, Accountable, and Verifiable ML
Organization
ICST 2026 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Industry
Short Papers, Vision and Emerging Results
Education
Posters
Artifact Evaluation
Journal-First Papers
Doctoral Symposium
Panel
Program Committee
Tutorials
Testing Tools and Data Showcase
Tool Competitions: Self-Driving Car and UAV Testing
Workshops
Contributors
People Index
Workshops
AIST
Artificial Intelligence in Software Testing
Organizing Committee
Program Committee
Steering Committee
ASTA
Agentic AI in Software Testing and Automation
Web/proceedings chair
Organizing Committee
Program Committee
Web and Proceedings chair
CCIW
CI/CD Industry Workshop
Organizing Committee
Programm Committee
Steering Committee
InSTA
Software Test Architecture
Organizing Committee
Program Committee
Intelligent SE
Intelligent Software Engineering
Program Committee
ITEQS
Testing EFP and Quality of Software Systems
Organizing Commmittee
Program Committee
IWCT
Combinatorial Testing
Program Committee Chairs
Program Committee
Steering Committee
Mutation
Mutation Analysis
Organising Committee
Program Committee
SAFE-ML
Secure, Accountable, and Verifiable ML
Organizing Committee
Programme Committe
Steering Committee
Search
Series
Series
ICST 2027
ICST 2026
ICST 2025
ICST 2024
ICST 2023
ICST 2022
ICST 2021
ICST 2020
Sign in
Sign up
ICST 2026
(
series
) /
Daejeon Convention Center (DCC)
/
Room information: Room 101
Venue
Daejeon Convention Center (DCC)
Room name
Room 101
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+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
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-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(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-04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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 18 May
Displayed time zone:
Seoul
change
09:15 - 10:30
Session 1: Opening and Keynote
Doctoral 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
Session 2
Doctoral Symposium
at
Room 101
11:00
30m
Doctoral symposium paper
A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities
Doctoral Symposium
Jorge Guerreiro
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
Session 3
Doctoral Symposium
at
Room 101
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
Session 4
Doctoral Symposium
at
Room 101
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 Testing
Industry
/
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 Testing
Distinguished Paper Award
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 Robots
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 Flakiness
Research 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 Tests
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 Suites
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 Generation
Short 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 Oracles
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 Testing
Research 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 Testing
Research 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 Generation
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 Tests
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 Testing
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 Alignment
Research 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 Preference
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 Categories
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 Meeting
ICST 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) Reliability
Research 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 Transfer
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 Oracles
Research 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-BERT
Distinguished 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-Robustness
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
Closing
ICST 2026
at
Room 101
16:30
60m
Talk
Closing
ICST 2026
Fri 22 May
Displayed time zone:
Seoul
change
09:00 - 10:30
AIST - Opening & Keynote
AIST
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 1
AIST
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 2
AIST
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
Mon 18 May
Displayed time zone:
Seoul
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
17:00
30
Room 101
Doctoral Symposium
Session 1: Opening and Keynote
Doctoral Symposium
Session 2
Doctoral Symposium
Session 3
Doctoral Symposium
Session 4
Tue 19 May
Displayed time zone:
Seoul
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room 101
Industry + Research Papers
Autonomous Systems & Robotics Testing
Research Papers + Short Papers, Vision and Emerging Results
Test Flakiness
Short Papers, Vision and Emerging Results + Research Papers
LLM-Assisted Test Generation
Wed 20 May
Displayed time zone:
Seoul
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room 101
Research Papers + Short Papers, Vision and Emerging Results
Web Application Automated Testing
Research Papers + Industry
Automated API, Property & Grammar-based Testing
Research Papers + Industry
Security, Fairness & Architectural Alignment
ICST 2026
Open Steering Committee Meeting
Thu 21 May
Displayed time zone:
Seoul
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room 101
Research Papers + Journal-First Papers
Cyber-Physical Systems (CPS) Reliability
Research Papers
UI Accessibility & Automated Oracles
ICST 2026
Closing
Fri 22 May
Displayed time zone:
Seoul
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
17:00
30
Room 101
AIST
AIST - Opening & Keynote
AIST
AIST - Session 1
AIST
AIST - Session 2
AIST
Mon 18 May
Displayed time zone:
Seoul
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
17:00
15
30
45
Room 101
ICST Doctoral Symposium
Opening
09:15 - 09:30
ICST Doctoral Symposium
Keynote: Mechanized Specifications Adopted by Real-World Programming La ...
09:30 - 10:30
ICST Doctoral Symposium
A Multimodal NLP Framework for Detecting and Removing with Explanation ...
11:00 - 11:30
ICST Doctoral Symposium
Analyzing the Latent Input Space of LLMs for Systematic Prompt Testing
11:30 - 12:00
ICST Doctoral Symposium
An Activation Property-Based Framework for Efficient Neural Network Ver ...
12:00 - 12:30
ICST Doctoral Symposium
Understanding and Overcoming Limitations of Automated Test Generation
13:40 - 14:10
ICST Doctoral Symposium
Designing and Verifying Agentic AI Systems through Structural Architect ...
14:10 - 14:40
ICST Doctoral Symposium
Topographical Deep Learning Testing
14:40 - 15:10
ICST Doctoral Symposium
Q&A 1
15:10 - 15:30
ICST Doctoral Symposium
Reinforcement Learning-Based Collaborative Fuzzing
16:00 - 16:30
ICST Doctoral Symposium
Automatic Inference of Expressive Metamorphic Relations for Effective M ...
16:30 - 17:00
ICST Doctoral Symposium
Improving the Accuracy of Dynamic Specification Inference
17:00 - 17:30
ICST Doctoral Symposium
Q&A 2 and Closing
17:30 - 18:00
Tue 19 May
Displayed time zone:
Seoul
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
16:00
15
30
45
17:00
15
30
45
Room 101
ICST Research Papers
Distinguished Paper Award
Dynasto: Validity-Aware Dynamic–Static Parameter Optimization for Auton ...
11:00 - 11:25
ICST Research Papers
Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadsid ...
11:25 - 11:50
ICST Research Papers
Metamorphic Testing of Vision-Language Action–Enabled Robots
11:50 - 12:05
ICST Industry
Assessing Vision–Language Models for Perception in Autonomous Underwate ...
12:05 - 12:30
ICST Research Papers
A Systematic Evaluation of Environmental Flakiness in JavaScript Tests
14:00 - 14:25
ICST Research Papers
Pinpointing Flakiness in Web Tests via DOM Event Analysis and LLM-based ...
14:25 - 14:50
ICST Research Papers
Automatically Resolving Mismatched Invocations on Test Doubles in Test ...
14:50 - 15:15
ICST Short Papers, Vision and Emerging Results
Towards an Actionable Flakiness Score
15:15 - 15:30
ICST Research Papers
Consistency Meets Verification: Enhancing Test Generation Quality in La ...
16:00 - 16:25
ICST Research Papers
How well LLM-based test generation techniques perform with newer LLM ve ...
16:25 - 16:50
ICST Research Papers
Improving Automated Patch Correctness Assessment by Designing LLM-Based ...
16:50 - 17:15
ICST Short Papers, Vision and Emerging Results
Developer vs. DSpot vs. ChatGPT: A Comparative Study of JUnit Test Ampl ...
17:15 - 17:30
Wed 20 May
Displayed time zone:
Seoul
change
Room
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
17:00
15
30
45
Room 101
ICST Research Papers
Leveraging Large Language Models for Trustworthiness Assessment of Web ...
10:30 - 10:55
ICST Research Papers
Towards Automated Page Object Generation for Web Testing using Large La ...
10:55 - 11:20
ICST Research Papers
Neural Embeddings for Web Testing
11:20 - 11:45
ICST Short Papers, Vision and Emerging Results
Automated Reproduction of Android Application Bugs with LLMs: Are We Th ...
11:45 - 12:00
ICST Research Papers
Real-World Fault Detection for C-Extended Python Projects with Automate ...
13:30 - 13:55
ICST Research Papers
On the Evolution of Python Test Cases into Property-based Tests
13:55 - 14:20
ICST Research Papers
Embedding-based Diversity Mapping for Test Generator Selection and Inpu ...
14:20 - 14:45
ICST Industry
Automated REST API Black-box Test Generation in Practice: An Experience ...
14:45 - 15:00
ICST Research Papers
Do Language Models Prefer Vulnerable Code? A Probabilistic Study of Ins ...
15:30 - 15:55
ICST Research Papers
Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction R ...
15:55 - 16:20
ICST Research Papers
Individual Fairness Testing in Fairness through Unawareness
16:20 - 16:45
ICST Industry
Formalizing Test Levels for Architectural Alignment and Overall Optimiz ...
16:45 - 17:00
ICST
Open Steering Committee Meeting
17:00 - 17:30
Thu 21 May
Displayed time zone:
Seoul
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room 101
ICST Research Papers
Continuous Requirement Conformance Falsification for Cyber-Physical Sys ...
13:00 - 13:25
ICST Research Papers
Towards Counterfactual Explanation and Assertion Inference for CPS Debu ...
13:25 - 13:50
ICST Journal-First Papers
Fault Localization of AI-Enabled Cyber–Physical Systems by Exploiting T ...
13:50 - 14:05
ICST Journal-First Papers
FlowRepair: Search-Based Automated Program Repair of CPS Controllers Mo ...
14:05 - 14:20
ICST Research Papers
Lost in Navigation: Detecting Keyboard Navigation Accessibility Issues ...
15:00 - 15:25
ICST Research Papers
Distinguished Paper Award
SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verificat ...
15:25 - 15:50
ICST Research Papers
A Linguistically Motivated Automated Testing Framework For ASR Accent-R ...
15:50 - 16:15
ICST
Closing
16:30 - 17:30
Fri 22 May
Displayed time zone:
Seoul
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 101
AIST
AIST Keynote
09:00 - 10:30
AIST
Improving LLM-Driven Test Generation by Learning from Mocking Information
11:00 - 11:30
AIST
STARouter: Internal State based LLM Router for Software Testing Tasks
11:30 - 12:00
AIST
Towards LLMinating Performance Anti-Patterns in Android Apps
12:00 - 12:30
AIST
An Empirical Assessment of Copilot’s Defect Prediction Capabilities in ...
14:00 - 14:30
AIST
AIST Panel Discussion
14:30 - 15:30
x
Mon 15 Jun 00:44