A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019
User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020