共 29 条
[1]
Alur R(2015)Syntax-guided synthesis Dependable Software Systems Engineering 40 1-25
[2]
Bodik R(2012)Genprog: a generic method for automatic software repair IEEE Trans Softw Eng 38 54-72
[3]
Juniwal G(2015)The ManyBugs and IntroClass benchmarks for automated repair of C programs IEEE Trans Softw Eng 41 1236-1256
[4]
Martin MM(2012)Modular and verified automatic program repair SIGPLAN Not 47 133-146
[5]
Raghothaman M(2015)Mining software repair models for reasoning on the search space of automated program fixing Empir Softw Eng 20 176-205
[6]
Seshia SA(2010)Automatic program repair with evolutionary computation Commun ACM 53 109-116
[7]
Singh R(undefined)undefined undefined undefined undefined-undefined
[8]
Solar-Lezama A(undefined)undefined undefined undefined undefined-undefined
[9]
Torlak E(undefined)undefined undefined undefined undefined-undefined
[10]
Udupa A(undefined)undefined undefined undefined undefined-undefined