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

Browse the full FORTE paper archive.