Q. M. Tan, Alexandre Petrenko. Test Generation for Specifications Modeled by Input/Output Automata. In Alexandre Petrenko, Nina Yevtushenko, editors, Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia. Volume 131 of IFIP Conference Proceedings, pages 83-100, Kluwer, 1998.
@inproceedings{TanP98,
title = {Test Generation for Specifications Modeled by Input/Output Automata},
author = {Q. M. Tan and Alexandre Petrenko},
year = {1998},
tags = {testing},
researchr = {https://researchr.org/publication/TanP98},
cites = {0},
citedby = {0},
pages = {83-100},
booktitle = {Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia},
editor = {Alexandre Petrenko and Nina Yevtushenko},
volume = {131},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-412-84430-3},
}