Cover Image

PTE: Axiomatic Semantics based Compiler Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dong, Guoliang, Sun, Jun, Schumi, Richard, Wang, Bo, Wang, Xinyu
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluating and Mitigating Linguistic Discrimination in Large Language Models
by: Dong, Guoliang, et al.
Published: (2024)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
by: Molinelli, Davide, et al.
Published: (2025)

Experimenting a New Programming Practice with LLMs
by: Zhang, Simiao, et al.
Published: (2024)

Effective Random Test Generation for Deep Learning Compilers
by: Ren, Luyao, et al.
Published: (2023)

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

Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports
by: Wang, Bo, et al.
Published: (2025)

Guided Debugging of Auto-Translated Code Using Differential Testing
by: Wu, Shengnan, et al.
Published: (2025)

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

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

Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation
by: Baradaran, Sara, et al.
Published: (2024)

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition
by: He, Xingbang, et al.
Published: (2026)

A Tale of Two DL Cities: When Library Tests Meet Compiler
by: Shen, Qingchao, et al.
Published: (2024)

Lares: LLM-driven Code Slice Semantic Search for Patch Presence Testing
by: Li, Siyuan, et al.
Published: (2025)

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

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

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

CAMP: Compiler and Allocator-based Heap Memory Protection
by: Lin, Zhenpeng, et al.
Published: (2024)

Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations
by: Wu, Jingwen, et al.
Published: (2025)

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

Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
by: Li, Qingyang, et al.
Published: (2025)

TestDecision: Sequential Test Suite Generation via Greedy Optimization and Reinforcement Learning
by: Wang, Guoqing, et al.
Published: (2026)

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

Clarifying Semantics of In-Context Examples for Unit Test Generation
by: Yang, Chen, et al.
Published: (2025)

GroupTuner: Efficient Group-Aware Compiler Auto-Tuning
by: Gao, Bingyu, et al.
Published: (2025)

SPOLRE: Semantic Preserving Object Layout Reconstruction for Image Captioning System Testing
by: Liu, Yi, et al.
Published: (2024)

Hallucination Detection for LLM-based Text-to-SQL Generation via Two-Stage Metamorphic Testing
by: Yang, Bo, et al.
Published: (2025)

MuMuTestUp: Mutation-based Multi-Agent Test Case Update
by: Tian, Dawei, et al.
Published: (2026)

DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
by: Suo, Chenyao, et al.
Published: (2025)

CompileAgent: Automated Real-World Repo-Level Compilation with Tool-Integrated LLM-based Agent System
by: Hu, Li, et al.
Published: (2025)

Structural Mutation Based Differential Testing for FPGA Logic Synthesis Compilers
by: Xu, Zhihao, et al.
Published: (2025)

MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems
by: Gao, Xinyu, et al.
Published: (2024)

Understanding Typing-Related Bugs in Solidity Compiler
by: Li, Lantian, et al.
Published: (2025)

Isolating Compiler Bugs through Compilation Steps Analysis
by: Liu, Yujie, et al.
Published: (2025)

Fuzzing MLIR Compilers with Custom Mutation Synthesis
by: Limpanukorn, Ben, et al.
Published: (2024)

A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems
by: Zhang, Ruihan, et al.
Published: (2025)

PS$^3$: Precise Patch Presence Test based on Semantic Symbolic Signature
by: Zhan, Qi, et al.
Published: (2023)

CooTest: An Automated Testing Approach for V2X Communication Systems
by: Guo, An, et al.
Published: (2024)

Synergy-Guided Compiler Auto-Tuning of Nested LLVM Pass Pipelines
by: Pan, Haolin, et al.
Published: (2025)

Detecting Semantic Conflicts with Unit Tests
by: Da Silva, Léuson, et al.
Published: (2023)

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