Finding and fixing faults
DOI10.1016/J.JCSS.2011.05.005zbMATH Open1263.68112OpenAlexW1993529189MaRDI QIDQ414907FDOQ414907
Authors: Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem 
Publication date: 11 May 2012
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2011.05.005
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cites Work
- The directed subgraph homeomorphism problem
- Diagnosing multiple faults
- A theory of diagnosis from first principles
- Myths about the mutual exclusion problem
- Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
- An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
- Title not available (Why is that?)
- Church's Problem Revisited
- Title not available (Why is that?)
- On the synthesis of strategies in infinite games
- Title not available (Why is that?)
- Lazy abstraction
- Tools and Algorithms for the Construction and Analysis of Systems
- Enhancing model checking in verification by AI techniques
- Title not available (Why is that?)
- On observability of discrete-event systems
- Deterministic generators and games for LTL fragments
- Computer Aided Verification
- Model-based diagnosis of hardware designs
- Fault Localization and Correction with QBF
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Correct Hardware Design and Verification Methods
- Repair of Boolean Programs with an Application to C
- ``More deterministic vs. ``smaller Büchi automata for efficient LTL model checking
Cited In (15)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems
- Defect and evaluations
- Bug localization by constructing reduced traces
- Correct Hardware Design and Verification Methods
- Repair of Boolean Programs with an Application to C
- On faults and faulty programs
- Program repair without regret
- Computer Aided Verification
- Graph Games and Reactive Synthesis
- Synthesizing non-vacuous systems
- Vacuity in synthesis
- CTL update of Kripke models through protections
- Must fault localization for program repair
- Fault Localization and Correction with QBF
- Symbolic model checking in non-Boolean domains
Uses Software
This page was built for publication: Finding and fixing faults
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q414907)
