Page 63 - 《软件学报》2021年第9期

姜佳君 等:软件缺陷自动修复技术综述 2687

[51] Xin Q, Reiss SP. Leveraging syntax-related code for automated program repair. In: Proc. of the 2017 32nd Int’l Conf. on
Automated Software Engineering (ASE). IEEE, 2017. 660−670.
[52] Hu Y, Ahmed UZ, Mechtaev S, Leong B, Roychoudhury A. Re-factoring based program repair applied to programming
assignments. In: Proc. of the 34th Int’l Conf. on Automated Software Engineering (ASE). IEEE, 2019. 388−398.
[53] Koyuncu A, Liu K, Bissyandé TF, Kim D, Monperrus M, Klein J, Le Traon Y. iFixR: Bug report driven program repair. In: Proc.
of the 2019 27th ACM Joint Meeting on European Software Engineering Conf. and Symp. on the Foundations of Software
Engineering (ESEC/FSE). ACM, 2019. 314−325. [doi: 10.1145/3338906.3338935]
[54] Marginean A, Bader J, Chandra S, Harman M, Jia Y, Mao K, Mols A, Scott A. Sapfix: Automated end-to-end repair at scale. In:
Proc. of the 41st Int’l Conf. on Software Engineering: Software Engineering in Practice (ICSE-SEIP). IEEE, 2019. 269−278. [doi:
10.1109/ICSE-SEIP.2019.00039]
[55] Tian YC, Ray B. Automatically diagnosing and repairing error handling bugs in C. In: Proc. of the 2017 11th Joint Meeting on
Foundations of Software Engineering (ESEC/FSE). ACM, 2017. 752−762. [doi: 10.1145/3106237.3106300]
[56] Gao FJ, Wang LZ, Li XD. BovInspector: Automatic inspection and repair of buffer overflow vulnerabilities. In: Proc. of the 31st
Int’l Conf. on Automated Software Engineering (ASE). IEEE, 2016. 786−791.
[57] Gao Q, Xiong YF, Mi YQ, Zhang L, Yang WK, Zhou ZP, Xie B, Mei H. Safe memory-leak fixing for c programs. In: Proc. of the
37th IEEE Int’l Conf. on Software Engineering (ICSE). IEEE, 2015. 459−470. [doi: 10.1109/ICSE.2015.64]
[58] Yan H, Sui YL, Chen SP, Xue JL. Automated memory leak fixing on value-flow slices for c programs. In: Proc. of the 31st Annual
ACM Symp. on Applied Computing (SAC). ACM, 2016. 1386−1393. [doi: 10.1145/2851613.2851773]
[59] Xu XZ, Sui YL, Yan H, Xue JL. VFix: Value-flow-guided precise program repair for null pointer dereferences. In: Proc. of the 41st
Int’l Conf. on Software Engineering (ICSE). IEEE, 2019. 512−523. [doi: 10.1109/ICSE.2019.00063]
[60] Liu XL, Zhong H. Mining stackoverflow for program repair. In: Proc. of the 2018 IEEE 25th Int’l Conf. on Software Analysis,
Evolution and Reengineering (SANER). IEEE, 2018. 118−129. [doi: 10.1109/SANER.2018.8330202]
[61] Falleri JR, Morandat F, Blanc X, Martinez M, Monperrus M. Fine-grained and accurate source code differencing. In: Proc. of the
29th Int’l Conf. on Automated Software Engineering (ASE). ACM, 2014. 313−324. [doi: 10.1145/2642937.2642982]
[62] Tan SH, Dong Z, Gao X, Roychoudhury A. Repairing crashes in android apps. In: Proc. of the 40th Int’l Conf. on Software
Engineering (ICSE). IEEE, 2018. 187−198. [doi: 10.1145/3180155.3180243]
[63] Durieux T, Cornu B, Seinturier L, Monperrus M. Dynamic patch generation for null pointer exceptions using metaprogramming. In:
Proc. of the 2017 IEEE 24th Int’l Conf. on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2017. 349−358. [doi:
10.1109/SANER.2017.7884635]
[64] Mechtaev S, Gao X, Tan SH, Roychoudhury A. Test-equivalence analysis for automatic patch generation. ACM Trans. on Software
Engineering and Methodology, 2018,27(4):1−37. [doi: 10.1145/3241980]
[65] Saha S, Saha RK, Prasad MR. Harnessing evolution for multi-hunk program repair. In: Proc. of the 41st Int’l Conf. on Software
Engineering (ICSE). IEEE, 2019. 13−24. [doi: 10.1109/ICSE.2019.00020]
[66] Tan SH, Yoshida H, Prasad MR, Roychoudhury A. Anti-patterns in search-based program repair. In: Proc. of the 2016 24th ACM
SIGSOFT Int’l Symp. on Foundations of Software Engineering (FSE). ACM, 2016. 727−738. [doi: 10.1145/2950290.2950295]
[67] Long F, Rinard M. Staged program repair with condition synthesis. In: Proc. of the 2015 10th Joint Meeting on Foundations of
Software Engineering (ESEC/FSE). ACM, 2015. 166−178. [doi: 10.1145/2786805.2786811]
[68] Soto M, Le Goues C. Using a probabilistic model to predict bug fixes. In: Proc. of the 2018 IEEE 25th Int’l Conf. on Software
Analysis, Evolution and Reengineering (SANER). IEEE, 2018. 221−231. [doi: 10.1109/SANER.2018.8330211]
[69] Nguyen HDT, Qi DW, Roychoudhury A, Chandra S. Semfix: Program repair via semantic analysis. In: Proc. of the 2013 35th Int’l
Conf. on Software Engineering (ICSE). IEEE, 2013. 772−781. [doi: 10.1109/ICSE.2013.6606623]
[70] Mechtaev S, Yi J, Roychoudhury A. Directfix: Looking for simple program repairs. In: Proc. of the 37th IEEE Int’l Conf. on
Software Engineering (ICSE), Vol.1. IEEE, 2015. 448−458. [doi: 10.1109/ICSE.2015.63]
[71] D’Antoni L, Samanta R, Singh R. Qlose: Program repair with quantitative objectives. In: Proc. of the Int’l Conf. on Computer
Aided Verification (CAV). Springer-Verlag, 2016. 383−401.