TY  - JOUR
T1  - Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System
AU  - Park, Kunwoo 
AU  - Lee, Joohyun 
AU  - Song, Hyunggon 
AU  - Cho, Kyu Tae 
AU  - Kim, Yunho 
AU  - Kim, Moonzoo 
JO  - Journal of KIISE, JOK
PY  - 2019
DA  - 2019/1/14
DO  - 10.5626/JOK.2019.46.9.926
KW  - concolic testing
KW  - symbolic modeling
KW  - automatic test case generation
KW  - search strategy
KW  - logic
AB  - To improve SW quality of defense weapon system, automatic and systematic generation of test cases is necessary; however, that is not the case in the traditional practice of labor-intensive and manual SW testing. The paper applies concolic testing to the defense weapon system SW, effectively generates test cases that achieve high coverage, and discovers defects which contributes to the improvement in SW quality. Also, two methods are proposed using 4 search strategies in concolic testing and using LIA logic, to increase the efficiency of concolic testing for a program with high complexity. In addition, a symbolic modeling method is proposed as an example to extend concolic testing for practitioners.