Precise Lazy Initialization for Programs with Complex Heap Inputs (KLEE 2024)

Who

Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio

Track

KLEE 2024

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 16 Apr 2024 09:22 - 09:44 at Maria Helena Vieira da Silva - Test Input Generation Chair(s): Sergey Mechtaev

Juan Manuel CopiaPresenter

IMDEA Software Institute; Universidad Politécnica de Madrid

Spain

Facundo Molina

IMDEA Software Institute

Spain

Nazareno Aguirre

University of Rio Cuarto and CONICET

Marcelo F. Frias

Dept. of Software Engineering Instituto Tecnológico de Buenos Aires

United States

Alessandra Gorla

IMDEA Software Institute

Spain

Pablo Ponzio

Dept. of Computer Science FCEFQyN, University of Rio Cuarto

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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