EQ: Checking the implementation of equality in Java | IEEE Conference Publication | IEEE Xplore