An approach for testing asynchronous communicating systems-Reference-Cited by-同舟云学术

An approach for testing asynchronous communicating systems

Published:1996 Issue: Volume: Page:141-155
ISSN:
Container-title:Testing of Communicating Systems
language:
Short-container-title:

Author:

Kim Myungchul,Kang Sungwon,Shin Jaehwi,Chanson Samuel T.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35062-2_11

Reference21 articles.

1. Arakawa, N. and Soncoka, T. (1991) “A Test Case Generation Method for Concurrent Programs,” Proceedings of the Int’l Workshop on Protocol Test Systems.

2. Cavalli, A., Kim, S. U., and Maigron, P. (1993) “Improving Conformance Testing for LOTOS,” pp. 371–386, Sixth Int’l Conference on Formal Description Techniques.

3. Charron-Bost, B. (1989) “Combinatories and Geometry of Consistent Cuts: Application to Concurrency Theory,” The 3rd Int’l Workshop on Distributed Algorithms, LNCS 392, Springer-Verlag, pp. 45–56.

4. Fidge, C. (1991) “Logical Time in Distributed Computing Systems,” IEEE Computer, pp. 28–33.

5. ISO IS 9646 (1994) OSI Conformance Testing Methodology and Framework.

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

1. Principles of Distributed Test Synthesis Based on True-Concurrency Models;IFIP Advances in Information and Communication Technology;2002

2. An approach to concurrent TTCN test generation;Journal of Computer Science and Technology;1999-11

3. Incremental Test Case Generation for Distributed Object-Oriented Systems;Kommunikation in Verteilten Systemen (KiVS);1999

4. An enhanced model for testing asynchronous communicating systems;IFIP Advances in Information and Communication Technology;1999

5. A Framework for Distributed Object-Oriented Testing;Formal Description Techniques and Protocol Specification, Testing and Verification;1997