Ben Hermann

1 Abonnés

4 SlideShares 1 Abonnés 2 Suivis

4 SlideShares 1 Abonnés 2 Suivis

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

Activité
À propos

Hidden Truths in Dead Software Paths

il y a 8 ans • 1827 Vues

Getting to Know You: Towards a Capability Model for Java

il y a 8 ans • 1816 Vues

Automating the Generation of Benchmark Suites

il y a 6 ans • 254 Vues

Know Your Analysis: How Instrumentation Aids Static Analysis

il y a 4 ans • 196 Vues

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