Accurate Interprocedural Null-Dereference Analysis for Java - Nanda, Mangala Gowri; Sinha, Saurabh (2009 IEEE 31st International Conference on Software Engineering, 2009)
Keywords: Arithmetic; Computer bugs; General and reference -- Cross-computing tools and techniques -- Reliability; Information analysis; Java; Open source software; Performance analysis; Safety; Software and its engineering -- Software notations and tools; Software and its engineering -- Software notations and tools -- General programming languages -- Language types; Software and its engineering -- Software organization and properties -- Extra-functional properties -- Software reliability