Towards Developing Effective Fault localization Technique for Termination Bugs in Loop Programs (APR 2024) - ICSE 2024

Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Who

Omar Al-Bataineh, Leon Moonen

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

Sat 20 Apr 2024 10:15 - 10:30 at Vianna da Motta - APR Techniques Chair(s): He Ye

Omar Al-Bataineh

Simula Research Laboratory

Leon Moonen

Simula Research Laboratory and BI Norwegian Business School

Norway

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

Sat 20 Apr
Displayed time zone: Lisbon change

	09:00 - 10:30	APR TechniquesAPR at Vianna da Motta Chair(s): He Ye Carnegie Mellon University

	09:00 60m Keynote		What is a bug? Implications for the future of automatic repair APR Claire Le Goues Carnegie Mellon University
	10:00 15m Talk		ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs APR Sebastian Nielebock Otto-von-Guericke University Magdeburg, Paul Blockhaus Otto-von-Guericke-University Magdeburg, Germany, Jacob Krüger Eindhoven University of Technology, Frank Ortmeier University of Magdeburg
	10:15 15m Talk		Towards Developing Effective Fault localization Technique for Termination Bugs in Loop Programs APR Omar Al-Bataineh Simula Research Laboratory, Leon Moonen Simula Research Laboratory and BI Norwegian Business School