On the public citation graph

A pragmatic survey of automated debugging

https://doi.org/10.1007/bfb0019397
0 signed · 56 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/3-540-16479-0_9openalex-snapshot
PRESET — A debugging environment for Prolog
inferredcites →https://doi.org/10.1007/3-540-16492-8_76openalex-snapshot
Rational debugging in logic programming
inferredcites →https://doi.org/10.1007/978-3-642-70272-3_9openalex-snapshot
Artificial Intelligence
inferredcites →https://doi.org/10.1007/bf00047165openalex-snapshot
Journal of automated reasoning
inferredcites →https://doi.org/10.1007/bfb0019398openalex-snapshot
Usability criteria for automated debugging systems
inferredcites →https://doi.org/10.1007/bfb0019417openalex-snapshot
Identifying faulty modifications in software maintenance
inferredcites →https://doi.org/10.1007/bfb0024176openalex-snapshot
Bug localization by algorithmic debugging and program slicing
inferredcites →https://doi.org/10.1016/0004-3702(76)90022-9openalex-snapshot
Intelligent program analysis
inferredcites →https://doi.org/10.1016/0004-3702(80)90023-5openalex-snapshot
LAURA, a system to debug student programs
inferredcites →https://doi.org/10.1016/0004-3702(84)90042-0openalex-snapshot
Diagnostic reasoning based on structure and behavior
inferredcites →https://doi.org/10.1016/0020-0190(88)90054-3openalex-snapshot
Dynamic program slicing
inferredcites →https://doi.org/10.1016/s0020-7373(80)80017-4openalex-snapshot
Understanding and debugging programs
inferredcites →https://doi.org/10.1016/s0020-7373(82)80047-3openalex-snapshot
Stereotyped program debugging: an aid for novice programmers
inferredcites →https://doi.org/10.1109/32.6169openalex-snapshot
PELAS-program error-locating assistant system
inferredcites →https://doi.org/10.1109/52.62935openalex-snapshot
Two-dimensional pinpointing: debugging with formal specifications
inferredcites →https://doi.org/10.1109/icse.1991.130619openalex-snapshot
ASPECT: an economical bug-detector
inferredcites →https://doi.org/10.1109/ms.1987.230396openalex-snapshot
Knowledge-Based Program Debugging Systems
inferredcites →https://doi.org/10.1109/tse.1984.5010248openalex-snapshot
Program Slicing
inferredcites →https://doi.org/10.1109/tse.1985.232210openalex-snapshot
PROUST: Knowledge-Based Program Understanding
inferredcites →https://doi.org/10.1111/j.1467-8640.1987.tb00169.xopenalex-snapshot
Automatic program debugging for intelligent tutoring systems
inferredcites →https://doi.org/10.1145/122538.122549openalex-snapshot
OPIUM
inferredcites →https://doi.org/10.1145/126496.126500openalex-snapshot
OPIUM: a debugging environment for Prolog development and debugging research
inferredcites →https://doi.org/10.1145/93542.93576openalex-snapshot
Dynamic program slicing
inferredcites →https://doi.org/10.1145/93548.93576openalex-snapshot
Dynamic program slicing
inferredcites →https://doi.org/10.1207/s15327051hci0102_4openalex-snapshot
A Goal/Plan Analysis of Buggy Pascal Programs
inferredcites →https://doi.org/10.21236/ada210837openalex-snapshot
Dependency-Directed Localization of Software Bugs
inferredcites →https://doi.org/10.5555/256664.256676openalex-snapshot
ASPECT: an economical bug-detector
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.1007/10722311_3openalex-snapshot
A Generic Preprocessor for Program Validation and Debugging
inferred← citeshttps://doi.org/10.1007/3-540-45422-5_25openalex-snapshot
Comparing Two Models for Software Debugging
inferred← citeshttps://doi.org/10.1007/978-0-387-89299-3_7openalex-snapshot
Debugging and Testing of Multi-Agent Systems using Design Artefacts
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-60085-2_7openalex-snapshot
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging
inferred← citeshttps://doi.org/10.1007/bf03160274openalex-snapshot
Dynamic slicing of object-oriented programs
inferred← citeshttps://doi.org/10.1007/bfb0019398openalex-snapshot
Usability criteria for automated debugging systems
inferred← citeshttps://doi.org/10.1016/0164-1212(94)00087-4openalex-snapshot
Usability criteria for automated debugging systems
inferred← citeshttps://doi.org/10.1016/j.asoc.2011.01.023openalex-snapshot
Evolutionary repair of faulty software
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.06.003openalex-snapshot
Software quality assurance economics
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.jss.2021.111119openalex-snapshot
Spreadsheet debugging: The perils of tool over-reliance
inferred← citeshttps://doi.org/10.1016/s0743-1066(98)10036-5openalex-snapshot
Opium: an extendable trace analyzer for Prolog
inferred← citeshttps://doi.org/10.1023/a:1008600232608openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1023/a:1008633100749openalex-snapshot
Algorithmic Debugging and Hypothetical Reasoning
inferred← citeshttps://doi.org/10.1109/ase.2003.1240292openalex-snapshot
Fault localization with nearest neighbor queries
inferred← citeshttps://doi.org/10.1109/coginf.2004.1327473openalex-snapshot
Cognitive process during program debugging
inferred← citeshttps://doi.org/10.1109/wsc.2010.5679114openalex-snapshot
Improved methods and measures for computing dynamic program slices in stochastic simulations
inferred← citeshttps://doi.org/10.1145/1085130.1085142openalex-snapshot
Convergence debugging
inferred← citeshttps://doi.org/10.1145/3126594.3126658openalex-snapshot
Bifröst
inferred← citeshttps://doi.org/10.1145/331119.331209openalex-snapshot
Verifiable partial specifications for logic programming
inferred← citeshttps://doi.org/10.11606/d.45.2005.tde-20210729-144719openalex-snapshot
Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
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.1184/r1/6470129openalex-snapshot
IIC: Information in Context
inferred← citeshttps://doi.org/10.14264/uql.2015.680openalex-snapshot
Denotational trace: a category-theoretic solution to the practical problems of software execution tracing
inferred← citeshttps://doi.org/10.22215/etd/2017-12062openalex-snapshot
Towards Efficient Instrumentation for Reverse-Engineering Object Oriented Software through Static and Dynamic Analyses
inferred← citeshttps://doi.org/10.25439/rmt.27354492openalex-snapshot
Debugging multi-agent systems with design documents
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0101008openalex-snapshot
A Knowledge-based Automated Debugger in Learning System
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.