On the public citation graph
Combining Slicing and Constraint Solving for Better Debugging: The C ONBAS Approach
0 signed · 52 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.1002/spe.1142openalex-snapshot
On the use of mutations and testing for debugging
inferredcites →https://doi.org/10.1007/978-1-4614-6230-9_15openalex-snapshot
Prioritizing Tests for Fault Localization
inferredcites →https://doi.org/10.1007/s10664-006-9007-3openalex-snapshot
A study of effectiveness of dynamic slicing in locating real faults
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(89)90079-9openalex-snapshot
A correction to the algorithm in reiter's theory of diagnosis
inferredcites →https://doi.org/10.1016/0004-3702(92)90027-uopenalex-snapshot
Characterizing diagnoses and systems
inferredcites →https://doi.org/10.1016/j.artint.2010.09.003openalex-snapshot
Diagnosing multiple intermittent failures using maximum likelihood estimation
inferredcites →https://doi.org/10.1016/j.entcs.2006.12.030openalex-snapshot
Model-Based Debugging – State of the Art And Future Challenges
inferredcites →https://doi.org/10.1016/j.jlap.2012.03.002openalex-snapshot
Automated debugging based on a constraint model of the program and a test case
inferredcites →https://doi.org/10.1016/j.jss.2009.06.035openalex-snapshot
A practical evaluation of spectrum-based fault localization
inferredcites →https://doi.org/10.1016/s0004-3702(01)00161-8openalex-snapshot
On the relationship between model-based debugging and program slicing
inferredcites →https://doi.org/10.1016/s0950-5849(98)00089-5openalex-snapshot
Dynamic program slicing methods
inferredcites →https://doi.org/10.1093/logcom/1.5.661openalex-snapshot
On the Relationship Between Abduction and Deduction
inferredcites →https://doi.org/10.1109/32.988498openalex-snapshot
Simplifying and isolating failure-inducing input
inferredcites →https://doi.org/10.1109/ase.2011.6100153openalex-snapshot
Prioritizing tests for fault localization through ambiguity group reduction
inferredcites →https://doi.org/10.1109/ecbs.2007.31openalex-snapshot
Diagnosis of Embedded Software Using Program Spectra
inferredcites →https://doi.org/10.1109/icse.2009.5070536openalex-snapshot
Automatically finding patches using genetic programming
inferredcites →https://doi.org/10.1109/prdc.2006.18openalex-snapshot
An Evaluation of Similarity Coefficients for Software Fault Localization
inferredcites →https://doi.org/10.1109/qsic.2012.44openalex-snapshot
Reducing the Size of Dynamic Slicing with Constraint Solving
inferredcites →https://doi.org/10.1145/1062455.1062522openalex-snapshot
Locating causes of program failures
inferredcites →https://doi.org/10.1145/1085130.1085135openalex-snapshot
Experimental evaluation of using dynamic slices for fault location
inferredcites →https://doi.org/10.1145/1101908.1101948openalex-snapshot
Locating faulty code using failure-inducing chops
inferredcites →https://doi.org/10.1145/1101908.1101949openalex-snapshot
Empirical evaluation of the tarantula automatic fault-localization technique
inferredcites →https://doi.org/10.1145/1133255.1134002openalex-snapshot
Pruning dynamic slices with confidence
inferredcites →https://doi.org/10.1145/1181775.1181786openalex-snapshot
Dynamic slicing long running programs through execution fast forwarding
inferredcites →https://doi.org/10.1145/1250734.1250782openalex-snapshot
Towards locating execution omission errors
inferredcites →https://doi.org/10.1145/1273442.1250782openalex-snapshot
Towards locating execution omission errors
inferredcites →https://doi.org/10.1145/1370175.1370223openalex-snapshot
On the automation of fixing software bugs
inferredcites →https://doi.org/10.1145/1390630.1390652openalex-snapshot
Fault localization using value replacement
inferredcites →https://doi.org/10.1145/1529282.1529374openalex-snapshot
Refining spectrum-based fault localization rankings
inferredcites →https://doi.org/10.1145/1735223.1735249openalex-snapshot
Automatic program repair with evolutionary computation
inferredcites →https://doi.org/10.1145/197320.197331openalex-snapshot
Single-pass generation of static single-assignment form for structured languages
inferredcites →https://doi.org/10.1145/2001420.2001445openalex-snapshot
Are automated debugging techniques actually helping programmers?
inferredcites →https://doi.org/10.1145/277631.277647openalex-snapshot
An empirical investigation of program spectra
inferredcites →https://doi.org/10.1145/358557.358577openalex-snapshot
Programmers use slices when debugging
inferredcites →https://doi.org/10.1145/587051.587053openalex-snapshot
Isolating cause-effect chains from computer programs
inferredcites →https://doi.org/10.1201/9781420048131.axhopenalex-snapshot
Software Testing Techniques
inferredcites →https://doi.org/10.5539/jpl.v3n2p121openalex-snapshot
Private Parties and the Annulment Procedure: Can the Gap in the European System of Judicial Protection Be Closed?
inferredcites →https://doi.org/10.5555/998675.999454openalex-snapshot
Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-319-19066-2_69openalex-snapshot
Focused Diagnosis for Failing Software Tests
inferred← citeshttps://doi.org/10.1007/978-3-642-37057-1_6openalex-snapshot
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
inferred← citeshttps://doi.org/10.1007/978-3-642-40627-0_26openalex-snapshot
Modelling Destructive Assignments
inferred← citeshttps://doi.org/10.1016/j.csi.2017.01.007openalex-snapshot
Dynamic slicing of distributed Aspect-Oriented Programs: A context-sensitive approach
inferred← citeshttps://doi.org/10.1016/j.jss.2019.04.028openalex-snapshot
Swarm debugging: The collective intelligence on interactive debugging
inferred← citeshttps://doi.org/10.1016/j.procs.2015.08.528openalex-snapshot
Predicting Unit Testing Effort Levels of Classes: An Exploratory Study based on Multinomial Logistic Regression Modeling
inferred← citeshttps://doi.org/10.1109/access.2018.2853153openalex-snapshot
Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation
inferred← citeshttps://doi.org/10.1109/compsac51774.2021.00135openalex-snapshot
Effective Multi-Fault Localization Based on Fault-Relevant Statistics
inferred← citeshttps://doi.org/10.1109/qrs.2017.39openalex-snapshot
How Do Developers Toggle Breakpoints? Observational Studies
inferred← citeshttps://doi.org/10.1371/journal.pone.0231331openalex-snapshot
Weight prioritized slicing based on constraint logic programming for fault localization
inferred← citeshttps://doi.org/10.3390/app11010303openalex-snapshot
Incremental Formula-Based Fix Localization
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.