Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection | IEEE Conference Publication | IEEE Xplore