Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper).

Mark Utting Brae J. Webb Ian J. Hayes

Published in: CoRR (2022)

Keyphrases

general purpose
main contribution
search engine
real time
databases
neural network
information systems
decision trees
programming language
test data