On the Generation of Invalid Objects for Inferring More Precise Class Invariants.

Jan H. Boockmann, Kerstin Jacob, Gerald Lttgen

Browse the full SEFM paper archive.