1. GenProg: a generic method for automated software repair;Le Goues;IEEE Trans. Softw. Eng.,2012
2. Specification-based program repair using SAT;Gopinath,2011
3. Automated fixing of programs with contracts;Wei,2010
4. Measuring the strength of information flows in programs;Masri;ACM Trans. Softw. Eng. Methodol.,2009
5. An empirical study of the relationship between information flow and program dependence;Masri,2006