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

Shangru Wu, Chunbai Yang, W. K. Chan. ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs. In 2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015, Vancouver, BC, Canada, August 3-5, 2015. pages 272-281, IEEE, 2015. [doi]

Authors

Shangru Wu

This author has not been identified. Look up 'Shangru Wu' in Google

Chunbai Yang

This author has not been identified. Look up 'Chunbai Yang' in Google

W. K. Chan

This author has not been identified. Look up 'W. K. Chan' in Google