Test Architectures for Testing Distributed Systems
暂无分享,去创建一个
Gunther Chrobok-Diening | Peter Zimmerer | Andreas W. Ulrich | A. Ulrich | P. Zimmerer | G. Chrobok-Diening
[1] Alexandre Petrenko,et al. Using Partial-Orders for Detecting Faults in Concurrent Systems , 1998, IWTCS.
[2] Ina Schieferdecker,et al. Test Architectures for Distributed Systems: State of the Art and Beyond , 1998, IWTCS.
[3] Andreas Ulrich,et al. An approach to testing distributed software systems , 1995, PSTV.
[4] Andreas Ulrich. Testfallableitung und Testrealisierung in verteilten Systemen , 1998 .
[5] Hartmut König,et al. Specification-based Testing of Concurrent Systems , 1997, FORTE.
[6] Deepinder P. Sidhu,et al. Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..
[7] Sjouke Mauw,et al. Message Sequence Chart (MSC) , 1996 .
[8] Richard H. Carver,et al. Debugging Concurrent Ada Programs by Deterministic Execution , 1991, IEEE Trans. Software Eng..