Testing a Formally Verified Compiler.

David Monniaux Léo Gourdin Sylvain Boulmé Olivier Lebeltel

Published in: TAP (2023)

Keyphrases

code generation
programming language
test cases
neural network
software systems
test generation
distributed memory machines
data sets
social networks
knowledge base
data structure
hidden markov models
highly optimized