Compiler Testing with Relaxed Memory Models.

Luke Geeson Lee Smith

Published in: CGO (2024)

Keyphrases

database
optimal solution
prior knowledge
model selection
statistical model
parameter estimation
computing power
memory usage
software testing
parametric models
mathematical models
process model
test cases
programming language
hidden markov models
search engine
genetic algorithm
real time