Design and implementation of test-case generation for concurrent programs | IEEE Conference Publication | IEEE Xplore