A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Test case generation for ATM protocols using high-level Petri net models
[chapter]
1996
Testing of Communicating Systems
This paper discusses an experience in computer-supported test case generation for ATM protocols, viz. the AAL3/4 protocol (ATM Adaptation Layer Type 3/4) and CLNAP (Connectionless Network Access Protocol). The test cases were generated by means of the test generation tool GeneTest based on protocol specifications as product nets, i.e. as a special kind of high-level Petri net.
doi:10.1007/978-0-387-35062-2_18
fatcat:nbsati4zmfhdfa36zrpclikpv4