Satoshi HARAUCHI


Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
Kozo OKANO Satoshi HARAUCHI Toshifusa SEKIZAWA Shinpei OGATA Shin NAKAJIMA 
Publication:   
Publication Date: 2019/08/01
Vol. E102-D  No. 8  pp. 1498-1505
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
software verificationJavahash codeequivalence
 Summary | Full Text:PDF