Design for testability: a step-wise approach to protocol testing-Reference-Cited by-同舟云学术

Design for testability: a step-wise approach to protocol testing

Published:1997 Issue: Volume: Page:125-140
ISSN:
Container-title:Testing of Communicating Systems
language:
Short-container-title:

Author:

König Hartmut,Ulrich Andreas,Heiner Monika

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35198-8_9

Reference23 articles.

1. Chow, T. S.: Testing Software Design Modeled by Finite-State Machines; IEEE Trans. on Software Engineering (1978) 3, 178–187.

2. Clark, D. D.; Tennenhouse, D. L.: Architectural Considerations for a New Generation of Protocols; Proc. ACM SIGCOMM, 1990, 200–208.

3. Dssouli, R.; Fournier, R.: Communication Software Testability; In Davidson, I.; Litwack, W. (eds:): Protocol Test Systems III. North Holland, 1991, pp. 45–55.

4. Dssouli, R.; Karoui, K., Petrenko, A.; Rafiq, O.: Towards testable communication software; Proc. IWPTS’95, Paris, 1995, pp. 239–255.

5. Guerrouat, A.; König, H.; Ulrich, A.: SELEXPERT–A knowledge-based tool for test case selection; In Formal Description Techniques VIII, ChapmanandHall, 1996, pp. 313–328

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

1. Human-Centered Design for Older Users: A Design Methodology for the Development of Smart Devices and Systems Related to Health Care;Internet of Things for Human-Centered Design;2022

2. Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study;FME 2002:Formal Methods—Getting IT Right;2002

3. Architectures for Testing Distributed Systems;IFIP Advances in Information and Communication Technology;1999