Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs |
| Συγγραφείς: |
Brancas, Ricardo, Manquinho, Vasco, Martins, Ruben |
| Πηγή: |
2025 IEEE Conference on Software Testing, Verification and Validation (ICST) Software Testing, Verification and Validation (ICST), 2025 IEEE Conference on. :646-657 Mar, 2025 |
| Relation: |
2025 IEEE Conference on Software Testing, Verification and Validation (ICST) |
| Βάση Δεδομένων: |
IEEE Xplore Digital Library |