Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods (ICST 2021 - Research Papers) - ICST 2021

Mon 12 - Fri 16 April 2021

Who

Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach D. Le, Corina S. Pasareanu, David Cok

Track

ICST 2021 Research Papers

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Thu 15 Apr 2021 14:30 - 15:00 at Porto de Galinhas - Program Repair Chair(s): Angelo Gargantini

Amirfarhad Nilizadeh

University of Central Florida

United States

Gary T. Leavens

University of Central Florida

United States

Xuan-Bach D. Le

Singapore Management University, Singapore

Singapore

Corina S. Pasareanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

David Cok

CEA, LIST, Software Safety and Security Laboratory

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Thu 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

	14:00 - 15:00	Program RepairResearch Papers at Porto de Galinhas Chair(s): Angelo Gargantini University of Bergamo

	14:00 30m Paper		Automatic Program Repair as Semantic Suggestions: An Empirical Study Research Papers Diogo Campos , André Restivo LIACC, Universidade do Porto, Porto, Portugal, Hugo Sereno Ferreira Faculty of Engineering, University of Porto, Portugal, Afonso Ramos Faculty of Engineering of the University of Porto
	14:30 30m Paper		Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods Research Papers Amirfarhad Nilizadeh University of Central Florida, Gary T. Leavens University of Central Florida, Xuan-Bach D. Le Singapore Management University, Singapore, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, David Cok CEA, LIST, Software Safety and Security Laboratory