참고문헌
- R. H. Carver and K. C. Tai, 'Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs,' IEEE Trans. on Software Eng., Vol. 24, No. 6, pp. 471-490, June 1998 https://doi.org/10.1109/32.689403
- E. Rudolph, J. Grabowski, and P. Graubmann, 'Tutorial on Message Sequence Charts (MSC'96),' Tutorial of the FORTE/PSTV'96 conf., October 1996
- ITU-T Recommendation Z.120: Message Sequence Chart (MSC), April 1996
- G. H. Hwang, K. C. Tai, and T. L. Huang, 'Reachability Testing : An Approach to Testing Concurrent Software,' Proc. of Asia Pacific Software Eng. Conf. 1994, pp. 246-255, 1994 https://doi.org/10.1109/APSEC.1994.465255
- E. Itoh, Y. Kawaguchi, Z. Furukawa, and K. Ushijima, 'Ordered Sequence Testing Criteria for Concurrent Programs and the Support Tool,' Proc. of Asia Pacific Software Eng. Conf. 1994, pp. 236-245, 1994 https://doi.org/10.1109/APSEC.1994.465256
- I. S. Chung, H. S. Kim, H. S. Bae, and Y. R. Kwon, 'Testing of Concurrent Programs based on Message Sequence Charts,' Proc. of Int'l Symp. on Soft. Eng. for Parallel and Distributed Systems, pp. 72-82, 1999 https://doi.org/10.1109/PDSE.1999.779740
- H. AboElFotoh, O. Abou-Rabia, and H. Ural, 'A Test Generation Algorithm for Systems Modelled as Nondeterministic FSMs,' IEE Software Eng. Journal, pp. 184-188, July 1993
- G. v. Bochmann and A. Petrenko, 'Protocol Testing: Review of Methods and Relevance for Software Testing,' Proc. of Int'l Symp. on Software Testing and Analysis, pp. 109-124, 1994 https://doi.org/10.1145/186258.187153
- S. K. Damodaran-Kamal and J. M. Francioni, 'Testing Races in Parallel Programs with an OtOt Strategy,' Proc. of Int'l Symp. on Software Testing and Analysis, pp. 216-227, 1994 https://doi.org/10.1145/186258.187242
- P. V. Koppol and K. C. Tai, 'An Incremental Approach to Structural Testing of Concurrent Software,' Proc. of Int'l Symp. on Software Testing and Analysis, pp. 14-23, 1996 https://doi.org/10.1145/229000.226298
- R. N. Taylor, D. L. Levine, and C. D. Kelly, 'Structural Testing of Concurrent Programs,' IEEE Trans. on Soft. Eng., Vol. 8, No. 3, pp. 206-215, March 1992 https://doi.org/10.1109/32.126769
- I. S. Chung, H. S. Kim, H. S. Bae, and Y. R. Kwon, 'Testing of Concurrent Programs After Specification Changes,' Proc. of Int'l Conf. on Software Maintenance, pp. 199-208, 1999
- K. C. Tai and R. H. Carver, 'A Specification-Based Methodology for Testing Concurrent Programs,' Proc. of European Software Eng. Conf., pp. 154-172, 1995
- G. Rothermel and M. J. Harrold, 'Analyzing Regression Test Selection Techniques,' IEEE Trans. on Software Eng., Vol. 22, No. 8, pp. 529-551, August 1996 https://doi.org/10.1109/32.536955