Page 285 - 《软件学报》2024年第6期

孙昌爱 等: 基于模板匹配的 BPEL 程序故障修复及优化技术 2861

12]
[10] Modafferi S, Mussi E, Pernici B. SH-BPEL: A self-healing plug-in for Ws-BPEL engines. In: Proc. of the 1st Workshop on Middleware
for Service Oriented Computing (MW4SOC 2006). Melbourne: ACM, 2006. 48–53. [doi: 10.1145/1169091.1169099]
[11] Friedrich G, Fugini MG, Mussi E, Pernici B, Tagni G. Exception handling for repair in service-based processes. IEEE Trans. on Software
Engineering, 2010, 36(2): 198–215. [doi: 10.1109/TSE.2010.8]
[12] Papadakis M, Le Traon Y. Using mutants to locate “unknown” faults. In: Proc. of the 5th Int’l Conf. on Software Testing, Verification
and Validation. Montreal: IEEE, 2012. 691–700. [doi: 10.1109/ICST.2012.159]
[13] DeMillo RA, Lipton RJ, Sayward FG. Hints on test data selection: Help for the practicing programmer. Computer, 1978, 11(4): 34–41.
[doi: 10.1109/C-M.1978.218136]
[14] Jia Y, Harman M. An analysis and survey of the development of mutation testing. IEEE Trans. on Software Engineering, 2011, 37(5):
649–678. [doi: 10.1109/TSE.2010.62]
[15] Papadakis M, Le Traon Y. Effective fault localization via mutation analysis: A selective mutation approach. In: Proc. of the 29th Annual
ACM Symp. on Applied Computing. Gyeongju: ACM, 2014. 1293–1300. [doi: 10.1145/2554850.2554978]
[16] Estero-Botaro A, Palomo-Lozano F, Medina-Bulo I, Domínguez-Jiménez JJ, García-Domínguez A. Quality metrics for mutation testing
with applications to WS-BPEL compositions. Software Testing, Verification and Reliability, 2015, 25(5–7): 536–571. [doi: 10.1002/stvr.
1528]
[17] Debroy V, Wong WE. Using mutation to automatically suggest fixes for faulty programs. In: Proc. of the 3rd Int’l Conf. on Software
Testing, Verification and Validation. Paris: IEEE, 2010. 65–74. [doi: 10.1109/ICST.2010.66]
[18] Zheng CY. A predicate switching based approach to locating faults of BPEL programs and supporting tool [MS. Thesis]. Beijing:
University of Science and Technology Beijing, 2015 (in Chinese with English abstract).
[19] Sun CA, Wang Z, Pan L. Optimized mutation testing techniques for WS-BPEL programs. Journal of Computer Research and
Development, 2019, 56(4): 895–905 (in Chinese with English abstract). [doi: 10.7544/issn1000-1239.2019.20180037]
[20] Le XBD, Lo D, Le Goues C. History driven program repair. In: Proc. of the 23rd Int’l Conf. on Software Analysis, Evolution, and
Reengineering. Osaka: IEEE, 2016. 213–224. [doi: 10.1109/SANER.2016.76]
[21] Li B, He YP, Ma HT. Automatic program repair: Key problems and technologies. Ruan Jian Xue Bao/Journal of Software, 2019, 30(2):
244–265 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/5657.htm [doi: 10.13328/j.cnki.jos.005657]
[22] Gazzola L, Micucci D, Mariani L. Automatic software repair: A survey. IEEE Trans. on Software Engineering, 2019, 45(1): 34–67. [doi:
10.1109/TSE.2017.2755013]
Wang Z, Gao J, Chen X, Fu HJ, Fan XY. Automatic program repair techniques: A survey. Chinese Journal of Computers, 2018, 41(3):
[23] Symp. on Applied Computing. Brno: ACM, 2020. 1523–1531. [doi: 10.1145/3341105.3373880]
588–610 (in Chinese with English abstract). [doi: 10.11897/SP.J.1016.2018.00588]
[24] Goues CL, Nguyen T, Forrest S, Weimer W. GenProg: A generic method for automatic software repair. IEEE Trans. on Software
Engineering, 2012, 38(1): 54–72. [doi: 10.1109/TSE.2011.104]
[25] Qi YH, Mao XG, Lei Y, Dai ZY, Wang CS. The strength of random search on automated program repair. In: Proc. of the 36th Int’l Conf.
on Software Engineering. Hyderabad: ACM, 2014. 254–265. [doi: 10.1145/2568225.2568254]
[26] Villanueva OM, Trujillo L, Hernandez DE. Novelty search for automatic bug repair. In: Proc. of the 2020 Genetic and Evolutionary
Computation Conf. Cancún: ACM, 2020. 1021–1028. [doi: 10.1145/3377930.3389845]
[27] Long F, Rinard M. Staged program repair with condition synthesis. In: Proc. of the 10th Joint Meeting on Foundations of Software
Engineering. Bergamo: ACM, 2015. 166–178. [doi: 10.1145/2786805.2786811]
[28] Kim D, Nam J, Song J, Kim S. Automatic patch generation learned from human-written patches. In: Proc. of the 35th Int’l Conf. on
Software Engineering. San Francisco: IEEE, 2013. 802–811. [doi: 10.1109/ICSE.2013.6606626]
[29] Islam MR, Zibran MF. How bugs are fixed: Exposing bug-fix patterns with edits and nesting levels. In: Proc. of the 35th Annual ACM

附中文参考文献:
[4] 黄小红, 赵逢禹. 软件故障定位关键技术研究综述. 软件导刊, 2017, 16(7): 205–209. [doi: 10.11907/rjdk.171181]
[8] 孙昌爱, 张守峰, 朱维忠. 一种基于变异分析的BPEL程序故障定位技术. 计算机科学, 2021, 48(1): 301–307. [doi: 10.11896/jsjkx.
200900051]
[18] 郑彩云. 基于谓词切换的BPEL程序故障定位技术与支持工具研究 [硕士学位论文]. 北京: 北京科技大学, 2015.
[19] 孙昌爱, 王真, 潘琳. 面向WS-BPEL程序的变异测试优化技术. 计算机研究与发展, 2019, 56(4): 895–905. [doi: 10.7544/issn1000-