On the public citation graph

On the use of mutations and testing for debugging

https://doi.org/10.1002/spe.1142
0 signed · 67 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.1002/(sici)1099-1689(199709)7:3<165::aid-stvr143>3.0.co;2-uopenalex-snapshot
Automatically detecting equivalent mutants and infeasible paths
inferredcites →https://doi.org/10.1002/(sici)1099-1689(199912)9:4<233::aid-stvr191>3.0.co;2-3openalex-snapshot
Using program slicing to assist in the detection of equivalent mutants
inferredcites →https://doi.org/10.1002/stvr.308openalex-snapshot
MuJava: an automated class mutation system
inferredcites →https://doi.org/10.1007/11881216_22openalex-snapshot
Diagnosing Errors in DbC Programs Using Constraint Programming
inferredcites →https://doi.org/10.1007/978-3-540-74970-7_6openalex-snapshot
Exploring Different Constraint-Based Modelings for Program Verification
inferredcites →https://doi.org/10.1007/978-3-642-14264-2_3openalex-snapshot
On the Complexity of Program Debugging Using Constraints for Modeling the Program’s Syntax and Semantics
inferredcites →https://doi.org/10.1007/978-3-642-15585-7_9openalex-snapshot
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?
inferredcites →https://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
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/0020-0190(88)90054-3openalex-snapshot
Dynamic program slicing
inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50137-8openalex-snapshot
Generating Tests using Abduction
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/s0004-3702(99)00034-xopenalex-snapshot
Model-based diagnosis of hardware designs
inferredcites →https://doi.org/10.1016/s0065-2458(03)62003-6openalex-snapshot
A Survey of Empirical Results on Program Slicing
inferredcites →https://doi.org/10.1023/a:1012821511498openalex-snapshot
Debugging Hardware Designs Using a Value-Based Model
inferredcites →https://doi.org/10.1023/a:1014823126938openalex-snapshot
Experimental Evaluation of Program Slicing for Fault Localization
inferredcites →https://doi.org/10.1109/32.286422openalex-snapshot
An empirical evaluation of weak mutation
inferredcites →https://doi.org/10.1109/32.988498openalex-snapshot
Simplifying and isolating failure-inducing input
inferredcites →https://doi.org/10.1109/ase.2009.25openalex-snapshot
Spectrum-Based Multiple Fault Localization
inferredcites →https://doi.org/10.1109/icse.2009.5070536openalex-snapshot
Automatically finding patches using genetic programming
inferredcites →https://doi.org/10.1109/icst.2010.30openalex-snapshot
(Un-)Covering Equivalent Mutants
inferredcites →https://doi.org/10.1109/icst.2010.66openalex-snapshot
Using Mutation to Automatically Suggest Fixes for Faulty Programs
inferredcites →https://doi.org/10.1109/icstw.2010.11openalex-snapshot
Generating Distinguishing Tests Using the Minion Constraint Solver
inferredcites →https://doi.org/10.1109/mdt.2006.5openalex-snapshot
Automated source-level error localization in hardware designs
inferredcites →https://doi.org/10.1109/taic.part.2007.13openalex-snapshot
On the Accuracy of Spectrum-based Fault Localization
inferredcites →https://doi.org/10.1109/tse.1984.5010248openalex-snapshot
Program Slicing
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/115372.115320openalex-snapshot
Efficiently computing static single assignment form and the control dependence graph
inferredcites →https://doi.org/10.1145/226295.226310openalex-snapshot
Critical slicing for software fault localization
inferredcites →https://doi.org/10.1145/227607.227610openalex-snapshot
An experimental determination of sufficient mutant operators
inferredcites →https://doi.org/10.1145/229000.226310openalex-snapshot
Critical slicing for software fault localization
inferredcites →https://doi.org/10.1145/271771.271790openalex-snapshot
Automatic test data generation using constraint solving techniques
inferredcites →https://doi.org/10.1145/271775.271790openalex-snapshot
Automatic test data generation using constraint solving techniques
inferredcites →https://doi.org/10.1145/358557.358577openalex-snapshot
Programmers use slices when debugging
inferredcites →https://doi.org/10.1145/567446.567468openalex-snapshot
Theoretical and empirical studies on using program mutation to test the functional correctness of programs
inferredcites →https://doi.org/10.22215/etd/1994-02877openalex-snapshot
Logic programs for consistency-based diagnosis.
inferredcites →https://doi.org/10.48550/arxiv.cs/0309030openalex-snapshot
Model-Based Debugging using Multiple Abstract Models
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/9781119880929.ch1openalex-snapshot
Software Fault Localization: an Overview of Research, Techniques, and Tools
inferred← citeshttps://doi.org/10.1002/9781119880929.ch9openalex-snapshot
Model‐Based Techniques for Software Fault Localization
inferred← citeshttps://doi.org/10.1002/stvr.1509openalex-snapshot
Metallaxis‐FL: mutation‐based fault localization
inferred← citeshttps://doi.org/10.1007/978-3-319-25945-1_8openalex-snapshot
Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-36249-1_7openalex-snapshot
Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice
inferred← citeshttps://doi.org/10.1007/978-3-642-40654-6_13openalex-snapshot
Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing
inferred← citeshttps://doi.org/10.1007/s10489-015-0659-9openalex-snapshot
Learning to program using hierarchical model-based debugging
inferred← citeshttps://doi.org/10.1007/s11219-014-9236-4openalex-snapshot
Using constraints to diagnose faulty spreadsheets
inferred← citeshttps://doi.org/10.1109/icst.2017.47openalex-snapshot
Assessing and Improving the Mutation Testing Practice of PIT
inferred← citeshttps://doi.org/10.1109/iecon51785.2023.10311970openalex-snapshot
Automatic Generation of Repair Suggestions for Control Logic of I&C Systems
inferred← citeshttps://doi.org/10.1109/issrew.2012.31openalex-snapshot
Debugging Spreadsheets: A CSP-based Approach
inferred← citeshttps://doi.org/10.1109/iwast.2013.6595788openalex-snapshot
Functional SOA testing based on constraints
inferred← citeshttps://doi.org/10.1109/tse.2016.2521368openalex-snapshot
A Survey on Software Fault Localization
inferred← citeshttps://doi.org/10.1142/s0218194018500316openalex-snapshot
Assessing the Effectiveness of Coverage-Based Fault Localizations Using Mutants
inferred← citeshttps://doi.org/10.1145/3105906openalex-snapshot
Automatic Software Repair
inferred← citeshttps://doi.org/10.1155/2012/628571openalex-snapshot
Combining Slicing and Constraint Solving for Better Debugging: The C ONBAS Approach
inferred← citeshttps://doi.org/10.13140/rg.2.1.2766.3445openalex-snapshot
Assessing and Improving the Mutation Testing Practice of PIT
inferred← citeshttps://doi.org/10.18255/1818-1015-2016-6-729-740openalex-snapshot
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines
inferred← citeshttps://doi.org/10.24963/ijcai.2019/661openalex-snapshot
Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization
inferred← citeshttps://doi.org/10.3103/s0146411617070057openalex-snapshot
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines
inferred← citeshttps://doi.org/10.31144/si.2307-6410.2016.n7.p23-32openalex-snapshot
INCREASING THE FAULT COVERAGE OF TESTS DERIVED AGAINST EXTENDED FINITE STATE MACHINES
inferred← citeshttps://doi.org/10.3233/978-1-61499-419-0-1027openalex-snapshot
Generation of Relevant Spreadsheet Repair Candidates
inferred← citeshttps://doi.org/10.48550/arxiv.1807.00515openalex-snapshot
Automatic Software Repair: a Bibliography
inferred← citeshttps://doi.org/10.5555/2662413.2662421openalex-snapshot
Functional SOA testing based on constraints
inferred← citeshttps://doi.org/10.6688/jise.2015.31.6.12openalex-snapshot
Towards Automatic Generation and Continuous Improvement of Functional Test Cases: The Case of the Test-Duo Framework and Mutation Testing.
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.