An analysis of software correctness prediction methods | IEEE Conference Publication | IEEE Xplore