On the public citation graph

Random testing for C and C++ compilers with YARPGen

0 signed · 169 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-319-94460-9_7openalex-snapshot
Liveness-Driven Random Program Generation
inferredcites →https://doi.org/10.1007/978-3-642-33826-7_16openalex-snapshot
Frama-C
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/j.jss.2009.02.022openalex-snapshot
Adaptive Random Testing: The ART of test case diversity
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/apccas62602.2024openalex-snapshot
2024 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)
inferredcites →https://doi.org/10.1109/ase51524.2021openalex-snapshot
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
inferredcites →https://doi.org/10.1109/tse.2019.2942921openalex-snapshot
A Survey on Adaptive Random Testing
inferredcites →https://doi.org/10.1145/1085130.1085132openalex-snapshot
Random testing of C calling conventions
inferredcites →https://doi.org/10.1145/1450058.1450093openalex-snapshot
Volatiles are miscompiled, and what to do about it
inferredcites →https://doi.org/10.1145/1460833.1460869openalex-snapshot
A general test data generator for COBOL
inferredcites →https://doi.org/10.1145/186025.186103openalex-snapshot
Automatic isolation of compiler errors
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/2338965.2336763openalex-snapshot
Swarm testing
inferredcites →https://doi.org/10.1145/2594291.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/2983990.2984038openalex-snapshot
Finding compiler bugs via live code mutation
inferredcites →https://doi.org/10.1145/2998392.2998397openalex-snapshot
RandIR: differential testing for embedded compilers
inferredcites →https://doi.org/10.1145/3062341.3062349openalex-snapshot
Synthesizing program input grammars
inferredcites →https://doi.org/10.1145/3178372.3179521openalex-snapshot
Finding missed compiler optimizations by differential testing
inferredcites →https://doi.org/10.1145/3213846.3213848openalex-snapshot
Compiler fuzzing through deep learning
inferredcites →https://doi.org/10.1145/3338906.3338970openalex-snapshot
Diversity-based web test generation
inferredcites →https://doi.org/10.1145/3363562openalex-snapshot
A Survey of Compiler Testing
inferredcites →https://doi.org/10.1145/3368089.3409729openalex-snapshot
Fuzzing: on the exponential cost of vulnerability discovery
inferredcites →https://doi.org/10.1609/aaai.v33i01.33011044openalex-snapshot
DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing
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.2197/ipsjtsldm.9.21openalex-snapshot
Detecting Arithmetic Optimization Opportunities for C Compilers by Randomly Generated Equivalent Programs

What points at this work

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

