ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs | IEEE Conference Publication | IEEE Xplore