Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench

Java is one of important program language today. In Java, in order to build sound software, we have to carefully implement two fundamental methods hashCode and equals. This requirement, however, is not easy to follow in real software development. Some existing studies for ensuring the correctness of... View More