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: 1F Lobby
Venue
Daejeon Convention Center (DCC)
Room name
1F Lobby
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
10:30 - 11:00
Coffee Break
Catering
at
1F Lobby
10:30
30m
Coffee break
Break
Catering
15:30 - 16:00
Coffee Break
Catering
at
1F Lobby
15:30
30m
Coffee break
Break
Catering
Tue 19 May
Displayed time zone:
Seoul
change
10:30 - 11:00
Coffee Break
Catering
at
1F Lobby
10:30
30m
Coffee break
Break
Catering
15:30 - 16:00
Coffee Break
Catering
at
1F Lobby
15:30
30m
Coffee break
Break
Catering
Wed 20 May
Displayed time zone:
Seoul
change
10:00 - 10:30
Coffee Break
Catering
at
1F Lobby
10:00
30m
Coffee break
Break
Catering
10:30 - 12:00
Posters
Posters
at
1F Lobby
10:30
90m
Poster
Poster: NeuroCERT: Executable Testing for Oracle-Limited Biophysical Network Simulation
Posters
Seungyoun Lee
Korea Institute of Science and Technology, Korea University
,
Hyun Jae Jang
Korea Institute of Science and Technology
,
Jae-Ho Han
Korea University
10:30
90m
Poster
Poster: Transformer-Based Detection of Code Obfuscation Techniques Using Opcode Sequences
Posters
Inwoo Jo
Chungnam National University
,
Wanju Kim
Chungnam National University
,
Eun-Sun Cho
Chungnam National University, Korea
10:30
90m
Poster
Comparative Study of Human and Machine level prompts for LLM driven software testing
Posters
Anand Sharma
National Institute of Technology Warangal
,
VIVEK YELLETI
National Institute of Technology Warangal
,
Sangharatna Godboley
NIT Warangal
,
P. Radha Krishna
National Institute of Technology Warangal, Warangal
10:30
90m
Poster
Poster: Automated Generation of a Broad Spectrum of MBA Expressions for Robust Deobfuscation Analysis
Posters
Seoksu Lee
Chungnam National Univ.
,
Sangjun An
Chungnam National University
,
Eunbi Cho
Chungnam National University
,
Eun-Sun Cho
Chungnam National University, Korea
10:30 - 12:00
Doctoral Symposium Posters
Doctoral Symposium
at
1F Lobby
10:30
90m
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
10:30
90m
Doctoral symposium paper
A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities
Doctoral Symposium
Jorge Guerreiro
10:30
90m
Doctoral symposium paper
An Activation Property-Based Framework for Efficient Neural Network Verification
Doctoral Symposium
Seunghyun Chae
Pohang University of Science and Technology (POSTECH)
10:30
90m
Doctoral symposium paper
Automatic Inference of Expressive Metamorphic Relations for Effective Metamorphic Testing
Doctoral Symposium
Agustin Nolasco
University of Rio Cuarto
10:30
90m
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
10:30
90m
Doctoral symposium paper
Topographical Deep Learning Testing
Doctoral Symposium
Gianmarco De Vita
Università della Svizzera italiana
10:30
90m
Doctoral symposium paper
Understanding and Overcoming Limitations of Automated Test Generation
Doctoral Symposium
Lukas Krodinger
University of Passau
DOI
Pre-print
10:30
90m
Doctoral symposium paper
Improving the Accuracy of Dynamic Specification Inference
Doctoral Symposium
AgustÃn Balestra
University of Rio Cuarto, Argentina
10:30
90m
Doctoral symposium paper
Reinforcement Learning-Based Collaborative Fuzzing
Doctoral Symposium
Hyeonmin Mo
Hanyang University
15:00 - 15:30
Coffee Break
Catering
at
1F Lobby
15:00
30m
Coffee break
Break
Catering
Thu 21 May
Displayed time zone:
Seoul
change
14:30 - 15:00
Coffee Break
Catering
at
1F Lobby
14:30
30m
Coffee break
Break
Catering
Fri 22 May
Displayed time zone:
Seoul
change
10:30 - 11:00
Coffee Break
Catering
at
1F Lobby
10:30
30m
Coffee break
Break
Catering
15:30 - 16:00
Coffee Break
Catering
at
1F Lobby
15:30
30m
Coffee break
Break
Catering
Mon 18 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
1F Lobby
Catering
Coffee Break
Catering
Coffee Break
Tue 19 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
1F Lobby
Catering
Coffee Break
Catering
Coffee Break
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
1F Lobby
Catering
Coffee Break
Posters
Posters
Doctoral Symposium
Doctoral Symposium Posters
10:30 - 12:00
Catering
Coffee Break
Thu 21 May
Displayed time zone:
Seoul
change
Room
14:00
30
1F Lobby
Catering
Coffee Break
Fri 22 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
1F Lobby
Catering
Coffee Break
Catering
Coffee Break
Mon 18 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
1F Lobby
ICST Catering
Break
10:30 - 11:00
ICST Catering
Break
15:30 - 16:00
Tue 19 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
1F Lobby
ICST Catering
Break
10:30 - 11:00
ICST Catering
Break
15:30 - 16:00
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
1F Lobby
ICST Catering
Break
10:00 - 10:30
ICST Posters
Poster: NeuroCERT: Executable Testing for Oracle-Limited Biophysical Ne ...
10:30 - 12:00
Poster: Transformer-Based Detection of Code Obfuscation Techniques Usin ...
10:30 - 12:00
Comparative Study of Human and Machine level prompts for LLM driven sof ...
10:30 - 12:00
Poster: Automated Generation of a Broad Spectrum of MBA Expressions for ...
10:30 - 12:00
ICST Doctoral Symposium
Designing and Verifying Agentic AI Systems through Structural Architect ...
10:30 - 12:00
A Multimodal NLP Framework for Detecting and Removing with Explanation ...
10:30 - 12:00
An Activation Property-Based Framework for Efficient Neural Network Ver ...
10:30 - 12:00
Automatic Inference of Expressive Metamorphic Relations for Effective M ...
10:30 - 12:00
Analyzing the Latent Input Space of LLMs for Systematic Prompt Testing
10:30 - 12:00
Topographical Deep Learning Testing
10:30 - 12:00
Understanding and Overcoming Limitations of Automated Test Generation
10:30 - 12:00
Improving the Accuracy of Dynamic Specification Inference
10:30 - 12:00
Reinforcement Learning-Based Collaborative Fuzzing
10:30 - 12:00
ICST Catering
Break
15:00 - 15:30
Thu 21 May
Displayed time zone:
Seoul
change
Room
14:00
15
30
45
1F Lobby
ICST Catering
Break
14:30 - 15:00
Fri 22 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
1F Lobby
ICST Catering
Break
10:30 - 11:00
ICST Catering
Break
15:30 - 16:00
x
Mon 15 Jun 00:36