Invirtiendo el Escudo: Generando Sistemáticamente Pruebas de Seguridad a partir de Especificaciones de Políticas
<meta name=description content=Generación sistemática de pruebas de seguridad desde políticas. Automatiza la creación de tests basados en reglas de seguridad para mejorar la calidad y protección de tu software.>