An analysis of patch plausibility and correctness for generate-and-validate patch generation systems

No abstract is available for this paper.

• Publication year

  2015

• Venue

  International Symposium on Software Testing and Analysis

• Publication date

  2015-05-21

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2771783.2771791
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Metallaxis‐FL: mutation‐based fault localization

  2015cited by this paper
• DirectFix: Looking for Simple Program Repairs

  2015cited by this paper
• The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs

  2015cited by this paper
• Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset

  2015cited by this paper
• Staged Program Repair in SPR

  2015influential reference
• Automatic patch generation via learning from successful human patches

  2015cited by this paper
• Safe Memory-Leak Fixing for C Programs

  2015cited by this paper
• Automatic Repair of Infinite Loops

  2015cited by this paper
• Automatic Discovery and Patching of Buffer and Integer Overflow Errors

  2015cited by this paper
• Automatic Error Elimination by Multi-Application Code Transfer

  2014influential reference
• Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches

  2014cited by this paper
• Automatic runtime error repair and containment via recovery shepherding

  2014influential reference
• Dynamic and Interactive Synthesis of Code Snippets

  2014cited by this paper
• Automatic repair of buggy if conditions and missing preconditions with SMT

  2014cited by this paper
• Extraction and Analysis of Knowledge for Automatic Software Repair

  2014cited by this paper
• The strength of random search on automated program repair

  2014cited by this paper
• The plastic surgery hypothesis

  2014cited by this paper
• A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair

  2014cited by this paper
• Effective fault localization via mutation analysis: a selective mutation approach

  2014cited by this paper
• Defects4J: a database of existing faults to enable controlled testing studies for Java programs

  2014cited by this paper
• CodeHint: dynamic and interactive synthesis of code snippets

  2014cited by this paper
• Automatic patch generation learned from human-written patches

  2013cited by this paper
• Leveraging program equivalence for adaptive program repair: Models and first results

  2013cited by this paper
• Mining software repair models for reasoning on the search space of automated program fixing

  2013cited by this paper
• Efficient Automated Program Repair through Fault-Recorded Testing Prioritization

  2013cited by this paper
• SemFix: Program repair via semantic analysis

  2013cited by this paper
• Parallelizing Sequential Programs with Statistical Accuracy Tests

  2013cited by this paper
• Using automated program repair for evaluating the effectiveness of fault localization techniques

  2013cited by this paper
• A human study of patch maintainability

  2012cited by this paper
• Representations and operators for improving evolutionary software repair

  2012influential reference
• Automated repair of HTML generation errors in PHP applications using string constraint solving

  2012cited by this paper
• A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each

  2012cited by this paper
• GenProg: A Generic Method for Automatic Software Repair

  2012cited by this paper
• Bolt: on-demand infinite loop escape in unmodified binaries

  2012cited by this paper
• Detecting and Escaping Infinite Loops with Jolt

  2011influential reference
• Automated atomicity-violation fixing

  2011cited by this paper
• Automatic Parallelization With Statistical Accuracy Bounds

  2010cited by this paper
• Using Mutation to Automatically Suggest Fixes for Faulty Programs

  2010cited by this paper
• Designing better fitness functions for automated program repair

  2010cited by this paper
• Automated Fixing of Programs with Contracts

  2010cited by this paper
• A genetic programming approach to automated software repair

  2009cited by this paper
• Proceedings of the 2009 International Symposium on Memory Management

  2009influential reference
• Automatically patching errors in deployed software

  2009influential reference
• Automatically finding patches using genetic programming

  2009cited by this paper
• Et al

  2008influential reference
• Changing Java's Semantics for Handling Null Pointer Exceptions

  2008influential reference
• Detecting and eliminating memory leaks using cyclic memory allocation

  2007influential reference
• Assertion-based repair of complex data structures

  2007cited by this paper
• DieHard: probabilistic memory safety for unsafe languages

  2006cited by this paper
• Patches as better bug reports

  2006influential reference
• Inference and enforcement of data structure consistency specifications

  2006cited by this paper
• Data structure repair using goal-directed reasoning

  2005cited by this paper
• A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors)

  2004cited by this paper
• Enhancing Server Availability and Security Through Failure-Oblivious Computing

  2004cited by this paper
• Automatic detection and repair of errors in data structures

  2003cited by this paper
