Search-based Inference of Class Invariants.

Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio

Browse the full GECCO paper archive.