Effective Unit Test Generation for Java Null Pointer Exceptions | IEEE Conference Publication | IEEE Xplore