Detecting Null Pointer Violations in Java Programs. - Xiaoping Jia; Sushant Sawant; Jiangyu Zhou; Sotiris Skevoulis (COMPSAC, 1999)