On the public citation graph
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers
0 signed · 95 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-90870-6_6openalex-snapshot
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
inferredcites →https://doi.org/10.1007/978-3-319-21668-3_12openalex-snapshot
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
inferredcites →https://doi.org/10.1007/978-3-319-96142-2_6openalex-snapshot
StringFuzz: A Fuzzer for String Solvers
inferredcites →https://doi.org/10.1007/978-3-642-00768-2_16openalex-snapshot
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
inferredcites →https://doi.org/10.1007/978-3-642-19237-1_4openalex-snapshot
DART: Directed Automated Random Testing
inferredcites →https://doi.org/10.1109/icse.2019.00081openalex-snapshot
Superion: Grammar-Aware Greybox Fuzzing
inferredcites →https://doi.org/10.1109/sp.2015.50openalex-snapshot
Program-Adaptive Mutational Fuzzing
inferredcites →https://doi.org/10.1145/1066100.1066102openalex-snapshot
Simplify: a theorem prover for program checking
inferredcites →https://doi.org/10.1145/1376616.1376668openalex-snapshot
Generating targeted queries for database testing
inferredcites →https://doi.org/10.1145/1670412.1670413openalex-snapshot
Fuzzing and delta-debugging SMT solvers
inferredcites →https://doi.org/10.1145/1993316.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2254064.2254104openalex-snapshot
Test-case reduction for C compiler bugs
inferredcites →https://doi.org/10.1145/2345156.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2491411.2491439openalex-snapshot
Effective dynamic detection of alias analysis errors
inferredcites →https://doi.org/10.1145/2594291.2594334openalex-snapshot
Compiler validation via equivalence modulo inputs
inferredcites →https://doi.org/10.1145/2594291.2594340openalex-snapshot
A lightweight symbolic virtual machine for solver-aided host languages
inferredcites →https://doi.org/10.1145/2889160.2889206openalex-snapshot
Analysing the program analyser
inferredcites →https://doi.org/10.1145/3062341.3062379openalex-snapshot
Skeletal program enumeration for rigorous compiler testing
inferredcites →https://doi.org/10.1145/3106237.3106295openalex-snapshot
Steelix: program-state based binary fuzzing
inferredcites →https://doi.org/10.1145/3140587.3062379openalex-snapshot
Skeletal program enumeration for rigorous compiler testing
inferredcites →https://doi.org/10.1145/3213846.3213848openalex-snapshot
Compiler fuzzing through deep learning
inferredcites →https://doi.org/10.1145/3213846.3213873openalex-snapshot
Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
inferredcites →https://doi.org/10.1145/3238147.3240464openalex-snapshot
Automatically testing implementations of numerical abstract domains
inferredcites →https://doi.org/10.1145/3293882.3330553openalex-snapshot
Differentially testing soundness and precision of program analyzers
inferredcites →https://doi.org/10.1145/3338906.3338932openalex-snapshot
Finding and understanding bugs in software model checkers
inferredcites →https://doi.org/10.1145/3360607openalex-snapshot
Coverage guided, property based testing
inferredcites →https://doi.org/10.1145/3368089.3409710openalex-snapshot
Detecting optimization bugs in database engines via non-optimizing reference engine construction
inferredcites →https://doi.org/10.1145/3368089.3409763openalex-snapshot
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing
inferredcites →https://doi.org/10.1145/3377811.3380398openalex-snapshot
Automatically testing string solvers
inferredcites →https://doi.org/10.1145/3385412.3385985openalex-snapshot
Validating SMT solvers via semantic fusion
inferredcites →https://doi.org/10.14722/ndss.2019.23412openalex-snapshot
NAUTILUS: Fishing for Deep Bugs with Grammars
inferredcites →https://doi.org/10.48550/arxiv.1502.04464openalex-snapshot
On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4
inferredcites →https://doi.org/10.48550/arxiv.1610.03148openalex-snapshot
Skeletal Program Enumeration for Rigorous Compiler Testing
inferredcites →https://doi.org/10.48550/arxiv.1704.07935openalex-snapshot
Z3str3: A String Solver with Theory-aware Branching
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
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-90870-6_6openalex-snapshot
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-13188-2_5openalex-snapshot
Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
inferred← citeshttps://doi.org/10.1007/978-3-031-66064-1_3openalex-snapshot
Pierce: A Testing Tool for Neural Network Verification Solvers
inferred← citeshttps://doi.org/10.1007/978-3-032-07106-4_8openalex-snapshot
Bounded-Exhaustive Subspace Diversification for SMT Solver Testing
inferred← citeshttps://doi.org/10.1007/s00500-023-09306-2openalex-snapshot
A systematic review of fuzzing
inferred← citeshttps://doi.org/10.1109/apsec66846.2025.00068openalex-snapshot
SMTPRT: Performance Regression Testing and Localization for SMT Solvers Across Multiple Logics
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678881openalex-snapshot
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00180openalex-snapshot
SMT Solver Validation Empowered by Large Pre-Trained Language Models
inferred← citeshttps://doi.org/10.1109/dsa52907.2021.00019openalex-snapshot
Multi-objective Evolutionary Algorithm for String SMT Solver Testing
inferred← citeshttps://doi.org/10.1109/iccad51958.2021.9643509openalex-snapshot
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00187openalex-snapshot
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
inferred← citeshttps://doi.org/10.1109/icsip61881.2024.10671554openalex-snapshot
A Review of Fuzz Testing for Configuration-Sensitive Software
inferred← citeshttps://doi.org/10.1109/icsme64153.2025.00032openalex-snapshot
OptionFuzz: Fuzzing SMT Solvers with Optimized Option Exploration via Large Language Models
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00071openalex-snapshot
One Engine to Fuzz ’em All: Generic Language Processor Testing with Semantic Validation
inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179438openalex-snapshot
Finding Specification Blind Spots via Fuzz Testing
inferred← citeshttps://doi.org/10.1109/tse.2022.3168373openalex-snapshot
Demystifying Performance Regressions in String Solvers
inferred← citeshttps://doi.org/10.1109/tse.2024.3406900openalex-snapshot
Examiner-Pro: Testing Arm Emulators Across Different Privileges
inferred← citeshttps://doi.org/10.1145/3460120.3484793openalex-snapshot
On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees
inferred← citeshttps://doi.org/10.1145/3460319.3464803openalex-snapshot
Fuzzing SMT solvers via two-dimensional input space exploration
inferred← citeshttps://doi.org/10.1145/3468264.3468540openalex-snapshot
Skeletal approximation enumeration for SMT solver testing
inferred← citeshttps://doi.org/10.1145/3468264.3468573openalex-snapshot
Metamorphic testing of Datalog engines
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/3503222.3507736openalex-snapshot
EXAMINER: automatically locating inconsistent instructions between real devices and CPU emulators for ARM
inferred← citeshttps://doi.org/10.1145/3533767.3534382openalex-snapshot
Testing Dafny (experience paper)
inferred← citeshttps://doi.org/10.1145/3551349.3560435openalex-snapshot
Finding and Understanding Incompleteness Bugs in SMT Solvers
inferred← citeshttps://doi.org/10.1145/3563345openalex-snapshot
BFF: foundational and automated verification of bitfield-manipulating programs
inferred← citeshttps://doi.org/10.1145/3563835.3567662openalex-snapshot
Intramorphic Testing: A New Approach to the Test Oracle Problem
inferred← citeshttps://doi.org/10.1145/3580597openalex-snapshot
Fuzzing Configurations of Program Options
inferred← citeshttps://doi.org/10.1145/3593434.3593455openalex-snapshot
HornFuzz: Fuzzing CHC solvers
inferred← citeshttps://doi.org/10.1145/3597503.3623343openalex-snapshot
Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries
inferred← citeshttps://doi.org/10.1145/3597503.3639121openalex-snapshot
Fuzz4All: Universal Fuzzing with Large Language Models
inferred← citeshttps://doi.org/10.1145/3627217.3627238openalex-snapshot
Creating Thorough Tests for AI-Generated Code is Hard
inferred← citeshttps://doi.org/10.1145/3689719openalex-snapshot
SMT2Test: From SMT Formulas to Effective Test Cases
inferred← citeshttps://doi.org/10.1145/3689795openalex-snapshot
Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration
inferred← citeshttps://doi.org/10.1145/3698810openalex-snapshot
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
inferred← citeshttps://doi.org/10.1145/3724363.3729100openalex-snapshot
Refuting LLM-generated Code with Reactive Task Comprehension
inferred← citeshttps://doi.org/10.1145/3744916.3787827openalex-snapshot
Validating Mixed-Integer Programming Solvers
inferred← citeshttps://doi.org/10.1145/3763093openalex-snapshot
Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation
inferred← citeshttps://doi.org/10.1145/3763094openalex-snapshot
Fuzzing C++ Compilers via Type-Driven Mutation
inferred← citeshttps://doi.org/10.1145/3763171openalex-snapshot
Validating Soundness and Completeness in Pattern-Match Coverage Analyzers
inferred← citeshttps://doi.org/10.1145/3779212.3790195openalex-snapshot
Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
inferred← citeshttps://doi.org/10.1145/3788862openalex-snapshot
Oracle-Guided SMT Solver Validation via Synthesizing Diverse Formulas with Multiple Assignments
inferred← citeshttps://doi.org/10.1145/3796526openalex-snapshot
Testing like Mad Libs: Fuzzing SMT Solvers with Historical Unusual Inputs Empowered by LLMs
inferred← citeshttps://doi.org/10.1145/3839476openalex-snapshot
SmartFuzz: Leveraging Large Language Models and Feature Composition to Generate High-Quality Seeds for Database Fuzzing
inferred← citeshttps://doi.org/10.1145/3839537openalex-snapshot
Validating Optimizing SMT Solvers via Cross-Theory Approximation
inferred← citeshttps://doi.org/10.1186/s42400-024-00335-4openalex-snapshot
LLM4TDG: test-driven generation of large language models based on enhanced constraint reasoning
inferred← citeshttps://doi.org/10.3390/software4010005openalex-snapshot
A Systematic Approach for Assessing Large Language Models’ Test Case Generation Capability
inferred← citeshttps://doi.org/10.48550/arxiv.2105.14273openalex-snapshot
Automatically Locating ARM Instructions Deviation between Real Devices and CPU Emulators
inferred← citeshttps://doi.org/10.70675/369a3d76z42a6z46e4zbfc3z5afb11bd4967openalex-snapshot
The Cubicle Fuzzy Loop : A Testing Framework for Cubicle
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.