Youil Kim

According to our database, Youil Kim authored at least 5 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Code Understanding Linter to Detect Variable Misuse.

Yeonhee Ryou, Sangwoo Joh, Joonmo Yang, Sujin Kim, Youil Kim

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2013

Automated unit testing of large industrial embedded software using concolic testing.

Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, Moonzoo Kim

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2010

Filtering false alarms of buffer overflow analysis using SMT solvers.

Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Choe

Inf. Softw. Technol., 2010

2007

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

2005

A Path Sensitive Type System for Resource Usage Verification of C Like Languages.

Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005