• Static specification analysis for termination of specification-based data structure repair

  2003cited by this paper

• Outcome-Conditioned Reasoning Distillation for Resolving Software Issues

  2026cites this paper
• What's in a Benchmark? The Case of SWE-Bench in Automated Program Repair

  2026cites this paper
• ComPass: Contrastive Learning for Automated Patch Correctness Assessment in Program Repair

  2026cites this paper
• PatchIsland: Orchestration of LLM Agents for Continuous Vulnerability Repair

  2026cites this paper
• Scaling Test-Driven Code Generation from Functions to Classes: An Empirical Study

  2026cites this paper
• ScratchEval : A Multimodal Evaluation Framework for LLMs in Block-Based Programming

  2026cites this paper
• Historian: Reducing Manual Validation in APR Benchmarking via Evidence-Based Assessment

  2026cites this paper
• SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark

  2026cites this paper
• GenProgJS: A Baseline System for Test-Based Automated Repair of JavaScript Programs

  2025cites this paper
• RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment

  2025cites this paper
• Computation Tree Logic Guided Program Repair

  2025cites this paper
• MultiMend: Multilingual Program Repair with Context Augmentation and Multi-Hunk Patch Generation

  2025cites this paper
• Addressing Cybersecurity Challenges in Verification Solutions: Insights from the DO-326B Standard

  2025cites this paper
• Evaluating Agent-Based Program Repair at Google

  2025cites this paper
• Characterising harmful API uses and repair techniques: Insights from a systematic review

  2025cites this paper
• Teaching AI the ‘Why’ and ‘How’ of Software Vulnerability Fixes

  2025cites this paper
• Learning to represent code changes

  2025cites this paper
• Patch Generation in APR: A Survey from the Perspectives of Utilizing LLMs and Using APR-Specific Information

  2025cites this paper
• A Sentence-Level Approach to Understanding Software Vulnerability Fixes

  2025influential citation
• An empirical study on the code naturalness modeling capability for LLMs in automated patch correctness assessment

  2025cites this paper
• Are "Solved Issues" in SWE-bench Really Solved Correctly? An Empirical Study

  2025cites this paper
• Adversarial Reasoning for Repair Based on Inferred Program Intent

  2025cites this paper
• SE-Jury: An LLM-as-Ensemble-Judge Metric for Narrowing the Gap with Human Evaluation in SE

  2025cites this paper
• Hierarchical Knowledge Injection for Improving LLM-based Program Repair

  2025cites this paper
• AutoCodeSherpa: Symbolic Explanations in AI Coding Agents

  2025cites this paper
• EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair

  2025cites this paper
• Assessing the effectiveness of recent closed-source large language models in fault localization and automated program repair

  2025cites this paper
• LLM-Based Repair of Static Nullability Errors

  2025cites this paper
• AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent

  2025cites this paper
• The Sustainability Face of Automated Program Repair Tools

  2025cites this paper
• From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs

  2025cites this paper
• Explainable Recommendation of Software Vulnerability Repair Based on Metadata Retrieval and Multifaceted LLMs

  2025cites this paper
• Parameter-Efficient Fine-Tuning with Attributed Patch Semantic Graph for Automated Patch Correctness Assessment

  2025cites this paper
• Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection

  2025cites this paper
• An Experimental Study of Real-Life LLM-Proposed Performance Improvements

  2025cites this paper
• KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

  2025cites this paper
• The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking

  2024cites this paper
• Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis

  2024cites this paper
• Towards Practical and Useful Automated Program Repair for Debugging

  2024cites this paper
• RTL-Repair: Fast Symbolic Repair of Hardware Design Code

  2024cites this paper
• Automatic Programming: Large Language Models and Beyond

  2024cites this paper
• Towards Efficient Program Repair with APR Tools Based on Genetic Algorithms

  2024cites this paper
• Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction

  2024cites this paper
• Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models

  2024cites this paper
• Aligning the Objective of LLM-Based Program Repair

  2024cites this paper
• Evaluating Program Repair with Semantic-Preserving Transformations: A Naturalness Assessment

  2024cites this paper
• Automated Program Repair, What Is It Good For? Not Absolutely Nothing!

  2024influential citation
• Advancements in Secure Computing: Exploring Automated Repair Debugging and Verification Techniques for Hardware Design

  2024cites this paper
