Automatic Detection of Uninitialized Variables

Publication
Lecture Notes in Computer Science, 12th International Conference on Compiler Construction, Warsaw, Poland