References
- J. Y. Seo, A. Y. Sung, B. J. Choi, and S. B. Kang, "Automating Embedded software Testing on an Emulated Target Board," Proc. of the Second International Workshop on Automation of Software Test, 20-26 May, 2007.
- S. Y. Jeong, Y. W. Chang, and C. J. Yoo, "Test Case Genration Technique Based on State Transition Model for Embedded System," Journal of Korean Institute of Information Technology, Vol.9, No.4, pp.11-21, 2011.
- M. R. Keyvanpour, H. Homayouni, and Hossein Shirazee, "Automatic Software Test Case Generation: An Analytical Classification Framework," International Journal of Software Engineering and Its Applications, Vol.6, No.4, Oct., 2012.
- T. Y. Chen, H. Leung, and I. K. Mak, "Adaptive random testing," in Proceedigns of the 9th Asian computaing Science Conference, volum 3321 of Lecture Notes in Computer Science, pp.320-329, 2004
- Kuo Chung Tai and Yu Lei, "A Test Generation Strategy for Pairwise Testing," IEEE Transactions on Software Engineering, Vol.28, No.1, pp.109-111, Jan., 2002. https://doi.org/10.1109/32.979992
- K. P. Chan, T. Y. Chen, and Dave Towey, "Restricted Random Testing," in Proceedings of the 7th European Conference on Software Quality Helsinki, Finland, Vol.2349/2002 of Lecture Notes in Computer Science, pp.321-330, Jun., 2002.
- M. Conrad, H. Dorr, I. Fey, and A. Yap, "Model-based Generation and Structured Representation of Test Scenarios," Workshop on Software-Embedded Systems Testing (WSEST), Gaithersburg, USA, Nov., 1999.
- P. S. Loo and W. K. Tsai, "Random Testing Revisited," Information and Software Technology, Vol.30, Iss.7, pp.402- 417, Sep., 1988 https://doi.org/10.1016/0950-5849(88)90037-7
- T. Y. Chen, F. C. Kuo, Huai Liu, and W. E. Wong, "Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing?" The Eighth International Conference on Quality Software, QSCI'08, pp.145-154, Aug., 2008.
- M. Grochtmann and K. Grimm, "Classification Trees for Partition Testing," Software Testing, Verification & Reliability, Vol.3, No.2, pp.63-82, Jun., 1993. https://doi.org/10.1002/stvr.4370030203
- J. H. Shin, K. H. Chung, and K. H. Choi, "Destructive Test of a BLDC Motor controller utilizing a Modified Classification Tree Method," KIPS Tr. Software and Data Eng., Vol.3, No.6, pp.201-214, piSSN: 2287-5905, Mar., 2014. https://doi.org/10.3745/KTSDE.2014.3.6.201
- P. M. Kruse and M. Luniak, "Automated test case generation using classification trees," Software Quality Professional Magazine, 2010.
- The International Engineering Consortium, Technical Report, "Specification and Description Language(SDL)."
- AGEDIS Consortium, Technical Report, "Model Based Test Generation Tools."
- A. Hartman and K. Nagin, "The AGEDIS Tools for Model Based Testing," Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp.129-132.
- Alexander Pretschner, "Model-Based Testing," Proceedings of the 27th Interantional Conference on Software Engineering, pp.723-822.
- H. S. Park, "Generating Structural Test Cases for MATLAB Stateflow Model Using Rapidly-exploring Random Tree," Ajou Univ, Engineering doctoral dissertation, 2014.
- M. Utting and B. Legeard, "Practical Model-Based Testing: A Tools Approach," Morgan kaufmann, 2007.
- K. J. Hayhurst, D. S. Veerhusen, J. J. Chilenski, and L. K. Rierson, "A Practical Tutorial on Modified Condition/Decision Coverage," NASA, 2001.
- Yu Lei and K. C. Tai, "In-Parameter-Order: A Test Generation Strategy for Pairwise Testing," High-Assurance Systems Engineering Symposium, Proceedigns. 3rd IEEE International, 1998.
- A. P. Mathur, "Foundations of Software Testing," Pearson Education, 2008.
- Junyeon Hwang, "Auto Test Script Generation Based on Checklist," Master Dissertation, Ajou University, Suwon, Korea, 2015.
- Joseph Schmuller, "Teach yourself UML in 24 Hours, 3/E," SAMS, 2004.
- Ivar Jacobson, "Object-Oriented Software Engineering: A Use-Case-Driven Approach," Addison-Wesley, 1992.
- lvar Jacobson, Kurt Bittner, and lan Spence, "Use Case Modeling," Addison-Wesley, 2002.
- Paul C. Jorgensen, "Software Testing: A Craftsman's Approach, 4/E," CRC Press, 2016.
- U. S. NRC, "Fault Tree Handbook (NUREG-0492)," US, 1981.
- Rick Kuhn, Raghu Kacker, Yu Lei, and Justin Hunter, "Combinatorial Software Testing," IEEE, 2009.