On the public citation graph
A solver-aided language for test input generation
0 signed · 55 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.1007/11691617_10openalex-snapshot
Symbolic Execution with Abstract Subsumption Checking
inferredcites →https://doi.org/10.1007/978-3-319-08867-9_43openalex-snapshot
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions
inferredcites →https://doi.org/10.1007/978-3-540-71209-1_12openalex-snapshot
JPF–SE: A Symbolic Execution Extension to Java PathFinder
inferredcites →https://doi.org/10.1007/978-3-540-71209-1_49openalex-snapshot
Kodkod: A Relational Model Finder
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-30473-6_10openalex-snapshot
Generation of Test Data Structures Using Constraint Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_45openalex-snapshot
Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries
inferredcites →https://doi.org/10.1007/bfb0024651openalex-snapshot
Automating the generation and sequencing of test cases from model-based specifications
inferredcites →https://doi.org/10.1016/j.entcs.2007.06.019openalex-snapshot
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
inferredcites →https://doi.org/10.1023/b:ause.0000038938.10589.b9openalex-snapshot
TestEra: Specification-Based Testing of Java Programs Using SAT
inferredcites →https://doi.org/10.1109/ase.2009.67openalex-snapshot
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions
inferredcites →https://doi.org/10.1109/icse.2013.6606613openalex-snapshot
Why don't software developers use static analysis tools to find bugs?
inferredcites →https://doi.org/10.1109/icst.2012.94openalex-snapshot
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries
inferredcites →https://doi.org/10.1109/synasc.2012.69openalex-snapshot
Synthesis from Examples: Interaction Models and Algorithms
inferredcites →https://doi.org/10.1109/tse.2015.2487958openalex-snapshot
Black-Box String Test Case Generation through a Multi-Objective Optimization
inferredcites →https://doi.org/10.1145/1287624.1287651openalex-snapshot
Automated testing of refactoring engines
inferredcites →https://doi.org/10.1145/1375581.1375607openalex-snapshot
Grammar-based whitebox fuzzing
inferredcites →https://doi.org/10.1145/1706299.1706339openalex-snapshot
Programming with angelic nondeterminism
inferredcites →https://doi.org/10.1145/2491411.2491456openalex-snapshot
Z3-str: a z3-based string solver for web application analysis
inferredcites →https://doi.org/10.1145/2509578.2509586openalex-snapshot
Growing solver-aided languages with rosette
inferredcites →https://doi.org/10.1145/2660193.2660232openalex-snapshot
Bounded exhaustive test input generation from hybrid invariants
inferredcites →https://doi.org/10.1145/271771.271785openalex-snapshot
On random and partition testing
inferredcites →https://doi.org/10.1145/2814270.2814323openalex-snapshot
Programming with enumerable sets of structures
inferredcites →https://doi.org/10.1145/2837614.2837666openalex-snapshot
Optimizing synthesis with metasketches
inferredcites →https://doi.org/10.1145/390016.808473openalex-snapshot
Toward a theory of test data selection
inferredcites →https://doi.org/10.1145/800027.808473openalex-snapshot
Toward a theory of test data selection
inferredcites →https://doi.org/10.21236/ada482657openalex-snapshot
CUTE: A Concolic Unit Testing Engine for C
inferredcites →https://doi.org/10.4204/eptcs.157.10openalex-snapshot
Are There Good Mistakes? A Theoretical Analysis of CEGIS
inferredcites →https://doi.org/10.48550/arxiv.1512.06633openalex-snapshot
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
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-3-030-32409-4_21openalex-snapshot
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method
inferred← citeshttps://doi.org/10.1007/s10586-026-06522-xopenalex-snapshot
Towards automated formal verification of authorization policy in microservice systems
inferred← citeshttps://doi.org/10.1109/ase.2019.00028openalex-snapshot
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs
inferred← citeshttps://doi.org/10.1109/issre52982.2021.00064openalex-snapshot
HawkEye: User-Guided Enumeration of Scenarios
inferred← citeshttps://doi.org/10.1109/issre55969.2022.00031openalex-snapshot
REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track)
inferred← citeshttps://doi.org/10.1145/3377811.3380399openalex-snapshot
Quickly generating diverse valid test inputs with reinforcement learning
inferred← citeshttps://doi.org/10.1145/3485543openalex-snapshot
Programming and execution models for parallel bounded exhaustive testing
inferred← citeshttps://doi.org/10.1145/3520312.3534867openalex-snapshot
ExeBench: an ML-scale dataset of executable C functions
inferred← citeshttps://doi.org/10.1145/3561320.3561323openalex-snapshot
Geração Automática de Benchmarks para Compilação Preditiva
inferred← citeshttps://doi.org/10.1145/3597926.3598055openalex-snapshot
June: A Type Testability Transformation for Improved ATG Performance
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2022/6/10openalex-snapshot
Automated, Targeted Testing of Property-Based Testing Predicates
inferred← citeshttps://doi.org/10.48550/arxiv.2110.11898openalex-snapshot
REACH: Refining Alloy Scenarios by Scope
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.