Fast bug finding in lock-free data structures with cb-dpor. (2014)

by J van den Hooff
Venue:In Master thesis, Massachusetts Institute of Technology,