On the public citation graph
Generating good generators for inductive relations
0 signed · 78 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/10930755_12openalex-snapshot
Combining Testing and Proving in Dependent Type Theory
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-22102-1_22openalex-snapshot
Foundational Property-Based Testing
inferredcites →https://doi.org/10.1007/978-3-540-69611-7_1openalex-snapshot
QuickCheck Testing for Fun and Profit
inferredcites →https://doi.org/10.1007/978-3-540-71067-7_23openalex-snapshot
First-Class Type Classes
inferredcites →https://doi.org/10.1007/978-3-540-74591-4_7openalex-snapshot
Extracting Purely Functional Contents from Logical Inductive Types
inferredcites →https://doi.org/10.1007/978-3-540-78969-7_23openalex-snapshot
EasyCheck — Test Data for Free
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-29578-2_9openalex-snapshot
FocalTest: A Constraint Programming Approach for Property-Based Testing
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-642-35308-6_9openalex-snapshot
Producing Certified Functional Code from Inductive Specifications
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.infsof.2004.07.002openalex-snapshot
Verifying Haskell programs by combining testing, model checking and interactive theorem proving
inferredcites →https://doi.org/10.1017/s0956796816000058openalex-snapshot
Testing noninterference, quickly
inferredcites →https://doi.org/10.1109/icst.2009.10openalex-snapshot
Euclide: A Constraint-Based Testing Framework for Critical C Programs
inferredcites →https://doi.org/10.1109/tse.2010.62openalex-snapshot
An Analysis and Survey of the Development of Mutation Testing
inferredcites →https://doi.org/10.1145/1273920.1273930openalex-snapshot
Systematic generation of glass-box test cases for functional logic programs
inferredcites →https://doi.org/10.1145/1411273.1411275openalex-snapshot
Testing Erlang data types with quviq quickcheck
inferredcites →https://doi.org/10.1145/1411286.1411292openalex-snapshot
Smallcheck and lazy smallcheck
inferredcites →https://doi.org/10.1145/1806799.1806835openalex-snapshot
Test generation through programming in UDITA
inferredcites →https://doi.org/10.1145/1982595.1982615openalex-snapshot
Testing an optimising compiler by generating random lambda terms
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/2500365.2500574openalex-snapshot
Testing noninterference, quickly
inferredcites →https://doi.org/10.1145/2814270.2814323openalex-snapshot
Programming with enumerable sets of structures
inferredcites →https://doi.org/10.1145/3009837.3009868openalex-snapshot
Beginner's luck: a language for property-based generators
inferredcites →https://doi.org/10.1145/75277.75283openalex-snapshot
How to make ad-hoc polymorphism less ad hoc
inferredcites →https://doi.org/10.4204/eptcs.70.1openalex-snapshot
Integrating Testing and Interactive Theorem Proving
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-31157-5_12openalex-snapshot
Property-Based Test Case Generators for Free
inferred← citeshttps://doi.org/10.1007/978-3-032-30839-9_15openalex-snapshot
Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation
inferred← citeshttps://doi.org/10.1007/s00165-018-0459-1openalex-snapshot
Tests and proofs for custom data generators
inferred← citeshttps://doi.org/10.1016/j.entcs.2019.04.002openalex-snapshot
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck
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.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/icse55347.2025.00033openalex-snapshot
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00116openalex-snapshot
Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification
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/scisisis50064.2020.9322754openalex-snapshot
Discovering conditional properties of recursive functions in a proof assistant
inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179465openalex-snapshot
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
inferred← citeshttps://doi.org/10.1109/tse.2024.3393070openalex-snapshot
Automated Infrastructure as Code Program Testing
inferred← citeshttps://doi.org/10.1145/3242744.3242747openalex-snapshot
Branching processes for QuickCheck generators
inferred← citeshttps://doi.org/10.1145/3290326openalex-snapshot
Type-guided worst-case input generation
inferred← citeshttps://doi.org/10.1145/3299711.3242747openalex-snapshot
Branching processes for QuickCheck generators
inferred← citeshttps://doi.org/10.1145/3360607openalex-snapshot
Coverage guided, property based testing
inferred← citeshttps://doi.org/10.1145/3377811.3380399openalex-snapshot
Quickly generating diverse valid test inputs with reinforcement learning
inferred← citeshttps://doi.org/10.1145/3428299openalex-snapshot
TacTok: semantics-aware proof synthesis
inferred← citeshttps://doi.org/10.1145/3510003.3510138openalex-snapshot
Diversity-driven automated formal verification
inferred← citeshttps://doi.org/10.1145/3519939.3523707openalex-snapshot
Computing correctly with inductive relations
inferred← citeshttps://doi.org/10.1145/3546189.3549919openalex-snapshot
How to safely use extensionality in Liquid Haskell
inferred← citeshttps://doi.org/10.1145/3547636openalex-snapshot
A completely unique account of enumeration
inferred← citeshttps://doi.org/10.1145/3547653openalex-snapshot
Random testing of a higher-order blockchain language (experience report)
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.3639581openalex-snapshot
Property-Based Testing in Practice
inferred← citeshttps://doi.org/10.1145/3607860openalex-snapshot
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
inferred← citeshttps://doi.org/10.1145/3609026openalex-snapshot
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium
inferred← citeshttps://doi.org/10.1145/3609026.3609730openalex-snapshot
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
inferred← citeshttps://doi.org/10.1145/3611643.3616243openalex-snapshot
Baldur: Whole-Proof Generation and Repair with Large Language Models
inferred← citeshttps://doi.org/10.1145/3763082openalex-snapshot
Tuning Random Generators: Property-Based Testing as Probabilistic Programming
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/3808278openalex-snapshot
Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
inferred← citeshttps://doi.org/10.1145/3839453openalex-snapshot
Testing Theorems, Fully Automatically
inferred← citeshttps://doi.org/10.1145/3839513openalex-snapshot
Random Testing via Runtime Abstract Interpretation
inferred← citeshttps://doi.org/10.1561/2500000045openalex-snapshot
QED at Large: A Survey of Engineering of Formally Verified Software
inferred← citeshttps://doi.org/10.48550/arxiv.1802.01044openalex-snapshot
Software Fault Isolation for Robust Compilation
inferred← citeshttps://doi.org/10.48550/arxiv.2208.12747openalex-snapshot
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
inferred← citeshttps://doi.org/10.4995/thesis/10251/139076openalex-snapshot
Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang
inferred← citeshttps://doi.org/10.70675/3c7efdf6z206cz4554z9fcbz4239a3c4953eopenalex-snapshot
Developing proof theory for proof exchange
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.