
Taxonomy of Model-Based Security Testing
The article “Model-based security testing: a taxonomy and systematic classification”, co-authored by Michael Felderer, Philipp Zech and Ruth Breu, has been published online in the Wiley Journal of Software: Testing, Verification and Reliability: http://onlinelibrary.wiley.com/doi/10.1002/stvr.1580/abstract