References
- Computer Network and ISDN Systems v.14 Conformance testing for OSI protocols Linn, R.J.
- Computer Network and ISDN Systems v.25 On tools supporting the use of formal description technique in protocol development Chanson, Samuel T.(et al.)
- Reseaux et Informatique Repartie v.1 no.1 Le test de conformite des protocols Rafiq, O.
- Information processing systems-open system interconnection-OSI conformance testing methodology and framework, IS 9646 ISO
- Formal methods for conformance testing results and perspectives, Protocol Test Systems VI Cavalii, Ana R.;Favreau, J.P.;Phalippou, M.
- IEEE Trans. on Computer v.40 no.4 A well defined Estelle specification for the automatic test generation Lee, Do Y.;Lee, Jai Y.
- Proc. FORTE'93 Improving conformance testing for LOTOS Cavalli, A.;Kim, S.;Maigron, P.
- Computer Networks and ISDN Systems v.28 no.12 Testing methods for SDL systems Cavalli, A.;Chin, Byoung-Moon;Chon Kil-Nam
- IEEE INFOCOM'93 A unified approach to protocol test sequence generation Chanson, Samuel T.;Zhu, Jin-Jong
- Computer Networks and ISDN Systems v.15 no.4 A protocol test generation procedure Sabnani, K.K.;Dahbura, A.T.
- A theory for the derivation of tests, Protocol specification Testing and Verification, Volume VIII Brinksma, E.
- Proc. of the 11th Symposium on Protocol Specification, Testing Specification, Testing and Verification A framework for test selection Brinksma, E.;Tretmans, J.;Verhaard, L.
- Proc. 2nd Int, Conf. on Formal Description Techniques, FORTE'89 Test case derivation from lotos specification Tretmans, J.
- IFIP Transactions Protocol Test Systems VI Conformance relations and test derivation Petrenko, A.;Bochmann, V. G.;Dssouli, R.
- IEEE Trans. on Communications v.39 no.11 An optimization technique for protocol conformance test generation based on UIO sequence and rural Chinese postman tours Aho, A.C.(et al.)
- Proc. IEEE INFOCOM'88 Fault converage of a protocol test methods Sidhu, D.;Leung, T.
- ITC-CSCC'96 Communication protocol conformance testing Choe, Young-Han;Kim, Sung-Un;Chin, Byoung-Moon
- Concurrency and automate on inflnite sequence;Theoretical Computer Science;Lecture Notes in Computer Science, vol. 104 Park, D.;Peter Deussen(Ed.)
- Communication and Concurrency Milner, R.
- Communicating Sequentical Processes Hoare, C.A.R.
- Switching and Finite Automate Theory Kohavi, Z.
- SIGCOM'89 Symposium:Communication Architecture and Protocol in Computer Comm. Review v.19 no.4 An improved protocol test generation procedure based on UIOv Chan, W.Y.L.;Vuong, S.T.;Ito, M.R.
- Proc. of PSTV'89 Protocol conformance testing using multiple UIO sequences Shen, Y.N.(et al.)
- IEEE Trans. on Software Eng. v.Se-17 no.6 Test selection based on finite state models Fujiwara, S.(et al.)
- Trans. of the Korea Information Processing Society v.4 no.5 Strong connectivety decision method using graphs rewriting system in conformance testing Rhee, J.;Kim, S.;Koo, Y.
- Data Structures and Network Algorithms Tarjan, R.E.
- Mathematical Programming v.5 Matching Euler tours and the Chinese posman's tour Edmons, J.;Johnson, E.L.
- The Design and Analysis of Computer Algorithms Aho, A.V.;Hopcroft, J.E.;Ullman, J.D.
- Proc. of Twelfth Int'l Conf. on Computer Communications Test generation from SDL and I/OFSMs Chin, Byoung-Moon;Cavalli, A.;Macavei, T
- User-Network Interface (UNI) Layer 3 Specification for Basic Call/Connection Control Q.2931 ITU-T