Ben Hermann
1
Abonnés
Personal Information
Entreprise/Lieu de travail
Frankfurt Am Main Area, Germany Germany
Profession
Senior Researcher at Paderborn University
Secteur d’activité
Education
Site Web
http://www.thewhitespace.de
Mots-clés
java
soap
instrumentation
static program analysis
phasar
collection
corpus
automated
abm
management system
benchmark
library
capability
reuse
software engineering
analysis
security
languages
design
infeasible paths
scalable analysis
abstract interpreta- tion
finding bugs
Tout plus