Testing for parallel software system is very difficult, because the number of states and execution sequences expands significantly caused by parallel behaviors. In this paper, a test sequences ...