Login / Signup
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench.
Kozo Okano
Satoshi Harauchi
Toshifusa Sekizawa
Shinpei Ogata
Shin Nakajima
Published in:
IEICE Trans. Inf. Syst. (2019)
Keyphrases
</>
consistency checking
source code
upper bound
data analysis
open source
dynamic environments