Automatic Program Repair (APR) and software bug management have become pivotal areas of research as modern software systems grow in scale and complexity. APR techniques aim to automatically generate ...

IMDEA Software researchers Facundo Molina, Juan Manuel Copia and Alessandra Gorla present FIXCHECK, a novel approach to improve patch fix analysis that combines static analysis, randomized testing and ...

Kun Sun, Professor, Information Sciences and Technology, received funding from the Office of Naval Research for a project focused on reference-based automatic security patch generation. Sun holds that ...