ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs.

Shangru Wu, Chunbai Yang, W. K. Chan

Browse the full QRS paper archive.