@inproceedings{DBLP:conf/icsm/RupakhetiH11,
author = {Chandan Raj Rupakheti and
Daqing Hou},
title = {EQ: Checking the implementation of equality in Java},
booktitle = {ICSM},
year = {2011},
pages = {590-593},
ee = {http://dx.doi.org/10.1109/ICSM.2011.6080837},
crossref = {DBLP:conf/icsm/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icsm/2011,
title = {IEEE 27th International Conference on Software Maintenance,
ICSM 2011, Williamsburg, VA, USA, September 25-30, 2011},
booktitle = {ICSM},
publisher = {IEEE},
year = {2011},
isbn = {978-1-4577-0663-9},
ee = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6068277},
bibsource = {DBLP, http://dblp.uni-trier.de}
}