Automatic Program Repair Using Formal Verification and Expression Templates

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_4 ◽

2019 ◽

pp. 70-91 ◽

Author(s):

Thanh-Toan Nguyen ◽

Quang-Trung Ta ◽

Wei-Ngan Chin

Keyword(s):

Formal Verification ◽

Automatic Program ◽

Program Repair ◽

Automatic Program Repair ◽

Expression Templates

Download Full-text

Toward Practical Automatic Program Repair

2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2019.00156 ◽

2019 ◽

Author(s):

Ali Ghanbari

Keyword(s):

Automatic Program ◽

Program Repair ◽

Automatic Program Repair

Download Full-text

Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

2020 IEEE Congress on Evolutionary Computation (CEC) ◽

10.1109/cec48606.2020.9185913 ◽

2020 ◽

Author(s):

Piotr Dziurzanski ◽

Simos Gerasimou ◽

Dimitris Kolovos ◽

Nicholas Matragkas

Keyword(s):

Empirical Analysis ◽

Automatic Program ◽

Program Repair ◽

Automatic Program Repair

Download Full-text

Human-In-The-Loop Automatic Program Repair

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst46399.2020.00036 ◽

2020 ◽

Author(s):

Marcel Bohme ◽

Charaka Geethal ◽

Van-Thuan Pham

Keyword(s):

Human In The Loop ◽

Automatic Program ◽

Program Repair ◽

Automatic Program Repair

Download Full-text

Towards efficient and effective automatic program repair

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 ◽

10.1145/2970276.2975934 ◽

2016 ◽

Author(s):

Xuan-Bach D. Le

Keyword(s):

Automatic Program ◽

Program Repair ◽

Automatic Program Repair

Download Full-text

Automatic Program Repair Using Genetic Programming

10.18130/v3kz3c ◽

2013 ◽

Author(s):

Claire Le Goues

Keyword(s):

Genetic Programming ◽

Automatic Program ◽

Program Repair ◽

Automatic Program Repair

Download Full-text

A comprehensive study of automatic program repair on the QuixBugs benchmark

Journal of Systems and Software ◽

10.1016/j.jss.2020.110825 ◽

2021 ◽

Vol 171 ◽

pp. 110825

Author(s):

He Ye ◽

Matias Martinez ◽

Thomas Durieux ◽

Martin Monperrus

Keyword(s):

Automatic Program ◽

Program Repair ◽

Automatic Program Repair ◽

Comprehensive Study

Download Full-text

Trustworthy Software and Automatic Program Repair

Proceedings of the Eighth International Symposium on Information and Communication Technology - SoICT 2017 ◽

10.1145/3155133.3155136 ◽

2017 ◽

Author(s):

Abhik Roychoudhury

Keyword(s):

Automatic Program ◽

Program Repair ◽

Automatic Program Repair ◽

Trustworthy Software

Download Full-text

Toward Providing Automatic Program Repair by Utilizing Topic-Based Code Block Similarity

Advances in Computer Science and Ubiquitous Computing - Lecture Notes in Electrical Engineering ◽

10.1007/978-981-10-7605-3_200 ◽

2017 ◽

pp. 1257-1262

Author(s):

Youngjun Jeong ◽

Kyeongsic Min ◽

Geunseok Yang ◽

Jung-Won Lee ◽

Byungjeong Lee

Keyword(s):

Automatic Program ◽

Program Repair ◽

Automatic Program Repair

Download Full-text

Efficient automatic program repair using function-based part-execution

2013 IEEE 4th International Conference on Software Engineering and Service Science ◽

10.1109/icsess.2013.6615295 ◽

2013 ◽

Author(s):

Yuhua Qi ◽

Xiaoguang Mao ◽

Ziying Dai ◽

Yudong Qi

Keyword(s):

Automatic Program ◽

Program Repair ◽

Automatic Program Repair

Download Full-text

A manual inspection of Defects4J bugs and its implications for automatic program repair

Science China Information Sciences ◽

10.1007/s11432-018-1465-6 ◽

2019 ◽

Vol 62 (10) ◽

Author(s):

Jiajun Jiang ◽

Yingfei Xiong ◽

Xin Xia

Keyword(s):

Automatic Program ◽

Manual Inspection ◽

Program Repair ◽

Automatic Program Repair

Download Full-text