التفاصيل البيبلوغرافية
| العنوان: |
Fault Localization on Verification Witnesses (Poster Paper) |
| المؤلفون: |
Beyer, Dirk, Kettl, Matthias, Lemberger, Thomas |
| المصدر: |
2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2024 IEEE/ACM 46th International Conference on. :339-340 Apr, 2024 |
| Relation: |
2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder