Program repair without regret
From MaRDI portal
Publication:746769
DOI10.1007/s10703-015-0223-6zbMath1322.68056OpenAlexW2144540268MaRDI QIDQ746769
Barbara Jobstmann, Christian von Essen
Publication date: 20 October 2015
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: http://infoscience.epfl.ch/record/283987
Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Explaining safety violations in real-time systems ⋮ Model and program repair via group actions ⋮ Automated program repair using formal verification techniques ⋮ Optimal repair for omega-regular properties ⋮ Program repair without regret
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Finding and fixing faults
- Program repair without regret
- Enhancing model checking in verification by AI techniques
- Symbolic synthesis of masking fault-tolerant distributed programs
- Open Implication
- Simulation Distances
- Tighter Bounds for the Determinisation of Büchi Automata
- Inferring Synchronization under Limited Observability
- On the power of bounded concurrency I
- Abstraction-guided synthesis of synchronization
- Tools and Algorithms for the Construction and Analysis of Systems
- Synthesis from LTL Specifications with Mean-Payoff Objectives
- From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
- Solving Sequential Conditions by Finite-State Strategies
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Computer Aided Verification
- Repair of Boolean Programs with an Application to C
This page was built for publication: Program repair without regret