Imagen de Portada

Effective Random Test Generation for Deep Learning Compilers

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ren, Luyao, Wang, ZiHeng, Xiong, Yingfei, Zhang, Li, Jiang, Guoyue, Xie, Tao
Formato:	Preprint
Publicado:	2023
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Validity-Preserving Delta Debugging via Generator Trace Reduction
por: Ren, Luyao, et al.
Publicado: (2024)

Optimization-Aware Test Generation for Deep Learning Compilers
por: Shen, Qingchao, et al.
Publicado: (2025)

Solsmith: Solidity Random Program Generator for Compiler Testing
por: Li, Lantian, et al.
Publicado: (2025)

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
por: Fang, Jian, et al.
Publicado: (2026)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
por: Huang, Zhechong, et al.
Publicado: (2026)

A Learning Method for Symbolic Systems Using Large Language Models
por: Fang, Jian, et al.
Publicado: (2026)

LLM-based Vulnerability Detection at Project Scale: An Empirical Study
por: Li, Fengjie, et al.
Publicado: (2026)

A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers
por: Xu, Zhihao, et al.
Publicado: (2024)

Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models
por: Tu, Haoxin, et al.
Publicado: (2023)

Line-level Semantic Structure Learning for Code Vulnerability Detection
por: Wang, Ziliang, et al.
Publicado: (2024)

Seed&Steer: Guiding Large Language Models with Compilable Prefix and Branch Signals for Unit Test Generation
por: Zhou, Shuaiyu, et al.
Publicado: (2025)

Skill-Adpative Imitation Learning for UI Test Reuse
por: Wu, Mengzhou, et al.
Publicado: (2024)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
por: Xiao, Yuan-An, et al.
Publicado: (2023)

Data-driven Test Generation for Fuzzing AI Compiler
por: Shen, Qingchao
Publicado: (2026)

Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
por: Georgescu, Calin, et al.
Publicado: (2024)

Interleaving Large Language Models for Compiler Testing
por: Ni, Yunbo, et al.
Publicado: (2025)

PTE: Axiomatic Semantics based Compiler Testing
por: Dong, Guoliang, et al.
Publicado: (2024)

HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
por: Jiang, Hanyun, et al.
Publicado: (2026)

GramTrans: A Better Code Representation Approach in Code Generation
por: Zhang, Zhao, et al.
Publicado: (2025)

On Reasoning-Centric LLM-based Automated Theorem Proving
por: Sun, Yican, et al.
Publicado: (2026)

Subgraph-Oriented Testing for Deep Learning Libraries
por: Xie, Xiaoyuan, et al.
Publicado: (2024)

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
por: Zhao, Yuwei, et al.
Publicado: (2025)

StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
por: Dou, Shihan, et al.
Publicado: (2024)

KTester: Leveraging Domain and Testing Knowledge for More Effective LLM-based Test Generation
por: Li, Anji, et al.
Publicado: (2025)

Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
por: Qin, Feiran, et al.
Publicado: (2025)

IDOL: Improved Different Optimization Levels Testing for Solidity Compilers
por: Li, Lantian, et al.
Publicado: (2025)

Condor: A Code Discriminator Integrating General Semantics with Code Details
por: Liang, Qingyuan, et al.
Publicado: (2024)

Towards an Oracle for Binary Decomposition Under Compilation Variance
por: Jia, Ang, et al.
Publicado: (2025)

M2CVD: Enhancing Vulnerability Semantic through Multi-Model Collaboration for Code Vulnerability Detection
por: Wang, Ziliang, et al.
Publicado: (2024)

Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability
por: Huang, Dong, et al.
Publicado: (2024)

Feature-Aware Test Generation for Deep Learning Models
por: Chen, Xingcheng, et al.
Publicado: (2026)

Rethinking Diversity in Deep Neural Network Testing
por: Wang, Zi, et al.
Publicado: (2023)

Coverage-Guided Testing for Deep Learning Models: A Comprehensive Survey
por: Guo, Hongjing, et al.
Publicado: (2025)

On the Effectiveness of Code Representation in Deep Learning-Based Automated Patch Correctness Assessment
por: Zhang, Quanjun, et al.
Publicado: (2026)

Deep Learning Library Testing: Definition, Methods and Challenges
por: Zhang, Xiaoyu, et al.
Publicado: (2024)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
por: Xiao, Yuan-An, et al.
Publicado: (2025)

ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
por: Cai, Yuandao, et al.
Publicado: (2026)

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
por: Zhou, Zitong, et al.
Publicado: (2025)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
por: Xiong, Yiheng, et al.
Publicado: (2026)

Learning to Solve and Verify: A Self-Play Framework for Code and Test Generation
por: Lin, Zi, et al.
Publicado: (2025)