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.

Abstract

Abstract is missing.