On the public citation graph
Goal-oriented test data generation for pointer programs
0 signed · 45 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/(sici)1097-024x(199902)29:2<167::aid-spe225>3.0.co;2-vopenalex-snapshot
The dynamic domain reduction procedure for test data generation
inferredcites →https://doi.org/10.1002/stvr.225openalex-snapshot
ATGen: automatic test data generation using constraint logic programming and symbolic execution†
inferredcites →https://doi.org/10.1002/stvr.333openalex-snapshot
Symbolic execution of floating‐point computations
inferredcites →https://doi.org/10.1007/3-540-44957-4_27openalex-snapshot
A CLP Framework for Computing Structural Test Data
inferredcites →https://doi.org/10.1007/bfb0026427openalex-snapshot
Extended SSA mumbering: Introducing SSA properties to languages with multi-level pointers
inferredcites →https://doi.org/10.1007/bfb0033845openalex-snapshot
An open-ended finite domain constraint solver
inferredcites →https://doi.org/10.1016/j.infsof.2004.08.004openalex-snapshot
An address mapping approach for test data generation of dynamic linked structures
inferredcites →https://doi.org/10.1016/s0164-1212(97)00016-2openalex-snapshot
Application of the pointer state subgraph to static program slicing
inferredcites →https://doi.org/10.1109/32.57624openalex-snapshot
Automated software test data generation
inferredcites →https://doi.org/10.1109/32.92910openalex-snapshot
Constraint-based automatic test data generation
inferredcites →https://doi.org/10.1109/ase.2002.1115007openalex-snapshot
Generating test data for functions with pointer inputs
inferredcites →https://doi.org/10.1109/ase.2004.1342749openalex-snapshot
On-the-fly generation of K-path tests for C functions
inferredcites →https://doi.org/10.1109/cmpsac.2001.960614openalex-snapshot
Fault-based testing in the absence of an oracle
inferredcites →https://doi.org/10.1109/cmpsac.2003.1245319openalex-snapshot
Automated metamorphic testing
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/120807.120814openalex-snapshot
Data flow-based test adequacy analysis for languages with pointers
inferredcites →https://doi.org/10.1145/151257.151258openalex-snapshot
Experimental results from an automatic test case generator
inferredcites →https://doi.org/10.1145/155090.155094openalex-snapshot
Efficient accommodation of may-alias information in SSA form
inferredcites →https://doi.org/10.1145/178243.178264openalex-snapshot
Context-sensitive interprocedural points-to analysis in the presence of function pointers
inferredcites →https://doi.org/10.1145/197320.197331openalex-snapshot
Single-pass generation of static single-assignment form for structured languages
inferredcites →https://doi.org/10.1145/226155.226158openalex-snapshot
The chaining approach for software test data generation
inferredcites →https://doi.org/10.1145/24039.24041openalex-snapshot
The program dependence graph and its use in optimization
inferredcites →https://doi.org/10.1145/268946.268957openalex-snapshot
Putting pointer analysis to work
inferredcites →https://doi.org/10.1145/271771.271790openalex-snapshot
Automatic test data generation using constraint solving techniques
inferredcites →https://doi.org/10.1145/277650.277668openalex-snapshot
Using static single assignment form to improve flow-insensitive pointer analysis
inferredcites →https://doi.org/10.1145/581630.581678openalex-snapshot
Ensuring code safety without runtime checks for real-time control systems
inferredcites →https://doi.org/10.1145/940071.940087openalex-snapshot
Consistency techniques for interprocedural test data generation
inferredcites →https://doi.org/10.1145/940071.940114openalex-snapshot
Tracking pointers with path and context sensitivity for bug detection in C programs
inferredcites →https://doi.org/10.5860/choice.36-0370openalex-snapshot
Programming with constraints: an introduction
inferredcites →https://doi.org/10.7551/mitpress/5625.001.0001openalex-snapshot
Programming with Constraints
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1016/bs.adcom.2015.05.002openalex-snapshot
Constraint-Based Testing
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.11.001openalex-snapshot
Automated test data generation using a scatter search approach
inferred← citeshttps://doi.org/10.1016/j.infsof.2014.09.009openalex-snapshot
Testing robot controllers using constraint programming and continuous integration
inferred← citeshttps://doi.org/10.1017/s0269888912000252openalex-snapshot
TCAS software verification using constraint programming
inferred← citeshttps://doi.org/10.1109/icst.2009.10openalex-snapshot
Euclide: A Constraint-Based Testing Framework for Critical C Programs
inferred← citeshttps://doi.org/10.1109/issre.2007.34openalex-snapshot
Improving Constraint-Based Testing with Dynamic Linear Relaxations
inferred← citeshttps://doi.org/10.1109/issre.2010.26openalex-snapshot
Constraint-Based Test Input Generation for Java Bytecode
inferred← citeshttps://doi.org/10.1504/ijaose.2010.029810openalex-snapshot
Goal-oriented testing for MASs
inferred← citeshttps://doi.org/10.2174/1874444301406010468openalex-snapshot
Improvement of the Baseline Method in Structural Testing
inferred← citeshttps://doi.org/10.3745/kipstd.2010.17d.4.297openalex-snapshot
Automated Test Data Generation for Testing Programs with Multi-level Stack-directed Pointers
inferred← citeshttps://doi.org/10.7236/jiwit.2012.12.2.189openalex-snapshot
Automated Test Data Generation based on Executable Object Codes
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.