Subject
General Computer Science,Theoretical Computer Science
Reference49 articles.
1. A test generation algorithm for protocols modeled as non-deterministic FSMs;AboElFotoh;The Software Engineering Journal,1993
2. An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours;Aho,1988
3. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours;Aho;IEEE Transactions on Communications,1991
4. R. Alur, C. Courcoubetis, M. Yannakakis, Distinguishing tests for nondeterministic and probabilistic machines, in: 27th ACM Symposium on Theory of Computing, 1995, pp. 363–372.
5. Towards a tool environment for model-based testing with AsmL;Barnett,2003
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Implementation Relations for Distributed Testing;Lecture Notes in Computer Science;2023
2. An Experimental Study for Complete-IOCO Theory;Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing;2020-10-20
3. Introducing complexity to formal testing;Journal of Logical and Algebraic Methods in Programming;2020-02
4. Clustering of Web Application and Testing of Asynchronous Communication;International Journal of Ambient Computing and Intelligence;2019-07
5. Passive testing with asynchronous communications and timestamps;Distributed Computing;2017-08-10