论文信息 - Robustness Testing for Components Based on State Machine Model: Robustness Testing for Components Based on State Machine Model - 字舞流文

Robustness Testing for Components Based on State Machine Model: Robustness Testing for Components Based on State Machine Model

Linzhang Wang | Lei Bu | Xuan-Dong Li

[1] Jifeng He,et al. A Theory of Reactive Components , 2006, FACS.

[2] Wei Xu,et al. UML Activity Diagram-Based Automatic Test Case Generation For Java Programs , 2009, Comput. J..

[3] Heinrich Hußmann,et al. Modular architecture for a toolset supporting OCL , 2002, Sci. Comput. Program..

[4] A. Jefferson Offutt,et al. Test Sequence Generation For Integration Testing Of Component Software , 2009, Comput. J..

[5] Yannis Smaragdakis,et al. JCrasher: an automatic robustness tester for Java , 2004, Softw. Pract. Exp..

[6] Barton P. Miller,et al. An empirical study of the reliability of UNIX utilities , 1990, Commun. ACM.

[7] Aamer Nadeem,et al. A state-based approach to integration testing based on UML models , 2007, Inf. Softw. Technol..

[8] Bin Lei,et al. State Based Robustness Testing for Components , 2010, Electron. Notes Theor. Comput. Sci..