On the public citation graph
Model-based diagnosis meets error diagnosis in logic programs
0 signed · 77 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bfb0019402openalex-snapshot
Model-based diagnosis meets error diagnosis in logic programs
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/0004-3702(92)90027-uopenalex-snapshot
Characterizing diagnoses and systems
inferredcites →https://doi.org/10.1109/caia.1990.89191openalex-snapshot
MOMO-model-based diagnosis for everybody
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.7551/mitpress/1192.001.0001openalex-snapshot
Algorithmic Program Debugging
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/0471728241.ch51openalex-snapshot
System Modeling and Simulation
inferred← citeshttps://doi.org/10.1002/9781119880929.ch9openalex-snapshot
Model‐Based Techniques for Software Fault Localization
inferred← citeshttps://doi.org/10.1002/spe.1142openalex-snapshot
On the use of mutations and testing for debugging
inferred← citeshttps://doi.org/10.1002/stvr.1583openalex-snapshot
Probabilistic reasoning in diagnosing causes of program failures
inferred← citeshttps://doi.org/10.1007/0-387-23152-8_40openalex-snapshot
Model-Based Debugging with High-Level Observations
inferred← citeshttps://doi.org/10.1007/11779568_65openalex-snapshot
Retaining Consistency in Temporal Knowledge Bases
inferred← citeshttps://doi.org/10.1007/11779568_88openalex-snapshot
Conflict-Directed Relaxation of Constraints in Content-Based Recommender Systems
inferred← citeshttps://doi.org/10.1007/3-540-36187-1_10openalex-snapshot
Modeling Programs with Unstructured Control Flow for Debugging
inferred← citeshttps://doi.org/10.1007/3-540-45049-1_21openalex-snapshot
Locating Bugs in Java Programs — First Results of the Java Diagnosis Experiments Project
inferred← citeshttps://doi.org/10.1007/3-540-45422-5_14openalex-snapshot
Hierarchical Diagnosis of Large Configurator Knowledge Bases
inferred← citeshttps://doi.org/10.1007/3-540-45422-5_25openalex-snapshot
Comparing Two Models for Software Debugging
inferred← citeshttps://doi.org/10.1007/3-540-45517-5_16openalex-snapshot
Using Multiple Models for Debugging VHDL Designs*
inferred← citeshttps://doi.org/10.1007/3-540-45656-2_41openalex-snapshot
Using Design Information to Identify Structural Software Faults
inferred← citeshttps://doi.org/10.1007/3-540-48035-8_72openalex-snapshot
Model-Based Debugging or How to Diagnose Programs Automatically
inferred← citeshttps://doi.org/10.1007/978-1-4757-6916-6_11openalex-snapshot
Validation and refinement versus revision
inferred← citeshttps://doi.org/10.1007/978-3-030-87790-3_5openalex-snapshot
Model-Driven Intelligent Decision Support Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-50485-3_44openalex-snapshot
Model-Based-Diagnosis for Assistance in Programming Exercises
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-07467-2_10openalex-snapshot
Retaining Consistency for Knowledge-Based Security Testing
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-50230-4_28openalex-snapshot
Fragment-Based Diagnosis of Spreadsheets
inferred← citeshttps://doi.org/10.1007/978-3-319-63516-3_14openalex-snapshot
Parallel Model-Based Diagnosis
inferred← citeshttps://doi.org/10.1007/978-3-642-14932-0_67openalex-snapshot
Relationship between the Verification Based Model and the Functional Dependences Model Using Program Specification
inferred← citeshttps://doi.org/10.1007/978-3-642-19583-9_8openalex-snapshot
Debugging Unrealizable Specifications with Model-Based Diagnosis
inferred← citeshttps://doi.org/10.1007/978-94-009-0279-4_29openalex-snapshot
A Model-Based Tool for Finding Faults in Hardware Designs
inferred← citeshttps://doi.org/10.1007/978-94-011-4154-3_9openalex-snapshot
An Integrated Development Environment for The Design And Maintenance of Large Configuration Knowledge Bases
inferred← citeshttps://doi.org/10.1007/978-981-16-2765-1_43openalex-snapshot
Java2CSP—A Model-Based Diagnosis Tool Not Only for Software Debugging
inferred← citeshttps://doi.org/10.1007/bfb0019419openalex-snapshot
Automatic diagnosis of VLSI digital circuits using algorithmic debugging
inferred← citeshttps://doi.org/10.1007/s10009-011-0221-yopenalex-snapshot
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies
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.1007/s10489-005-4605-0openalex-snapshot
The Localization and Correction of Errors in Models: A Constraint-Based Approach
inferred← citeshttps://doi.org/10.1007/s10489-007-0047-1openalex-snapshot
Achieving self-healing in service delivery software systems by means of case-based reasoning
inferred← citeshttps://doi.org/10.1007/s10515-014-0141-7openalex-snapshot
Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach
inferred← citeshttps://doi.org/10.1016/j.artint.2025.104399openalex-snapshot
Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.12.030openalex-snapshot
Model-Based Debugging – State of the Art And Future Challenges
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.jlap.2012.03.002openalex-snapshot
Automated debugging based on a constraint model of the program and a test case
inferred← citeshttps://doi.org/10.1016/j.knosys.2019.05.006openalex-snapshot
Are query-based ontology debuggers really helping knowledge engineers?
inferred← citeshttps://doi.org/10.1016/j.websem.2011.12.006openalex-snapshot
Interactive ontology debugging: Two query strategies for efficient fault localization
inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00161-8openalex-snapshot
On the relationship between model-based debugging and program slicing
inferred← citeshttps://doi.org/10.1016/s0004-3702(03)00117-6openalex-snapshot
Consistency-based diagnosis of configuration knowledge bases
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00039-9openalex-snapshot
Enhancing model checking in verification by AI techniques
inferred← citeshttps://doi.org/10.1016/s0954-1810(01)00016-4openalex-snapshot
Conceptual modeling for configuration of mass-customizable products
inferred← citeshttps://doi.org/10.1023/a:1012821511498openalex-snapshot
Debugging Hardware Designs Using a Value-Based Model
inferred← citeshttps://doi.org/10.1023/b:apin.0000033635.98612.1eopenalex-snapshot
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
inferred← citeshttps://doi.org/10.1080/088395198117749openalex-snapshot
Model-based software diagnosis
inferred← citeshttps://doi.org/10.1109/access.2019.2922351openalex-snapshot
An Infection Graph Model for Reasoning of Multiple Faults in Software
inferred← citeshttps://doi.org/10.1109/ase.2003.1240312openalex-snapshot
Extending diagnosis to debug programs with exceptions
inferred← citeshttps://doi.org/10.1109/ase.2008.23openalex-snapshot
Evaluating Models for Model-Based Debugging
inferred← citeshttps://doi.org/10.1109/icicic.2007.258openalex-snapshot
Detecting Incorrect Rules Automatically in Equivalent Transformation Programs
inferred← citeshttps://doi.org/10.1109/inmic.2008.4777709openalex-snapshot
Modeling Verilog designs using a value-based model
inferred← citeshttps://doi.org/10.1109/issre.2014.23openalex-snapshot
Why Does my Spreadsheet Compute Wrong Values?
inferred← citeshttps://doi.org/10.1109/qsic.2011.39openalex-snapshot
Program Debugging Using Constraints -- Is it Feasible?
inferred← citeshttps://doi.org/10.1109/tai.1996.560447openalex-snapshot
Merging test and verification for rule base debugging
inferred← citeshttps://doi.org/10.1109/tai.2000.889847openalex-snapshot
Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000
inferred← citeshttps://doi.org/10.1109/taicpart.2009.37openalex-snapshot
Test Patterns for Verilog Design Error Localization
inferred← citeshttps://doi.org/10.1109/tr.2016.2632151openalex-snapshot
Combining Models for Improved Fault Localization in Spreadsheets
inferred← citeshttps://doi.org/10.11606/d.45.2010.tde-25052010-130554openalex-snapshot
Depuração automática de programas baseada em modelos: uma abordagem hierárquica para auxílio ao aprendizado de programação
inferred← citeshttps://doi.org/10.1609/aaai.v29i1.9389openalex-snapshot
Parallelized Hitting Set Computation for Model-Based Diagnosis
inferred← citeshttps://doi.org/10.1613/jair.5001openalex-snapshot
Parallel Model-Based Diagnosis on Multi-Core Computers
inferred← citeshttps://doi.org/10.2139/ssrn.3198953openalex-snapshot
Interactive Ontology Debugging: Two Query Strategies for Efficient Fault Localization
inferred← citeshttps://doi.org/10.3390/data10090139openalex-snapshot
A Dataset and Experimental Evaluation of a Parallel Conflict Detection Solution for Model-Based Diagnosis
inferred← citeshttps://doi.org/10.48550/arxiv.1904.01484openalex-snapshot
Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers?
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0309030openalex-snapshot
Model-Based Debugging using Multiple Abstract Models
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0311001openalex-snapshot
Modeling State in Software Debugging of VHDL-RTL Designs -- A Model-Based Diagnosis Approach
inferred← citeshttps://doi.org/10.5555/2157654.2157671openalex-snapshot
Automated error localization and correction for imperative programs
showing the first 69 of 70 · page through all 70
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.