Utilizzo di tecniche innovative per automatizzare il testing di REST API a partire dalla loro specifica formale e generazione automatica di report del testing.
| Aree di ricerca coinvolte dal progetto | |
|---|---|
|
Sicurezza informatica
Formal methods and theory of security (DI) |
|
|
Ingegneria del Software e verifica formale
Formal methods and theory of security (DI) |
|
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
