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.

Authors

Ali Y. Duale

This author has not been identified. Look up 'Ali Y. Duale' in Google

M. Ümit Uyar

This author has not been identified. Look up 'M. Ümit Uyar' in Google