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

2690 Journal of Software 软件学报 Vol.32, No.9, September 2021

[111] Lin D, Koppel J, Chen A, Solar-Lezama A. QuixBugs: A multi-lingual program repair benchmark set based on the Quixey
Challenge. In: Proc. Companion of the 2017 ACM SIGPLAN Int’l Conf. on Systems, Programming, Languages, and Applications:
Software for Humanity. ACM, 2017. 55−56. [doi: 10.1145/3135932.3135941]
[112] Saha R, Lyu YJ, Lam W, Yoshida H, Prasad MR. Bugs.jar: A large-scale, diverse dataset of real-world Java bugs. In: Proc. of the
15th Int’l Conf. on Mining Software Repositories (MSR). IEEE, 2018. 10−13.
[113] Madeiral F, Urli S, Maia M, Monperrus M. Bears: An extensible Java bug benchmark for automatic program repair studies. In: Proc.
of the 2019 IEEE 26th Int’l Conf. on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2019. 468−478. [doi:
10.1109/SANER.2019.8667991]
[114] Tomassi DA, Dmeiri N, Wang YC, Bhowmick A, Liu YC, Devanbu PT, Vasilescu B, Rubio-González C. Bugswarm: Mining and
continuously growing a dataset of reproducible failures and fixes. In: Proc. of the 41st Int’l Conf. on Software Engineering (ICSE).
IEEE, 2019. 339−349. [doi: 10.1109/ICSE.2019.00048]
[115] Higo Y, Matsumoto S, Arima R, Tanikado A, Naitou K, Matsumoto J, Tomida Y, Kusumoto S. kGenProg: A high-performance,
high-extensibility and high-portability APR system. In: Proc. of the 2018 25th Asia-Pacific Software Engineering Conf. (APSEC).
IEEE, 2018. 697−698. [doi: 10.1109/APSEC.2018.00094]
[116] Martinez M, Monperrus M. Astor: Exploring the design space of generate-and-validate program repair beyond GenProg. Journal of
Systems and Software, 2019,151:65−80. [doi: 10.1016/j.jss.2019.01.069]

附中文参考文献:
[3] 玄跻峰,任志磊,王子元,谢晓园,江贺.自动程序修复方法研究进展.软件学报,2016,27(4):771−784. http://www.jos.org.cn/1000-
9825/4972.html [doi: 10.13328/j.cnki.jos.004972]
[4] 王赞,郜健,陈翔,傅浩杰,樊向宇.自动程序修复方法研究述评.计算机学报,2018,41(3):588−610.
[5] 李斌,贺也平,马恒太.程序自动修复:关键问题及技术.软件学报,2019,30(2):244−265. http://www.jos.org.cn/1000-9825/5657.html
[doi: 10.13328/j.cnki.jos.005657]
[6] 刘斌斌,董威,王戟.智能化的程序搜索与构造方法综述.软件学报,2018,29(8):2180−2197. http://www.jos.org.cn/1000-9825/
5529.html [doi: 10.13328/j.cnki.jos.005529]

姜佳君(1992－),男,博士,副研究员,CCF 熊英飞(1982－),男,博士,研究员,博士生
专业会员,主要研究领域为软件工程,代码 导师,CCF 专业会员,主要研究领域为软件
调试,程序变换. 工程,程序设计语言.

陈俊洁(1992－),男,博士,副教授,博士生
导师,CCF 专业会员,主要研究领域为软件
分析与测试.