@inproceedings{discovery10203288,
       booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
         address = {Cham, Swotzerland},
       publisher = {Springer},
          series = {Lecture Notes in Computer Science (LNCS)},
            note = {This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions.},
           title = {Inferring Incorrectness Speci cations for Object-Oriented Programs},
            year = {2025},
           month = {May},
          author = {Wenhua, Li and Le, Quang Loc and Yahui, Song and Wei-Ngan, Chin},
             url = {https://discovery.ucl.ac.uk/id/eprint/10203288/}
}