Youil KIM


A Static Bug Detector for Uninitialized Field References in Java Programs
Sunae SEO Youil KIM Hyun-Goo KANG Taisook HAN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/10/01
Vol. E90-D  No. 10  pp. 1663-1671
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
Java object initializationsoftware verificationprogram analysissafety
 Summary | Full Text:PDF(278KB)