On the public citation graph
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
0 signed · 47 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-030-72019-3_10openalex-snapshot
Do Judge a Test by its Cover
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-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.1017/s0956796816000058openalex-snapshot
Testing noninterference, quickly
inferredcites →https://doi.org/10.1109/ast.2019.00013openalex-snapshot
Generating Random Structurally Rich Algebraic Data Type Values
inferredcites →https://doi.org/10.1109/icst.2018.00017openalex-snapshot
Automating Targeted Property-Based Testing
inferredcites →https://doi.org/10.1109/sp.2016.15openalex-snapshot
LAVA: Large-Scale Automated Vulnerability Addition
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.1109/tvcg.2016.2599030openalex-snapshot
Vega-Lite: A Grammar of Interactive Graphics
inferredcites →https://doi.org/10.1145/1411273.1411275openalex-snapshot
Testing Erlang data types with quviq quickcheck
inferredcites →https://doi.org/10.1145/1543134.1411292openalex-snapshot
Smallcheck and lazy smallcheck
inferredcites →https://doi.org/10.1145/1982595.1982615openalex-snapshot
Testing an optimising compiler by generating random lambda terms
inferredcites →https://doi.org/10.1145/1993498.1993532openalex-snapshot
Finding and understanding bugs in C compilers
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/2544174.2500574openalex-snapshot
Testing noninterference, quickly
inferredcites →https://doi.org/10.1145/2568225.2568278openalex-snapshot
Code coverage for suite evaluation by developers
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/3092703.3092711openalex-snapshot
Targeted property-based testing
inferredcites →https://doi.org/10.1145/3110259openalex-snapshot
Effect-driven QuickChecking of compilers
inferredcites →https://doi.org/10.1145/3158133openalex-snapshot
Generating good generators for inductive relations
inferredcites →https://doi.org/10.1145/3360607openalex-snapshot
Coverage guided, property based testing
inferredcites →https://doi.org/10.1145/3412932.3412943openalex-snapshot
Deriving compositional random generators
inferredcites →https://doi.org/10.1145/3519939.3523707openalex-snapshot
Computing correctly with inductive relations
inferredcites →https://doi.org/10.4230/lipics.ecoop.2020.13openalex-snapshot
Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)
inferredcites →https://doi.org/10.5281/zenodo.6610599openalex-snapshot
ICFP-2022 Artifact for the paper "Random Testing of a Higher-Order Blockchain Language (Experience Report)"
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.jlamp.2024.101022openalex-snapshot
Generation of algebraic data type values using evolutionary algorithms
inferred← citeshttps://doi.org/10.1145/3597503.3639581openalex-snapshot
Property-Based Testing in Practice
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/3652561.3652570openalex-snapshot
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
inferred← citeshttps://doi.org/10.1145/3654777.3676407openalex-snapshot
Tyche: Making Sense of PBT Effectiveness
inferred← citeshttps://doi.org/10.1145/3763082openalex-snapshot
Tuning Random Generators: Property-Based Testing as Probabilistic Programming
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/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
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.