Peng Wu 0002 Huimin Lin Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. 727-746 2006 16 International Journal of Software Engineering and Knowledge Engineering 5 http://dx.doi.org/10.1142/S0218194006002999 db/journals/ijseke/ijseke16.html#WuL06