On the public citation graph

Finding and Fixing Faults

https://doi.org/10.1007/11560548_6
0 signed · 130 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1994.1092openalex-snapshot
Reasoning about Infinite Computations
inferredcites →https://doi.org/10.1007/10722167_21openalex-snapshot
Efficient Büchi Automata from LTL Formulae
inferredcites →https://doi.org/10.1007/11513988_23openalex-snapshot
Program Repair as a Game
inferredcites →https://doi.org/10.1007/11795490_22openalex-snapshot
Revising UNITY Programs: Possibilities and Limitations
inferredcites →https://doi.org/10.1007/11817963_33openalex-snapshot
Repair of Boolean Programs with an Application to C
inferredcites →https://doi.org/10.1007/3-540-40922-x_10openalex-snapshot
A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles
inferredcites →https://doi.org/10.1007/3-540-44829-2_8openalex-snapshot
What Went Wrong: Explaining Counterexamples
inferredcites →https://doi.org/10.1007/3-540-46002-0_31openalex-snapshot
Fate and FreeWill in Error Traces
inferredcites →https://doi.org/10.1007/3-540-59042-0_57openalex-snapshot
On the synthesis of strategies in infinite games
inferredcites →https://doi.org/10.1007/3-540-60045-0_56openalex-snapshot
An automata-theoretic approach to fair realizability and synthesis
inferredcites →https://doi.org/10.1007/3-540-60385-9_11openalex-snapshot
Design error diagnosis in sequential circuits
inferredcites →https://doi.org/10.1007/3-540-61474-5_95openalex-snapshot
VIS: A system for verification and synthesis
inferredcites →https://doi.org/10.1007/978-0-387-34892-6_1openalex-snapshot
Simple On-the-fly Automatic Verification of Linear Temporal Logic
inferredcites →https://doi.org/10.1007/978-1-4612-4792-0_13openalex-snapshot
Theorist: A Logical Reasoning System for Defaults and Diagnosis
inferredcites →https://doi.org/10.1007/978-1-4615-0292-0_2openalex-snapshot
Automating the Diagnosis and the Rectification of Design Errors with PRIAM
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_15openalex-snapshot
A Tool for Checking ANSI-C Programs
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_3openalex-snapshot
Minimal Assignments for Bounded Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_8openalex-snapshot
Error Explanation with Distance Metrics
inferredcites →https://doi.org/10.1007/978-3-540-39724-3_12openalex-snapshot
“More Deterministic” vs. “Smaller” Büchi Automata for Efficient LTL Model Checking
inferredcites →https://doi.org/10.1007/978-3-540-70889-6_4openalex-snapshot
Automatic Fault Localization for Property Checking
inferredcites →https://doi.org/10.1007/b117060openalex-snapshot
Logic Synthesis and Verification Algorithms
inferredcites →https://doi.org/10.1007/bfb0019402openalex-snapshot
Model-based diagnosis meets error diagnosis in logic programs
inferredcites →https://doi.org/10.1007/s10009-004-0146-9openalex-snapshot
Fate and free will in error traces
inferredcites →https://doi.org/10.1007/s10009-005-0202-0openalex-snapshot
Error explanation with distance metrics
inferredcites →https://doi.org/10.1007/s10664-005-3861-2openalex-snapshot
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact
inferredcites →https://doi.org/10.1007/s10703-006-4341-zopenalex-snapshot
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps
inferredcites →https://doi.org/10.1016/0004-3702(87)90062-2openalex-snapshot
A theory of diagnosis from first principles
inferredcites →https://doi.org/10.1016/0004-3702(87)90063-4openalex-snapshot
Diagnosing multiple faults
inferredcites →https://doi.org/10.1016/0020-0190(81)90106-xopenalex-snapshot
Myths about the mutual exclusion problem
inferredcites →https://doi.org/10.1016/0020-0255(88)90001-1openalex-snapshot
On observability of discrete-event systems
inferredcites →https://doi.org/10.1016/0304-3975(80)90009-2openalex-snapshot
The directed subgraph homeomorphism problem
inferredcites →https://doi.org/10.1016/j.entcs.2006.12.032openalex-snapshot
Automated Fault Localization for C Programs
inferredcites →https://doi.org/10.1016/s0004-3702(99)00034-xopenalex-snapshot
Model-based diagnosis of hardware designs
inferredcites →https://doi.org/10.1016/s0004-3702(99)00039-9openalex-snapshot
Enhancing model checking in verification by AI techniques
inferredcites →https://doi.org/10.1016/s1571-0661(04)00261-0openalex-snapshot
Trail-Directed Model Checking
inferredcites →https://doi.org/10.1109/32.908957openalex-snapshot
Dynamically discovering likely program invariants to support program evolution
inferredcites →https://doi.org/10.1109/32.988498openalex-snapshot
Simplifying and isolating failure-inducing input
inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferredcites →https://doi.org/10.1109/92.311641openalex-snapshot
Logic design error diagnosis and correction
inferredcites →https://doi.org/10.1109/ase.2003.1240292openalex-snapshot
Fault localization with nearest neighbor queries
inferredcites →https://doi.org/10.1109/aspdac.2007.358111openalex-snapshot
Fixing Design Errors with Counterexamples and Resynthesis
inferredcites →https://doi.org/10.1109/date.2007.364456openalex-snapshot
Automatic Hardware Synthesis from Specifications: A Case Study
inferredcites →https://doi.org/10.1109/fmcad.2006.22openalex-snapshot
Optimizations for LTL Synthesis
inferredcites →https://doi.org/10.1109/iccad.1989.76898openalex-snapshot
Automating the diagnosis and the rectification of design errors with PRIAM
inferredcites →https://doi.org/10.1109/iccad.1990.129954openalex-snapshot
Efficient automatic diagnosis of digital circuits
inferredcites →https://doi.org/10.1109/iccad.2004.1382572openalex-snapshot
Debugging sequential circuits using Boolean satisfiability
inferredcites →https://doi.org/10.1109/lics.2001.932505openalex-snapshot
Deterministic generators and games for LTL fragments
inferredcites →https://doi.org/10.1109/mdt.2006.5openalex-snapshot
Automated source-level error localization in hardware designs
inferredcites →https://doi.org/10.1109/sfcs.1977.32openalex-snapshot
The temporal logic of programs
inferredcites →https://doi.org/10.1109/sfcs.1983.51openalex-snapshot
Reasoning about infinite computation paths
inferredcites →https://doi.org/10.1109/sfcs.2000.892332openalex-snapshot
The common fragment of CTL and LTL
inferredcites →https://doi.org/10.1109/tcad.2008.923234openalex-snapshot
Automatic Fault Localization for Property Checking
inferredcites →https://doi.org/10.1111/j.1467-8640.1991.tb00388.xopenalex-snapshot
A spectrum of logical definitions of model‐based diagnosis1
inferredcites →https://doi.org/10.1145/1168857.1168907openalex-snapshot
Combinatorial sketching for finite programs
inferredcites →https://doi.org/10.1145/157485.164888openalex-snapshot
Reducing BDD size by exploiting functional dependencies
inferredcites →https://doi.org/10.1145/196244.196356openalex-snapshot
Rectification of multiple logic design errors in multiple output circuits
inferredcites →https://doi.org/10.1145/217474.217565openalex-snapshot
Efficient generation of counterexamples and witnesses in symbolic model checking
inferredcites →https://doi.org/10.1145/318593.318622openalex-snapshot
Checking that finite state concurrent programs satisfy their linear specification
inferredcites →https://doi.org/10.1145/503272.503279openalex-snapshot
Lazy abstraction
inferredcites →https://doi.org/10.1145/587051.587053openalex-snapshot
Isolating cause-effect chains from computer programs
inferredcites →https://doi.org/10.1145/604131.604140openalex-snapshot
From symptom to cause
inferredcites →https://doi.org/10.1145/75277.75293openalex-snapshot
On the synthesis of a reactive module
inferredcites →https://doi.org/10.1145/963927.963928openalex-snapshot
Deterministic generators and games for Ltl fragments
inferredcites →https://doi.org/10.2307/2270398openalex-snapshot
Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35.
inferredcites →https://doi.org/10.2307/421091openalex-snapshot
Church's Problem Revisited

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/stvr.1486openalex-snapshot
A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering
inferred← citeshttps://doi.org/10.1002/stvr.421openalex-snapshot
Fault localization using a model checker
inferred← citeshttps://doi.org/10.1007/11817963_33openalex-snapshot
Repair of Boolean Programs with an Application to C
inferred← citeshttps://doi.org/10.1007/11901914_9openalex-snapshot
Whodunit? Causal Analysis for Counterexamples
inferred← citeshttps://doi.org/10.1007/978-3-031-30829-1_25openalex-snapshot
Model and Program Repair via Group Actions
inferred← citeshttps://doi.org/10.1007/978-3-540-70889-6_4openalex-snapshot
Automatic Fault Localization for Property Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-72788-0_34openalex-snapshot
Fault Localization and Correction with QBF
inferred← citeshttps://doi.org/10.1007/978-3-540-74930-1_23openalex-snapshot
Converting Programs into Constraint Satisfaction Problems
inferred← citeshttps://doi.org/10.1007/978-3-642-00768-2_13openalex-snapshot
Inferring Synchronization under Limited Observability
inferred← citeshttps://doi.org/10.1007/978-3-642-15384-6_2openalex-snapshot
Local Model Update with an Application to Sliding Window Protocol
inferred← citeshttps://doi.org/10.1007/978-3-642-15898-8_5openalex-snapshot
Automatic Error Correction of Java Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-28756-5_2openalex-snapshot
History-Aware Data Structure Repair Using SAT
inferred← citeshttps://doi.org/10.1007/978-3-642-28891-3_32openalex-snapshot
Abstract Model Repair
inferred← citeshttps://doi.org/10.1007/978-3-642-34188-5_6openalex-snapshot
Generalized Reactivity(1) Synthesis without a Monolithic Strategy
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_14openalex-snapshot
Repair Abstractions for More Efficient Data Structure Repair
inferred← citeshttps://doi.org/10.1007/978-3-662-44871-7_1openalex-snapshot
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs
inferred← citeshttps://doi.org/10.1007/978-3-662-46681-0_50openalex-snapshot
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
inferred← citeshttps://doi.org/10.1007/s10009-012-0232-3openalex-snapshot
Abstraction-guided synthesis of synchronization
inferred← citeshttps://doi.org/10.1007/s10489-016-0804-0openalex-snapshot
Automated program repair using genetic programming and model checking
inferred← citeshttps://doi.org/10.1007/s10703-015-0223-6openalex-snapshot
Program repair without regret
inferred← citeshttps://doi.org/10.1016/j.asoc.2011.01.023openalex-snapshot
Evolutionary repair of faulty software
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.12.032openalex-snapshot
Automated Fault Localization for C Programs
inferred← citeshttps://doi.org/10.1016/j.jcss.2011.05.005openalex-snapshot
Finding and fixing faults
inferred← citeshttps://doi.org/10.1016/j.jss.2013.10.042openalex-snapshot
Combining mutation and fault localization for automated program debugging
inferred← citeshttps://doi.org/10.1016/j.micpro.2013.10.002openalex-snapshot
Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs
inferred← citeshttps://doi.org/10.1109/aspdac.2007.358111openalex-snapshot
Fixing Design Errors with Counterexamples and Resynthesis
inferred← citeshttps://doi.org/10.1109/cec.2008.4630793openalex-snapshot
A novel co-evolutionary approach to automatic software bug fixing
inferred← citeshttps://doi.org/10.1109/ets.2012.6233020openalex-snapshot
Combining dynamic slicing and mutation operators for ESL correction
inferred← citeshttps://doi.org/10.1109/fmcad.2008.ecp.31openalex-snapshot
Automatic Generation of Local Repairs for Boolean Programs
inferred← citeshttps://doi.org/10.1109/hldvt.2007.4392789openalex-snapshot
Automatic error diagnosis and correction for RTL designs
inferred← citeshttps://doi.org/10.1109/iceccs.2012.25openalex-snapshot
Non-intrusive Repair of Reactive Programs
inferred← citeshttps://doi.org/10.1109/iceccs20050.2012.6299199openalex-snapshot
Non-intrusive Repair of Reactive Programs
inferred← citeshttps://doi.org/10.1109/icst.2010.66openalex-snapshot
Using Mutation to Automatically Suggest Fixes for Faulty Programs
inferred← citeshttps://doi.org/10.1109/memcod.2015.7340481openalex-snapshot
Model and program repair via SAT solving
inferred← citeshttps://doi.org/10.1109/mtv.2012.20openalex-snapshot
Localization of Bugs in Processor Designs Using zamiaCAD Framework
inferred← citeshttps://doi.org/10.1109/qrs-c63300.2024.00063openalex-snapshot
Search-Based Automated Program Repair: A Survey
inferred← citeshttps://doi.org/10.1109/saner.2015.7081847openalex-snapshot
Identifying the exact fixing actions of static rule violation
inferred← citeshttps://doi.org/10.1109/sbst.2017.12openalex-snapshot
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria
inferred← citeshttps://doi.org/10.1109/sefm.2008.35openalex-snapshot
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes
inferred← citeshttps://doi.org/10.1109/tcad.2007.907257openalex-snapshot
Fixing Design Errors With Counterexamples and Resynthesis
inferred← citeshttps://doi.org/10.1109/tcad.2008.923234openalex-snapshot
Automatic Fault Localization for Property Checking
inferred← citeshttps://doi.org/10.1109/tcad.2023.3341750openalex-snapshot
Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments
inferred← citeshttps://doi.org/10.1109/tse.2017.2755013openalex-snapshot
Automatic Software Repair: A Survey
inferred← citeshttps://doi.org/10.1109/tse.2023.3269899openalex-snapshot
CirFix: Automated Hardware Repair and its Real-World Applications
inferred← citeshttps://doi.org/10.1145/1370175.1370223openalex-snapshot
On the automation of fixing software bugs
inferred← citeshttps://doi.org/10.1145/1706299.1706338openalex-snapshot
Abstraction-guided synthesis of synchronization
inferred← citeshttps://doi.org/10.1145/1707801.1706338openalex-snapshot
Abstraction-guided synthesis of synchronization
inferred← citeshttps://doi.org/10.1145/1831708.1831716openalex-snapshot
Automated fixing of programs with contracts
inferred← citeshttps://doi.org/10.1145/2382570.2382574openalex-snapshot
A Lightweight Method for Automated Design of Convergence in Network Protocols
inferred← citeshttps://doi.org/10.1145/2491956.2462195openalex-snapshot
Automated feedback generation for introductory programming assignments
inferred← citeshttps://doi.org/10.1145/2499370.2462195openalex-snapshot
Automated feedback generation for introductory programming assignments
inferred← citeshttps://doi.org/10.1145/2568225.2568324openalex-snapshot
A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair
inferred← citeshttps://doi.org/10.1145/3147426openalex-snapshot
Model and Program Repair via SAT Solving
inferred← citeshttps://doi.org/10.1145/3180155.3182526openalex-snapshot
Automatic software repair
inferred← citeshttps://doi.org/10.1145/3192366.3192384openalex-snapshot
Search, align, and repair: data-driven feedback generation for introductory programming exercises
inferred← citeshttps://doi.org/10.1145/3192366.3192387openalex-snapshot
Automated clustering and program repair for introductory programming assignments
inferred← citeshttps://doi.org/10.1145/3296979.3192384openalex-snapshot
Search, align, and repair: data-driven feedback generation for introductory programming exercises
inferred← citeshttps://doi.org/10.1145/3296979.3192387openalex-snapshot
Automated clustering and program repair for introductory programming assignments
inferred← citeshttps://doi.org/10.1145/3471872.3472972openalex-snapshot
Human-in-the-loop program synthesis for live coding
inferred← citeshttps://doi.org/10.1145/3503222.3507763openalex-snapshot
CirFix: automatically repairing defects in hardware design code
inferred← citeshttps://doi.org/10.1145/3702971openalex-snapshot
An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria
inferred← citeshttps://doi.org/10.1145/3719008openalex-snapshot
Model and Program Repair via Group Actions and Structure Unwinding
inferred← citeshttps://doi.org/10.13140/rg.2.1.4730.8889openalex-snapshot
Automated Debugging and Bug Fixing Solutions: A Systematic Literature Review and Classification
inferred← citeshttps://doi.org/10.48550/arxiv.1711.07148openalex-snapshot
Data-Driven Feedback Generation for Introductory Programming Exercises
inferred← citeshttps://doi.org/10.5220/0010373403620372openalex-snapshot
Towards Repairing Scenario-Based Models with Rich Events
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.