Friendly Testing as a Conformance Relation-Reference-Cited by-同舟云学术

Friendly Testing as a Conformance Relation

Published:1997 Issue: Volume: Page:283-298
ISSN:
Container-title:Formal Description Techniques and Protocol Specification, Testing and Verification
language:
Short-container-title:

Author:

Frutos-Escrig David,Llana-Díaz Luis,Núñez Manuel

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35271-8_18

Reference11 articles.

1. Brinksma, E [ 1988 ], A theory for the derivation of tests, in ‘Protocol Specification, Testing and Verification VIII’, pp. 63–74.

2. Brinksma, E., Scollo, G. and Steenbergen, C. [ 1986 ], LOTOS specifications, their implementations and their tests, in ‘Protocol Specification, Testing and Verification VI’, pp. 349–360.

3. Cavalli, A., Favreau, J. and Phalippou, M. [ 1996 ], ‘Standardization of formal methods in conformance testing of communication protocols’, Computer Networks and ISDN Systems 29, 3–14.

4. Frutos-Escrig, D., Llana-Diaz, L. and Núíiez, M. [1997], Introducing friendly testing, Technical Report DIA 53/97, Dept. Informatica y Automatica. Universidad Complutense de Madrid.

5. de Nicola, R. and Hennessy, M. [1984], Testing equivalences for processes’, Theoretical Computer Science 34, 83–133.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Preserving Contexts for Soft Conformance Relation;Formal Approaches to Software Testing;2005

2. An Overview of Probabilistic Process Algebras and Their Equivalences;Lecture Notes in Computer Science;2004

3. Encoding PAMR into (Timed) EFSMs;Formal Techniques for Networked and Distributed Sytems — FORTE 2002;2002

4. Fair Testing Through Probabilistic Testing;IFIP Advances in Information and Communication Technology;1999

5. An invitation to friendly testing;Journal of Computer Science and Technology;1998-11