Consistency Checking between Java equals and hash Code Methods using Software Analysis Workbench

Kozo OKANO  Satoshi HARAUCHI  Toshifusa SEKIZAWA  Shinpei OGATA  Shin NAKAJIMA  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2019/05/14
DOI: 10.1587/transinf.2018EDP7254
Full Text: PDF(1.3MB)