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^®

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

Citations

Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.

CORE Conference

No information about CORE Rank

During the preprocessing phase, only publications of type 'Proceedings Paper' or 'Proceedings' are automatically processed to identify their CORE Rank.

TIP: If your publication's CORE Rank is missing, you can contact with your institutional manager to have the correct ranking manually added to the record.

Journal Factors

Oops! It looks like you don't have access to this content.

This section is restricted to uses with b-on access.

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