Testing Automatizzato di REST API

Data inizio
29 maggio 2023
Durata (mesi) 
12
Dipartimenti
Informatica
Responsabili (o referenti locali)
Ceccato Mariano

Utilizzo di tecniche innovative per automatizzare il testing di REST API a partire dalla loro specifica formale e generazione automatica di report del testing.

Enti finanziatori:

Muscope Cybersecurity S.r.l.
Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Mariano Ceccato
Professore associato
Davide Corradini
Dottorando
Michele Pasqua
Ricercatore a tempo determinato
Aree di ricerca coinvolte dal progetto
Ingegneria del Software e Sicurezza
Formal methods and theory of security

Attività

Strutture

Condividi