Program Repair as a Game

No abstract is available for this paper.

• Publication year

  2005

• Venue

  International Conference on Computer Aided Verification

• Publication date

  2005-07-06

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/11513988_23
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A comparison of fault explanation and localization

  2005cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Fate and free will in error traces

  2004cited by this paper
• Error Explanation with Distance Metrics

  2004cited by this paper
• Correct Hardware Design and Verification Methods

  2003cited by this paper
• "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking

  2003cited by this paper
• From symptom to cause: localizing errors in counterexample traces

  2003cited by this paper
• What Went Wrong: Explaining Counterexamples

  2003cited by this paper
• Automatically validating temporal safety properties of interfaces

  2001cited by this paper
• Deterministic generators and games for LTL fragments

  2001cited by this paper
• A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles

  2000cited by this paper
• A Value-Based Diagnosis Model for Java Programs

  2000cited by this paper
• Efficient Büchi Automata from LTL Formulae

  2000cited by this paper
• The Common Fragment of CTL and LTL

  2000cited by this paper
• The common fragment of CTL and LTL

  2000cited by this paper
• Enhancing Model Checking in Verification by AI Techniques

  1999cited by this paper
• Freedom, weakness, and determinism: from linear-time to branching-time

  1998cited by this paper
• Logic synthesis and verification algorithms

  1996cited by this paper
• VIS: A System for Verification and Synthesis

  1996cited by this paper
• A model-based approach to software debugging

  1996cited by this paper
• On the Synthesis of Strategies in Infinite Games

  1995cited by this paper
• Higher Order Logic Theorem Proving and Its Applications

  1995cited by this paper
• Simple on-the-fly automatic verification of linear temporal logic

  1995cited by this paper
• Reducing BDD Size by Exploiting Functional Dependencies

  1993cited by this paper
• Control of Discrete Event Systems

  1992cited by this paper
• On the synthesis of a reactive module

  1989cited by this paper
• Protocol Specification, Testing and Verification - Guest Editorial

  1982cited by this paper
• The Directed Subgraph Homeomorphism Problem

  1978cited by this paper

• Automatic WSTS-based repair and deadlock detection of parameterized systems

  2025cites this paper
• Towards Speeding up Program Repair with Non-Autoregressive Model

  2025cites this paper
• Positional-Player Games

  2025influential citation
• REP4: Automated Testing and Repairing Programmable Data Planes

  2025cites this paper
• “How Does My Circuit Work?”: Local Explanations for the Behavior of Sequential Circuits

  2025cites this paper
• A Comprehensive Evaluation of Parameter-Efficient Fine-Tuning on Automated Program Repair

  2024cites this paper
• Evolving Paradigms in Automated Program Repair: Taxonomy, Challenges, and Opportunities

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

  2024cites this paper
• REX: Designing User-centered Repair and Explanations to Address Robot Failures

  2024cites this paper
• Design, Development, and Deployment of Context-Adaptive AI Systems for Enhanced User Adoption

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

  2024cites this paper
• NARRepair: Non-Autoregressive Code Generation Model for Automatic Program Repair

  2024cites this paper
• Model Checking Based Test Adaptation in Changing Business Software

  2024cites this paper
• Exploring Parameter-Efficient Fine-Tuning of Large Language Model on Automated Program Repair

  2024cites this paper
• Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?

  2024cites this paper
• MergeRepair: An Exploratory Study on Merging Task-Specific Adapters in Code LLMs for Automated Program Repair

  2024cites this paper
• LLOR: Automated Repair of OpenMP Programs

  2024cites this paper
• Iterative Circuit Repair Against Formal Specifications

  2023cites this paper
• A Survey on Automated Program Repair Techniques

  2023influential citation
• Automated Repair of Declarative Software Specifications in the Era of Large Language Models

  2023cites this paper
• GPURepair: Automated Repair of GPU Kernels (Extended Version)

  2023cites this paper
• Symbolic Fixpoint Algorithms for Logical LTL Games

  2023cites this paper
• Towards Efficient Controller Synthesis Techniques for Logical LTL Games

  2023cites this paper
• Optimal Repair For Omega-regular Properties

  2022cites this paper
• Counterexample-Guided Inductive Repair of Reactive Contracts

  2022cites this paper
• ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

  2022cites this paper
• Assume, guarantee or repair: a regular framework for non regular properties

  2022cites this paper
• Model Repair via Symmetry

  2022cites this paper
• ATR: template-based repair for Alloy specifications

  2022cites this paper
• A Debugging Game for Probabilistic Models

  2022cites this paper
• A Position on Program Synthesis for Processor Development

  2022cites this paper
• Evolving interpretable strategies for zero-sum games

  2022cites this paper
• PGPatch: Policy-Guided Logic Bug Patching for Robotic Vehicles

  2022cites this paper
