PTE: Axiomatic Semantics based Compiler Testing.

Guoliang Dong Jun Sun Richard Schumi Bo Wang Xinyu Wang

Published in: CoRR (2024)

Keyphrases

programming language
general purpose
test cases
data sets
artificial intelligence
image processing
software systems