On the public citation graph

Algebraic program testing

https://doi.org/10.1007/bf00260923
0 signed · 71 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/spe.4380060405openalex-snapshot
Dave—a validation error detection and documentation system for fortran programs
inferredcites →https://doi.org/10.1109/t-c.1975.224259openalex-snapshot
Methodology for the Generation of Program Test Data
inferredcites →https://doi.org/10.1109/tse.1975.6312864openalex-snapshot
An experimental program-testing facility
inferredcites →https://doi.org/10.1109/tse.1976.233816openalex-snapshot
Reliability of the Path Analysis Testing Strategy
inferredcites →https://doi.org/10.1109/tse.1976.233817openalex-snapshot
A System to Generate Test Data and Symbolically Execute Programs
inferredcites →https://doi.org/10.1109/tse.1977.231144openalex-snapshot
Symbolic Testing and the DISSECT Symbolic Evaluation System
inferredcites →https://doi.org/10.1145/1499799.1499922openalex-snapshot
Experiments with a symbolic evaluation system
inferredcites →https://doi.org/10.1145/321574.321591openalex-snapshot
On Canonical Forms and Simplification
inferredcites →https://doi.org/10.1145/356651.356652openalex-snapshot
An Approach to Program Testing
inferredcites →https://doi.org/10.1145/359488.359495openalex-snapshot
Test data as an aid in proving program correctness
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/390016.808424openalex-snapshot
Automated generation of testcase datasets
inferredcites →https://doi.org/10.1145/390016.808425openalex-snapshot
New assertion concepts for self-metric software validation
inferredcites →https://doi.org/10.1145/390016.808445openalex-snapshot
SELECT—a formal system for testing and debugging programs by symbolic execution
inferredcites →https://doi.org/10.1145/390016.808461openalex-snapshot
Testing large software with automated software evaluation systems
inferredcites →https://doi.org/10.1145/390016.808473openalex-snapshot
Toward a theory of test data selection
inferredcites →https://doi.org/10.5555/800253.807722openalex-snapshot
A software reliability assessment based on a structural and behavioral analysis of programs

What points at this work

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

