Search-Based Inference of Class Invariants: How Far Can Simulated Annealing Take Us?

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

Browse the full SSBSE paper archive.