Lunch, Dinner, Coffee-breaks
Dates
Tracks
Plenary
Mon 18 MayDisplayed time zone: Seoul change
Mon 18 May
Displayed time zone: Seoul change
09:15 - 10:30 | |||
09:15 15mTalk | Opening ICST Doctoral Symposium | ||
09:30 60mTalk | Keynote: Mechanized Specifications Adopted by Real-World Programming Languages ICST Doctoral Symposium | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ICST Catering | ||
11:00 - 12:30 | |||
11:00 30mDoctoral symposium paper | A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities ICST Doctoral Symposium | ||
11:30 30mDoctoral 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 30mDoctoral symposium paper | An Activation Property-Based Framework for Efficient Neural Network Verification ICST Doctoral Symposium Seunghyun Chae Pohang University of Science and Technology (POSTECH) | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ICST Catering | ||
12:30 - 13:40 | |||
12:30 70mLunch | Doctoral Symposium Lunch ICST Doctoral Symposium | ||
13:40 - 15:30 | |||
13:40 30mDoctoral symposium paper | Understanding and Overcoming Limitations of Automated Test Generation ICST Doctoral Symposium Lukas Krodinger University of Passau DOI Pre-print | ||
14:10 30mDoctoral 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 30mDoctoral symposium paper | Topographical Deep Learning Testing ICST Doctoral Symposium Gianmarco De Vita Università della Svizzera italiana | ||
15:10 20mPanel | Q&A 1 ICST Doctoral Symposium | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break ICST Catering | ||
16:00 - 18:00 | |||
16:00 30mDoctoral symposium paper | Reinforcement Learning-Based Collaborative Fuzzing ICST Doctoral Symposium Hyeonmin Mo Hanyang University | ||
16:30 30mDoctoral symposium paper | Automatic Inference of Expressive Metamorphic Relations for Effective Metamorphic Testing ICST Doctoral Symposium Agustin Nolasco University of Rio Cuarto | ||
17:00 30mDoctoral symposium paper | Improving the Accuracy of Dynamic Specification Inference ICST Doctoral Symposium Agustín Balestra University of Rio Cuarto, Argentina | ||
17:30 30mPanel | Q&A 2 and Closing ICST Doctoral Symposium | ||
Tue 19 MayDisplayed time zone: Seoul change
Tue 19 May
Displayed time zone: Seoul change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ICST Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ICST Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break ICST Catering | ||
Wed 20 MayDisplayed time zone: Seoul change
Wed 20 May
Displayed time zone: Seoul change
10:00 - 10:30 | |||
10:00 30mCoffee break | Break ICST Catering | ||
10:30 - 12:00 | |||
10:30 90mDoctoral 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 90mDoctoral symposium paper | A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities ICST Doctoral Symposium | ||
10:30 90mDoctoral 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 90mDoctoral symposium paper | Automatic Inference of Expressive Metamorphic Relations for Effective Metamorphic Testing ICST Doctoral Symposium Agustin Nolasco University of Rio Cuarto | ||
10:30 90mDoctoral 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 90mDoctoral symposium paper | Topographical Deep Learning Testing ICST Doctoral Symposium Gianmarco De Vita Università della Svizzera italiana | ||
10:30 90mDoctoral symposium paper | Understanding and Overcoming Limitations of Automated Test Generation ICST Doctoral Symposium Lukas Krodinger University of Passau DOI Pre-print | ||
10:30 90mDoctoral symposium paper | Improving the Accuracy of Dynamic Specification Inference ICST Doctoral Symposium Agustín Balestra University of Rio Cuarto, Argentina | ||
10:30 90mDoctoral symposium paper | Reinforcement Learning-Based Collaborative Fuzzing ICST Doctoral Symposium Hyeonmin Mo Hanyang University | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch ICST Catering | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break ICST Catering | ||
Thu 21 MayDisplayed time zone: Seoul change
Thu 21 May
Displayed time zone: Seoul change
10:00 - 10:30 | |||
10:00 30mCoffee break | Break ICST Catering | ||
10:30 - 11:30 | |||
10:30 15mTalk | ICST 2027 Presentation ICST | ||
10:45 15mTalk | Most Influential Paper Award ICST MIP Award | ||
11:00 30mTalk | Most Influential Paper Award Presentation ICST MIP Award | ||
11:30 - 13:00 | |||
11:30 90mLunch | Lunch ICST Catering | ||
14:30 - 15:00 | |||
14:30 30mCoffee break | Break ICST Catering | ||
Fri 22 MayDisplayed time zone: Seoul change
Fri 22 May
Displayed time zone: Seoul change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ICST Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ICST Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break ICST Catering | ||
Unscheduled Events
| Not scheduled Dinner | Dinner ICST Catering |