Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs.

Ana R. Cavalli Svetlana Prokopenko Nina Yevtushenko Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. 35- 2000 conf/pts/2000 TestCom db/conf/pts/testcom2000.html#CavalliPY00