Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio. Search-based Inference of Class Invariants. In Bogdan Filipic, editor, Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2025, NH Malaga Hotel, Malaga, Spain, July 14-18, 2025. pages 803-806, ACM, 2025. [doi]
Abstract is missing.