Publications

Combining Logic and Large Language Models for Assisted Debugging and Repair of Asp Programs

AuthID
P-019-1JJ

Author(s)

Brancas, R

Manquinho, V

Martins, R

Editor(s)

Fasolino,AR;Panichella,S;Aleti,A;Mesbah,A

Document Type

Proceedings Paper

Year published

2025

Published

in 2025 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST in IEEE International Conference on Software Testing Verification and Validation Workshops, ISSN: 2159-4848

Pages: 646-657 (12)

Conference

18Th International Conference on Software Testing Verification and Validation-Icst-Annual, Date: MAR 31-APR 04, 2025, Location: Naples, ITALY

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/icst62969.2025.10988950

Scopus: 2-s2.0-105007512621

Wos: WOS:001506893900063

Source Identifiers

ISSN: 2159-4848

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Combining Logic and Large Language Models for Assisted Debugging and Repair of Asp Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

Combining Logic and Large Language Models for Assisted Debugging and Repair of Asp Programs

Useful Links

Get Help