과제정보
연구 과제 주관 기관 : 한국연구재단
참고문헌
- G. Booch, J. Rumbaugh and I. Jacobson, The unified modeling language(UML)., Rational Software Corporation, 1998.
- L. J. Peterson, Petri net theory and the modeling of systems., PRENTICE-HALL, INC., 1981.
- D. Harel, "Statecharts: A visual formalism for complex systems", in Science of computer programming, 1987.
- M. Shirole, A. Suthar and R. Kumar, "Generation of Improved Test Cases from UML State Diagram Using Genetic Algorithm", in ISEC, Thiruvananthapuram, Kerala, India, 2011.
- R. Lefticaru and F. Ipate, "Automatic State-Based Test Generation Using Genetic Algorithms", in Ninth International Symposium on Symbolic and Numeric Algotirhms for Scientific Computing, 2008.
- J. H. Holland, Adaptation in natural and artificial systems: an introductory analysis with applications to biology, control and artificial intelligence., MIT press, 1992.
- P. Samuel, R. Mall and A. K. Bothra, "Automatic test case generation using unified modeling language(UML) state diagrams", in IET Software, 2008.
- R. Swain, V. Panthi, P. K. Behera and D. P. Mohapatra, "Automatic Test case Generation From UML State Chart Diagram", International Journal of Computer Applications, vol. 42, no. 7, pp. 26-36, 2012.
- C. Doungsa-ard, K. Dahal, A. Hossain and T. Suwannasart, "Test Data Generation from UML State Machine Diagrams using GAs", in ICSEA, 2007.
- S. Kansomkeat and W. Rivepiboon, "Automated-Generating Test case Using UML Statechart Diagrams", in SAICSIT, 2003.
- K. T. Cheng and A. S. Krishnakumar, "Automatic functional test generation using the extended finite state machine model", in Proceedings of the 30th international Design Automation Conference. ACM, 1993.
- H. Hong, Y. Kwon and S. Cha, "Testing of object oriented program based on Finite State Machines", in Second Asia-Pacific Software Engineering Conference, 1995.
- J. N. Tracey, "A search based automatic test data generation framework for safety critical software", in Ph.D. thesis, University of York, 2000.