References
- D. Wood, J. Reis, 'Use Case Derived Test Cases,' ST AREAST on Software Quality Engineering, Conf., 1999
- 최은만, 'OCL로 기술된 개체지향 설계 명세의 테스트 케이스 생성', 정보처리학회 논문지(D), Vol. 8-D, pp.843-852, December 2001
- E.J. Weyuker, S.N. Weiss, D. Hamlet, 'Comparison of Program Test Strategies,' ACM Proc. Symposium on Testing, Analysis, and Verification, Key West, Florida, pp.1-10, October 1991 https://doi.org/10.1145/120807.120808
- V.R Basili, RW. Selby, 'Comparing the Effectiveness of Software Testing Strategies,' IEEE Transaction on Software Engineering, Vol.SE-l3, No.12, pp.1278-1296, December, 1987 https://doi.org/10.1109/TSE.1987.232881
- R. Hamlet, 'Theoretical Comparison of Testing Methods,' ACM Proc. Third Symposium on Testing, Analysis, and Verification, Key West, Florida, pp.28-37, December 1989 https://doi.org/10.1145/75308.75313
- L.A. Clarke, A. Podgurski, D.J. Richardson, S.J. Zeil, 'A Comparison of Data Flow Path Selection Criteria,' 8th IEEE International Conference on Software Engineering, pp.244-251, August 1895
- L. Lauterbach and W. Randall, 'Experimental evaluation of six test techniques, Proc. COMPASS'89, Gaitersburg, MD, pp.36-41, June 1989
- S. Ntafos, 'A Comparison of Some Structural Testing Strategies,' IEEE Transaction on Software Engineering, Vol. 14, No.6, pp.868-874, June 1988 https://doi.org/10.1109/32.6165
- A. Abcturazik, J. Offutt, 'Using UML Collaboration Diagrams for Static Checking and Test Generation.' The Third International Conference on the ?Unified Modeling Language (UML'00), Proc. pp.383-395, York, UK, October 2000
- Chun- Yu Chen, 'Constructing Usage-Based Testing On Object-Z Formal Specification Based Specification,' Ph.D. Dissertation Auburn University, 1999
- Eun Man Choi, 'Use-Case Driven Test for ObjectOriented System,' Proceedings of the lASTED International Conference, ACTA Press, pp.164-169, August 2001
- Y. G. Kim, H. S. Hong, D. H. Bae and S. D. Cha, 'Test cases generation from UML state diagrams,' IEE Proc., Vol. 146, No.4, pp.187-192, August 1999 https://doi.org/10.1049/ip-sen:19990602
- S. Ramaswamy, R. Neelakantan, 'Software Design and Testing Using Petri Nets: A Case Study Using a Distributed Simulation Software System,' 2002 Performance Metrics for Intelligent Systems, Natinal Institute of Standards and Technology, NIST Special Publications, August 2002
- R. Duke, P. King, G. Rose, G. Smith, 'The Objects- Z specification Language. Version 1,' Technical Report 91-1, Software Verification Research Center, Department of Computer Science, University of Queensland, Australia, May 1991
- G.J. Myers, 'The Art of Software Testing,' John Wiley & Sons, Inc., 2004
- Stefan Jungmayr, Reviewing Software Artifacts for Testability, Presented at EuroSTAR'99, Barcelona, November 1999
- P. Hsia, 'Formal Approach to Scenario Analysis,' IEEE Software, pp.33-41, 1993
- K. Koskimies, H, Mossenbok, 'Scene: Using Scenario Diagram and Active Text for Illustrating Object-Oriented Programs,' Proc. Of 18th International Conference. Software Engineering, pp.366-375, March 1996
- P. Jorgensen et aI, 'Object-Oriented Integration Testing,' Comm. Of ACM, Vol.37, No.9, pp.30-38, 1994 https://doi.org/10.1145/182987.182989
- J. McGregor, T. Korson, 'Integrated ObjectOriented Testing and Development Process,' Comm. Of ACM, Vol. 37, No.9, pp.57-77 1994 https://doi.org/10.1145/182987.184075
- E. Weyuker, B. Jeng, 'Analyzing Partition Testing Strategies,' IEEE Transactions on Software Engineering, Vol. 17, No.7, pp.703-711, 1991 https://doi.org/10.1109/32.83906