Runtime Verification of Hash Code in Mutable Classes.

Davide Ancona, Angelo Ferrando, Viviana Mascardi

Browse the full FTfJP paper archive.