Thi Viet Nga Nguyen François Irigoin Corinne Ancourt Fabien Coelho Automatic Detection of Uninitialized Variables. 217-231 2003 conf/cc/2003 CC http://link.springer.de/link/service/series/0558/bibs/2622/26220217.htm db/conf/cc/cc2003.html#NguyenIAC03