PPaperPicks

Vasco M. Manquinho

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1

Frequent coauthors

Pedro Orvalho
×2
Mikolás Janota
×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