?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Inferring+Incorrectness+Speci+cations+for+Object-Oriented+Programs&rft.creator=Wenhua%2C+Li&rft.creator=Le%2C+Quang+Loc&rft.creator=Yahui%2C+Song&rft.creator=Wei-Ngan%2C+Chin&rft.publisher=Springer&rft.date=2025-05-05&rft.type=Proceedings+paper&rft.language=eng&rft.source=+++++In%3A++International+Conference+on+Tools+and+Algorithms+for+the+Construction+and+Analysis+of+Systems+(TACAS).++++Springer%3A+Cham%2C+Swotzerland.+(2025)++++(In+press).++&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10203288%2F