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).