%O This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
%D 2025
%S Lecture Notes in Computer Science (LNCS)
%B International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
%C Cham, Swotzerland
%L discovery10203288
%I Springer
%T Inferring Incorrectness Speci cations for Object-Oriented Programs
%A Li Wenhua
%A Quang Loc Le
%A Song Yahui
%A Chin Wei-Ngan