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
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
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