참고문헌
- ISO, ISO 26262-6:2011 Road vehicles - Functional safety - Part 6: Product development at the software level, 2011.
- RTCA, RTCA/DO-178C Software Considerations in Airborne Systems and Equipment Certification, RTCA, 2011 .
- 방위사업청, 무기체계 내장형 소프트웨어 획득 및 관리 실무 지침서, 방위사업청, 2011.
- Zander, J., Scheiferdecker, I. and Mosterman P. J., Model-based Testing for Embedded Systems, CRC Press, 2012.
- Utting, M. and Legeard, B., Practical Model-based Testing: A Tools Approach, Morgan Kaufmann, 2007.
- Poole, J. D., "Model-driven Architecture: Vision, Standards and Emerging Technologies," Workshop on Metamodeling and Adaptive Object Models, ECOOP. 2001.
- Jones, C. B., Systematic Software Development Using VMD, Prentice-Hall, 1990.
- ISO/IEC 13568, Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics, ISO/IEC, 2002.
- Warmer, J. and Kleppe, A., The Object Constraint Language: Getting Your Models Ready for MDA, Addison-Wesley, 2003.
- Whittle, J. and Jayaraman, P. K., "Generating Hierarchical State Machines From Use Case Charts," Requirements Engineering, 14th IEEE International Conference. IEEE, 2006
- 배정호, 채흥석, "계약 기반 정형 명세로부터 이해도 높은 상태 기계 자동 구축 기법," 정보과학회논문지: 소프트웨어 및 응용, 제39권 제9호, 2012.9, 734-749.
- Mayerhofer, T., "Testing and Debugging UML Models Based on fUML," Software Engineering (lCSE), 2012 34th International Conference on. IEEE, 2012.
- Clarke, E. M., Grumberg, O. and Peled, D., Model Checking. MIT Press, 1999.
- Freedman, R.S., "Testability of Software Components," IEEE Trans. Software Eng., Vol. 17, No.6, pp.553-564, 1991 . https://doi.org/10.1109/32.87281
- Binder, R. V., "Testability in Object-Oriented Systems," ACM Comm., Vol.37, No.9, pp.87-101, 1994.
- 배정호, 채흥석, "제어 용이성 향상을 위한 상태 머신변환 기법," 정보과학회논문지: 소프트웨어 및 응용, 제40권 제11호, pp. 645-656, 2013.
- Pargas, R. P., Harrold, M. J., and Peck, R. R. Test-data Generation Using Genetic Algorithms, Software Testing, Verification and Reliability, Vol. 9, No. 4, pp. 263-282, 1999. https://doi.org/10.1002/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y
- Moura, L. and Bjorner, N., "Z3: An Efficient SMT solver," In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, 2008.
- Hong H., Lee, I., Sokolsky, O., and Cha, S., "Automatic Test Generation From Statecharts Using Model Checking," Workshop on Formal Approaches to Testing of Software, 2001.
- 윤영동, 배정호, 채흥석, "코드 커버리지 향상을 위한 상태 기계 변환 방법," 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, pp. 530-532, 2013.