Research groups

UniVerSE Lab

 

The research group of the University of Verona Software Engineering (UniVerSE) Lab explores cutting-edge techniques in software engineering, with a primary focus on enhancing software quality through software testing and program static analysis. 

We investigate innovative methodologies to support the work of software developers by designing and implementing novel testing strategies, including automated test case generation, mutation testing, and AI-based testing. Our work in static analysis centers on developing and applying techniques for identifying software defects and vulnerabilities leveraging approaches such as abstract interpretation and symbolic execution. 

Our goal is to develop practical tools and techniques that improve the reliability and security of software systems. Application domains include web APIs, mobile applications, IoT platforms, and blockchain smart contracts.

Mariano Ceccato
Associate Professor
Sofia Mari
PhD student
Michele Pasqua
Temporary Assistant Professor
Alberto Lovato
Research Scholarship Holders
Francesco Pagano
Research Scholarship Holders
Topic Research area
Static program analysis Ingegneria del Software e Verifica Formale
Automated static analysis
Models for concurrent, distributed, and mobile systems Ingegneria del Software e Verifica Formale
Models of computation
Code protection Sicurezza informatica
Formal methods and theory of security
Program semantics Ingegneria del Software e Verifica Formale
Semantics and reasoning
Software testing Ingegneria del Software e Verifica Formale
Software testing and debugging

Activities

Research facilities

Share