inferred← citeshttps://doi.org/10.1002/smr.70122openalex-snapshot
CoverFuzz: A Coverage‐Guided and General‐Purpose Fuzzing Framework
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_10openalex-snapshot
Do Judge a Test by its Cover
inferred← citeshttps://doi.org/10.1007/978-3-031-51479-1_17openalex-snapshot
Syntax-Aware Mutation for Testing the Solidity Compiler
inferred← citeshttps://doi.org/10.1007/978-3-031-93706-4_6openalex-snapshot
Vellvm: Formalizing the Informal LLVM
inferred← citeshttps://doi.org/10.1007/978-981-96-9849-3_25openalex-snapshot
CPTCP: Incorporating Convolutional Neural Network into Text-Vector Based Test Case Prioritization for Compilers
inferred← citeshttps://doi.org/10.1007/s10515-025-00568-8openalex-snapshot
LMFuzz: Program repair fuzzing based on large language models
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-022-10239-xopenalex-snapshot
Towards understanding bugs in Python interpreters
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-024-09673-5openalex-snapshot
Differential testing solidity compiler through deep contract manipulation and mutation
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.2026.108352openalex-snapshot
LLMCloc: Compiler bug localization via large language model-based root cause analysis
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112068openalex-snapshot
Grammar-based test suite construction using coverage-directed algorithms over LR-graphs
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103359openalex-snapshot
Random test generators demystified: Differences and potential for compiler reliability
inferred← citeshttps://doi.org/10.1016/j.softx.2021.100711openalex-snapshot
Cnerator: A Python application for the controlled stochastic generation of standard C source code
inferred← citeshttps://doi.org/10.1109/acsac67867.2025.00025openalex-snapshot
TeTRIS: General-purpose Fuzzing for Translation Bugs in Source-to-Source Code Transpilers
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00100openalex-snapshot
FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00059openalex-snapshot
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00196openalex-snapshot
Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
inferred← citeshttps://doi.org/10.1109/assic64892.2025.11158099openalex-snapshot
Streamlining C Compilation: Harnessing Different Optimization Techniques
inferred← citeshttps://doi.org/10.1109/icse-companion58688.2023.00014openalex-snapshot
JATTACK: Java JIT Testing using Template Programs
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.00013openalex-snapshot
Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00130openalex-snapshot
IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00175openalex-snapshot
Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs
inferred← citeshttps://doi.org/10.1109/icsme64153.2025.00055openalex-snapshot
Nüwa: Enhancing MLIR Fuzzing with LLM-Driven Generation and Adaptive Mutation
inferred← citeshttps://doi.org/10.1109/icst53961.2022.00042openalex-snapshot
Testing a PL/I Compiler Using Precomputation-based Program Generation
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/issre55969.2022.00057openalex-snapshot
Remgen: Remanufacturing a Random Program Generator for Compiler Testing
inferred← citeshttps://doi.org/10.1109/issre59848.2023.00066openalex-snapshot
Detecting Interpreter Bugs via Filling Function Calls in Skeletal Program Enumeration
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/norcas64408.2024.10752440openalex-snapshot
Cycle Count Estimation of VLIW Processors Using Machine Learning
inferred← citeshttps://doi.org/10.1109/qrs-c65679.2025.00031openalex-snapshot
Solsmith: Solidity Random Program Generator for Compiler Testing
inferred← citeshttps://doi.org/10.1109/qrs60937.2023.00043openalex-snapshot
Scope-based Compiler Differential Testing
inferred← citeshttps://doi.org/10.1109/saner56733.2023.00061openalex-snapshot
Boosting Compiler Testing via Eliminating Test Programs with Long-Execution-Time
inferred← citeshttps://doi.org/10.1109/saner64311.2025.00078openalex-snapshot
Distinguishability-Guided Test Program Generation for WebAssembly Runtime Performance Testing
inferred← citeshttps://doi.org/10.1109/smc58881.2025.11343428openalex-snapshot
PerturbGen: A Population Based Perturbation Method for Processor Test Generation
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/tr.2022.3218602openalex-snapshot
VPP-ART: An Efficient Implementation of Fixed-Size-Candidate-Set Adaptive Random Testing Using Vantage Point Partitioning
inferred← citeshttps://doi.org/10.1109/tse.2024.3368553openalex-snapshot
A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
inferred← citeshttps://doi.org/10.1109/tse.2024.3510912openalex-snapshot
Detecting Compiler Error Recovery Defects via Program Mutation Exploration
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/3453483.3454092openalex-snapshot
Test-case reduction and deduplication almost for free with transformation-based compiler testing
inferred← citeshttps://doi.org/10.1145/3468264.3468573openalex-snapshot
Metamorphic testing of Datalog engines
inferred← citeshttps://doi.org/10.1145/3477132.3483583openalex-snapshot
Automated SmartNIC Offloading Insights for Network Functions
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/3485529openalex-snapshot
Generative type-aware mutation for testing SMT solvers
inferred← citeshttps://doi.org/10.1145/3497775.3503679openalex-snapshot
Formally verified superblock scheduling
inferred← citeshttps://doi.org/10.1145/3519939.3523427openalex-snapshot
Finding typing compiler bugs
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.3575740openalex-snapshot
Compilation Consistency Modulo Debug Information
inferred← citeshttps://doi.org/10.1145/3591257openalex-snapshot
Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
inferred← citeshttps://doi.org/10.1145/3591270openalex-snapshot
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
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.3639121openalex-snapshot
Fuzz4All: Universal Fuzzing with Large Language Models
inferred← citeshttps://doi.org/10.1145/3597926.3598130openalex-snapshot
GrayC: Greybox Fuzzing of Compilers and Analysers for C
inferred← citeshttps://doi.org/10.1145/3600006.3613140openalex-snapshot
Validating JIT Compilers via Compilation Space Exploration
inferred← citeshttps://doi.org/10.1145/3611643.3617846openalex-snapshot
Detection of Optimizations Missed by the Compiler
inferred← citeshttps://doi.org/10.1145/3617172openalex-snapshot
On the Caching Schemes to Speed Up Program Reduction
inferred← citeshttps://doi.org/10.1145/3617232.3624874openalex-snapshot
UBFuzz: Finding Bugs in Sanitizer Implementations
inferred← citeshttps://doi.org/10.1145/3620666.3651366openalex-snapshot
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis
inferred← citeshttps://doi.org/10.1145/3622781.3674171openalex-snapshot
The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators
inferred← citeshttps://doi.org/10.1145/3622799openalex-snapshot
Formally Verifying Optimizations with Block Simulations
inferred← citeshttps://doi.org/10.1145/3624007.3624056openalex-snapshot
Generating Conforming Programs with Xsmith
inferred← citeshttps://doi.org/10.1145/3632904openalex-snapshot
API-Driven Program Synthesis for Testing Static Typing Implementations
inferred← citeshttps://doi.org/10.1145/3639476openalex-snapshot
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results
inferred← citeshttps://doi.org/10.1145/3639476.3639763openalex-snapshot
Beyond a Joke: Dead Code Elimination Can Delete Live Code
inferred← citeshttps://doi.org/10.1145/3643777openalex-snapshot
Java JIT Testing with Template Extraction
inferred← citeshttps://doi.org/10.1145/3643781openalex-snapshot
Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers
inferred← citeshttps://doi.org/10.1145/3647994openalex-snapshot
Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing
inferred← citeshttps://doi.org/10.1145/3649476.3658712openalex-snapshot
SSFuzz:Generating syntactic and semantic seeds for RISC-V processors
inferred← citeshttps://doi.org/10.1145/3650212.3680345openalex-snapshot
AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
inferred← citeshttps://doi.org/10.1145/3656386openalex-snapshot
Boosting Compiler Testing by Injecting Real-World Code
inferred← citeshttps://doi.org/10.1145/3663529.3663864openalex-snapshot
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
inferred← citeshttps://doi.org/10.1145/3669940.3707271openalex-snapshot
Debugger Toolchain Validation via Cross-Level Debugging
inferred← citeshttps://doi.org/10.1145/3671016.3671387openalex-snapshot
Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation
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/3678722.3685533openalex-snapshot
LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing (Registered Report)
inferred← citeshttps://doi.org/10.1145/3689719openalex-snapshot
SMT2Test: From SMT Formulas to Effective Test Cases
inferred← citeshttps://doi.org/10.1145/3689736openalex-snapshot
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
inferred← citeshttps://doi.org/10.1145/3689780openalex-snapshot
Rustlantis: Randomized Differential Testing of the Rust Compiler
inferred← citeshttps://doi.org/10.1145/3690631openalex-snapshot
T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax
inferred← citeshttps://doi.org/10.1145/3705305openalex-snapshot
Validity-Preserving Delta Debugging via Generator Trace Reduction
inferred← citeshttps://doi.org/10.1145/3708493.3712681openalex-snapshot
Automatic Test Case Generation for Jasper App HDL Compiler: An Industry Experience
inferred← citeshttps://doi.org/10.1145/3708493.3712686openalex-snapshot
Finding Missed Code Size Optimizations in Compilers using Large Language Models
inferred← citeshttps://doi.org/10.1145/3713081.3731731openalex-snapshot
Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques
inferred← citeshttps://doi.org/10.1145/3715102openalex-snapshot
Validating JIT Compilers via Compilation Space Exploration
inferred← citeshttps://doi.org/10.1145/3719027.3744790openalex-snapshot
RVISmith: Fuzzing Compilers for RVV Intrinsics
inferred← citeshttps://doi.org/10.1145/3729275openalex-snapshot
Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
inferred← citeshttps://doi.org/10.1145/3729305openalex-snapshot
Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
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.3764548openalex-snapshot
CombCT: Compiler Testing via Combinatorial Testing
inferred← citeshttps://doi.org/10.1145/3744916.3773212openalex-snapshot
Fuzzing Java Optimizing Compilers with Complex Inter-Class Structures Guided by Heterogeneous Program Graphs
inferred← citeshttps://doi.org/10.1145/3744916.3773237openalex-snapshot
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
inferred← citeshttps://doi.org/10.1145/3744916.3787827openalex-snapshot
Validating Mixed-Integer Programming Solvers
inferred← citeshttps://doi.org/10.1145/3747509openalex-snapshot
Formal Semantics and Program Logics for a Fragment of OCaml
inferred← citeshttps://doi.org/10.1145/3755881.3755906openalex-snapshot
SRLRF: Fine-Grained Root Cause Analysis and Prediction for Compiler Optimization Defects
inferred← citeshttps://doi.org/10.1145/3755881.3755917openalex-snapshot
Emerging Compiler Testing Based on Test Case Reuse
inferred← citeshttps://doi.org/10.1145/3758316.3763251openalex-snapshot
LegoFuzz: Interleaving Large Language Models for Compiler Testing
inferred← citeshttps://doi.org/10.1145/3763053openalex-snapshot
Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations
inferred← citeshttps://doi.org/10.1145/3763079openalex-snapshot
Interleaving Large Language Models for Compiler Testing
inferred← citeshttps://doi.org/10.1145/3763094openalex-snapshot
Fuzzing C++ Compilers via Type-Driven Mutation
inferred← citeshttps://doi.org/10.1145/3763105openalex-snapshot
Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations
inferred← citeshttps://doi.org/10.1145/3763147openalex-snapshot
Translation Validation for LLVM’s AArch64 Backend
inferred← citeshttps://doi.org/10.1145/3763152openalex-snapshot
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
inferred← citeshttps://doi.org/10.1145/3763161openalex-snapshot
DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
inferred← citeshttps://doi.org/10.1145/3771775.3786271openalex-snapshot
CPerfSmith: A Randomized C Program Generator for Performance-Oriented Compiler Testing
inferred← citeshttps://doi.org/10.1145/3774748.3787647openalex-snapshot
Detection of Optimization-introduced Bugs in C Compilers
inferred← citeshttps://doi.org/10.1145/3790099openalex-snapshot
Unmasking the Type Inference Capabilities of LLMs for Java Code Snippets
inferred← citeshttps://doi.org/10.1145/3793302.3793374openalex-snapshot
Learning Compiler Fuzzing Mutators from Historical Bugs
inferred← citeshttps://doi.org/10.1145/3793554openalex-snapshot
From Stochastic to Semantic: Advanced Attribute-Guided Compiler Testing
inferred← citeshttps://doi.org/10.1145/3795095.3805199openalex-snapshot
From Prompts to Pareto Fronts: Using Code LMs as Semantic Genetic Operators for Compiler Bug Discovery
inferred← citeshttps://doi.org/10.1145/3798250openalex-snapshot
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
inferred← citeshttps://doi.org/10.1145/3807508openalex-snapshot
LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing
inferred← citeshttps://doi.org/10.1145/3808231openalex-snapshot
Selective Feature-Sensitive Coverage for Conformance Testing of Programming Languages
inferred← citeshttps://doi.org/10.1145/3808268openalex-snapshot
Semantic Reification: A New Paradigm for Random Program Generation
inferred← citeshttps://doi.org/10.1145/3808320openalex-snapshot
Enumerating Ill-Typed Programs for Testing Type Analyzers
inferred← citeshttps://doi.org/10.1145/3814942.3816133openalex-snapshot
Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top
inferred← citeshttps://doi.org/10.1145/3830418.3843907openalex-snapshot
Validating Rust Compilers with Trait-Type Constraint Graph
inferred← citeshttps://doi.org/10.1145/3832229openalex-snapshot
Repair-Driven Greybox Fuzzing
inferred← citeshttps://doi.org/10.1145/3832281openalex-snapshot
WITFuzz: Validity-Preserving Greybox Fuzzing for WebAssembly Interface Type Binding Generators
inferred← citeshttps://doi.org/10.1145/3832783.3834396openalex-snapshot
Finding Typing-Related Bugs in JVM Implementations
inferred← citeshttps://doi.org/10.1145/3832783.3834548openalex-snapshot
BanditFuzz: A Synergistic Differential Fuzzing Framework for Compilers
inferred← citeshttps://doi.org/10.1145/3837729.3839574openalex-snapshot
Typed Template Fuzzing
inferred← citeshttps://doi.org/10.1145/3837729.3839589openalex-snapshot
Understanding Correctness Failures in Compiler Optimization
inferred← citeshttps://doi.org/10.1145/3837729.3840482openalex-snapshot
Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases
inferred← citeshttps://doi.org/10.1145/3839454openalex-snapshot
Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses
inferred← citeshttps://doi.org/10.24963/ijcai.2023/542openalex-snapshot
Revisiting the Evaluation of Deep Learning-Based Compiler Testing
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25d16openalex-snapshot
Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing
inferred← citeshttps://doi.org/10.26599/tst.2024.9010023openalex-snapshot
Output Type Guided Random Test Case Generation for String Validation Routines
inferred← citeshttps://doi.org/10.31799/1684-8853-2022-6openalex-snapshot
inferred← citeshttps://doi.org/10.31799/1684-8853-2022-6-31-40openalex-snapshot
Backend Bug Finder — a platform for effective compiler fuzzing
inferred← citeshttps://doi.org/10.32388/efw1xzopenalex-snapshot
Finding Missed Code Size Optimizations in Compilers using LLMs
inferred← citeshttps://doi.org/10.32604/cmes.2023.043248openalex-snapshot
C-CORE: Clustering by Code Representation to Prioritize Test Cases in Compiler Testing
inferred← citeshttps://doi.org/10.32657/10356/172372openalex-snapshot
Building efficient and practical machine learning systems
inferred← citeshttps://doi.org/10.3390/app15115935openalex-snapshot
BoostPolyGlot: A Structured IR Generation-Based Fuzz Testing Framework for GCC Compiler Frontend
inferred← citeshttps://doi.org/10.3390/math13152459openalex-snapshot
A Comprehensive Approach to Rustc Optimization Vulnerability Detection in Industrial Control Systems
inferred← citeshttps://doi.org/10.5753/sblp.2024.3455openalex-snapshot
Towards Random Elixir Code Generation
inferred← citeshttps://doi.org/10.5753/sblp.2024.3462openalex-snapshot
Differential Testing using Random Well-Typed Haskell Programs
inferred← citeshttps://doi.org/10.5753/sblp.2025.12264openalex-snapshot
On the Practicality of LLM-Based Compiler Fuzzing
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.