Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench-Reference-Cited by-同舟云学术

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

Published:2019-08-01 Issue:8 Volume:E102.D Page:1498-1505
ISSN:0916-8532
Container-title:IEICE Transactions on Information and Systems
language:en
Short-container-title:IEICE Trans. Inf. & Syst.

Author:

OKANO Kozo¹,HARAUCHI Satoshi²,SEKIZAWA Toshifusa³,OGATA Shinpei¹,NAKAJIMA Shin⁴

Affiliation:

1. Shinshu University

2. Mitsubushi Electric Corporation

3. Nihon University

4. National Institute of Informatics

Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Subject

Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software

Link

https://www.jstage.jst.go.jp/article/transinf/E102.D/8/E102.D_2018EDP7254/_pdf

Reference35 articles.

1. [1] N. Diakopoulos and S. Cass, “Interactive: The Top Programming Languages 2016,” http://spectrum.ieee.org/static/interactive-the-top-programming-languages-2016 (accessed March 20th 2017).

2. [2] Oracle, “Java Platform, Standard Edition 7 API Specification,” http://docs.oracle.com/javase/7/docs/api/ (accessed March 20th 2017).

3. [3] Oracle, “Java Platform Standard Ed. 8 AIP, class Object,” https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html (accessed Oct. 20th 2017).

4. [4] K. Okano, H. Shimba, T. Ohta, H. Onoue, and S. Kusumoto, “Formal verification technique for consistency checking between equals and hashCode methods in Java,” International Journal on Informatics Society, vol.7, no.2, pp.77-87, 2015.

5. [5] R. Dockins, A. Foltzer, J. Hendrix, B. Huffman, D. McNamee, and A. Tomb, “Constructing semantic models of programs with the software analysis workbench,” Proc. VSTTE 2016, 2016.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime Verification of Hash Code in Mutable Classes;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18