Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection.

Jialin Yang, W. K. Chan

Browse the full COMPSAC paper archive.