Wenhua, Li; Le, Quang Loc; Yahui, Song; Wei-Ngan, Chin; (2025) Inferring Incorrectness Speci cations for Object-Oriented Programs. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer: Cham, Swotzerland. (In press).