Generation of Feasible Test Sequences for EFSM Models

Ali Y. Duale, M. Ümit Uyar. Generation of Feasible Test Sequences for EFSM Models. In Hasan Ural, Robert L. Probert, Gregor von Bochmann, editors, Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13:::th::: International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. Volume 176 of IFIP Conference Proceedings, pages 91, Kluwer, 2000.

Possibly Related Publications

The following publications are possibly variants of this publication: