APSEC 2023
Mon 4 - Thu 7 December 2023 Seoul, South Korea
Thu 7 Dec 2023 11:30 - 12:00 at Grand Hall 1 - Testing and Analysis (5) Chair(s): Yunho Kim

Thu 7 Dec

Displayed time zone: Seoul change

11:00 - 12:30
Testing and Analysis (5)Technical Track at Grand Hall 1
Chair(s): Yunho Kim Hanyang University
11:00
30m
Talk
Automated Simulation-based Integration Testing for Multiple PLCs in a Reactor Protection System
Technical Track
Hyeongseok Eun KEPCO E&C, Eunkyoung Jee KAIST, South Korea, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
11:30
30m
Talk
Verifying Exception-Handling Code in Concurrent Libraries
Technical Track
Dhriti Khanna IIIT Delhi, Subodh Sharma IIT Delhi, Rahul Purandare University of Nebraska-Lincoln
12:00
30m
Talk
Parameterized Search Heuristic Prediction for Concolic Execution
Technical Track
Farnoushsadat Nilizadeh Isfahan University of Technology, Hamid Dashtbani Department of Electrical and Computer Engineering, Isfahan University of Technology, Maryam Mouzarani Department of Electrical and Computer Engineering, Isfahan University of Technology