Vasco Manquinho
- Algorithms for Weighted Boolean Optimization
2009/03/04 by Vasco Manquinho, João Marques‐Silva, Manquinho, Vasco +3 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms
- C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
2022/06/17 by Pedro Orvalho, Mikoláš Janota, Orvalho, Pedro +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
- 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
- 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