Revizor: Testing Black-Box CPUs Against Speculation Contracts.

Oleksii Oleksenko Christof Fetzer Boris Köpf Mark Silberstein

Published in: IEEE Micro (2023)

Keyphrases

black box
white box
test cases
integration testing
white box testing
black boxes
software testing
open source
state transition
test data
test suite
unit testing
supply chain
intelligent systems
parallel processing
general purpose
databases