Model-based testing of concurrent programs with predicate sequencing constraints | IEEE Conference Publication | IEEE Xplore