Author:
Petrenko Alexandre,Yevtushenko Nina,Huo Jia Le
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Bochmann, G. v., Petrenko, A.:Protocol Testing: Review of Methods and Relevance for Software Testing. In: The Proceedings of the ACM International Symposium on Software Testing and Analysis, ISSTA’94. USA (1994)
2. Lect Notes Comput Sci;E. Brinksma,2001
3. Lect Notes Comput Sci;R. J. Glabbeek van,1990
4. Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote Testing Can Be as Powerful as Local Testing. In: The Proceedings of the IFIP Joint International Conference, Methods for Protocol Engineering and Distributed Systems, FORTE XII/PSTV XIX. China (1999)
5. Lynch, N., Tuttle, M. R.: An Introduction to Input/Output Automata. In: CWI Quarterly, Vol. 2, Issue 3 (1989)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献