tr-smc-byu-0111:efficient-testing-of-concurrent-programs-with-abstraction-guided-symbolic-execution