Sign in

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

Shangru WuChunbai YangW. K. Chan
Published in: QRS (2015)
Keyphrases