Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
Open Access
- 12 April 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 3410-3422
Abstract
No abstract availableAll Related Versions
Funding Information
- National Natural Science Foundation of China (92582201)
- Research Grants Council, University Grants Committee (GRF #16206524)
This publication has 30 references indexed in Scilit:
- A Tale of Two DL Cities: When Library Tests Meet Compiler2025
- Syntax-Aware Mutation for Testing the Solidity Compiler2024
- MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure2023
- JATTACK: Java JIT Testing using Template Programs2023
- CsmithEdge: more effective compiler testing by handling undefined behaviour less conservativelyEmpirical Software Engineering, 2022
- CUDAsmith: A Fuzzer for CUDA Compilers2020
- Many-core compiler fuzzing2015
- Finding and understanding bugs in C compilers2011
- Type inference and strong static type checking for PromelaScience of Computer Programming, 2010
- Volatiles are miscompiled, and what to do about it2008