Microarchitectural Online Testing for Failure Detection in Memory Order Buffers | Publicación