Architectures for Testing Distributed Systems
暂无分享,去创建一个
[1] Richard H. Carver,et al. Debugging Concurrent Ada Programs by Deterministic Execution , 1991, IEEE Trans. Software Eng..
[2] Alexandre Petrenko,et al. Using Partial-Orders for Detecting Faults in Concurrent Systems , 1998, IWTCS.
[3] Gang Luo,et al. Test generation with respect to distributed interfaces , 1994 .
[4] Hartmut König,et al. Specification-based Testing of Concurrent Systems , 1997, FORTE.
[5] Deepinder P. Sidhu,et al. Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..
[6] Shmuel Zaks,et al. Synchronizing Aysnchronous Bounded Delay Networks , 1987, WDAG.
[7] Ina Schieferdecker,et al. Test Architectures for Distributed Systems: State of the Art and Beyond , 1998, IWTCS.
[8] K. C. Tai,et al. Port-synchronizable test sequences for communication protocols , 1996 .
[9] Colin J. Fidge,et al. Logical time in distributed computing systems , 1991, Computer.
[10] Monika Heiner,et al. Design for testability: a step-wise approach to protocol testing , 1997 .
[11] David L. Mills,et al. Precision synchronization of computer network clocks , 1994, CCRV.
[12] Nina Yevtushenko,et al. Testing of communicating systems : proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98), August 31-September 2, 1998, Tomsk, Russia , 1998 .
[13] Andreas Ulrich,et al. An approach to testing distributed software systems , 1995, PSTV.
[14] Elie Najm,et al. Formal Description Techniques and Protocol Specification, Testing and Verification , 1998, IFIP — The International Federation for Information Processing.