Thi Viet Nga Nguyen François Irigoin Corinne Ancourt Fabien Coelho Automatic Detection of Uninitialized Variables. 217-231 2003 conf/cc/2003 CC http://dx.doi.org/10.1007/3-540-36579-6_16 db/conf/cc/cc2003.html#NguyenIAC03