Test Case Generation for ATM Protocols Using High-Level Petri Net ModelsR. Bechtold,G. Gattung,O. Henniger,C. PauleTesting of Communicating Systems(1996)引用 1|浏览6关键词ATM protocol,test case generationAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要