ICST 2021
Mon 12 - Fri 16 April 2021
Thu 15 Apr 2021 14:30 - 15:00 at Porto de Galinhas - Program Repair Chair(s): Angelo Gargantini

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