Interactive testing tool for parallel programs
暂无分享,去创建一个
[1] Henryk Krawczyk,et al. Object-oriented model of parallel programs , 1996, Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing.
[2] A. Jefferson Offutt,et al. Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..
[3] Douglas E. Comer,et al. Internetworking with TCP/IP. Vol.1: Principles, protocols, and architecture; Vol.2: Design, implementation, and internals , 2000 .
[4] Peter M. Maurer,et al. Generating test data with enhanced context-free grammars , 1990, IEEE Software.
[5] Joan M. Francioni,et al. Testing races in parallel programs with an OtOt strategy , 1994, ISSTA '94.
[6] Péter Kacsuk,et al. Software Engineering for Parallel Processing , 1994 .
[7] Bogdan Wiszniewski,et al. A Tool for Testing Communication Events in TCP/IP Environments , 1995, PARCO.
[8] Hélène Waeselynck,et al. STATEMATE applied to statistical software testing , 1993, ISSTA '93.
[9] Jeffrey J. P. Tsai,et al. A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging , 1990, IEEE Trans. Software Eng..
[10] Daniel Hoffman,et al. Automated Module Testing in Prolog , 1991, IEEE Trans. Software Eng..
[11] Michael J. Lutz. Testing tools (software) , 1990, IEEE Software.
[12] Bogdan Korel,et al. Automated Software Test Data Generation , 1990, IEEE Trans. Software Eng..
[13] Richard N. Taylor,et al. Structural Testing of Concurrent Programs , 1992, IEEE Trans. Software Eng..
[14] Richard H. Carver,et al. Debugging Concurrent Ada Programs by Deterministic Execution , 1991, IEEE Trans. Software Eng..