Conference
Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs
| Τίτλος: | 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 |
καταχωρήστε σχόλιο πρώτοι!