On the public citation graph

Fault localization using a model checker

https://doi.org/10.1002/stvr.421
0 signed · 54 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.1007/11513988_23openalex-snapshot
Program Repair as a Game
inferredcites →https://doi.org/10.1007/11560548_6openalex-snapshot
Finding and Fixing Faults
inferredcites →https://doi.org/10.1007/11693017_21openalex-snapshot
Fundamentals of Debugging Using a Resolution Calculus
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-44585-4_25openalex-snapshot
The SLAM Toolkit
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-45251-6_35openalex-snapshot
A Combined Testing and Verification Approach for Software Reliability
inferredcites →https://doi.org/10.1007/3-540-45420-9openalex-snapshot
Virtual Storytelling Using Virtual Reality Technologies for Storytelling
inferredcites →https://doi.org/10.1007/3-540-46002-0_24openalex-snapshot
Synthesizing Monitors for Safety Properties
inferredcites →https://doi.org/10.1007/978-3-031-26212-8_4openalex-snapshot
Introduction to Algorithms
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_8openalex-snapshot
Error Explanation with Distance Metrics
inferredcites →https://doi.org/10.1007/978-3-540-31980-1_40openalex-snapshot
SATABS: SAT-Based Predicate Abstraction for ANSI-C
inferredcites →https://doi.org/10.1007/978-3-540-72788-0_34openalex-snapshot
Fault Localization and Correction with QBF
inferredcites →https://doi.org/10.1007/s10009-004-0146-9openalex-snapshot
Fate and free will in error traces
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.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/s0004-3702(03)00117-6openalex-snapshot
Consistency-based diagnosis of configuration knowledge bases
inferredcites →https://doi.org/10.1016/s0004-3702(99)00034-xopenalex-snapshot
Model-based diagnosis of hardware designs
inferredcites →https://doi.org/10.1016/s1571-0661(04)80410-9openalex-snapshot
Liveness Checking as Safety Checking
inferredcites →https://doi.org/10.1023/a:1012821511498openalex-snapshot
Debugging Hardware Designs Using a Value-Based Model
inferredcites →https://doi.org/10.1109/32.988498openalex-snapshot
Simplifying and isolating failure-inducing input
inferredcites →https://doi.org/10.1109/ase.2003.1240292openalex-snapshot
Fault localization with nearest neighbor queries
inferredcites →https://doi.org/10.1109/ase.2003.1240312openalex-snapshot
Extending diagnosis to debug programs with exceptions
inferredcites →https://doi.org/10.1109/iccad.2004.1382572openalex-snapshot
Debugging sequential circuits using Boolean satisfiability
inferredcites →https://doi.org/10.1109/mdt.2006.5openalex-snapshot
Automated source-level error localization in hardware designs
inferredcites →https://doi.org/10.1145/1029894.1029908openalex-snapshot
Explaining abstract counterexamples
inferredcites →https://doi.org/10.1145/1101908.1101949openalex-snapshot
Empirical evaluation of the tarantula automatic fault-localization technique
inferredcites →https://doi.org/10.1145/1321631.1321691openalex-snapshot
A buffer overflow benchmark for software model checkers
inferredcites →https://doi.org/10.1145/1321631.1321719openalex-snapshot
Model checking concurrent linux device drivers
inferredcites →https://doi.org/10.1145/581396.581397openalex-snapshot
Visualization of test information to assist fault localization
inferredcites →https://doi.org/10.1145/604131.604140openalex-snapshot
From symptom to cause

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9781119880929.ch1openalex-snapshot
Software Fault Localization: an Overview of Research, Techniques, and Tools
inferred← citeshttps://doi.org/10.1002/9781119880929.ch13openalex-snapshot
Emerging Aspects of Software Fault Localization
inferred← citeshttps://doi.org/10.1002/stvr.1583openalex-snapshot
Probabilistic reasoning in diagnosing causes of program failures
inferred← citeshttps://doi.org/10.1007/978-3-031-71848-9_28openalex-snapshot
Model Checking-Enhanced Spectrum-Based Fault Localization
inferred← citeshttps://doi.org/10.1007/978-3-032-32537-2_10openalex-snapshot
Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations
inferred← citeshttps://doi.org/10.1007/978-3-319-11737-9_17openalex-snapshot
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-21215-9_3openalex-snapshot
Fast Model-Based Fault Localisation with Test Suites
inferred← citeshttps://doi.org/10.1007/978-3-319-89363-1_14openalex-snapshot
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications
inferred← citeshttps://doi.org/10.1007/s10270-017-0612-yopenalex-snapshot
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
inferred← citeshttps://doi.org/10.1016/j.jss.2010.12.048openalex-snapshot
Non-parametric statistical fault localization
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111897openalex-snapshot
Localizing faults using verification technique
inferred← citeshttps://doi.org/10.1109/dsd53832.2021.00084openalex-snapshot
Automated Debugging-Aware Visualization Technique for SystemC HLS Designs
inferred← citeshttps://doi.org/10.1109/etfa54631.2023.10275551openalex-snapshot
Fault localization for intelligent automation systems
inferred← citeshttps://doi.org/10.1109/iccd50377.2020.00043openalex-snapshot
ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique
inferred← citeshttps://doi.org/10.1109/iccd56317.2022.00092openalex-snapshot
Model Checking Leveraged Error Localization for Complex RTL Designs
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00065openalex-snapshot
FLACK: Counterexample-Guided Fault Localization for Alloy Models
inferred← citeshttps://doi.org/10.1109/isnib64820.2025.10983032openalex-snapshot
Combining Model Checking and Spectrum-Based Fault Localization with Multiple Counterexamples
inferred← citeshttps://doi.org/10.1109/sbesc.2015.25openalex-snapshot
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking
inferred← citeshttps://doi.org/10.1109/telepe66277.2025.00140openalex-snapshot
Research on Intelligent Algorithm-Driven Fault Localization and Repair Technology of Power Line
inferred← citeshttps://doi.org/10.1109/tse.2016.2521368openalex-snapshot
A Survey on Software Fault Localization
inferred← citeshttps://doi.org/10.1145/3837868openalex-snapshot
Bug Localization for RTL designs Based on Multi-Features Deep Learning
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.