Intelligent SE 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
Intelligent SE Program
Your Program
Mon 18 May
Tue 19 May
Wed 20 May
Thu 21 May
Fri 22 May
Track/Call
Organization
Intelligent SE 2026 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
Intelligent SE 2026
Intelligent SE 2025
Sign in
Sign up
ICST 2026
(
series
) /
Intelligent SE 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
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
Wed 9 Sep 09:04