Automatic Detection of Uninitialized Variables.

Thi Viet Nga Nguyen, Franois Irigoin, Corinne Ancourt, Fabien Coelho

Browse the full CC paper archive.