Automated detection of non-termination and NullPointerExceptions for Java bytecode (2011)

by M Brockschmidt, T Ströder, C Otto, J Giesl
Venue:In Proc. of the 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS ’11), Lecture Notes in Computer Science