Under CopyrightTcholtchev, N.Schneider, M.et al.Mantere, M.2022-03-0724.8.20122012https://publica.fraunhofer.de/handle/publica/29598610.24406/publica-fhg-295986In this document D3.WP3 we describe the initial model-based security testing tools by the different project partners. This document can be considered a progress report of each partner developing its testing tool.ensecurity testingmodel-basedtools004report