A Path Sensitive Type System for Resource Usage Verification of C Like Languages. - Hyun-Goo Kang; Youil Kim; Taisook Han; Hwansoo Han (APLAS, 2005)

A Static Bug Detector for Uninitialized Field References in Java Programs. - Sunae Seo; Youil Kim; Hyun-Goo Kang; Taisook Han (IEICE Trans. Inf. Syst., 2007)

Filtering false alarms of buffer overflow analysis using SMT solvers. - Youil Kim; Jooyong Lee; Hwansoo Han; Kwang-Moo Choe (Inf. Softw. Technol., 2010)

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)

Code Understanding Linter to Detect Variable Misuse. - Yeonhee Ryou; Sangwoo Joh; Joonmo Yang; Sujin Kim; Youil Kim (ASE, 2022)