An Efficient Black-box Support of Advanced Coverage Criteria for KLEE (KLEE 2024) - ICSE 2024

Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Who

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat

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 16:00 - 16:22 at Maria Helena Vieira da Silva - Coverage and Memory Errors & Closing Chair(s): Julien Vanegue

Nicolas Berthier

OCamlPro

Steven de Oliveira

OCamlPro

Nikolai Kosmatov

Thales Research & Technology

Delphine LonguetPresenter

Thales Research & Technology

Romain Soulat

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

	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