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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
56 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
Co-author 4
Co-author 5
Co-author 6
Co-author 7
Joao Marques-Silva
Research Professor, ICREA, University of Lleida
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up