Tracking Null Checks in Open-Source Java Systems | IEEE Conference Publication | IEEE Xplore