A Static Bug Detector for Uninitialized Field References in Java Programs.

Sunae Seo Youil Kim Hyun-Goo Kang Taisook Han A Static Bug Detector for Uninitialized Field References in Java Programs. 1663-1671 2007 90-D IEICE Transactions 10 http://dx.doi.org/10.1093/ietisy/e90-d.10.1663 db/journals/ieicet/ieicet90d.html#SeoKKH07