ML Anthology

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-Based Fault Localization

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
AAAI 2025 pp. 649-657
doi:10.1609/AAAI.V39I1.32046 /aaai/2025/orvalho2025aaai-counterexample/
AAAI Semantic Scholar

Cite

Text

Orvalho et al. "Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-Based Fault Localization." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I1.32046

Markdown

[Orvalho et al. "Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-Based Fault Localization." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/orvalho2025aaai-counterexample/) doi:10.1609/AAAI.V39I1.32046

BibTeX

@inproceedings{orvalho2025aaai-counterexample,
  title     = {{Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-Based Fault Localization}},
  author    = {Orvalho, Pedro and Janota, Mikolás and Manquinho, Vasco M.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {649-657},
  doi       = {10.1609/AAAI.V39I1.32046},
  url       = {https://mlanthology.org/aaai/2025/orvalho2025aaai-counterexample/}
}