A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines.

Deukyoon Kang Sungwon Kang Myungchul Kim Sangjo Yoo A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. 267-282 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#KangKKY97