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: 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-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
10:30 - 11:00
Coffee Break
ICST Catering
at
1F Lobby
10:30
30m
Coffee break
Break
ICST Catering
15:30 - 16:00
Coffee Break
ICST Catering
at
1F Lobby
15:30
30m
Coffee break
Break
ICST Catering
Tue 19 May
Displayed time zone:
Seoul
change
10:30 - 11:00
Coffee Break
ICST Catering
at
1F Lobby
10:30
30m
Coffee break
Break
ICST Catering
15:30 - 16:00
Coffee Break
ICST Catering
at
1F Lobby
15:30
30m
Coffee break
Break
ICST Catering
Wed 20 May
Displayed time zone:
Seoul
change
10:00 - 10:30
Coffee Break
ICST Catering
at
1F Lobby
10:00
30m
Coffee break
Break
ICST Catering
10:30 - 12:00
Doctoral Symposium Posters
ICST Doctoral Symposium
at
1F Lobby
10:30
90m
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
10:30
90m
Doctoral symposium paper
A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities
ICST Doctoral Symposium
Jorge Guerreiro
10:30
90m
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)
10:30
90m
Doctoral symposium paper
Automatic Inference of Expressive Metamorphic Relations for Effective Metamorphic Testing
ICST 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
ICST Doctoral Symposium
Somin Kim
Korea Advanced Institute of Science and Technology
10:30
90m
Doctoral symposium paper
Topographical Deep Learning Testing
ICST Doctoral Symposium
Gianmarco De Vita
Università della Svizzera italiana
10:30
90m
Doctoral symposium paper
Understanding and Overcoming Limitations of Automated Test Generation
ICST Doctoral Symposium
Lukas Krodinger
University of Passau
DOI
Pre-print
10:30
90m
Doctoral symposium paper
Improving the Accuracy of Dynamic Specification Inference
ICST Doctoral Symposium
AgustÃn Balestra
University of Rio Cuarto, Argentina
10:30
90m
Doctoral symposium paper
Reinforcement Learning-Based Collaborative Fuzzing
ICST Doctoral Symposium
Hyeonmin Mo
Hanyang University
10:30 - 12:00
Posters
ICST Posters
at
1F Lobby
10:30
90m
Poster
Poster: NeuroCERT: Executable Testing for Oracle-Limited Biophysical Network Simulation
ICST 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
ICST 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
ICST 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
ICST Posters
Seoksu Lee
Chungnam National Univ.
,
Sangjun An
Chungnam National University
,
Eunbi Cho
Chungnam National University
,
Eun-Sun Cho
Chungnam National University, Korea
15:00 - 15:30
Coffee Break
ICST Catering
at
1F Lobby
15:00
30m
Coffee break
Break
ICST Catering
Thu 21 May
Displayed time zone:
Seoul
change
14:30 - 15:00
Coffee Break
ICST Catering
at
1F Lobby
14:30
30m
Coffee break
Break
ICST Catering
Fri 22 May
Displayed time zone:
Seoul
change
10:30 - 11:00
Coffee Break
ICST Catering
at
1F Lobby
10:30
30m
Coffee break
Break
ICST Catering
15:30 - 16:00
Coffee Break
ICST Catering
at
1F Lobby
15:30
30m
Coffee break
Break
ICST 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
ICST Catering
Coffee Break
ICST 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
ICST Catering
Coffee Break
ICST 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
ICST Catering
Coffee Break
ICST Doctoral Symposium
Doctoral Symposium Posters
ICST Posters
Posters
10:30 - 12:00
ICST Catering
Coffee Break
Thu 21 May
Displayed time zone:
Seoul
change
Room
14:00
30
1F Lobby
ICST 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
ICST Catering
Coffee Break
ICST 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 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 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 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 5 Oct 17:20