共 9 条
[1]
Automatic test case generation using unified modeling language (UML)state diagrams. Samuel P,Mall R,Bothra A K. IET software . 2008
[2]
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models. SantiagoV,Vijaykumar N L,Guimaraes D. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop . 2008
[3]
Automated-Generating Test Case Using UML Statechart Diagrams. Supaporn Kansomkeat,Wanchai Rivepibloon. Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology . 2003
[4]
Generating Test Data From State-based Specifications. Jeff Offutt,Shaoying Liu,Aynur Abdurazik,Paul Ammann. The Journal of Software Testing, Verification and Reliability . 2003
[5]
Unified modeling language specification,Version 2.0. OMG. http://www.omg.org . 2005
[6]
Evolutionary testing of state-based programs. McMinn P,Holcombe M. Proceedings of the 2005 conference on Genetic and evolutionary computation . 2005
[7]
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. Liu Shaoying,Nakajima S. Secure Software Integration and Reliability Improvement (SSIRI),2010 Fourth International Conference . 2010
[8]
Test Cases Generation from UML State Diagrams. Kim YG, Hong HS, Bae DH, et al. IEE Proceedings Software . 1999
[9]
Criteria for Generating Specification-based Tests. Jeff Offutt,Yiwei Xiong,Shaoying Liu. the Fifth IEEE International Conference on Engineering of Complex Computer Systems( ICECCS‘99) . 1999