A test-case generation method for concurrent programs including task-types | IEEE Conference Publication | IEEE Xplore