Test Suite Generation from a FSM with a Given Type of Implementation Errors

Alexandre Petrenko, Nina Yevtushenko. Test Suite Generation from a FSM with a Given Type of Implementation Errors. In Richard J. Linn Jr., M. Ümit Uyar, editors, Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992. Volume C-8 of IFIP Transactions, pages 229-243, North-Holland, 1992.

Authors

Alexandre Petrenko

This author has not been identified. Look up 'Alexandre Petrenko' in Google

Nina Yevtushenko

This author has not been identified. Look up 'Nina Yevtushenko' in Google