Showing results 1 to 2 of 2
A Static Bug Detector for Object Initialization Problem in Java Programs Kang, Hyun-Goo; Kim, Youil; Seo, Sunae; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.7 - 12, 2005-06-01 |
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 |
Discover