TY  - RPRT
TI  - PTE: Axiomatic Semantics based Compiler Testing
AU  - Guoliang Dong
AU  - Jun Sun
AU  - Richard Schumi
AU  - Bo Wang
AU  - Xinyu Wang
PY  - 2024
UR  - https://arxiv.org/abs/2401.01036
ID  - 2401.01036
ER  -