Evaluating Partial Correctness of Programs in Automated Program Repair

Mapping Intimacies ◽

10.1109/gcce53005.2021.9621861 ◽

2021 ◽

Author(s):

Yusaku Ito ◽

Hironori Washizaki ◽

Kazunori Sakamoto ◽

Yoshiaki Fukazawa

Keyword(s):

Partial Correctness ◽

Automated Program Repair ◽

Program Repair ◽

Correctness Of Programs

Get full-text (via PubEx)

High-Quality Automated Program Repair

2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ◽

10.1109/icse-companion52605.2021.00134 ◽

2021 ◽

Author(s):

Manish Motwani

Keyword(s):

High Quality ◽

Automated Program Repair ◽

Program Repair

Get full-text (via PubEx)

Improving automated program repair using two-layer tree-based neural networks

Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings ◽

10.1145/3377812.3390896 ◽

2020 ◽

Author(s):

Yi Li ◽

Shaohua Wang ◽

Tien N. Nguyen

Keyword(s):

Neural Networks ◽

Automated Program Repair ◽

Program Repair

Get full-text (via PubEx)

Do automated program repair techniques repair hard and important bugs?

Proceedings of the 40th International Conference on Software Engineering - ICSE '18 ◽

10.1145/3180155.3182533 ◽

2018 ◽

Cited By ~ 1

Author(s):

Manish Motwani ◽

Sandhya Sankaranarayanan ◽

René Just ◽

Yuriy Brun

Keyword(s):

Automated Program Repair ◽

Program Repair ◽

Repair Techniques

Get full-text (via PubEx)

Better test cases for better automated program repair

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 ◽

10.1145/3106237.3106274 ◽

2017 ◽

Cited By ~ 24

Author(s):

Jinqiu Yang ◽

Alexey Zhikhartsev ◽

Yuefei Liu ◽

Lin Tan

Keyword(s):

Test Cases ◽

Automated Program Repair ◽

Program Repair

Get full-text (via PubEx)

Trident: Controlling Side Effects in Automated Program Repair

IEEE Transactions on Software Engineering ◽

10.1109/tse.2021.3124323 ◽

2021 ◽

pp. 1-1

Author(s):

Nikhil Parasaram ◽

Earl T. Barr ◽

Sergey Mechtaev

Keyword(s):

Side Effects ◽

Automated Program Repair ◽

Program Repair

Get full-text (via PubEx)

Toward introducing automated program repair techniques to industrial software development

Proceedings of the 26th Conference on Program Comprehension - ICPC '18 ◽

10.1145/3196321.3196358 ◽

2018 ◽

Cited By ~ 2

Author(s):

Keigo Naitou ◽

Akito Tanikado ◽

Shinsuke Matsumoto ◽

Yoshiki Higo ◽

Shinji Kusumoto ◽

...

Keyword(s):

Software Development ◽

Automated Program Repair ◽

Program Repair ◽

Industrial Software ◽

Repair Techniques

Get full-text (via PubEx)

Refining Fitness Functions for Search-Based Automated Program Repair

10.1007/978-3-030-88106-1_12 ◽

2021 ◽

pp. 159-165

Author(s):

Giovani Guizzo ◽

Aymeric Blot ◽

James Callan ◽

Justyna Petke ◽

Federica Sarro

Keyword(s):

Fitness Functions ◽

Automated Program Repair ◽

Program Repair

Get full-text (via PubEx)

Experience Report: How Effective is Automated Program Repair for Industrial Software?

2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) ◽

10.1109/saner48275.2020.9054829 ◽

2020 ◽

Author(s):

Kunihiro Noda ◽

Yusuke Nemoto ◽

Keisuke Hotta ◽

Hideo Tanida ◽

Shinji Kikuchi

Keyword(s):

Experience Report ◽

Automated Program Repair ◽

Program Repair ◽

Industrial Software

Get full-text (via PubEx)

Should fixing these failures be delegated to automated program repair?

2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) ◽

10.1109/issre.2015.7381836 ◽

2015 ◽

Cited By ~ 11

Author(s):

Xuan-Bach D. Le ◽

Tien-Duy B. Le ◽

David Lo

Keyword(s):

Automated Program Repair ◽

Program Repair

Get full-text (via PubEx)

Search-Based Efficient Automated Program Repair Using Mutation and Fault Localization

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00030 ◽

2018 ◽

Author(s):

Shuyao Sun ◽

Junxia Guo ◽

Ruilian Zhao ◽

Zheng Li

Keyword(s):

Fault Localization ◽

Automated Program Repair ◽

Program Repair

Get full-text (via PubEx)