DirectFix: Looking for Simple Program Repairs

By Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015

313 citations recorded by the source corpus.

Subfields: Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/7dae047ebeae753f8376fac33a8a388f24992439

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Information Systems

In Software

Citations in the corpus

TBar: revisiting template-based automated program repair (2019, methodology): “…[5, 49], there is a momentum in minimizing the time-to-fix intervals by APR. Recently, various APR approaches [7, 8, 13, 14, 17, 19, 21, 22, 25, 27, 33, 34, 36, 37, 39, 45, 48, 61, 63, 71, 72] have been proposed, aiming at reducing manual debugging efforts through automatically generating patches.”
Context-Aware Patch Generation for Better Automated Program Repair (2018, methodology): “Over the years, various Automated Program Repair (APR) techniques have been proposed [16, 19–21, 23–25, 31, 33, 43, 45, 46, 53, 55].”
Is the cure worse than the disease? overfitting in automated program repair (2015, background): “INTRODUCTION Automated program repair [4,13,17,18,26,28,29,32,36,37,39,39, 43,46,47,50,55,58,60,61] holds great potential to reduce debugging costs and improve software quality.”
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs (2018, methodology): “[35], could be used to avoid such a redundant expression.”
Precise Condition Synthesis for Program Repair (2016, background): “program repair techniques [1], [2], [3], [4], [5], [6], [7], [8], [9].”
Shaping program repair space with existing patches and similar code (2018, background): “Within the final space, the system searches patches using basic heuristics such as syntactic distance [40, 41].”
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems (2015, background): “DirectFix extends SemFix to limit the search space to small patches [40].”
Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis (2016, methodology): “Minimal patches are easier to validate and they are less likely to change the correct behavior of the original program than more complex patches as demonstrated in [24].”
An Empirical Study on Learning Bug-Fixing Patches in the Wild via Neural Machine Translation (2018, methodology): “e avoid over-fitting patches to test cases. A complementary set of repair techniques leverage program analysis and program synthesis to repair programs by constructing code with particular properties [36,41,52,53,61,64,78,93]. Some approaches perform automated program repair by searching the fix amo”
History Driven Program Repair (2016, methodology): “More recently, DirectFix [34] extends this approach by targeting simplicity of generated patches, using MaxSAT constraint solving and componentbased program synthesis.”