S. Haar, C. Jard, G.-V. Jourdan. Testing Input/Output Partial Order Automata. In Testcom/Fates 07, 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, Lecture Notes in Computer Science, Pages 171-185, June 2007.
Stefan Haar http://www.irisa.fr/distribcom
Claude Jard http://www.irisa.fr/distribcom
@InProceedings{IOPOATESTCOM07,
Author = {Haar, S. and Jard, C. and Jourdan, G.-V.},
Title = {Testing Input/Output Partial Order Automata},
BookTitle = {Testcom/Fates 07, 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software},
Number = {4581},
Pages = {171--185},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer},
Month = {June},
Year = {2007}
}
Get EndNote Reference (.ref)