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.
@inproceedings{PetrenkoY92, title = {Test Suite Generation from a FSM with a Given Type of Implementation Errors}, author = {Alexandre Petrenko and Nina Yevtushenko}, year = {1992}, tags = {testing}, researchr = {https://researchr.org/publication/PetrenkoY92}, cites = {0}, citedby = {0}, pages = {229-243}, booktitle = {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}, editor = {Richard J. Linn Jr. and M. Ümit Uyar}, volume = {C-8}, series = {IFIP Transactions}, publisher = {North-Holland}, isbn = {0-444-89874-3}, }