Correctness and Relative Correctness | IEEE Conference Publication | IEEE Xplore