Quiescence Management Improves Interoperability Testing-Reference-Cited by-同舟云学术

Quiescence Management Improves Interoperability Testing

Published:2005 Issue: Volume: Page:365-379
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Desmoulin Alexandra,Viho César

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11430230_25

Reference13 articles.

1. ISO. Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework - Parts 1-7. In: International Standard ISO/IEC 9646/1-7 (1992)

2. Jéron, T.: Le test de conformité: état de l’art. Rapport pour l’AEE (Architecture Electronique Embarquée) (2001)

3. Brinksma, E., Alderden, R., Langerak, J., Van de Lagemaat, R., Tretmans, J.: A Formal Approach to Conformance Testing. In: De Meer, J., Mackert, L., Effelsberg, W. (eds.) Second International Workshop on Protocol Test Systems, pp. 349–363. North Holland, Amsterdam (1990)

4. IFIP Transactions;L. Verhaard,1993

5. Barbin, S., Tanguy, L., Viho, C.: Towards a formal framework for interoperability testing. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Cheju Island, Korea, Août 2001, pp. 53–68 (2001)

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

1. Formalizing interoperability for test case generation purpose;International Journal on Software Tools for Technology Transfer;2009-03-24

2. A formal method to real-time protocol interoperability testing;Science in China Series F: Information Sciences;2008-10-16

3. A New Method for Interoperability Test Generation;Testing of Software and Communicating Systems;2007

4. Compositional Testing of Communication Systems;Lecture Notes in Computer Science;2006

5. Automatic Interoperability Test Case Generation Based on Formal Definitions;Formal Methods for Industrial Critical Systems