Mutation 2026
Mon 18 - Fri 22 May 2026
Daejeon, South Korea
co-located with
ICST 2026
Toggle navigation
Attending
Venue: Daejeon Convention Center (DCC)
Reception: KAIST, John Hanner Hall
Program
Mutation Program
Your Program
Mon 18 May
Tue 19 May
Wed 20 May
Thu 21 May
Fri 22 May
Track/Call
Organization
Mutation 2026 Committees
Track Committees
Organising Committee
Program Committee
Contributors
People Index
Search
Series
Series
Mutation 2026
Mutation 2025
Mutation 2024
Mutation 2023
Mutation 2022
Mutation 2021
Mutation 2020
Sign in
Sign up
ICST 2026
(
series
) /
Mutation 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-01: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+03: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
ICST Doctoral Symposium
at
Room 101
09:15
15m
Talk
Opening
ICST Doctoral Symposium
09:30
60m
Talk
Keynote: Mechanized Specifications Adopted by Real-World Programming Languages
ICST Doctoral Symposium
K:
Sukyoung Ryu
KAIST
11:00 - 12:30
Session 2
ICST Doctoral Symposium
at
Room 101
11:00
30m
Doctoral symposium paper
A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities
ICST Doctoral Symposium
Jorge Guerreiro
11:30
30m
Doctoral symposium paper
Analyzing the Latent Input Space of LLMs for Systematic Prompt Testing
ICST 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
ICST Doctoral Symposium
Seunghyun Chae
Pohang University of Science and Technology (POSTECH)
13:40 - 15:30
Session 3
ICST Doctoral Symposium
at
Room 101
13:40
30m
Doctoral symposium paper
Understanding and Overcoming Limitations of Automated Test Generation
ICST 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
ICST Doctoral Symposium
Juyeon Yoon
Korea Advanced Institute of Science and Technology
14:40
30m
Doctoral symposium paper
Topographical Deep Learning Testing
ICST Doctoral Symposium
Gianmarco De Vita
Università della Svizzera italiana
15:10
20m
Panel
Q&A 1
ICST Doctoral Symposium
16:00 - 18:00
Session 4
ICST Doctoral Symposium
at
Room 101
16:00
30m
Doctoral symposium paper
Reinforcement Learning-Based Collaborative Fuzzing
ICST Doctoral Symposium
Hyeonmin Mo
Hanyang University
16:30
30m
Doctoral symposium paper
Automatic Inference of Expressive Metamorphic Relations for Effective Metamorphic Testing
ICST Doctoral Symposium
Agustin Nolasco
University of Rio Cuarto
17:00
30m
Doctoral symposium paper
Improving the Accuracy of Dynamic Specification Inference
ICST Doctoral Symposium
Agustín Balestra
University of Rio Cuarto, Argentina
17:30
30m
Panel
Q&A 2 and Closing
ICST Doctoral Symposium
Tue 19 May
Displayed time zone:
Seoul
change
11:00 - 12:30
Autonomous Systems & Robotics Testing
ICST Industry
/
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
ICST Research Papers
/
ICST 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
ICST 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
ICST 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
ICST Research Papers
Mengzhen Li
University of Minnesota
,
Mattia Fazzini
University of Minnesota
15:15
15m
Talk
Towards an Actionable Flakiness Score
ICST 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
ICST Short Papers, Vision and Emerging Results
/
ICST 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
ICST 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?
ICST 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
ICST 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
ICST 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
ICST Research Papers
/
ICST 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
ICST 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
ICST 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
ICST 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?
ICST 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
ICST Research Papers
/
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
ICST Research Papers
/
ICST 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
ICST 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
ICST 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
ICST 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
ICST Industry
Riku Ogura
freee K.K.
,
Ren Karita
freee K.K.
17:00 - 17:30
Open Steering Committee Meeting
ICST
at
Room 101
17:00
30m
Meeting
Open Steering Committee Meeting
ICST
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
ICST Research Papers
/
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
at
Room 101
16:30
60m
Talk
Closing
ICST
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
ICST Doctoral Symposium
Session 1: Opening and Keynote
ICST Doctoral Symposium
Session 2
ICST Doctoral Symposium
Session 3
ICST 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
ICST Industry + ICST Research Papers
Autonomous Systems & Robotics Testing
ICST Research Papers + ICST Short Papers, Vision and Emerging Results
Test Flakiness
ICST Short Papers, Vision and Emerging Results + ICST 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
ICST Research Papers + ICST Short Papers, Vision and Emerging Results
Web Application Automated Testing
ICST Research Papers + ICST Industry
Automated API, Property & Grammar-based Testing
ICST Research Papers + ICST Industry
Security, Fairness & Architectural Alignment
ICST
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
ICST Research Papers + ICST Journal-First Papers
Cyber-Physical Systems (CPS) Reliability
ICST Research Papers
UI Accessibility & Automated Oracles
ICST
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 5 Oct 17:22