Revizor: testing black-box CPUs against speculation contracts.

Oleksii Oleksenko Christof Fetzer Boris Köpf Mark Silberstein

Published in: ASPLOS (2022)

Keyphrases

black box
white box
test cases
integration testing
white box testing
black boxes
supply chain
software testing
hybrid systems
rule extraction
state transition
test suite
test data
test set
case study
parallel processing
hidden markov models
high level