Discovering Algebraic Specifications from Java Classes.

Johannes Henkel, Amer Diwan

Browse the full ECOOP paper archive.