ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Tue 16 Apr

Displayed time zone: Lisbon change

16:00 - 17:30
Coverage and Memory Errors & ClosingKLEE at Maria Helena Vieira da Silva
Chair(s): Julien Vanegue Bloomberg, USA
16:00
22m
Talk
An Efficient Black-box Support of Advanced Coverage Criteria for KLEE
KLEE
Nicolas Berthier OCamlPro, Steven de Oliveira OCamlPro, Nikolai Kosmatov Thales Research & Technology, P: Delphine Longuet Thales Research & Technology, Romain Soulat
16:22
22m
Talk
Concretely Mapped Symbolic Memory Locations for Memory Error Detection
KLEE
P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Jiaqi Hong Independent Researcher, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology
16:44
16m
Day closing
Closing Remarks
KLEE
Cristian Cadar Imperial College London
Hide past events