ICST 2024 (series) / Journal-First Papers /
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution
This program is tentative and subject to change.
Thu 30 May 2024 14:20 - 14:40 at Room 2 - Verification and Testing
This program is tentative and subject to change.
Thu 30 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 30 May
Displayed time zone: Eastern Time (US & Canada) change
14:00 - 15:00 | |||
14:00 20mIndustry talk | Randomised Testing of the Compiler for a Verification-Aware Programming Language Industry Alastair F. Donaldson Imperial College London, Dilan Sheth Imperial College London, Jean-Baptiste Tristan Amazon Web Services, Alex Usher Imperial College London | ||
14:20 20mLong-paper | Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution Journal-First Papers Elson Kurian University of Milano Bicocca, Daniela Briola University of Milano Bicocca, Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca | ||
14:40 20mResearch paper | EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games Research Papers Saba Gholizadeh Ansari Utrecht University, Wishnu Prasetya Utrecht University, Frank Dignum Umea University, Mehdi Dastani , Gabriele Keller Utrecht University |