1 |
Sunwoo Kim, John A. Clark, and John A. Mcdermid, "Class Mutation: Mutation Testing for Object-oriented Programs," In Proc. Net. ObjectDays. Erfurt, Germany: Net. Objects, pp.9-12, 2000.
|
2 |
J. Kim, S. Jeong, I. Hwang, H. Cho, D. Kim, and Y. J. Jang, "M&S Verification, Validation and Accreditation Research Direction Considering the Characteristics of Defense M&S," Journal of Korean Institute of Industrial Engineers, Vol.39, No.6, pp.486-497, 2013.
DOI
|
3 |
Kyeongyoun Kwon, Joonseok Joo, Taesik Kim, Jinwoo Oh, and Jihyun Baek, "A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process," Journal of KIISE, Vol.42, No.7, pp.860-867, 2015.
DOI
|
4 |
Weapon System Software Development and Management Manual, "Defense Acquisition Program Administration Manual No.2017-8," 2017.
|
5 |
Jihyun Park and Byoungju Choi, "Analysis on Dynamic Software Defects for Increasing Weapon System Reliability," Journal of KIPS Tr. Software and Data Eng., Vol.7, No.7, pp. 249-258, 2018.
|
6 |
Motor Industry Software Reliability Association. MISRA C 2012: Guidelines for the Use of the C Language in Critical Systems: March 2013. Motor Industry Research Association, 2013.
|
7 |
S. N. Cant, D. R. Jeffery, and B. Henderson-Sellers, "A Conceptual Model of Cognitive Complexity of Elements of the Programming Process," Information and Software Technology, Vol.37, No.7, pp.351-362, 1995.
DOI
|
8 |
Jooyoung Seo, Byoungju Choi, and Suengwan Yang, "A Profiling Merhod by PCB Hooking and its Application for Memory Fault Detection in Embedded System Operational Test," Journal of Information and Software Technology, Vol. 53, No.1, pp.106-117, Jan. 2011.
DOI
|
9 |
Jooyoung Seo, Byoungju Choi, and Sihyun Lee, "Software Generated Device Exception for more Intensive Devicerelated Software Testing: An Industrial Field Study," Journal of Systems and Software, Vol.86, No.12, pp. 3193-3212, Dec. 2013.
DOI
|
10 |
F. Wu, J. Nanavati, M. Harman, Y. Jia, and J. Krinke, "Memory Mutation Testing," Information and Software Technology, Vol.81, pp.97-111, 2017.
DOI
|
11 |
Alper Sen, "Mutation Operators for Concurrent SystemC Designs," in Microprocessor Test and Verification (MTV), 10th International Workshop on, pp.27-31, Dec. 2009.
|
12 |
Hossain Shahriar and Mohammad Zulkernine, "Mutationbased Testing of Buffer Overflow Vulnerabilities, Computer Software and Applications," (COMSAC'08) 32nd Annual IEEE International, pp.979-984. 2008.
|
13 |
Markus Kusano and Chao Wang, "CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications," in Proceeding of the 28th IEEE/ACM International Conference on Automated Software Engineering, pp.722-725, 2013.
|