Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.

Peng Wu 0002 Huimin Lin Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. 3-10 2005 conf/eh/2005 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.42 db/conf/qsic/qsic2005.html#WuL05