Tao Huang, Anthony Chung. An Effective Method for Executable Test Generation of EFSM Protocols. In Antony Satyadas, Sergiu M. Dascalu, editors, Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, July 9-11, 2003, San Francisco, CA, USA. pages 206-211, ISCA, 2003.
Abstract is missing.