Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE. - Yunho Kim; Moonzoo Kim; Young Joo Kim; Yoonkyu Jang (ICSE, 2012)

Industrial Application of Concolic Testing on Embedded Software: Case Studies. - Moonzoo Kim; Yunho Kim; Yoonkyu Jang (ICST, 2012)

Automated unit testing of large industrial embedded software using concolic testing. - Yunho Kim; Youil Kim; Taeksu Kim; Gunwoo Lee; Yoonkyu Jang; Moonzoo Kim (ASE, 2013)

Concolic Testing Framework for Industrial Embedded Software. - Taeksu Kim; Jonghyun Park; Igor Kulida; Yoonkyu Jang (APSEC (2), 2014)