On the public citation graph

Scalable Path Search for Automated Test Case Generation

0 signed · 42 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/11537328_2openalex-snapshot
Execution Generated Test Cases: How to Make Systems Code Crash Itself
inferredcites →https://doi.org/10.1007/3-540-45937-5_16openalex-snapshot
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
inferredcites →https://doi.org/10.1007/978-3-540-31980-1_24openalex-snapshot
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
inferredcites →https://doi.org/10.1007/978-3-540-79124-9_10openalex-snapshot
Pex–White Box Test Generation for .NET
inferredcites →https://doi.org/10.1007/978-3-642-19237-1_4openalex-snapshot
DART: Directed Automated Random Testing
inferredcites →https://doi.org/10.1007/978-3-642-27242-4_6openalex-snapshot
Test Data Generation: A Hybrid Approach Using Cuckoo and Tabu Search
inferredcites →https://doi.org/10.1007/s00165-020-00527-yopenalex-snapshot
Symbolic execution formally explained
inferredcites →https://doi.org/10.1007/s10586-016-0681-7openalex-snapshot
Generating test case for algebraic specification based on Tabu search and genetic algorithm
inferredcites →https://doi.org/10.1016/j.asoc.2016.03.021openalex-snapshot
A Tabu Search hyper-heuristic strategy for t-way test suite generation
inferredcites →https://doi.org/10.1016/j.cor.2007.01.009openalex-snapshot
A tabu search algorithm for structural software testing
inferredcites →https://doi.org/10.1016/j.infsof.2015.05.007openalex-snapshot
Goal-oriented dynamic test generation
inferredcites →https://doi.org/10.1016/j.scico.2021.102608openalex-snapshot
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution
inferredcites →https://doi.org/10.1016/j.scico.2021.102730openalex-snapshot
Candidate test set reduction for adaptive random testing: An overheads reduction technique
inferredcites →https://doi.org/10.1109/ase.2003.1240327openalex-snapshot
Automated software testing using a metaheuristic technique based on Tabu search
inferredcites →https://doi.org/10.1109/ase.2019.00132openalex-snapshot
mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines
inferredcites →https://doi.org/10.1109/icse.2007.41openalex-snapshot
Hybrid Concolic Testing
inferredcites →https://doi.org/10.1109/sp.2006.7openalex-snapshot
Automatically generating malicious disks using symbolic execution
inferredcites →https://doi.org/10.1109/tase.2008.25openalex-snapshot
Test Data Generation for C Programs with String-Handling Functions
inferredcites →https://doi.org/10.1109/tse.2019.2942921openalex-snapshot
A Survey on Adaptive Random Testing
inferredcites →https://doi.org/10.1142/s0218194020500151openalex-snapshot
Generation and Application of Constrained Interaction Test Suites Using Base Forbidden Tuples with a Mixed Neighborhood Tabu Search
inferredcites →https://doi.org/10.1145/1190215.1190226openalex-snapshot
Compositional dynamic test generation
inferredcites →https://doi.org/10.1145/1348250.1348254openalex-snapshot
DSD-Crasher
inferredcites →https://doi.org/10.1145/1455518.1455522openalex-snapshot
EXE
inferredcites →https://doi.org/10.1145/1980422.1980445openalex-snapshot
Application of genetic algorithm and tabu search in software testing
inferredcites →https://doi.org/10.1145/3092703.3092715openalex-snapshot
Combining symbolic execution and search-based testing for programs with complex heap inputs
inferredcites →https://doi.org/10.1145/3180155.3180253openalex-snapshot
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1515/jisys-2012-0009openalex-snapshot
Automated Test Data Generation Using Cuckoo Search and Tabu Search (CSTS) Algorithm
inferredcites →https://doi.org/10.15439/2016f289openalex-snapshot
Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs
inferredcites →https://doi.org/10.4018/ijismd.2018010104openalex-snapshot
Model Driven Approach to Secure Optimized Test Paths for Smart Samsung Pay using Hybrid Genetic Tabu Search Algorithm
inferredcites →https://doi.org/10.4236/jsea.2010.35054openalex-snapshot
Test Cost Optimization Using Tabu Search

What points at this work

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

inferred← citeshttps://doi.org/10.1016/j.asoc.2024.111407openalex-snapshot
Multi-task modeling and multifactorial optimization for path coverage problem of automated test case generation
inferred← citeshttps://doi.org/10.1016/j.eswa.2024.124557openalex-snapshot
Basis path coverage testing of MPI programs based on multi-task evolutionary optimization
inferred← citeshttps://doi.org/10.1016/j.eswa.2025.129814openalex-snapshot
Integration path coverage testing of the changing driver code guided by knowledge graph
inferred← citeshttps://doi.org/10.1063/5.0180790openalex-snapshot
Automated test generation with genetic algorithm: A review
inferred← citeshttps://doi.org/10.1080/1448837x.2025.2470575openalex-snapshot
An efficient automated test case generation system using gcsru with pattern recognition in software testing
inferred← citeshttps://doi.org/10.1109/iacis61494.2024.10721935openalex-snapshot
Test Case Optimization Through Ant Colony Optimization Enabled Boosted Regression Model
inferred← citeshttps://doi.org/10.1109/icdcece60827.2024.10548325openalex-snapshot
Test Case Optimization Technique for Web Applications
inferred← citeshttps://doi.org/10.1109/qrs-c63300.2024.00114openalex-snapshot
A Review of the Applications of Heuristic Algorithms in Test Case Generation Problem
inferred← citeshttps://doi.org/10.1109/tase.2009.10openalex-snapshot
Test Data Generation for Derived Types in C Program
inferred← citeshttps://doi.org/10.17485/ijst/v15i41.1503openalex-snapshot
Automatic Test Data Generation for Basis Path Testing
inferred← citeshttps://doi.org/10.3390/app13020819openalex-snapshot
The MADAG Strategy for Fault Location Techniques
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.