Il gruppo di ricerca del University of Verona Software Engineering (UniVerSE) Lab esplora tecniche all'avanguardia nell'ingegneria del software, con un focus primario sul miglioramento della qualità del software attraverso il testing del software e l'analisi statica di programmi.
Indaghiamo metodologie innovative per supportare il lavoro degli sviluppatori software progettando e implementando nuove strategie di testing, tra cui la generazione automatica di casi di test, il mutation testing e il testing basato sull'intelligenza artificiale. Il nostro lavoro nell'analisi statica si concentra sullo sviluppo e l'applicazione di tecniche per l'identificazione di difetti e vulnerabilità del software sfruttando approcci come l'interpretazione astratta e l'esecuzione simbolica.
Il nostro obiettivo è sviluppare strumenti e tecniche pratiche che migliorino l'affidabilità e la sicurezza dei sistemi software. I domini di applicazione includono API web, applicazioni mobili, piattaforme IoT e blockchain smart contract.