Page 121 - 《软件学报》2025年第4期

香佳宏 等: 大模型在软件缺陷检测与修复的应用发展综述 1527

2021. https://www.washingtonpost.com/technology/2021/02/16/virtual-ai-hospital-patients
[144] Liblit B, Aiken A, Zheng AX, Jordan MI. Bug isolation via remote program sampling. ACM SIGPLAN Notices, 2003, 38(5): 141–154.
[doi: 10.1145/780822.781148]
[145] Just R, Jalali D, Ernst MD. Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In: Proc. of
the 2014 Int’l Symp. on Software Testing and Analysis. San Jose: ACM, 2014. 437–440. [doi: 10.1145/2610384.2628055]
[146] Lin D, Koppel J, Chen A, Solar-Lezama A. QuixBugs: A multi-lingual program repair benchmark set based on the quixey challenge. In:
Proc. of the 2017 ACM SIGPLAN Int’l Conf. on Systems, Programming, Languages, and Applications: Software for Humanity.
Vancouver: ACM, 2017. 55–56. [doi: 10.1145/3135932.3135941]
[147] Le Goues C, Holtschulte N, Smith EK, Brun Y, Devanbu P, Forrest S, Weimer W. The ManyBugs and IntroClass benchmarks for
automated repair of C programs. IEEE Trans. on Software Engineering, 2015, 41(12): 1236–1256. [doi: 10.1109/TSE.2015.2454513]
[148] Mao XG, Lei Y, Dai ZY, Qi YH, Wang CS. Slice-based statistical fault localization. Journal of Systems and Software, 2014, 89: 51–62.
[doi: 10.1016/j.jss.2013.08.031]
[149] Eric Wong W, Debroy V, Choi B. A family of code coverage-based heuristics for effective fault localization. Journal of Systems and
Software, 2010, 83(2): 188–208. [doi: 10.1016/j.jss.2009.09.037]
[150] Abreu R, Zoeteweij P, van Gemund AJC. Spectrum-based multiple fault localization. In: Proc. of the 2009 IEEE/ACM Int’l Conf. on
Automated Software Engineering. Auckland: IEEE, 2009. 88–99. [doi: 10.1109/ASE.2009.25]

[151] Perez A, Abreu R, van Deursen A. A test-suite diagnosability metric for spectrum-based fault localization approaches. In: Proc. of the
39th IEEE/ACM Int’l Conf. on Software Engineering (ICSE). Buenos Aires: IEEE, 2017. 654–664. [doi: 10.1109/ICSE.2017.66]
[152] Liblit B, Naik M, Zheng AX, Aiken A, Jordan MI. Scalable statistical bug isolation. ACM SIGPLAN Notices, 2005, 40(6): 15–26. [doi:
10.1145/1064978.1065014]
[153] Liu C, Fei L, Yan XF, Han JW, Midkiff SP. Statistical debugging: A hypothesis testing-based approach. IEEE Trans. on Software
Engineering, 2006, 32(10): 831–848. [doi: 10.1109/TSE.2006.105]
[154] Jones JA, Harrold MJ. Empirical evaluation of the tarantula automatic fault-localization technique. In: Proc. of the 20th IEEE/ACM Int’l
Conf. on Automated Software Engineering. Long Beach: ACM, 2005. 273–282. [doi: 10.1145/1101908.1101949]
[155] Abreu R, Zoeteweij P, Golsteijn R, van Gemund AJC. A practical evaluation of spectrum-based fault localization. Journal of Systems
and Software, 2009, 82(11): 1780–1792. [doi: 10.1016/j.jss.2009.06.035]
[156] Campos J, Riboira A, Perez A, Abreu R. GZoltar: An eclipse plug-in for testing and debugging. In: Proc. of the 27th IEEE/ACM Int’l
Conf. on Automated Software Engineering. Essen: ACM, 2012. 378–381. [doi: 10.1145/2351676.2351752]
[157] Pearson S, Campos J, Just R, Fraser G, Abreu R, Ernst MD, Pang D, Keller B. Evaluating and improving fault localization. In: Proc. of
the 39th IEEE/ACM Int’l Conf. on Software Engineering (ICSE). Buenos Aires: IEEE, 2017. 609–620. [doi: 10.1109/ICSE.2017.62]
[158] Steimann F, Frenkel M, Abreu R. Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault
locators. In: Proc. of the 2013 Int’l Symp. on Software Testing and Analysis. Lugano: ACM, 2013. 314–324. [doi: 10.1145/2483760.
2483767]
[159] Xie XY, Chen TY, Kuo FC, Xu BW. A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization. ACM
Trans. on Software Engineering and Methodology, 2013, 22(4): 31. [doi: 10.1145/2522920.2522924]
[160] Xuan JF, Monperrus M. Learning to combine multiple ranking metrics for fault localization. In: Proc. of the 2014 IEEE Int’l Conf. on
Software Maintenance and Evolution. Victoria: IEEE, 2014. 191–200. [doi: 10.1109/ICSME.2014.41]
[161] Liu K, Koyuncu A, Bissyandé TF, Kim D, Klein J, Le Traon Y. You cannot fix what you cannot find! An investigation of fault
localization bias in benchmarking automated program repair systems. In: Proc. of the 12th IEEE Conf. on Software Testing, Validation
and Verification (ICST). Xi’an: IEEE, 2019. 102–113. [doi: 10.1109/ICST.2019.00020]
[162] Xiong YF, Wang J, Yan RF, Zhang JC, Han S, Huang G, Zhang L. Precise condition synthesis for program repair. In: Proc. of the 39th
IEEE/ACM Int’l Conf. on Software Engineering (ICSE). Buenos Aires: IEEE, 2017. 416–426. [doi: 10.1109/ICSE.2017.45]
[163] Zhang XY, Gupta N, Gupta R. Locating faults through automated predicate switching. In: Proc. of the 28th Int’l Conf. on Software
Engineering. Shanghai: ACM, 2006. 272–281. [doi: 10.1145/1134285.1134324]
[164] Jiang JJ, Xiong YF, Zhang HY, Gao Q, Chen XQ. Shaping program repair space with existing patches and similar code. In: Proc. of the
27th ACM SIGSOFT Int’l Symp. on Software Testing and Analysis. Amsterdam: ACM, 2018. 298–309. [doi: 10.1145/3213846.
3213871]
[165] Xuan JF, Monperrus M. Test case purification for improving fault localization. In: Proc. of the 22nd ACM SIGSOFT Int’l Symp. on
Foundations of Software Engineering. Hong Kong: ACM, 2014. 52–63. [doi: 10.1145/2635868.2635906]
[166] Yang AZH, Le Goues C, Martins R, Hellendoorn V. Large language models for test-free fault localization. In: Proc. of the 46th
IEEE/ACM Int’l Conf. on Software Engineering. Lisbon: ACM, 2024. 17. [doi: 10.1145/3597503.3623342]