ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Tue 16 Apr 2024 09:44 - 10:06 at Maria Helena Vieira da Silva - Test Input Generation Chair(s): Sergey Mechtaev

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Test Input GenerationKLEE at Maria Helena Vieira da Silva
Chair(s): Sergey Mechtaev University College London
09:00
22m
Talk
Complex Test Input Generation in KLEE
KLEE
P: Alexey Babushkin Explyt, Aleksandr Misonizhnik Explyt, Yurii Kostyukov RnD Toolchain Labs, Huawei, Dmitry Mordvinov Huawei, Dmitry Ivanov Huawei
09:22
22m
Talk
Precise Lazy Initialization for Programs with Complex Heap Inputs
KLEE
P: Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Alessandra Gorla IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto
09:44
22m
Talk
Automating Differential Testing with Over-approximate Symbolic Execution
KLEE
Richard Rutledge Georgia Institute of Technology, P: Alessandro Orso Georgia Institute of Technology
10:06
22m
Talk
How the SHA-3 Buffer Overflow Was Found using KLEE
KLEE
P: Nicky Mouha Strativia / NIST Associate