On the public citation graph
Coverage guided, property based testing
0 signed · 88 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/978-3-319-07151-0_2openalex-snapshot
Generating Constrained Random Data with Uniform Distribution
inferredcites →https://doi.org/10.1007/978-3-319-66332-6_2openalex-snapshot
Static Program Analysis as a Fuzzing Aid
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-642-14052-5_11openalex-snapshot
Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
inferredcites →https://doi.org/10.1007/978-3-642-28717-6_14openalex-snapshot
Smart Testing of Functional Programs in Isabelle
inferredcites →https://doi.org/10.1007/978-3-642-29615-4_16openalex-snapshot
Disjunction Category Labels
inferredcites →https://doi.org/10.1007/978-3-642-35308-6_10openalex-snapshot
The New Quickcheck for Isabelle
inferredcites →https://doi.org/10.1007/978-3-662-46669-8_16openalex-snapshot
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
inferredcites →https://doi.org/10.1016/j.entcs.2004.10.027openalex-snapshot
Bounded Model Generation for Isabelle/HOL
inferredcites →https://doi.org/10.1016/j.jss.2017.09.018openalex-snapshot
QuickFuzz testing for fun and profit
inferredcites →https://doi.org/10.1017/s0956796816000058openalex-snapshot
Testing noninterference, quickly
inferredcites →https://doi.org/10.1109/ase.2017.8115618openalex-snapshot
Learn&Fuzz: Machine learning for input fuzzing
inferredcites →https://doi.org/10.1109/csf.2013.8openalex-snapshot
A Theory of Information-Flow Labels
inferredcites →https://doi.org/10.1109/icse.2019.00081openalex-snapshot
Superion: Grammar-Aware Greybox Fuzzing
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/sp.1982.10014openalex-snapshot
Security Policies and Security Models
inferredcites →https://doi.org/10.1109/sp.2013.10openalex-snapshot
All Your IFCException Are Belong to Us
inferredcites →https://doi.org/10.1109/sp.2017.23openalex-snapshot
Skyfire: Data-Driven Seed Generation for Fuzzing
inferredcites →https://doi.org/10.1109/sp.2018.00040openalex-snapshot
CollAFL: Path Sensitive Fuzzing
inferredcites →https://doi.org/10.1109/sp.2018.00046openalex-snapshot
Angora: Efficient Fuzzing by Principled Search
inferredcites →https://doi.org/10.1109/sp.2018.00056openalex-snapshot
T-Fuzz: Fuzzing by Program Transformation
inferredcites →https://doi.org/10.1109/ths.2013.6699066openalex-snapshot
SAFE: A clean-slate architecture for secure systems
inferredcites →https://doi.org/10.1145/1538788.1538814openalex-snapshot
Formal verification of a realistic compiler
inferredcites →https://doi.org/10.1145/1806799.1806835openalex-snapshot
Test generation through programming in UDITA
inferredcites →https://doi.org/10.1145/2034654.2034663openalex-snapshot
A PropEr integration of types and function specifications with property-based testing
inferredcites →https://doi.org/10.1145/2034675.2034688openalex-snapshot
Flexible dynamic information flow control in Haskell
inferredcites →https://doi.org/10.1145/2500365.2500574openalex-snapshot
Testing noninterference, quickly
inferredcites →https://doi.org/10.1145/2503778.2503784openalex-snapshot
Splittable pseudorandom number generators using cryptographic hashing
inferredcites →https://doi.org/10.1145/2535838.2535839openalex-snapshot
A verified information-flow architecture
inferredcites →https://doi.org/10.1145/2976002.2976017openalex-snapshot
QuickFuzz: an automatic random fuzzer for common file formats
inferredcites →https://doi.org/10.1145/2976749.2978428openalex-snapshot
Coverage-based Greybox Fuzzing as Markov Chain
inferredcites →https://doi.org/10.1145/3009837.3009868openalex-snapshot
Beginner's luck: a language for property-based generators
inferredcites →https://doi.org/10.1145/3062341.3062349openalex-snapshot
Synthesizing program input grammars
inferredcites →https://doi.org/10.1145/3158133openalex-snapshot
Generating good generators for inductive relations
inferredcites →https://doi.org/10.1145/96267.96279openalex-snapshot
An empirical study of the reliability of UNIX utilities
inferredcites →https://doi.org/10.14722/ndss.2016.23368openalex-snapshot
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
inferredcites →https://doi.org/10.3233/jcs-15801openalex-snapshot
Hails: Protecting data privacy in untrusted web applications
inferredcites →https://doi.org/10.4204/eptcs.210.3openalex-snapshot
Extending Nunchaku to Dependent Type Theory
inferredcites →https://doi.org/10.5555/3026877.3026928openalex-snapshot
CertiKOS: an extensible architecture for building certified concurrent OS kernels
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-72019-3_10openalex-snapshot
Do Judge a Test by its Cover
inferred← citeshttps://doi.org/10.1007/978-3-031-09827-7_5openalex-snapshot
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools
inferred← citeshttps://doi.org/10.1007/978-3-031-65633-0_3openalex-snapshot
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata
inferred← citeshttps://doi.org/10.1016/j.jlamp.2024.101022openalex-snapshot
Generation of algebraic data type values using evolutionary algorithms
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102641openalex-snapshot
Specify and measure, cover and reveal: A unified framework for automated test generation
inferred← citeshttps://doi.org/10.1017/s1471068424000176openalex-snapshot
Property-Based Testing by Elaborating Proof Outlines
inferred← citeshttps://doi.org/10.1109/icse-companion52605.2021.00053openalex-snapshot
MUTAGEN: Faster Mutation-Based Random Testing
inferred← citeshttps://doi.org/10.1109/icse-companion52605.2021.00063openalex-snapshot
Automation and Evaluation of Mutation Testing for the New C++ Standards
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00172openalex-snapshot
Invivo Fuzzing by Amplifying Actual Executions
inferred← citeshttps://doi.org/10.1109/icst57152.2023.00025openalex-snapshot
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations
inferred← citeshttps://doi.org/10.1109/icst69053.2026.00062openalex-snapshot
On the Evolution of Python Test Cases into Property-based Tests
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00068openalex-snapshot
SCAD: Towards a Universal and Automated Network Side-Channel Vulnerability Detection
inferred← citeshttps://doi.org/10.1109/tse.2024.3393070openalex-snapshot
Automated Infrastructure as Code Program Testing
inferred← citeshttps://doi.org/10.1145/3428261openalex-snapshot
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers
inferred← citeshttps://doi.org/10.1145/3468264.3473497openalex-snapshot
SMT solver testing with type and grammar based mutation
inferred← citeshttps://doi.org/10.1145/3485529openalex-snapshot
Generative type-aware mutation for testing SMT solvers
inferred← citeshttps://doi.org/10.1145/3524482.3527657openalex-snapshot
Property-driven testing of black-box functions
inferred← citeshttps://doi.org/10.1145/3527317openalex-snapshot
Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
inferred← citeshttps://doi.org/10.1145/3547653openalex-snapshot
Random testing of a higher-order blockchain language (experience report)
inferred← citeshttps://doi.org/10.1145/3591109openalex-snapshot
A Framework and Toolkit for Testing the Correctness of Recommendation Algorithms
inferred← citeshttps://doi.org/10.1145/3591271openalex-snapshot
Covering All the Bases: Type-Based Verification of Test Input Generators
inferred← citeshttps://doi.org/10.1145/3597503.3639160openalex-snapshot
Crossover in Parametric Fuzzing
inferred← citeshttps://doi.org/10.1145/3597503.3639581openalex-snapshot
Property-Based Testing in Practice
inferred← citeshttps://doi.org/10.1145/3597926.3598055openalex-snapshot
June: A Type Testability Transformation for Improved ATG Performance
inferred← citeshttps://doi.org/10.1145/3597926.3598067openalex-snapshot
Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
inferred← citeshttps://doi.org/10.1145/3597926.3598107openalex-snapshot
Guiding Greybox Fuzzing with Mutation Testing
inferred← citeshttps://doi.org/10.1145/3607538openalex-snapshot
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking
inferred← citeshttps://doi.org/10.1145/3607860openalex-snapshot
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
inferred← citeshttps://doi.org/10.1145/3611643.3616286openalex-snapshot
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps
inferred← citeshttps://doi.org/10.1145/3628157openalex-snapshot
FormatFuzzer : Effective Fuzzing of Binary File Formats
inferred← citeshttps://doi.org/10.1145/3654777.3676407openalex-snapshot
Tyche: Making Sense of PBT Effectiveness
inferred← citeshttps://doi.org/10.1145/3660825openalex-snapshot
Natural Symbolic Execution-Based Testing for Big Data Analytics
inferred← citeshttps://doi.org/10.1145/3663529.3663863openalex-snapshot
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps
inferred← citeshttps://doi.org/10.1145/3691620.3694986openalex-snapshot
General and Practical Property-based Testing for Android Apps
inferred← citeshttps://doi.org/10.1145/3729303openalex-snapshot
Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
inferred← citeshttps://doi.org/10.1145/3742894openalex-snapshot
The Havoc Paradox in Generator-Based Fuzzing
inferred← citeshttps://doi.org/10.1145/3763158openalex-snapshot
We’ve Got You Covered: Type-Guided Repair of Incomplete Input Generators
inferred← citeshttps://doi.org/10.1145/3764115openalex-snapshot
Bennet: Randomized Specification Testing for Heap-Manipulating Programs
inferred← citeshttps://doi.org/10.1145/3798263openalex-snapshot
Fail Faster: Staging and Fast Randomness for High-Performance PBT
inferred← citeshttps://doi.org/10.1145/3808320openalex-snapshot
Enumerating Ill-Typed Programs for Testing Type Analyzers
inferred← citeshttps://doi.org/10.1145/3832783.3834360openalex-snapshot
Property-Based Testing of Wafer Handling Robots via Model-Based Planning and Fuzzing
inferred← citeshttps://doi.org/10.1145/3832783.3834537openalex-snapshot
Model-Guided Property-Based Testing of WeChat Pay at Billion-User Scale
inferred← citeshttps://doi.org/10.1145/3832783.3837441openalex-snapshot
Predicate-Guided Synthesis of Input Generators via Gentoo
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25d16openalex-snapshot
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing
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.