Publicações

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(es)

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

Tipo de Documento

Proceedings Paper

Year published

2025

Publicado

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

Páginas: 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
Fontes

Publication Identifiers

DOI: 10.1109/icst62969.2025.10988950

SCOPUS: 2-s2.0-105007512621

Wos: WOS:001506893900063

Source Identifiers

ISSN: 2159-4848

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

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

Links Úteis

Ajuda