• Patching Locking Bugs Statically with Crayons

  2022cites this paper
• Counterexample Guided Inductive Repair of Reactive Contracts

  2021cites this paper
• Towards Repairing Scenario-Based Models with Rich Events

  2021cites this paper
• Probabilistic synthesis against GR(1) winning condition

  2021cites this paper
• Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods

  2021cites this paper
• Automatic Repair and Deadlock Detection for Parameterized Systems

  2021cites this paper
• Parameterized Repair of Concurrent Systems

  2021influential citation
• Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations

  2021cites this paper
• Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning

  2021cites this paper
• Must Fault Localization for Program Repair

  2020cites this paper
• Avoiding Overfitting in Automated Program Repair using Formal Methods

  2020cites this paper
• Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

  2020cites this paper
• APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools

  2020cites this paper
• GPURepair: Automated Repair of GPU Kernels

  2020cites this paper
• Transforming Robot Programs Based on Social Context

  2020cites this paper
• Parameterized Synthesis with Safety Properties

  2020cites this paper
• Explainable Reactive Synthesis

  2020cites this paper
• Scaling Functional Synthesis and Repair

  2019cites this paper
• Exploiting parallelism in document similarity tasks with applications

  2019cites this paper
• Learning-Based Synthesis of Safety Controllers

  2019cites this paper
• Perspective Games

  2019cites this paper
• Automated Program Transformation for Improving Software Quality

  2019cites this paper
• Program Repair for Hyperproperties

  2019cites this paper
• Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †

  2019cites this paper
• Automation of fault-tolerant graceful degradation

  2019cites this paper
• An evolutionary framework for automatic and guided discovery of algorithms

  2019cites this paper
• Two AGM-style characterizations of model repair

  2019cites this paper
• Automatic Software Repair: A Survey

  2018cites this paper
• Authoring and Verifying Human-Robot Interactions

  2018cites this paper
• A Study of Applying Fault-based Genetic-Like Programming Approaches to Automatic Software Fault Corrections

  2018cites this paper
• Layering Assume-Guarantee Contracts for Hierarchical System Design

  2018cites this paper
• Relational program synthesis

  2018cites this paper
• Automatic Program Transformation for Program Repair and Improving Analysis

  2018cites this paper
• Automatic Software Repair

  2018cites this paper
• A New Word Embedding Approach to Evaluate Potential Fixes for Automated Program Repair

  2018cites this paper
• Systematic Generation of Non-equivalent Expressions for Relational Algebra

  2018cites this paper
• Quasipolynomial Set-Based Symbolic Algorithms for Parity Games

  2018cites this paper
• Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

  2018cites this paper
• Quality assurance methodologies for automated driving

  2018cites this paper
• Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization

  2018cites this paper
• 1 Test-equivalence Analysis for Automatic Patch Generation

  2018cites this paper
• Towards Mixed Optimization for Reinforcement Learning with Program Synthesis

  2018cites this paper
• Test-Equivalence Analysis for Automatic Patch Generation

  2018cites this paper
• Static Automated Program Repair for Heap Properties

  2018cites this paper
• Visibly pushdown modular games,

  2017cites this paper
• A metamorphic testing approach for supporting program repair without the need for a test oracle

  2017cites this paper
• Hiding variables when decomposing specifications into GR(1) contracts

  2017cites this paper
• Data-Driven Feedback Generation for Introductory Programming Exercises

  2017cites this paper
• CAREER: Quality Automation: Push-Button Automatic Program Repair

  2017cites this paper
• Automated program repair: a perspective from metamorphic testing

  2017cites this paper
• Partitioning Patches into Test-equivalence Classes for Scaling Program Repair

  2017cites this paper
• Strategy synthesis for linear arithmetic games

  2017cites this paper
• Towards Parallel Boolean Functional Synthesis

  2017cites this paper
• Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation

  2017cites this paper
• Control with Formal Security Guarantees

  2017cites this paper
• Repairing Decision-Making Programs Under Uncertainty

  2017cites this paper
• Improved Set-based Symbolic Algorithms for Parity Games

  2017cites this paper
• Program Synthesis

  2017cites this paper
• A correlation study between automated program repair and test-suite metrics

  2017cites this paper
• EdSketch: execution-driven sketching for Java

  2017cites this paper
• Model and Program Repair via SAT Solving

  2017influential citation
• Program synthesis for interactive-security systems

  2017cites this paper
• Synthesis of protocols and discrete controllers

  2017cites this paper
• Search, align, and repair: data-driven feedback generation for introductory programming exercises

  2017cites this paper
• Sound and Complete Mutation-Based Program Repair

  2016cites this paper
• Automated clustering and program repair for introductory programming assignments

  2016cites this paper
• Probabilistic Fault Localisation

  2016cites this paper