View in EDS HTML Full Text PDF Full Text

Fault Localization on Verification Witnesses (Poster Paper).

Saved in:

Bibliographic Details
Title:	Fault Localization on Verification Witnesses (Poster Paper).
Authors:	Beyer, Dirk¹, dirk.beyer@sosy-lab.org, Kettl, Matthias¹, matthias.kettl@sosy.ifi.lmu.de, Lemberger, Thomas¹, thomas.lemberger@sosy.ifi.lmu.de
Source:	ICSE: International Conference on Software Engineering; 2024, p339-340, 2p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
DOI:	10.1145/3639478.3643099