On the public citation graph

Compiler fuzzing: how much does it matter?

https://doi.org/10.1145/3360581
0 signed · 76 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-642-28891-3_12openalex-snapshot
Testing Static Analyzers with Randomly Generated Programs
inferredcites →https://doi.org/10.1007/bf01932308openalex-snapshot
A sentence generator for testing parsers
inferredcites →https://doi.org/10.1007/bf01932975openalex-snapshot
A sentence generator for testing parsers
inferredcites →https://doi.org/10.1007/s11086-005-0002-zopenalex-snapshot
Survey of Compiler Testing Methods
inferredcites →https://doi.org/10.1016/0950-5849(95)01055-6openalex-snapshot
The automatic generation of test cases for optimizing Fortran compilers
inferredcites →https://doi.org/10.1016/s0950-5849(97)00017-7openalex-snapshot
Compiler test case generation methods: a survey and assessment
inferredcites →https://doi.org/10.1109/apccas.2016.7804063openalex-snapshot
Random testing of C compilers based on test program generation by equivalence transformation
inferredcites →https://doi.org/10.1109/apsec.2010.39openalex-snapshot
An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique
inferredcites →https://doi.org/10.1109/tse.2016.2532875openalex-snapshot
A Survey on Metamorphic Testing
inferredcites →https://doi.org/10.1145/1287624.1287651openalex-snapshot
Automated testing of refactoring engines
inferredcites →https://doi.org/10.1145/1460833.1460869openalex-snapshot
A general test data generator for COBOL
inferredcites →https://doi.org/10.1145/1538788.1538814openalex-snapshot
Formal verification of a realistic compiler
inferredcites →https://doi.org/10.1145/1993316.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/1993498.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/2408776.2408795openalex-snapshot
Symbolic execution for software testing
inferredcites →https://doi.org/10.1145/2491956.2462173openalex-snapshot
Taming compiler fuzzers
inferredcites →https://doi.org/10.1145/2594291.2594334openalex-snapshot
Compiler validation via equivalence modulo inputs
inferredcites →https://doi.org/10.1145/2610384.2610419openalex-snapshot
Covrig: a framework for the analysis of code, test, and coverage evolution in real software
inferredcites →https://doi.org/10.1145/2635868.2635920openalex-snapshot
An empirical analysis of flaky tests
inferredcites →https://doi.org/10.1145/2666356.2594334openalex-snapshot
Compiler validation via equivalence modulo inputs
inferredcites →https://doi.org/10.1145/2694344.2694390openalex-snapshot
VARAN the Unbelievable
inferredcites →https://doi.org/10.1145/2737924.2737965openalex-snapshot
Provably correct peephole optimizations with alive
inferredcites →https://doi.org/10.1145/2737924.2737986openalex-snapshot
Many-core compiler fuzzing
inferredcites →https://doi.org/10.1145/2771783.2771785openalex-snapshot
Randomized stress-testing of link-time optimizers
inferredcites →https://doi.org/10.1145/2814270.2814319openalex-snapshot
Finding deep compiler bugs via guided stochastic program mutation
inferredcites →https://doi.org/10.1145/2896971.2896978openalex-snapshot
Metamorphic testing for (graphics) compilers
inferredcites →https://doi.org/10.1145/2908080.2908095openalex-snapshot
Coverage-directed differential testing of JVM implementations
inferredcites →https://doi.org/10.1145/2931037.2931074openalex-snapshot
Toward understanding compiler bugs in GCC and LLVM
inferredcites →https://doi.org/10.1145/2983990.2984038openalex-snapshot
Finding compiler bugs via live code mutation
inferredcites →https://doi.org/10.1145/3062341.3062379openalex-snapshot
Skeletal program enumeration for rigorous compiler testing
inferredcites →https://doi.org/10.1145/3133917openalex-snapshot
Automated testing of graphics shader compilers
inferredcites →https://doi.org/10.1147/sj.94.0242openalex-snapshot
Automatic generation of test cases
inferredcites →https://doi.org/10.2197/ipsjtsldm.7.91openalex-snapshot
Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions
inferredcites →https://doi.org/10.48550/arxiv.2002.12543openalex-snapshot
Metamorphic Testing: A New Approach for Generating Next Test Cases

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/stvr.1812openalex-snapshot
High‐coverage metamorphic testing of concurrency support in C compilers
inferred← citeshttps://doi.org/10.1007/978-3-030-53291-8_29openalex-snapshot
Synthesizing JIT Compilers for In-Kernel DSLs
inferred← citeshttps://doi.org/10.1007/978-3-031-38828-6_3openalex-snapshot
Testing a Formally Verified Compiler
inferred← citeshttps://doi.org/10.1007/s10664-022-10146-1openalex-snapshot
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively
inferred← citeshttps://doi.org/10.1007/s10664-023-10430-8openalex-snapshot
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools
inferred← citeshttps://doi.org/10.1016/j.cose.2024.103947openalex-snapshot
Fuzzing JavaScript engines with a syntax-aware neural program model
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110884openalex-snapshot
An empirical study of optimization bugs in GCC and LLVM
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00094openalex-snapshot
DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects
inferred← citeshttps://doi.org/10.1109/fccm51124.2021.00034openalex-snapshot
An Empirical Study of the Reliability of High-Level Synthesis Tools
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00172openalex-snapshot
Compiler Test-Program Generation via Memoized Configuration Search
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00068openalex-snapshot
Understanding Compiler Bugs in Real Development
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00130openalex-snapshot
IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
inferred← citeshttps://doi.org/10.1109/icsme52107.2021.00012openalex-snapshot
Test Case Reduction: A Framework, Benchmark, and Comparative Study
inferred← citeshttps://doi.org/10.1109/icst46399.2020.00016openalex-snapshot
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
inferred← citeshttps://doi.org/10.1109/icst49551.2021.00044openalex-snapshot
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
inferred← citeshttps://doi.org/10.1109/issre62328.2024.00039openalex-snapshot
Enhancing Black-box Compiler Option Fuzzing with LLM through Command Feedback
inferred← citeshttps://doi.org/10.1109/qrs60937.2023.00043openalex-snapshot
Scope-based Compiler Differential Testing
inferred← citeshttps://doi.org/10.1109/tr.2022.3171220openalex-snapshot
Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing
inferred← citeshttps://doi.org/10.1109/tse.2023.3315292openalex-snapshot
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
inferred← citeshttps://doi.org/10.1109/tse.2025.3566490openalex-snapshot
A Comprehensive Study of OOP-Related Bugs in C++ Compilers
inferred← citeshttps://doi.org/10.1145/3324884.3418933openalex-snapshot
Closer to the edge
inferred← citeshttps://doi.org/10.1145/3428279openalex-snapshot
Finding bugs in database systems via query partitioning
inferred← citeshttps://doi.org/10.1145/3453483.3454030openalex-snapshot
Alive2: bounded translation validation for LLVM
inferred← citeshttps://doi.org/10.1145/3468264.3468620openalex-snapshot
Benchmarking automated GUI testing for Android against real-world bugs
inferred← citeshttps://doi.org/10.1145/3485500openalex-snapshot
Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
inferred← citeshttps://doi.org/10.1145/3508362openalex-snapshot
Boosting Compiler Testing via Compiler Optimization Exploration
inferred← citeshttps://doi.org/10.1145/3524842.3527972openalex-snapshot
On the naturalness of fuzzer-generated code
inferred← citeshttps://doi.org/10.1145/3575693.3575707openalex-snapshot
NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers
inferred← citeshttps://doi.org/10.1145/3582016.3582053openalex-snapshot
Finding Unstable Code via Compiler-Driven Differential Testing
inferred← citeshttps://doi.org/10.1145/3597926.3598130openalex-snapshot
GrayC: Greybox Fuzzing of Compilers and Analysers for C
inferred← citeshttps://doi.org/10.1145/3597926.3604919openalex-snapshot
RustSmith: Random Differential Compiler Testing for Rust
inferred← citeshttps://doi.org/10.1145/3626313openalex-snapshot
Defect Categorization in Compilers: A Multi-vocal Literature Review
inferred← citeshttps://doi.org/10.1145/3654991openalex-snapshot
Keep It Simple: Testing Databases via Differential Query Plans
inferred← citeshttps://doi.org/10.1145/3656386openalex-snapshot
Boosting Compiler Testing by Injecting Real-World Code
inferred← citeshttps://doi.org/10.1145/3676641.3716270openalex-snapshot
Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics
inferred← citeshttps://doi.org/10.1145/3686614.3686622openalex-snapshot
Assuring Correctness, Testing, and Verification of X-Compiler by Integrating Communicating Stream X-Machine
inferred← citeshttps://doi.org/10.1145/3689780openalex-snapshot
Rustlantis: Randomized Differential Testing of the Rust Compiler
inferred← citeshttps://doi.org/10.1145/3763094openalex-snapshot
Fuzzing C++ Compilers via Type-Driven Mutation
inferred← citeshttps://doi.org/10.1145/3774748.3787647openalex-snapshot
Detection of Optimization-introduced Bugs in C Compilers
inferred← citeshttps://doi.org/10.1145/3793302.3793374openalex-snapshot
Learning Compiler Fuzzing Mutators from Historical Bugs
inferred← citeshttps://doi.org/10.1145/3798245openalex-snapshot
Understanding and Finding JIT Compiler Performance Bugs
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.