共 50 条
- [1] On the accuracy of spectrum-based fault localization [J]. TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 89 - +
- [2] [Anonymous], 2020, TRIC REP
- [3] [Anonymous], 2019, P 12 IEEE INT C SOFT
- [4] On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems [J]. 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 907 - 918
- [5] Benton Samuel, 2021, IEEE T SOFTWARE ENG
- [6] Boulder C., 2013, U CAMBRIDGE STUDY FA
- [7] Chen Lingchao, 2021, 2021 IEEEACM 43 INT
- [8] Z3: An efficient SMT solver [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 337 - 340
- [9] Patching as Translation: the Data and the Metaphor [J]. 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 275 - 286
- [10] Durieux T, 2016, 2016 IEEE/ACM 11TH INTERNATIONAL WORKSHOP IN AUTOMATION OF SOFTWARE TEST (AST), P85, DOI [10.1109/AST.2016.021, 10.1145/2896921.2896931]