On the public citation graph
Generating Test Cases for Programs that Are Coded against Interfaces and Annotations
0 signed · 66 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/spe.602openalex-snapshot
JCrasher: an automatic robustness tester for Java
inferredcites →https://doi.org/10.1007/11430230_4openalex-snapshot
Comparing Bug Finding Tools with Reviews and Tests
inferredcites →https://doi.org/10.1007/978-3-540-30569-9_3openalex-snapshot
The Spec# Programming System: An Overview
inferredcites →https://doi.org/10.1007/978-3-540-71209-1_11openalex-snapshot
Type-Dependence Analysis and Program Transformation for Symbolic Execution
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
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-13953-6_14openalex-snapshot
Moles: Tool-Assisted Environment Isolation with Closures
inferredcites →https://doi.org/10.1007/978-3-642-13977-2_8openalex-snapshot
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
inferredcites →https://doi.org/10.1007/978-3-642-28891-3_7openalex-snapshot
Inferring Definite Counterexamples through Under-Approximation
inferredcites →https://doi.org/10.1007/s10009-009-0115-4openalex-snapshot
GenUTest: a unit test and mock aspect generation tool
inferredcites →https://doi.org/10.1007/s10664-005-3861-2openalex-snapshot
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact
inferredcites →https://doi.org/10.1007/s10664-010-9143-7openalex-snapshot
Studying the co-evolution of production and test code in open source and industrial developer test processes through repository mining
inferredcites →https://doi.org/10.1007/s11219-011-9157-4openalex-snapshot
Who tested my software? Testing as an organizationally cross-cutting activity
inferredcites →https://doi.org/10.1017/cbo9780511550881.029openalex-snapshot
TEST-INFECTED: PROGRAMMERS LOVE WRITING TESTS
inferredcites →https://doi.org/10.1109/ase.2006.51openalex-snapshot
Mock-object generation with behavior
inferredcites →https://doi.org/10.1109/dsn.2009.5270315openalex-snapshot
Fitness-guided path exploration in dynamic symbolic execution
inferredcites →https://doi.org/10.1109/esem.2011.65openalex-snapshot
Scrum + Engineering Practices: Experiences of Three Microsoft Teams
inferredcites →https://doi.org/10.1109/icse.2007.37openalex-snapshot
Feedback-Directed Random Test Generation
inferredcites →https://doi.org/10.1109/issre.2009.32openalex-snapshot
On the Effectiveness of Unit Test Automation at Microsoft
inferredcites →https://doi.org/10.1109/iwast.2009.5069054openalex-snapshot
An empirical study of testing file-system-dependent software with mock objects
inferredcites →https://doi.org/10.1109/ms.2006.117openalex-snapshot
Unit tests reloaded: parameterized unit testing with symbolic execution
inferredcites →https://doi.org/10.1109/sefm.2010.33openalex-snapshot
Synthesize It: From Design by Contract to Meaningful Test Input Data
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.1145/1029894.1029911openalex-snapshot
Testing static analysis tools using exploitable buffer overflows from open source code
inferredcites →https://doi.org/10.1145/1101908.1101927openalex-snapshot
Automatic test factoring for java
inferredcites →https://doi.org/10.1145/1176617.1176735openalex-snapshot
Evolving an embedded domain-specific language in Java
inferredcites →https://doi.org/10.1145/1190215.1190226openalex-snapshot
Compositional dynamic test generation
inferredcites →https://doi.org/10.1145/1190216.1190226openalex-snapshot
Compositional dynamic test generation
inferredcites →https://doi.org/10.1145/1572272.1572288openalex-snapshot
Precise pointer reasoning for dynamic test generation
inferredcites →https://doi.org/10.1145/1646353.1646374openalex-snapshot
A few billion lines of code later
inferredcites →https://doi.org/10.1145/1985793.1985876openalex-snapshot
Precise identification of problems for structural test generation
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/512529.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/567793.567795openalex-snapshot
Two case studies of open source software development
inferredcites →https://doi.org/10.1145/996821.996838openalex-snapshot
Mock object creation for test factoring
inferredcites →https://doi.org/10.1201/9781420048131.axhopenalex-snapshot
Software Testing Techniques
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
inferredcites →https://doi.org/10.5860/choice.46-0935openalex-snapshot
Software testing and analysis: process, principles, and techniques
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.2021.01.002openalex-snapshot
Evaluating software testing techniques: A systematic mapping study
inferred← citeshttps://doi.org/10.1016/j.cl.2016.02.002openalex-snapshot
Ann: A domain-specific language for the effective design and validation of Java annotations
inferred← citeshttps://doi.org/10.1109/icse.2017.53openalex-snapshot
Challenges for Static Analysis of Java Reflection - Literature Review and Empirical Study
inferred← citeshttps://doi.org/10.1109/icst.2017.19openalex-snapshot
Private API Access and Functional Mocking in Automated Unit Test Generation
inferred← citeshttps://doi.org/10.1145/2755971openalex-snapshot
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis
inferred← citeshttps://doi.org/10.1145/3194104.3194111openalex-snapshot
Complementing machine learning classifiers via dynamic symbolic execution
inferred← citeshttps://doi.org/10.1145/3510003.3510175openalex-snapshot
Use of test doubles in Android testing
inferred← citeshttps://doi.org/10.1145/3563768.3565551openalex-snapshot
Verification of Programs with Concealed Components
inferred← citeshttps://doi.org/10.17485/ijst/2015/v8i35/72881openalex-snapshot
Generation of Test Case using Automation in Software Systems – A Review
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.