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.