On the public citation graph

A formal analysis of MCDC and RCDC test criteria

https://doi.org/10.1002/stvr.306
0 signed · 55 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/stvr.221openalex-snapshot
Test case selection strategies based on Boolean specifications‡
inferredcites →https://doi.org/10.1007/3-540-45648-1_15openalex-snapshot
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
inferredcites →https://doi.org/10.1007/978-1-4757-2078-5openalex-snapshot
Boolean Reasoning
inferredcites →https://doi.org/10.1007/978-3-540-24617-6_4openalex-snapshot
Auto-generating Test Sequences Using Model Checkers: A Case Study
inferredcites →https://doi.org/10.1007/978-3-540-24704-3_9openalex-snapshot
Generation of Optimized Testsuites for UML Statecharts with Time
inferredcites →https://doi.org/10.1016/b978-0-408-03741-9.50028-3openalex-snapshot
Software testing techniques
inferredcites →https://doi.org/10.1016/j.infsof.2003.10.003openalex-snapshot
Comparison of fault classes in specification-based testing
inferredcites →https://doi.org/10.1016/s0020-0190(99)00061-7openalex-snapshot
On the complexity of balanced Boolean functions
inferredcites →https://doi.org/10.1049/sej.1994.0025openalex-snapshot
Applicability of modified condition/decision coverage to software testing
inferredcites →https://doi.org/10.1109/24.556575openalex-snapshot
Automatic test-generation for predicates [software testing]
inferredcites →https://doi.org/10.1109/32.153381openalex-snapshot
PIE: a dynamic failure-based technique
inferredcites →https://doi.org/10.1109/32.232020openalex-snapshot
An analysis of test data selection criteria using the RELAY model of fault detection
inferredcites →https://doi.org/10.1109/32.286420openalex-snapshot
Automatically generating test data from a Boolean specification
inferredcites →https://doi.org/10.1109/32.536956openalex-snapshot
Theory of fault-based predicate testing for computer programs
inferredcites →https://doi.org/10.1109/32.57623openalex-snapshot
A theory of fault-based testing
inferredcites →https://doi.org/10.1109/c-m.1978.218136openalex-snapshot
Hints on Test Data Selection: Help for the Practicing Programmer
inferredcites →https://doi.org/10.1109/dasc.2000.886883openalex-snapshot
An empirical evaluation of the MC/DC coverage criterion on the HETE-2 satellite software
inferredcites →https://doi.org/10.1109/dasc.2001.963305openalex-snapshot
A practical approach to modified condition/decision coverage
inferredcites →https://doi.org/10.1109/ecbs.2001.922409openalex-snapshot
Coverage based test-case generation using model checkers
inferredcites →https://doi.org/10.1109/iceccs.1999.802856openalex-snapshot
Criteria for generating specification-based tests
inferredcites →https://doi.org/10.1109/icsm.2001.972715openalex-snapshot
Test-suite reduction and prioritization for modified condition/decision coverage
inferredcites →https://doi.org/10.1109/icsm.2002.1167741openalex-snapshot
Proceedings International Conference On Software Maintenance ICSM 2002
inferredcites →https://doi.org/10.1109/icsm.2003.1235399openalex-snapshot
Proceedings International Conference on Software Maintenance ICSM 2003
inferredcites →https://doi.org/10.1109/issre.1994.341348openalex-snapshot
Empirical studies of predicate-based software testing
inferredcites →https://doi.org/10.1109/issre.1996.558700openalex-snapshot
Automatic test generation for predicates
inferredcites →https://doi.org/10.1109/issre.2000.885855openalex-snapshot
Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000
inferredcites →https://doi.org/10.1109/mwscas.1989openalex-snapshot
Proceedings of the 32nd Midwest Symposium on Circuits and Systems,
inferredcites →https://doi.org/10.1109/mwscas.1999.867776openalex-snapshot
Structural test cases analysis and implementation
inferredcites →https://doi.org/10.1109/sfcs.1988.21923openalex-snapshot
The influence of variables on Boolean functions
inferredcites →https://doi.org/10.1109/sfcs.1997.646084openalex-snapshot
Proceedings 38th Annual Symposium on Foundations of Computer Science
inferredcites →https://doi.org/10.1145/125489.125473openalex-snapshot
Investigations of the software testing coupling effect
inferredcites →https://doi.org/10.1145/186258openalex-snapshot
Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94
inferredcites →https://doi.org/10.1145/186258.187150openalex-snapshot
Test data generation and feasible path analysis
inferredcites →https://doi.org/10.1145/267580.267590openalex-snapshot
Software unit test coverage and adequacy
inferredcites →https://doi.org/10.1145/322993.322996openalex-snapshot
Fault classes and error detection capability of specification-based testing
inferredcites →https://doi.org/10.1145/504087.504089openalex-snapshot
On fault classes and error detection capability of specification-based testing
inferredcites →https://doi.org/10.1145/606612.606615openalex-snapshot
Comparing test sets and criteria in the presence of test hypotheses and fault domains
inferredcites →https://doi.org/10.1201/9781420048131.axhopenalex-snapshot
Software Testing Techniques

What points at this work

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

inferred← citeshttps://doi.org/10.1002/stvr.1641openalex-snapshot
Prioritizing MCDC test cases by spectral analysis of Boolean functions
inferred← citeshttps://doi.org/10.1002/stvr.424openalex-snapshot
Full predicate coverage for testing SQL database queries
inferred← citeshttps://doi.org/10.1007/978-3-319-99130-6_9openalex-snapshot
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_11openalex-snapshot
Using Model Checking to Generate Fault Detecting Tests
inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_8openalex-snapshot
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
inferred← citeshttps://doi.org/10.1007/978-3-642-11447-2_14openalex-snapshot
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net
inferred← citeshttps://doi.org/10.1007/s00165-005-0084-7openalex-snapshot
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
inferred← citeshttps://doi.org/10.1007/s00165-013-0279-2openalex-snapshot
Test-data generation for control coverage by proof
inferred← citeshttps://doi.org/10.1016/j.infsof.2005.05.003openalex-snapshot
On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC
inferred← citeshttps://doi.org/10.1016/j.infsof.2011.06.008openalex-snapshot
Generating minimal fault detecting test suites for general Boolean specifications
inferred← citeshttps://doi.org/10.1109/hldvt.2009.5340171openalex-snapshot
An instrumented observability coverage method for system validation
inferred← citeshttps://doi.org/10.1109/icrms.2016.8050052openalex-snapshot
Enhanced-condition-MC/DC: A method for improving MC/DC testing adequacy
inferred← citeshttps://doi.org/10.1109/icstw60967.2024.00021openalex-snapshot
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
inferred← citeshttps://doi.org/10.1109/qsic.2012.41openalex-snapshot
Redefinition of Fault Classes in Logic Expressions
inferred← citeshttps://doi.org/10.1145/1243987.1243988openalex-snapshot
Test conditions for fault classes in Boolean specifications
inferred← citeshttps://doi.org/10.1145/2554850.2555004openalex-snapshot
A systematic literature review on modified condition and decision coverage
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.