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

by G Gopalakrishnan, Y Yang, H Sivaraj
Venue:In In Computer-Aided Verification (CAV), LNCS 3114