Security risk analysis and smart fuzzing in practice

The 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.