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

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

[72] Rothenberg BC, Grumberg O. Sound and complete mutation-based program repair. In: Proc. of the Int’l Symp. on Formal Methods
(FM). Springer-Verlag, 2016. 593−611.
[73] de Moura L, Bjørner N. Z3: An efficient SMT solver. In: Proc. of the Int’l Conf. on Tools and Algorithms for the Construction and
Analysis of Systems (TACAS). Springer-Verlag, 2008. 337−340.
[74] Chen LS, Pei Y, Furia CA. Contract-based program repair without the contracts. In: Proc. of the 32nd Int’l Conf. on Automated
Software Engineering (ASE). IEEE, 2017. 637−647. [doi: 10.1109/ASE.2017.8115674]
[75] Chen LS, Pei Y, Furia CA. Contract-Based program repair without the contracts: An extended study. IEEE Trans. on Software
Engineering, 2020. [doi: 10.1109/TSE.2020.2970009]
[76] Nguyen TV, Weimer W, Kapur D, Forrest S. Connecting program synthesis and reachability: Automatic program repair using test-
input generation. In: Proc. of the Int’l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Springer-Verlag, 2017. 301−318.
[77] Le XBD, Chu DH, Lo D, Le Goues C, Visser W. S3: Syntax-and semantic-guided repair synthesis via programming by examples.
In: Proc. of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE). ACM, 2017. 593−604. [doi:
10.1145/3106237.3106309]
[78] Mechtaev S, Nguyen MD, Noller Y, Grunske L, Roychoudhury A. Semantic program repair using a reference implementation. In:
Proc. of the 40th Int’l Conf. on Software Engineering (ICSE). ACM, 2018. 129−139. [doi: 10.1145/3180155.3180247]
[79] Lee J, Hong S, Oh H. Memfix: Static analysis-based repair of memory deallocation errors for C. In: Proc. of the 26th ACM Joint
Meeting on European Software Engineering Conf. and Symp. on the Foundations of Software Engineering (ESEC/FSE). ACM,
2018. 95−106. [doi: 10.1145/3236024.3236079]
[80] van Tonder R, Le Goues C. Static automated program repair for heap properties. In: Proc. of the 40th Int’l Conf. on Software
Engineering (ICSE). ACM, 2018. 151−162. [doi: 10.1145/3180155.3180250.]
[81] Ke YL, Stolee KT, Le Goues C, Brun Y. Repairing programs with semantic code search. In: Proc. of the 30th Int’l Conf. on
Automated Software Engineering (ASE). IEEE, 2015. 295−306. [doi: 10.1109/ASE.2015.60]
[82] Afzal A, Motwani M, Stolee K, BrunY, Le Goues C. SOSRepair: Expressive semantic search for real-world program repair. IEEE
Trans. on Software Engineering, 2019. [doi: 10.1109/TSE.2019.2944914]
[83] Saha RK, Lyu YJ, Yoshida H, Prasad MR. Elixir: Effective object-oriented program repair. In: Proc. of the 32nd Int’l Conf. on
Automated Software Engineering (ASE). IEEE, 2017. 648−659. [doi: 10.1109/ASE.2017.8115675]
[84] White M, Tufano M, Martinez M, Monperrus M, Poshyvanyk D. Sorting and transforming program repair ingredients via deep
learning code similarities. In: Proc. of the 2019 IEEE 26th Int’l Conf. on Software Analysis, Evolution and Reengineering
(SANER). IEEE, 2019. 479−490. [doi: 10.1109/SANER.2019.8668043]
[85] Long F, Amidon P, Rinard M. Automatic inference of code transforms for patch generation. In: Proc. of the 2017 11th Joint
Meeting on Foundations of Software Engineering (ESEC/FSE). ACM, 2017. 727−739. [doi: 10.1145/3106237.3106253]
[86] Rolim R, Soares G, D'Antoni L, Polozov O, Gulwani S, Gheyi R, Suzuki R, Hartmann B. Learning syntactic program
transformations from examples. In: Proc. of the 39th Int’l Conf. on Software Engineering (ICSE). IEEE, 2017. 404−415. [doi:
10.1109/ICSE.2017.44]
[87] Zhong H, Mei H. Mining repair model for exception-related bug. Journal of Systems and Software, 2018,141:16−31. [doi: 10.1016/
j.jss.2018.03.046]
[88] Gulwani S, Radiček I, Zuleger F. Automated clustering and program repair for introductory programming assignments. In: Proc. of
the 39th ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI). ACM, 2018. 465−480. [doi:
10.1145/3192366.3192387]
[89] Bavishi R, Yoshida H, Prasad MR. Phoenix: Automated data-driven synthesis of repairs for static analysis violations. In: Proc. of
the 2019 27th ACM Joint Meeting on European Software Engineering Conf. and Symp. on the Foundations of Software
Engineering. 2019. 613−624.
[90] Koyuncu A, Liu K, Bissyandé TF, Kim D, Klein J, Monperrus M, Le Traon Y. Fixminer: Mining relevant fix patterns for
automated program repair. Empirical Software Engineering, 2020, 1−45. [doi: 10.1007/s10664-019-09780-z]