PPaperPicks

Pedro Orvalho

2 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1

Frequent coauthors

Mikolás Janota
×2
Vasco M. Manquinho
×2

Papers

  1. Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
    AAAI 2025 · Pedro Orvalho,
    Mikolás Janota
    ,
    Vasco M. Manquinho
  2. cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
    FM 2024 · Pedro Orvalho,
    Mikolás Janota
    ,
    Vasco M. Manquinho