Gregor Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Systems Specified as Partial Order Input/Output Automata. In Testcom/Fates 08, 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software, Volume LNCS 5047, Pages 169-183, Tokyo, June 2008.
Stefan Haar http://www.irisa.fr/distribcom
Claude Jard http://www.irisa.fr/distribcom
@InProceedings{BHJJTestcom08,
Author = {Bochmann, Gregor and Haar, Stefan and Jard, Claude and Jourdan, Guy-Vincent},
Title = {Testing Systems Specified as Partial Order Input/Output Automata},
BookTitle = {Testcom/Fates 08, 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software},
Volume = {LNCS 5047},
Pages = {169--183},
Address = {Tokyo},
Month = {June},
Year = {2008}
}
Get EndNote Reference (.ref)