@article{genprog-tse-journal, author={Claire {Le Goues} and ThanhVu Nguyen and Stephanie Forrest and Westley Weimer}, title={{GenProg}: A Generic Method for Automated Software Repair}, journal={Transactions on Software Engineering}, year={2011/2012} }