Publisher
Springer Berlin Heidelberg
Reference49 articles.
1. Alur, R., Courcoubetis, C., and Yannakakis, M.: Distinguishing Tests for Nondeterministic and Probabilistic Machines. In: Proceedings of the 27th ACM Symposiumon Theory of Computing (1995) 363–372
2. Bhattacharyya, A.: Checking Experiments in Sequential Machines. John Wiley & Sons (1989)
3. Bochmann, G. v., Das, A., Dssouli, R., Dubuc, M., Ghedamsi, A., and Luo, G.: Fault Models in Testing. In: Proceedings of IFIP TC6 Fourth International Workshop on Protocol Test Systems. North-Holland (1991) 17–30
4. Bochmann, G. v. and Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. In: Proceedings of ACM International Symposiumon Software Testing and Analysis. Seattle USA (1994) 109–123
5. Boroday, S. Yu.: Distinguishing tests for nondeterministic finite state machines. In: Proceedings of the 11th International Workshop on Testing of Communicating Systems (IWTCS’98). Russia (1998) 101–107
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献