Title :
EQ: Checking the implementation of equality in Java
Author :
Rupakheti, Chandan R. ; Hou, Daqing
Author_Institution :
Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA
Abstract :
Objects in Object-Oriented languages such as Java are required to implement an equality predicate using the equals(Object) method in order to be compared with each other. This is particularly important when these objects interact with lists, sets, and maps from the Java Collection Framework. There are several considerations that must be taken in the implementation of this method, which, if ignored, will lead to subtle bugs. We present a tool called EQ that analyzes the source code to find such bugs.
Keywords :
Java; program debugging; source coding; EQ; Java collection framework; bugs; equality implementation; equals(Object) method; object oriented languages; source code analysis; Analytical models; Computer bugs; Detectors; Java; Metals; Object oriented modeling; Testing; Abstraction Recognition; Alloy; EQ Object Equality; Java; Model Finding; Path-Based Analysis; Soot;
Conference_Titel :
Software Maintenance (ICSM), 2011 27th IEEE International Conference on
Conference_Location :
Williamsburg, VI
Print_ISBN :
978-1-4577-0663-9
Electronic_ISBN :
1063-6773
DOI :
10.1109/ICSM.2011.6080837
