eprintid: 10203288
rev_number: 8
eprint_status: archive
userid: 699
dir: disk0/10/20/32/88
datestamp: 2025-03-05 14:23:29
lastmod: 2025-03-05 14:23:29
status_changed: 2025-03-05 14:23:29
type: proceedings_section
metadata_visibility: show
sword_depositor: 699
creators_name: Wenhua, Li
creators_name: Le, Quang Loc
creators_name: Yahui, Song
creators_name: Wei-Ngan, Chin
title: Inferring Incorrectness Speci cations for Object-Oriented Programs
ispublished: inpress
divisions: UCL
divisions: B04
divisions: F48
note: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
date: 2025-05-05
date_type: published
publisher: Springer
full_text_type: other
language: eng
verified: verified_manual
elements_id: 2352414
lyricists_name: Le, Quang Loc
lyricists_id: QLLEX07
actors_name: Le, Quang Loc
actors_id: QLLEX07
actors_role: owner
full_text_status: restricted
series: Lecture Notes in Computer Science (LNCS)
place_of_pub: Cham, Swotzerland
book_title: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
citation:        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).   
 
document_url: https://discovery.ucl.ac.uk/id/eprint/10203288/1/TACAS25.pdf