Created by W.Langdon from gp-bibliography.bib Revision:1.6914
I discuss recent advances in automated program repair, focusing on the search-based GenProg technique but also presenting a broad overview of the subfield. I argue that while many automated repair techniques are correct by construction or otherwise produce only a single repair (e.g., AFix , Axis , Coker and Hafiz , Demsky and Rinard , Gopinath et al. , Jolt , Juzi , etc.), the majority can be categorised as generate and validate approaches that enumerate and test elements of a space of candidate repairs and are thus directly amenable to search-based software engineering and mutation testing insights (e.g., ARC , AutoFix-E , ARMOR , CASC , ClearView , Debroy and Wong , FINCH , PACHIKA , PAR , SemFix , Sidiroglou and Keromytis , etc.). I discuss challenges and advances such as scalability, test suite quality, and repair quality while attempting to convey the excitement surrounding a subfield that has grown so quickly in the last few years that it merited its own session at the 2013 International Conference on Software Engineering [3,4,14,18]. Time permitting, I provide a frank discussion of mistakes made and lessons learnt with GenProg .
In the second part of the talk, I pose three challenges to the SBSE community. I argue for the importance of human studies in automated software engineering. I present and describe multiple how to examples of using crowd sourcing (e.g., Amazon's Mechanical Turk) and massive on-line education (MOOCs) to enable SBSE-related human studies [10,11]. I argue that we should leverage our great strength in testing to tackle the increasingly-critical problem of test oracle generation (e.g., ) - not just test data generation - and draw supportive analogies with the subfields of specification mining and invariant detection [16,19]. Finally, I challenge the SBSE community to facilitate reproducible research and scientific advancement through benchmark creation, and support the need for such efforts with statistics from previous accepted papers.",
Genetic Programming entries for Westley Weimer