Showing results 1 to 4 of 4
Automated Unit Testing of Large Industrial Embedded Software Using Concolic Testing Kim, Yunho; Kim, Youil; Kim, Taeksu; Lee, Gunwoo; Jang, Yoonkyu; Kim, Moonzoo, 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.519 - 528, IEEE Computer Society and ACM SIGSFOT, 2013-11-14 |
Concolic Testing on Embedded Software - Case Studies on Mobile Platform Programs Kim, Yunho; Kim, Moonzoo; Jang, Yoonkyu, ACM SIGSOFT Foundation of Software Engineering Industrial track, ACM SIGSOFT Foundation of Software Engineering Industrial track, 2011-09-05 |
Industrial Application of Concolic Testing Approach: A Case Study on libexif by Using CREST-BV and KLEE Kim, Yunho; Kim, Moonzoo; Kim, Youngjoo; Jang, Yoonkyu, International Conference on Software Engineering, IEEE/ACM, 2012-06-07 |
Industrial Application of Concolic Testing on Embedded Software: Case Studies Kim, Moonzoo; Kim, Yunho; Jang, Yoonkyu, IEEE International Conference on Software Testing, Verification and Validation (ICST), IEEE, 2012-04-18 |
Discover