Pedro Orvalho
- C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
2022/06/17 by Pedro Orvalho, Orvalho, Pedro, Mikoláš Janota +3 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Teaching and Learning Programming
- Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
2025/05/15 by Pedro Orvalho, Marta Kwiatkowska, Orvalho, Pedro +1 · 5 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Software Engineering Research
- Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
2024/12/19 by Pedro Orvalho, Mikoláš Janota, Orvalho, Pedro +3 · 3 citations
Engineering · Computer Science · #Integrated Circuits and Semiconductor Failure Analysis #VLSI and Analog Circuit Testing #Radiation Effects in Electronics
- MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku
2026/07/14 by Pedro Orvalho, Guillem Alenyà, Felip Manyà
#cs.AI #cs.LO
- What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
2026/07/20 by Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Computer Science · #Teaching and Learning Programming #Software Testing and Debugging Techniques #Software Engineering Research