On the public citation graph

The applicability of program schema results to programs

https://doi.org/10.1007/bf00995175
0 signed · 58 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.1016/s0022-0000(70)80022-8openalex-snapshot
On formalised computer programs
inferredcites →https://doi.org/10.1137/0208047openalex-snapshot
Translatability and Decidability Questions for Restricted Classes of Program Schemas
inferredcites →https://doi.org/10.13182/nse70-a19706openalex-snapshot
Formal Languages and their Relation to Automata
inferredcites →https://doi.org/10.7282/t3-wda5-e261openalex-snapshot
Program schemas with semantic restrictions

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-0-387-35097-4_3openalex-snapshot
An assessment of the number of paths needed for control flow testing
inferred← citeshttps://doi.org/10.1007/978-3-319-56660-3_43openalex-snapshot
Generation of Test Data Using Genetic Algorithm and Constraint Solver
inferred← citeshttps://doi.org/10.1007/978-981-10-5699-4_64openalex-snapshot
Test Data Generation Using Optimization Algorithm: An Empirical Evaluation
inferred← citeshttps://doi.org/10.1007/bf01351925openalex-snapshot
The effort required by LCSAJ testing: an assessment via a new path generation strategy
inferred← citeshttps://doi.org/10.1007/bf02948890openalex-snapshot
Improved method to generate path-wise test data
inferred← citeshttps://doi.org/10.1007/s11390-009-9224-5openalex-snapshot
Test-Data Generation Guided by Static Defect Detection
inferred← citeshttps://doi.org/10.1016/0020-0190(84)90106-6openalex-snapshot
The complexity of data flow criteria for test data selection
inferred← citeshttps://doi.org/10.1016/0164-1212(93)90076-aopenalex-snapshot
Automated flow graph-based testing of object-oriented software modules
inferred← citeshttps://doi.org/10.1016/0950-5849(90)90110-dopenalex-snapshot
Predictive metric for likely feasibility of program paths
inferred← citeshttps://doi.org/10.1016/0950-5849(95)98039-iopenalex-snapshot
A path generation method for testing LCSAJs that restrains infeasible paths
inferred← citeshttps://doi.org/10.1016/j.infsof.2014.07.012openalex-snapshot
Infeasible path generalization in dynamic symbolic execution
inferred← citeshttps://doi.org/10.1016/j.scico.2009.05.001openalex-snapshot
Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60010-8openalex-snapshot
Software Testing and Verification
inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00074-9openalex-snapshot
Software testing—searching for the missing link
inferred← citeshttps://doi.org/10.1049/iet-sen.2010.0029openalex-snapshot
Lazy symbolic execution for test data generation
inferred← citeshttps://doi.org/10.1049/sej.1995.0025openalex-snapshot
Axiomatic assessment of control flow-based software test adequacy criteria
inferred← citeshttps://doi.org/10.1080/0899340910020102openalex-snapshot
Some Applications from Software Testing for a Discrete Structures Course
inferred← citeshttps://doi.org/10.1093/comjnl/25.4.465openalex-snapshot
On Testing Non-Testable Programs
inferred← citeshttps://doi.org/10.1109/32.6178openalex-snapshot
Evaluating software complexity measures
inferred← citeshttps://doi.org/10.1109/32.815325openalex-snapshot
Partition testing vs. random testing: the influence of uncertainty
inferred← citeshttps://doi.org/10.1109/acomp.2016.019openalex-snapshot
A Technique for Generating Test Data Using Genetic Algorithm
inferred← citeshttps://doi.org/10.1109/apsec.2001.991482openalex-snapshot
On path-wise automatic generation of test data for both white-box and black-box testing
inferred← citeshttps://doi.org/10.1109/ase.2006.27openalex-snapshot
Command-Form Coverage for Testing Database Applications
inferred← citeshttps://doi.org/10.1109/confluence.2016.7508052openalex-snapshot
Automatic goal-oriented test data generation using a Genetic algorithm and simulated annealing
inferred← citeshttps://doi.org/10.1109/csmr.1998.665760openalex-snapshot
Software testability measurements derived from data flow analysis
inferred← citeshttps://doi.org/10.1109/fskd.2012.6233882openalex-snapshot
Design and implementation of automatic generator of DC-paths
inferred← citeshttps://doi.org/10.1109/iccsse.1997.599871openalex-snapshot
Rigorous testing using SnapShot
inferred← citeshttps://doi.org/10.1109/icnc.2008.388openalex-snapshot
Automatic Path-Oriented Test Data Generation Using a Multi-population Genetic Algorithm
inferred← citeshttps://doi.org/10.1109/icnc.2009.235openalex-snapshot
Comparison of Two Fitness Functions for GA-Based Path-Oriented Test Data Generation
inferred← citeshttps://doi.org/10.1109/icsm.1999.792607openalex-snapshot
Automatic unit test data generation using mixed-integer linear programming and execution trees
inferred← citeshttps://doi.org/10.1109/icst.2010.13openalex-snapshot
Explanation-Based Generalization of Infeasible Path
inferred← citeshttps://doi.org/10.1109/iita.2009.232openalex-snapshot
Experimental Study on GA-Based Path-Oriented Test Data Generation Using Branch Distance Function
inferred← citeshttps://doi.org/10.1109/iwast.2009.5069044openalex-snapshot
Lazy symbolic evaluation and its path constraints solution
inferred← citeshttps://doi.org/10.1109/tse.1980.234485openalex-snapshot
Theories of Program Testing and the Application of Revealing Subdomains
inferred← citeshttps://doi.org/10.1109/tse.1985.232226openalex-snapshot
Selecting Software Test Data Using Data Flow Information
inferred← citeshttps://doi.org/10.1109/wcre.2001.957807openalex-snapshot
Node coarsening calculi for program slicing
inferred← citeshttps://doi.org/10.1145/120807.120815openalex-snapshot
Data flow coverage and the C language
inferred← citeshttps://doi.org/10.1145/226295.226318openalex-snapshot
Towards a structural load testing tool
inferred← citeshttps://doi.org/10.1145/229000.226318openalex-snapshot
Towards a structural load testing tool
inferred← citeshttps://doi.org/10.1145/267580.267590openalex-snapshot
Software unit test coverage and adequacy
inferred← citeshttps://doi.org/10.1145/503209.503244openalex-snapshot
Coverage criteria for GUI testing
inferred← citeshttps://doi.org/10.1145/503271.503244openalex-snapshot
Coverage criteria for GUI testing
inferred← citeshttps://doi.org/10.1145/62959.62962openalex-snapshot
Introduction to special section on software testing
inferred← citeshttps://doi.org/10.1145/62959.62963openalex-snapshot
The evaluation of program-based software test data adequacy criteria
inferred← citeshttps://doi.org/10.1145/69575.357231openalex-snapshot
Assessing Test Data Adequacy through Program Inference
inferred← citeshttps://doi.org/10.1145/75308.75315openalex-snapshot
Reducing the effects of infeasible paths in branch testing
inferred← citeshttps://doi.org/10.1145/75309.75315openalex-snapshot
Reducing the effects of infeasible paths in branch testing
inferred← citeshttps://doi.org/10.11606/t.55.2004.tde-09122014-094349openalex-snapshot
Uma contribuição para o teste de especificações SDL: aspectos teóricos e empíricos
inferred← citeshttps://doi.org/10.14257/ijfgcn.2014.7.3.19openalex-snapshot
A Method of Path Feasibility Judgment Based on Symbolic Execution and Range Analysis
inferred← citeshttps://doi.org/10.14257/ijmue.2015.10.6.11openalex-snapshot
Automatic Generation of Test Cases Based On Multi-population Genetic Algorithm
inferred← citeshttps://doi.org/10.21236/ada147104openalex-snapshot
Debug Testing and Confidence Testing.
inferred← citeshttps://doi.org/10.25073/2588-1086/vnucsce.165openalex-snapshot
Generating Test Data for Software Structural Testing using Particle Swarm Optimization
inferred← citeshttps://doi.org/10.32657/10356/3901openalex-snapshot
Intelligent agent based automatic operating model
inferred← citeshttps://doi.org/10.5555/1071565.1071570openalex-snapshot
On structurally testing Java programs effectively
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.