• Keep It Simple: Testing Databases via Differential Query Plans

  2024cites this paper
• PyTy: Repairing Static Type Errors in Python

  2024cites this paper
• Towards Reliable Evaluation of Neural Program Repair with Natural Robustness Testing

  2024cites this paper
• Compiler-Directed Migrating API Callsite of Client Code

  2024cites this paper
• Test-in-the-loop LLM Repair: Verifiable Automated Program Repair on QuixBugs with a “Failing Test → Patch → Regression Test” Loop

  2024influential citation
• Analyzing the Potency of Pretrained Transformer Models for Automated Program Repair

  2024cites this paper
• Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments

  2024cites this paper
• EffFix: Efficient and Effective Repair of Pointer Manipulating Programs

  2024cites this paper
• A method to identify overfitting program repair patches based on expression tree

  2024cites this paper
• Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation

  2024cites this paper
• FixKit: A Program Repair Collection for Python

  2024influential citation
• Search-Based Automated Program Repair: A Survey

  2024cites this paper
• Evaluation of Version Control Merge Tools

  2024cites this paper
• Understanding Understanding: How Do We Reason About Computational Logic?

  2024cites this paper
• Automated and Controlled Patch Generation for Enhanced Fixing of Communication Software Vulnerabilities

  2024cites this paper
• Benchmarking and Categorizing the Performance of Neural Program Repair Systems for Java

  2024cites this paper
• Improving Patch Correctness Analysis via Random Testing and Large Language Models

  2024influential citation
• Evolutionary Testing for Program Repair

  2024cites this paper
• Leveraging Large Language Model for Automatic Patch Correctness Assessment

  2024cites this paper
• The Impact of Program Reduction on Automated Program Repair

  2024cites this paper
• Ranking Plausible Patches by Historic Feature Frequencies

  2024cites this paper
• Automated program repair for variability bugs in software product line systems

  2024cites this paper
• ARVO: Atlas of Reproducible Vulnerabilities for Open Source Software

  2024cites this paper
• PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs

  2024cites this paper
• The Fact Selection Problem in LLM-Based Program Repair

  2024cites this paper
• F1X at APR-COMP 2024

  2024cites this paper
• An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria

  2024influential citation
• A Formal Treatment of Performance Bugs

  2024cites this paper
• HasBugs - Handpicked Haskell Bugs

  2023cites this paper
• Program transformation landscapes for automated program modification using Gin

  2023cites this paper
• Understanding Why and Predicting When Developers Adhere to Code-Quality Standards

  2023cites this paper
• CirFix: Automated Hardware Repair and its Real-World Applications

  2023cites this paper
• Where to Look When Repairing Code? Comparing the Attention of Neural Models and Developers

  2023cites this paper
• Tare: Type-Aware Neural Program Repair

  2023cites this paper
• RobustNPR: Evaluating the robustness of neural program repair models

  2023cites this paper
• PatchZero: Zero-Shot Automatic Patch Correctness Assessment

  2023cites this paper
• Baldur: Whole-Proof Generation and Repair with Large Language Models

  2023cites this paper
• Reliable Fix Patterns Inferred from Static Checkers for Automated Program Repair

  2023cites this paper
• CCRep: Learning Code Change Representations via Pre-Trained Code Model and Query Back

  2023influential citation
• The Plastic Surgery Hypothesis in the Era of Large Language Models

  2023cites this paper
• Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

  2023cites this paper
• Code Similarity and Location-Awareness Automatic Program Repair

  2023influential citation
• A Survey of Learning-based Automated Program Repair

  2023cites this paper
• RunBugRun - An Executable Dataset for Automated Program Repair

  2023cites this paper
• Evolving Software: Combining Online Learning with Mutation-Based Stochastic Search

  2023influential citation
• PRoofster: Automated Formal Verification

  2023cites this paper
• RUSPATCH: Towards Timely and Effectively Patching Rust Applications

  2023cites this paper
• Invariant-based Program Repair

  2023cites this paper
• Boosting Redundancy-Based Automated Program Repair by Fine-Grained Pattern Mining

  2023influential citation
• Revisiting the Plastic Surgery Hypothesis via Large Language Models

  2023cites this paper
• The Future Can’t Help Fix The Past: Assessing Program Repair In The Wild

  2023influential citation
• Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis

  2023cites this paper