ICST 2024
Mon 27 - Fri 31 May 2024 Canada
Thu 30 May 2024 14:00 - 14:20 at Room 2 & 3 - Verification and Testing Chair(s): Franz Wotawa

Thu 30 May

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:00
Verification and TestingIndustry / Journal-First Papers / Research Papers at Room 2 & 3
Chair(s): Franz Wotawa Graz University of Technology
14:00
20m
Industry 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
20m
Long-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
20m
Research 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
Pre-print