Inproceedings,

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

, , , and .
FORTE, volume 107 of IFIP Conference Proceedings, page 267-282. Chapman & Hall, (1997)

Meta data

Tags

Users

  • @dblp

Comments and Reviews