Abstract: Recent advances in program repair techniques have raised the possibility of patching bugs automatically. Existing methods can be divided into two categories: (1) the generate-and-validate approaches that explicitly iterate through a search space and validate candidate fixes against the given test suite, and (2) the approaches that rely on program analysis and formal methods to synthesize patches. Approaches in the first category gained popularity because of their scalability: they were applied to real-world large-scale software such as PHP and Wireshark.
You are here
"Collaborative Decision-Making in Requirements Management”.
Joint work with: Alberto Siena , Paolo Busetta, Fitsum Meshesha Kifetew, Denisse Munante, Anna Perini.
From a paper by O.Pedreira et al "Gamification in software engineering .– A systematic mapping” IST Journal 2015.
On "Graph-based statistical language model for code. Anh Tuan Nguyen and Tien N. Nguyen. (ICSE '15)"