The DIAMONDS project focuses on model-based security testing of networked systems to validate their dependability in face of malice, attack, error or mishap. Testing is the main method to reliably check the functionality, robustness, performance, scalability, reliability and resilience of systems as it is the only method to derive objectively characteristics of a system in its target environment. In this document we discuss the state-of-the art in security testing tools.
