Youil Kim

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 1

Top Topics

Regression Testing

Embedded Software

Top Venues

Publications

Yeonhee Ryou, Sangwoo Joh, Joonmo Yang, Sujin Kim, Youil Kim
Code Understanding Linter to Detect Variable Misuse. ASE (2022)
Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, Moonzoo Kim
Automated unit testing of large industrial embedded software using concolic testing. ASE (2013)
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Choe
Filtering false alarms of buffer overflow analysis using SMT solvers. Inf. Softw. Technol. 52 (2) (2010)
Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han
A Static Bug Detector for Uninitialized Field References in Java Programs. IEICE Trans. Inf. Syst. (10) (2007)
Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han
A Path Sensitive Type System for Resource Usage Verification of C Like Languages. APLAS (2005)