Spectrum-Based Multiple Fault Localization (ASE 2023 - Most Influential Papers (MIP)) - ASE 2023

Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg

Who

Rui Abreu, Peter Zoeteweij, Arjan J.C. van Gemund

Track

ASE 2023 Most Influential Papers (MIP)

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Wed 13 Sep 2023 08:42 - 08:54 at Room C - MIP awards Chair(s): Myra Cohen

Rui Abreu

Faculty of Engineering, University of Porto

United States

Peter Zoeteweij

Arjan J.C. van Gemund

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	08:30 - 09:00	MIP awardsMost Influential Papers (MIP) at Room C Chair(s): Myra Cohen Iowa State University

	08:30 12m Talk		SMT-Based Bounded Model Checking for Embedded ANSI-C Software Most Influential Papers (MIP) Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil, Bernd Fischer Stellenbosch University, Joao Marques-Silva IRIT, CNRS, Toulouse Link to publication File Attached
	08:42 12m Talk		Spectrum-Based Multiple Fault Localization Most Influential Papers (MIP) Rui Abreu Faculty of Engineering, University of Porto, Peter Zoeteweij , Arjan J.C. van Gemund