University of Verona Software Engineering Lab



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

We investigate innovative methodologies for designing and implementing effective testing strategies, including automated test 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 services, mobile applications, IoT platforms, and blockchain smart contracts.

feature image

Research

Research activities at the UniVerSE Lab focus on the following topics related to the reliability and security of software systems:

  • Automated Software Testing
  • Static Program Analysis
  • IT/OT Vulnerability Detection
  • Internet of Things (IoT) Security
See more
feature image

Technology Transfer

The UniVerSE Lab works in tight contact with industrial partners to transfer academic knowledge to the community. Recent industrial collaborations comprise:

  • V-Reti Spa  
  • Iotinga Srl  
  • Muscope Cybersecurity Srl  
  • AMIA Verona Spa  
  • Equixely Srl  
  • MobyGIS Srl  
  • Build Trust Srl  



Tools

Alongside foundational investigation, the research at the UniVerSE Lab has lead to the development of several practical tools.

A framework for automated black-box testing of RESTful APIs.
[RestTestGen](/tools#rtg)

RestTestGen

REST API Testing Framework

A decompiler and static analysis tool for Ethereum bytecode.
[EtherSolve](/tools#ethersolve)

EtherSolve

Ethereum Bytecode Decompiler

An ontology of smart contract vulnerabilitites and code flaws.
[EDOV](/tools#edov)

EDOV

Blockchain Defect Ontology

A tool for computing RESTful API black-box testing metrics.
[RESTats](/tools#restats)

RESTats

REST API Testing Metrics Calculator

A benchmarking platform for RESTful API testing tools.
[RESTgym](/tools#restgym)

RESTgym

REST API Benchmark Infrastructure