Jan H. Boockmann, Kerstin Jacob, Gerald Lüttgen. On the Generation of Invalid Objects for Inferring More Precise Class Invariants. In Domenico Bianculli, Elena Gómez-Martínez, editors, Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings. Volume 16192 of Lecture Notes in Computer Science, pages 148-156, Springer, 2025. [doi]
Abstract is missing.