Automating Differential Testing with Over-approximate Symbolic Execution (KLEE 2024) - ICSE 2024

Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Who

Richard Rutledge, Alessandro Orso

Track

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

When

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

Richard Rutledge

Georgia Institute of Technology

Alessandro OrsoPresenter

Georgia Institute of Technology

United States

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

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