Scholar
Bernd Fischer
Google Scholar ID: m51BXiwAAAAJ
Computer Science Division, Stellenbosch University
software engineering
program generation
program verification
formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,059
H-index
16
i10-index
28
Publications
20
Co-authors
56
list available
Publications
2 items
Empirical Analysis of Temporal and Spatial Fault Characteristics in Multi-Fault Bug Repositories
2025
Cited
0
Flow Graph-Based Classification of Defects4J Faults
2025
Cited
0
Co-authors
7 total
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Johann Schumann
SGT, Inc. NASA Ames
Gennaro Parlato
Full Professor of Computer Science, University of Molise, Italy
Omar Inverso
Gran Sasso Science Institute (GSSI), L'Aquila, Italy
Joao Marques-Silva
Research Professor, ICREA, University of Lleida
Wray Buntine
Professor, VinUniversity
Neville Grech
Dedaub
