verification

An Advanced Approach for Choosing Security Patterns and Checking their Implementation

This paper tackles the problems of generating concrete test cases for testing whether an application is vulner- able to attacks, and of …

Sébastien Salva, Loukmen Regainia