inferred← citeshttps://doi.org/10.1002/j.2334-5837.2006.tb02834.xopenalex-snapshot
11.3.3 Enabling Measurement‐Driven System Development by Analyzing Testing Strategy Tradeoffs
inferred← citeshttps://doi.org/10.1007/3-540-27662-9_20openalex-snapshot
Comparing the Effectiveness of Software Testing Strategies
inferred← citeshttps://doi.org/10.1007/3-540-48683-6_6openalex-snapshot
Formal Methods for Conformance Testing: Theory Can Be Practical
inferred← citeshttps://doi.org/10.1007/978-3-642-77449-2_4openalex-snapshot
Systematisches Testen sicherheitsrelevanter Software — Methoden, Verfahren und Werkzeuge
inferred← citeshttps://doi.org/10.1007/978-3-642-82846-1_1openalex-snapshot
Four Applications of a Software Data Collection and Analysis Methodology
inferred← citeshttps://doi.org/10.1007/bf00122083openalex-snapshot
The incorporation of testing into formal verification: Direct, modular, and hierarchical correctness degrees
inferred← citeshttps://doi.org/10.1007/bf00289588openalex-snapshot
Reliability theory of program testing
inferred← citeshttps://doi.org/10.1007/bf00625279openalex-snapshot
Two notions of correctness and their relation to testing
inferred← citeshttps://doi.org/10.1007/bfb0019418openalex-snapshot
The application of formal specifications to software documentation and debugging
inferred← citeshttps://doi.org/10.1016/0020-0190(78)90067-4openalex-snapshot
A probabilistic remark on algebraic program testing
inferred← citeshttps://doi.org/10.1016/0164-1212(85)90004-4openalex-snapshot
Applications of symbolic evaluation
inferred← citeshttps://doi.org/10.1016/0164-1212(88)90003-9openalex-snapshot
Complexity of the EQUATE testing strategy
inferred← citeshttps://doi.org/10.1016/0165-6074(84)90009-7openalex-snapshot
MOVE — a verifying tool for modular software
inferred← citeshttps://doi.org/10.1016/s0019-9958(83)80050-3openalex-snapshot
A formal notion of program-based test data adequacy
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60010-8openalex-snapshot
Software Testing and Verification
inferred← citeshttps://doi.org/10.1080/00029890.1981.11995261openalex-snapshot
Are There Coincidences in Mathematics?
inferred← citeshttps://doi.org/10.1108/eb005511openalex-snapshot
CYBERNETIC FORMULA DETERMINATION AND VERIFICATION
inferred← citeshttps://doi.org/10.1109/24.58722openalex-snapshot
Empirically based analysis of failures in software systems
inferred← citeshttps://doi.org/10.1109/32.24727openalex-snapshot
Perturbation techniques for detecting domain errors
inferred← citeshttps://doi.org/10.1109/32.286422openalex-snapshot
An empirical evaluation of weak mutation
inferred← citeshttps://doi.org/10.1109/32.57623openalex-snapshot
A theory of fault-based testing
inferred← citeshttps://doi.org/10.1109/cmpsac.2001.960614openalex-snapshot
Fault-based testing in the absence of an oracle
inferred← citeshttps://doi.org/10.1109/hase.1998.731609openalex-snapshot
Good enough versus high assurance software testing and analysis methods
inferred← citeshttps://doi.org/10.1109/icse.1992.753492openalex-snapshot
Testing for linear errors in nonlinear computer programs
inferred← citeshttps://doi.org/10.1109/icst.2015.7102583openalex-snapshot
Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms
inferred← citeshttps://doi.org/10.1109/mc.1979.1658662openalex-snapshot
Workshop Report: Software Testing and Test Documentation
inferred← citeshttps://doi.org/10.1109/mutation.2006.11openalex-snapshot
Mutation Testing implements Grammar-Based Testing
inferred← citeshttps://doi.org/10.1109/tse.1978.231514openalex-snapshot
Theoretical and Empirical Studies of Program Testing
inferred← citeshttps://doi.org/10.1109/tse.1980.234501openalex-snapshot
Program Testing Complexity and Test Criteria
inferred← citeshttps://doi.org/10.1109/tse.1982.235571openalex-snapshot
Weak Mutation Testing and Completeness of Test Sets
inferred← citeshttps://doi.org/10.1109/tse.1982.235572openalex-snapshot
A Close Look at Domain Testing
inferred← citeshttps://doi.org/10.1109/tse.1983.235433openalex-snapshot
A Mathematical Framework for the Investigation of Testing
inferred← citeshttps://doi.org/10.1109/tse.1983.236870openalex-snapshot
Testing for Perturbations of Program Statements
inferred← citeshttps://doi.org/10.1109/tse.1985.231892openalex-snapshot
Partition Analysis: A Method Combining Testing and Verification
inferred← citeshttps://doi.org/10.1109/tse.1986.6313016openalex-snapshot
A functional approach to program testing and analysis
inferred← citeshttps://doi.org/10.1109/tse.1987.232881openalex-snapshot
Comparing the Effectiveness of Software Testing Strategies
inferred← citeshttps://doi.org/10.1109/wst.1988.5353openalex-snapshot
Theoretical insights into fault-based testing
inferred← citeshttps://doi.org/10.1145/1006140.1006158openalex-snapshot
The application of error-sensitive testing strategies to debugging
inferred← citeshttps://doi.org/10.1145/1006142.1006158openalex-snapshot
The application of error-sensitive testing strategies to debugging
inferred← citeshttps://doi.org/10.1145/120807.120826openalex-snapshot
How strong is weak mutation?
inferred← citeshttps://doi.org/10.1145/143062.143096openalex-snapshot
Testing for linear errors in nonlinear computer programs
inferred← citeshttps://doi.org/10.1145/267580.267590openalex-snapshot
Software unit test coverage and adequacy
inferred← citeshttps://doi.org/10.1145/62959.62965openalex-snapshot
The growth of software testing
inferred← citeshttps://doi.org/10.14279/depositonce-743openalex-snapshot
Time Partition Testing | Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen
inferred← citeshttps://doi.org/10.21236/ada236119openalex-snapshot
Unit Testing and Analysis
inferred← citeshttps://doi.org/10.21236/ada258435openalex-snapshot
Unit Analysis and Testing.
inferred← citeshttps://doi.org/10.2514/6.2004-6106openalex-snapshot
Team Testing Strategies for Error Detection in Software Components
inferred← citeshttps://doi.org/10.2514/6.2008-1125openalex-snapshot
Analyzing Testing Strategy Tradeoffs to Improve Systems Engineering Effectiveness and Efficiency
inferred← citeshttps://doi.org/10.48550/arxiv.1008.2647openalex-snapshot
Searching publications on software testing
inferred← citeshttps://doi.org/10.48550/arxiv.2006.10387openalex-snapshot
A Theory of Black-Box Tests
inferred← citeshttps://doi.org/10.5555/800054.801979openalex-snapshot
Perturbation testing for computation errors
inferred← citeshttps://doi.org/10.5555/800078.802536openalex-snapshot
Completeness criteria for testing elementary program functions
inferred← citeshttps://doi.org/10.5555/800078.802537openalex-snapshot
A partition analysis method to increase program reliability
inferred← citeshttps://doi.org/10.5555/800099.803223openalex-snapshot
Theoretical and empirical studies of program 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.