On fault coverage of tests for finite state specifications

Computer Networks

Volumn 29, Issue 1, 1996, Pages 81-106

  Petrenko, A ^a   Bochmann, G V ^a   Yao, M ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

Communication protocols; Conformance testing; Formal description techniques; Testing theory

Indexed keywords

EID: 0002289637     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(96)00019-0     Document Type: Article

References (3)

1. D. Rayner, "OSI conformance testing", Computer Network and ISDN Systems, Vol. 14, No. 1, 1987, pp. 79-98.
2. J. Grabowski, D. Hogrefe, and R. Nahm, "Test case generation with test purpose specification by MSGs", Proc. 6th IFIP WG 6.1 Internat. Conf. on Formal Description Techniques, FORTE'93, pp. 253-265.
3. M. Phalippou and R. Groz, "Evaluation of an empirical approach for computer-aided test case generation". In: I. Davidson and D.W. Litwack, Eds., Protocol Test Systems, 111 (Proc. IFIP TC6 Third Internat. Workshop on Protocol Test Systems, 1990), North-Holland, Amsterdam, 1991, pp. 131-147.