On the public citation graph
Automated testing of graphics shader compilers
0 signed · 146 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-642-28891-3_12openalex-snapshot
Testing Static Analyzers with Randomly Generated Programs
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.1093/comjnl/25.4.465openalex-snapshot
On Testing Non-Testable Programs
inferredcites →https://doi.org/10.1109/32.988498openalex-snapshot
Simplifying and isolating failure-inducing input
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/icse.2017.70openalex-snapshot
Learning to Prioritize Test Programs for Compiler Testing
inferredcites →https://doi.org/10.1109/sp.2014.9openalex-snapshot
Stealing Webpages Rendered on Your Browser by Exploiting GPU Vulnerabilities
inferredcites →https://doi.org/10.1109/tse.2014.2372785openalex-snapshot
The Oracle Problem in Software Testing: A Survey
inferredcites →https://doi.org/10.1109/tse.2016.2532875openalex-snapshot
A Survey on Metamorphic Testing
inferredcites →https://doi.org/10.1142/s0218194007003471openalex-snapshot
TOWARDS AUTOMATIC TESTING OF IMAGING SOFTWARE BY MEANS OF RANDOM AND METAMORPHIC TESTING
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/2666356.2594334openalex-snapshot
Compiler validation via equivalence modulo inputs
inferredcites →https://doi.org/10.1145/2814270.2814319openalex-snapshot
Finding deep compiler bugs via guided stochastic program mutation
inferredcites →https://doi.org/10.1145/2884781.2884878openalex-snapshot
An empirical comparison of compiler testing techniques
inferredcites →https://doi.org/10.1145/2896971.2896978openalex-snapshot
Metamorphic testing for (graphics) compilers
inferredcites →https://doi.org/10.1145/2909437.2909439openalex-snapshot
Automatic Test Case Reduction for OpenCL
inferredcites →https://doi.org/10.1145/2983990.2984038openalex-snapshot
Finding compiler bugs via live code mutation
inferredcites →https://doi.org/10.4018/ijsi.2016010102openalex-snapshot
Metamorphic Relations Based Test Oracles for Image Processing Applications
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.3280openalex-snapshot
Identifying Metamorphic Relations: A Data Mutation Directed Approach
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-64437-6_11openalex-snapshot
Stack-Driven Program Generation of WebAssembly
inferred← citeshttps://doi.org/10.1007/978-3-031-94578-6_2openalex-snapshot
Language-Based Testing for Knowledge Graphs
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-025-10642-0openalex-snapshot
CTDip: a diversity-guided test program synthesis approach for boosting compiler bug detection
inferred← citeshttps://doi.org/10.1007/s11219-020-09537-8openalex-snapshot
Exposing bugs in JavaScript engines through test transplantation and differential testing
inferred← citeshttps://doi.org/10.1007/s44443-026-01115-5openalex-snapshot
RL–LLMfuzzer: reinforcement learning–guided dual–model differential fuzzing for compiler testing
inferred← citeshttps://doi.org/10.1016/j.infsof.2022.106966openalex-snapshot
On the effectiveness of testing sentiment analysis systems with metamorphic testing
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111060openalex-snapshot
Using metamorphic relations to verify and enhance Artcode classification
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111062openalex-snapshot
Testing multiple linear regression systems with metamorphic testing
inferred← citeshttps://doi.org/10.1016/j.vlsi.2024.102320openalex-snapshot
Using virtual prototypes and metamorphic testing to verify the hardware/software-stack of embedded graphics libraries
inferred← citeshttps://doi.org/10.1088/1742-6596/1477/2/022028openalex-snapshot
Web Security and Vulnerability: A Literature Review
inferred← citeshttps://doi.org/10.1109/ase.2019.00037openalex-snapshot
History-Guided Configuration Diversification for Compiler Test-Program Generation
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00054openalex-snapshot
PhyFu: Fuzzing Modern Physics Simulation Engines
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00120openalex-snapshot
MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure
inferred← citeshttps://doi.org/10.1109/asp-dac58780.2024.10473799openalex-snapshot
Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing
inferred← citeshttps://doi.org/10.1109/aswec.2018.00021openalex-snapshot
Metamorphic Testing for Machine Translations: MT4MT
inferred← citeshttps://doi.org/10.1109/cgo57630.2024.10444836openalex-snapshot
Compiler Testing with Relaxed Memory Models
inferred← citeshttps://doi.org/10.1109/compsac48688.2020.0-156openalex-snapshot
CUDAsmith: A Fuzzer for CUDA Compilers
inferred← citeshttps://doi.org/10.1109/compsac57700.2023.00276openalex-snapshot
Using Obfuscators to Test Compilers: A Metamorphic Experience
inferred← citeshttps://doi.org/10.1109/icai52893.2021.9639247openalex-snapshot
Shader Injection for Instanced 3D Models
inferred← citeshttps://doi.org/10.1109/icecco67619.2026.11488767openalex-snapshot
Performance Implications of Node Graph Complexity in Real-Time Shader Systems
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00017openalex-snapshot
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00105openalex-snapshot
Fuzzing Automatic Differentiation in Deep-Learning Libraries
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00201openalex-snapshot
Metamorphic Shader Fusion for Testing Graphics Shader Compilers
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00202openalex-snapshot
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
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.00015openalex-snapshot
Language-Agnostic Generation of Compilable Test Programs
inferred← citeshttps://doi.org/10.1109/icst53961.2022.00015openalex-snapshot
Metamorphic Fuzzing of C++ Libraries
inferred← citeshttps://doi.org/10.1109/icst57152.2023.00042openalex-snapshot
Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages
inferred← citeshttps://doi.org/10.1109/icst60714.2024.00044openalex-snapshot
Randomised Testing of the Compiler for a Verification-Aware Programming Language
inferred← citeshttps://doi.org/10.1109/icst62969.2025.10988954openalex-snapshot
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny
inferred← citeshttps://doi.org/10.1109/issre52982.2021.00030openalex-snapshot
An Empirical Study on Common Bugs in Deep Learning Compilers
inferred← citeshttps://doi.org/10.1109/met.2019.00008openalex-snapshot
Metamorphic Testing of Android Graphics Drivers
inferred← citeshttps://doi.org/10.1109/met52542.2021.00017openalex-snapshot
Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools
inferred← citeshttps://doi.org/10.1109/ms.2018.2875968openalex-snapshot
Metamorphic Testing: Testing the Untestable
inferred← citeshttps://doi.org/10.1109/qrs60937.2023.00043openalex-snapshot
Scope-based Compiler Differential Testing
inferred← citeshttps://doi.org/10.1109/saner50967.2021.00010openalex-snapshot
Towards Understanding Tool-chain Bugs in the LLVM Compiler Infrastructure
inferred← citeshttps://doi.org/10.1109/seaa56994.2022.00059openalex-snapshot
Metamorphic Testing in Autonomous System Simulations
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00003openalex-snapshot
RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes
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.2018.2876433openalex-snapshot
Metamorphic Relations for Enhancing System Understanding and Use
inferred← citeshttps://doi.org/10.1109/tse.2018.2889771openalex-snapshot
Coverage Prediction for Accelerating Compiler Testing
inferred← citeshttps://doi.org/10.1109/tse.2019.2915065openalex-snapshot
Metamorphic Robustness Testing: Exposing Hidden Defects in Citation Statistics and Journal Impact Factors
inferred← citeshttps://doi.org/10.1109/tse.2019.2934848openalex-snapshot
METRIC+: A Metamorphic Relation Identification Technique Based on Input plus Output Domains
inferred← citeshttps://doi.org/10.1109/tse.2020.3009698openalex-snapshot
Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition
inferred← citeshttps://doi.org/10.1109/tse.2023.3310793openalex-snapshot
CombTransformers: Statement-Wise Transformers for Statement-Wise Representations
inferred← citeshttps://doi.org/10.1109/tse.2024.3475375openalex-snapshot
Exploring the Effectiveness of LLMs in Automated Logging Statement Generation: An Empirical Study
inferred← citeshttps://doi.org/10.1109/tse.2024.3510912openalex-snapshot
Detecting Compiler Error Recovery Defects via Program Mutation Exploration
inferred← citeshttps://doi.org/10.1134/s0361768825700100openalex-snapshot
Graphics Shader Testing for On-Board Visualization System of Civil Aircraft
inferred← citeshttps://doi.org/10.1145/3183440.3183456openalex-snapshot
Learning to accelerate compiler testing
inferred← citeshttps://doi.org/10.1145/3236024.3236037openalex-snapshot
Feedback-directed differential testing of interactive debuggers
inferred← citeshttps://doi.org/10.1145/3241979openalex-snapshot
Metamorphic testing of driverless cars
inferred← citeshttps://doi.org/10.1145/3276496openalex-snapshot
An empirical study of the effect of source-level loop transformations on compiler stability
inferred← citeshttps://doi.org/10.1145/3293882.3330567openalex-snapshot
Interactive metamorphic testing of debuggers
inferred← citeshttps://doi.org/10.1145/3313831.3376420openalex-snapshot
Surfacing Visualization Mirages
inferred← citeshttps://doi.org/10.1145/3324884.3416570openalex-snapshot
Enhanced compiler bug isolation via memoized search
inferred← citeshttps://doi.org/10.1145/3338906.3338957openalex-snapshot
Compiler bug isolation via effective witness test program generation
inferred← citeshttps://doi.org/10.1145/3360581openalex-snapshot
Compiler fuzzing: how much does it matter?
inferred← citeshttps://doi.org/10.1145/3377811.3380343openalex-snapshot
Tailoring programs for static analysis via program transformation
inferred← citeshttps://doi.org/10.1145/3385412.3385985openalex-snapshot
Validating SMT solvers via semantic fusion
inferred← citeshttps://doi.org/10.1145/3387940.3392252openalex-snapshot
Metamorphic Fuzz Testing of Autonomous Vehicles
inferred← citeshttps://doi.org/10.1145/3395363.3397374openalex-snapshot
Differential regression testing for REST APIs
inferred← citeshttps://doi.org/10.1145/3428279openalex-snapshot
Finding bugs in database systems via query partitioning
inferred← citeshttps://doi.org/10.1145/3453483.3454092openalex-snapshot
Test-case reduction and deduplication almost for free with transformation-based compiler testing
inferred← citeshttps://doi.org/10.1145/3460319.3469079openalex-snapshot
C4: the C compiler concurrency checker
inferred← citeshttps://doi.org/10.1145/3468264.3468573openalex-snapshot
Metamorphic testing of Datalog engines
inferred← citeshttps://doi.org/10.1145/3468264.3473136openalex-snapshot
New visions on metamorphic testing after a quarter of a century of inception
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/3485508openalex-snapshot
Specifying and testing GPU workgroup progress models
inferred← citeshttps://doi.org/10.1145/3508362openalex-snapshot
Boosting Compiler Testing via Compiler Optimization Exploration
inferred← citeshttps://doi.org/10.1145/3540250.3549085openalex-snapshot
Fuzzing deep-learning libraries via automated relational API inference
inferred← citeshttps://doi.org/10.1145/3551349.3561160openalex-snapshot
PredART: Towards Automatic Oracle Prediction of Object Placements in Augmented Reality Testing
inferred← citeshttps://doi.org/10.1145/3571253openalex-snapshot
Taking Back Control in an Intermediate Representation for GPU Computing
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/3586049openalex-snapshot
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
inferred← citeshttps://doi.org/10.1145/3591294openalex-snapshot
Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
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/3597926.3598053openalex-snapshot
Fuzzing Deep Learning Compilers with HirGen
inferred← citeshttps://doi.org/10.1145/3597926.3598095openalex-snapshot
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
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/3611643.3616272openalex-snapshot
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
inferred← citeshttps://doi.org/10.1145/3611643.3616275openalex-snapshot
PPR: Pairwise Program Reduction
inferred← citeshttps://doi.org/10.1145/3611643.3616277openalex-snapshot
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing
inferred← citeshttps://doi.org/10.1145/3611643.3616336openalex-snapshot
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing
inferred← citeshttps://doi.org/10.1145/3628159openalex-snapshot
Generation-based Differential Fuzzing for Deep Learning Libraries
inferred← citeshttps://doi.org/10.1145/3632904openalex-snapshot
API-Driven Program Synthesis for Testing Static Typing Implementations
inferred← citeshttps://doi.org/10.1145/3650212.3680370openalex-snapshot
Inconsistencies in TeX-Produced Documents
inferred← citeshttps://doi.org/10.1145/3658644.3690209openalex-snapshot
DarthShader: Fuzzing WebGPU Shader Translators & Compilers
inferred← citeshttps://doi.org/10.1145/3658644.3690376openalex-snapshot
CrossFire: Fuzzing macOS Cross-XPU Memory on Apple Silicon
inferred← citeshttps://doi.org/10.1145/3676641.3716022openalex-snapshot
KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
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/3689736openalex-snapshot
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
inferred← citeshttps://doi.org/10.1145/3696410.3714785openalex-snapshot
GL2GPU: Accelerating WebGL Applications via Dynamic API Translation to WebGPU
inferred← citeshttps://doi.org/10.1145/3729305openalex-snapshot
Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
inferred← citeshttps://doi.org/10.1145/3729363openalex-snapshot
An Empirical Study of Bugs in Data Visualization Libraries
inferred← citeshttps://doi.org/10.1145/3731599.3767362openalex-snapshot
LLM4FP: LLM-Based Program Generation for Triggering Floating-Point Inconsistencies Across Compilers
inferred← citeshttps://doi.org/10.1145/3744916.3773237openalex-snapshot
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
inferred← citeshttps://doi.org/10.1145/3759427.3760378openalex-snapshot
Property-Based Testing of OCaml 5’s Runtime System
inferred← citeshttps://doi.org/10.1145/3763075openalex-snapshot
SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races
inferred← citeshttps://doi.org/10.1145/3763094openalex-snapshot
Fuzzing C++ Compilers via Type-Driven Mutation
inferred← citeshttps://doi.org/10.1145/3763154openalex-snapshot
Extraction and Mutation at a High Level: Template-Based Fuzzing for JavaScript Engines
inferred← citeshttps://doi.org/10.1145/3793302.3793374openalex-snapshot
Learning Compiler Fuzzing Mutators from Historical Bugs
inferred← citeshttps://doi.org/10.1145/3808297openalex-snapshot
SIMT-Step Execution: A Flexible Operational Semantics for GPU Subgroup Behavior
inferred← citeshttps://doi.org/10.1145/3832783.3834417openalex-snapshot
Testing IFrame Rendering in Web Browsers
inferred← citeshttps://doi.org/10.1145/3837729.3840486openalex-snapshot
WGSLsmith: Randomised Testing for the WebGPU Shading Language
inferred← citeshttps://doi.org/10.11606/t.55.2022.tde-07022023-160056openalex-snapshot
Uma abordagem de teste de software para aplicações de realidade virtual utilizando testes metamórficos
inferred← citeshttps://doi.org/10.1556/606.2019.14.1.4openalex-snapshot
Improving graphics programming with shader tests
inferred← citeshttps://doi.org/10.22478/ufpb.2595-0622.2019v3n2.49451openalex-snapshot
A fault-based testing approach for VR applications
inferred← citeshttps://doi.org/10.30574/ijsra.2020.1.1.0023openalex-snapshot
Acceleration of test sequences for graphics architecture testing at subsystem and SoC Level
inferred← citeshttps://doi.org/10.31219/osf.io/fy246openalex-snapshot
Understanding and Enhancing JSON-based DSL Interfaces for Visualization
inferred← citeshttps://doi.org/10.48550/arxiv.2001.04174openalex-snapshot
Testing Database Engines via Pivoted Query Synthesis
inferred← citeshttps://doi.org/10.48550/arxiv.2012.03759openalex-snapshot
Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing
inferred← citeshttps://doi.org/10.48550/arxiv.2108.02694openalex-snapshot
Using Metamorphic Relations to Verify and Enhance Artcode Classification
inferred← citeshttps://doi.org/10.52843/cassyni.ggkpyfopenalex-snapshot
Can You Trust Your Compiler? Recent Developments in Automated Testing of Compilation and Verification Tools
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.