José Campos
Scholar

José Campos

Google Scholar ID: Sa3OTVUAAAAJ
LASIGE & Faculty of Engineering of the University of Porto
Software EngineeringTesting and DebuggingTest GenerationQuantum Software Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,530
 
H-index
18
 
i10-index
21
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
2025
Cited
0
On the Feasibility of Quantum Unit Testing
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)