Concurrent Software Testing And Metrics UsingTask Decomposition
暂无分享,去创建一个
J. F. Chen | T. K. Shih | C. M. Chung | Y. H. Wang | H. C. Keh | T. Shih | H. Keh | C. Chung | J. Chen | Y. H. Wang
[1] Thomas J. LeBlanc,et al. Debugging Parallel Programs with Instant Replay , 1987, IEEE Transactions on Computers.
[2] Richard N. Taylor,et al. Structural Testing of Concurrent Programs , 1992, IEEE Trans. Software Eng..
[3] Richard N. Taylor,et al. A general-purpose algorithm for analyzing concurrent programs , 1983, CACM.
[4] Melvin E. Conway,et al. Design of a separable transition-diagram compiler , 1963, CACM.
[5] Narain H. Gehani,et al. Ada: concurrent programming (2nd ed.) , 1991 .
[6] Joan M. Francioni,et al. Testing races in parallel programs with an OtOt strategy , 1994, ISSTA '94.
[7] Stewart N. Weiss. A formal framework for the study of concurrent program testing , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.
[8] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[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] Richard H. Carver,et al. Debugging Concurrent Ada Programs by Deterministic Execution , 1991, IEEE Trans. Software Eng..
[11] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.