• DocumentCode
    2333782
  • 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
  • fYear
    2011
  • fDate
    25-30 Sept. 2011
  • Firstpage
    590
  • Lastpage
    593
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Maintenance (ICSM), 2011 27th IEEE International Conference on
  • Conference_Location
    Williamsburg, VI
  • ISSN
    1063-6773
  • Print_ISBN
    978-1-4577-0663-9
  • Electronic_ISBN
    1063-6773
  • Type

    conf

  • DOI
    10.1109/ICSM.2011.6080837
  • Filename
    6080837
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2333782