Login / Signup

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

Kozo OkanoSatoshi HarauchiToshifusa SekizawaShinpei OgataShin Nakajima
Published in: IEICE Trans. Inf. Syst. (2019)
Keyphrases
  • consistency checking
  • source code
  • upper bound
  • data analysis
  • open source
  • dynamic environments