1 |
P. Jorgensen et aI, 'Object-Oriented Integration Testing,' Comm. Of ACM, Vol.37, No.9, pp.30-38, 1994
DOI
ScienceOn
|
2 |
J. McGregor, T. Korson, 'Integrated ObjectOriented Testing and Development Process,' Comm. Of ACM, Vol. 37, No.9, pp.57-77 1994
DOI
ScienceOn
|
3 |
E. Weyuker, B. Jeng, 'Analyzing Partition Testing Strategies,' IEEE Transactions on Software Engineering, Vol. 17, No.7, pp.703-711, 1991
DOI
ScienceOn
|
4 |
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
|
5 |
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
|
6 |
G.J. Myers, 'The Art of Software Testing,' John Wiley & Sons, Inc., 2004
|
7 |
Stefan Jungmayr, Reviewing Software Artifacts for Testability, Presented at EuroSTAR'99, Barcelona, November 1999
|
8 |
P. Hsia, 'Formal Approach to Scenario Analysis,' IEEE Software, pp.33-41, 1993
|
9 |
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
|
10 |
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
|
11 |
Chun- Yu Chen, 'Constructing Usage-Based Testing On Object-Z Formal Specification Based Specification,' Ph.D. Dissertation Auburn University, 1999
|
12 |
Eun Man Choi, 'Use-Case Driven Test for ObjectOriented System,' Proceedings of the lASTED International Conference, ACTA Press, pp.164-169, August 2001
|
13 |
L. Lauterbach and W. Randall, 'Experimental evaluation of six test techniques, Proc. COMPASS'89, Gaitersburg, MD, pp.36-41, June 1989
|
14 |
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
DOI
ScienceOn
|
15 |
R. Hamlet, 'Theoretical Comparison of Testing Methods,' ACM Proc. Third Symposium on Testing, Analysis, and Verification, Key West, Florida, pp.28-37, December 1989
DOI
|
16 |
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
|
17 |
S. Ntafos, 'A Comparison of Some Structural Testing Strategies,' IEEE Transaction on Software Engineering, Vol. 14, No.6, pp.868-874, June 1988
DOI
ScienceOn
|
18 |
D. Wood, J. Reis, 'Use Case Derived Test Cases,' ST AREAST on Software Quality Engineering, Conf., 1999
|
19 |
최은만, 'OCL로 기술된 개체지향 설계 명세의 테스트 케이스 생성', 정보처리학회 논문지(D), Vol. 8-D, pp.843-852, December 2001
|
20 |
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
DOI
|
21 |
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
DOI
ScienceOn
|