Author:
Bosik Barry S.,Ümit Uyar M.
Reference46 articles.
1. A.V. Aho, A.T. Dahbura, D. Lee and M.U. Uyar, An optimization technique for protocol conformance test generation based on UIO sequences and Chinese Postman tours, in: ed. S. Aggarwal and K. Sabnani, ed. Protocol Specifications, Testing, and Verification, VIII (North Holland) 75–86.
2. A computer-aided design tool for protocol testing;Barbeau,1988
3. LOTOS specifications, their implementations and their tests;Brinksma,1986
4. A survey of formal methods;Bochmann,1983
5. TESDL: Experience with Generating Test Cases from DSL Specifications;Bromstrup,1989
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献