Fault Localization on Verification Witnesses (Poster Paper).
Saved in:
| Title: | Fault Localization on Verification Witnesses (Poster Paper). |
|---|---|
| Authors: | Beyer, Dirk1, dirk.beyer@sosy-lab.org, Kettl, Matthias1, matthias.kettl@sosy.ifi.lmu.de, Lemberger, Thomas1, 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.
|
|
Be the first to leave a comment!
