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