Effective generation of test sequences for structural testing of concurrent programs | IEEE Conference Publication | IEEE Xplore