QB or Not QB: An efficient execution verification tool for memory orderings (2004)

by G Gopalakrishnan, Y Yang, H Sivaraj
Venue:In CAV ’04