Under CopyrightSchieferdecker, I.I.SchieferdeckerGroßmann, J.J.GroßmannRennoch, A.A.Rennoch2022-03-1226.9.20132013https://publica.fraunhofer.de/handle/publica/38083810.24406/publica-fhg-380838The ITEA project DIAMONDS developed efficient and automated MBST methods for highly secure systems in multiple industrial domains (e.g. banking, automotive, telecommunication, industrial automation etc.). Amongst others, the project has a special focus on advanced model-based security testing methods that combine different security testing techniques to obtain improved results.ensecurity testingmodel-based testingfuzzingrisk-based testing004presentation