JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案
電子情報通信学会技術研究報告, vol.113, no.489, pp.19-24 (2014)
タグ: Java, equals, method, hashCode, method, Formal, Verification, Satisfiability, Modulo, Theories
@inproceedings{榛葉浩章2014a,
author = {榛葉 浩章 and 尾ノ上 博樹 and 岡野 浩三 and 楠本 真二},
title = {JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案},
booktitle = {電子情報通信学会技術研究報告},
volume = {113},
number = {489},
pages = {19--24},
year = {2014},
month = {mar}
}