On the public citation graph

Dual programming approach to software testing

https://doi.org/10.1007/bf00426947
0 signed · 32 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/978-3-642-48354-7_5openalex-snapshot
Software Engineering Economics
inferredcites →https://doi.org/10.1016/0167-4048(92)90254-oopenalex-snapshot
It's C.Y.A. time
inferredcites →https://doi.org/10.1080/07421222.1986.11517772openalex-snapshot
The Role of Programming Language in Estimating Software Development Costs
inferredcites →https://doi.org/10.1109/32.44387openalex-snapshot
Analysis of faults in an N-version software experiment
inferredcites →https://doi.org/10.1109/32.58771openalex-snapshot
Conceptual modeling of coincident failures in multiversion software
inferredcites →https://doi.org/10.1109/c-m.1978.218138openalex-snapshot
Automatic Software Test Drivers
inferredcites →https://doi.org/10.1109/hicss.1992.183280openalex-snapshot
An experiment in software redundancy with diverse methodologies
inferredcites →https://doi.org/10.1109/hicss.1992.183282openalex-snapshot
An integrated software testing system based on an object-oriented DBMS
inferredcites →https://doi.org/10.1109/secon.1988.194916openalex-snapshot
A knowledge-based testing assistant
inferredcites →https://doi.org/10.1109/tc.1978.1675097openalex-snapshot
IEEE Transactions on Software Engineering
inferredcites →https://doi.org/10.1109/tc.1978.1675169openalex-snapshot
IEEE Transactions On Software Engineering
inferredcites →https://doi.org/10.1109/test.1992.527916openalex-snapshot
DESIGNING FOR SOFTWARE TESTABILITY USING AUTOMATED ORACLES
inferredcites →https://doi.org/10.1109/tse.1983.235271openalex-snapshot
Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation
inferredcites →https://doi.org/10.1109/tse.1985.231893openalex-snapshot
The N-Version Approach to Fault-Tolerant Software
inferredcites →https://doi.org/10.1109/tse.1985.231895openalex-snapshot
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors
inferredcites →https://doi.org/10.1109/tse.1986.6312924openalex-snapshot
An experimental evaluation of the assumption of independence in multiversion programming
inferredcites →https://doi.org/10.1142/9789811259593_0006openalex-snapshot
Computers and Artificial Intelligence
inferredcites →https://doi.org/10.1145/143062.143100openalex-snapshot
Specification-based test oracles for reactive systems
inferredcites →https://doi.org/10.1145/987515.987520openalex-snapshot
Prediction of software effort and project duration
inferredcites →https://doi.org/10.2307/249206openalex-snapshot
The Economics of Software Quality Assurance: A Simulation-Based Case Study

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9780470618851.ch7openalex-snapshot
Obtaining Quality Data and Optimizing VVT Strategy
inferred← citeshttps://doi.org/10.1002/sys.20056openalex-snapshot
Measuring and optimizing systems' quality costs and project duration
inferred← citeshttps://doi.org/10.1002/sys.20082openalex-snapshot
SysTest: Improving the verification, validation, and testing process— Assessing six industrial pilot projects
inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_35openalex-snapshot
Model-Based Static Code Analysis for MATLAB Models
inferred← citeshttps://doi.org/10.1016/j.jss.2006.09.013openalex-snapshot
Modeling software testing costs and risks using fuzzy logic paradigm
inferred← citeshttps://doi.org/10.1109/cmpass.1996.507891openalex-snapshot
T-VEC: a tool for developing critical systems
inferred← citeshttps://doi.org/10.1109/cmpass.1997.613225openalex-snapshot
Automatic generation of test vectors for SCR-style specifications
inferred← citeshttps://doi.org/10.1109/compsac.2012.43openalex-snapshot
Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security
inferred← citeshttps://doi.org/10.1109/dasc.1998.741501openalex-snapshot
Using models for test generation and analysis
inferred← citeshttps://doi.org/10.31390/gradschool_dissertations.1525openalex-snapshot
Deductive formal verification of embedded systems
inferred← citeshttps://doi.org/10.4271/2001-01-0675openalex-snapshot
Automated Safety Critical Software Development for Distributed Control Systems: A COTS Approach
inferred← citeshttps://doi.org/10.5555/771322.771360openalex-snapshot
A proposal for introducing model checking into an undergraduate software engineering curriculum
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.