Model-based security testing: a taxonomy and systematic classification
Michael Felderer, Philipp Zech, Ruth Breu, Matthias Büchler and Alexander Pretschner
Article first published online: 24 JUL 2015 | DOI: 10.1002/stvr.1580
This article provides a taxonomy for model-based security testing approaches that comprises filter and evidence criteria. The taxonomy is based on a comprehensive analysis of existing classification schemes for model-based and security testing. To demonstrate its adequacy, 119 publications on model-based security testing are systematically extracted from relevant digital libraries and classified according to the defined filter and evidence criteria. On the basis of the classified publications, the article provides an overview of the state of the art in model-based security testing and discusses promising research directions.