Testing techniques are used to check if a given system implementation satisfies its specification or some predefined properties. In the last years an important research activity has taken place concerning the definition of testing techniques for security. Resilience has also become a crucial issue to guarantee the security and robustness of systems. In this talk, we will present the main features of security testing and resilience, and propose some solutions. We will also present the project H2020 VeriDevOps to illustrate the application of our approach.
Program Display Configuration
Mon 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazilchange