3 citations · 5 across the 7 of their papers we have counts for
14 papers
On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair
Omar I. Al-Bataineh
Repairing a large-scale buggy program using current automated program repair (APR) approaches can be a time-consuming operation that requires significant computational resources. W…
Invariant-based Program Repair
Omar I. Al-Bataineh
This paper describes a formal general-purpose automated program repair (APR) framework based on the concept of program invariants. In the presented repair framework, the execution…
Towards Extending the Range of Bugs That Automated Program Repair Can Handle
Omar I. Al-Bataineh, Leon Moonen
Modern automated program repair (APR) is well-tuned to finding and repairing bugs that introduce observable erroneous behavior to a program. However, a significant class of bugs do…
Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques
Omar I. Al-Bataineh, Anastasiia Grishina, Leon Moonen
A long-standing open challenge for automated program repair is the overfitting problem, which is caused by having insufficient or incomplete specifications to validate whether a ge…
Verifix: Verified Repair of Programming Assignments
Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi +2
Automated feedback generation for introductory programming assignments is useful for programming education. Most works try to generate feedback to correct a student program by comp…
Monitoring Cumulative Cost Properties
Omar Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran
This paper considers the problem of decentralized monitoring of a class of non-functional properties (NFPs) with quantitative operators, namely cumulative cost properties. The dece…