Program repair as a game

DOI10.1007/11513988_23MaRDI QIDQ5716562zbMATH OpenOpenAlexFDO

Authors Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b138445

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of game theory (91A80)

Recommendations

• Repair of Boolean Programs with an Application to C
• Finding and fixing faults
• Program repair without regret
• Program Repair for Hyperproperties
• Assume, guarantee or repair

Cited in

(33)

• Program synthesis for interactive-security systems
• Automation of fault-tolerant graceful degradation
• Strategy construction for parity games with imperfect information
• Repairing decision-making programs under uncertainty
• Must fault localization for program repair
• Sound and complete mutation-based program repair
• Two AGM-style characterizations of model repair
• The complexity of automated addition of fault-tolerance without explicit legitimate states
• Parameterized weighted containment
• Specification-based program repair using SAT
• Model repair for probabilistic systems
• Synthesis of fault-tolerant embedded systems using games: from theory to practice
• Program Repair for Hyperproperties
• Connecting program synthesis and reachability: automatic program repair using test-input generation
• Towards Parallel Boolean Functional Synthesis
• Inferring Synchronization under Limited Observability
• MR4UM: a framework for adding fault tolerance to UML state diagrams
• Finding and fixing faults
• Synthesis of Reactive(1) designs
• Assume, guarantee or repair
• Visibly pushdown modular games
• Repairing multi-player games
• Correct Hardware Design and Verification Methods
• Repair of Boolean Programs with an Application to C
• Model and program repair via group actions
• Automated program repair using formal verification techniques
• Optimal repair for omega-regular properties
• Toward a theory of program repair
• Perspective games
• Automatic WSTS-based repair and deadlock detection of parameterized systems
• Model and program repair via group actions and structure unwinding
• Positional-player games
• Program repair without regret

This page was built for publication: Program repair as a game

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5716562)