Training and Research
PhD Programme Courses/classes
This page lists the training activities for the PhD programme for the academic year 2025/2026. Additional activities will be added during the year. Please check back regularly for updates!
MultiOmics Patien Stratification
Credits: 3
Language: Inglese
Teacher: Laganà Alessandro, Rosalba Giugno
Teoria dei Grafi
Credits: 6
Language: inglese
Teacher: Romeo Rizzi
Introduction to Blockchain
Credits: 3
Language: English
Teacher: Sara Migliorini
Automated Software Testing
Credits: 4
Language: English
Teacher: Mariano Ceccato
Introduction to Proof Theory
Credits: 4
Language: Italiano/Inglese
Teacher: Andrea Masini
Teoria dei Grafi
Credits: 6
Language: inglese
Teacher: Romeo Rizzi
Sicurezza dei Sistemi Ciberfisici
Credits: 3
Language: English
Teacher: Massimo Merro
Data Analysis Techniques on Healthcare Data
Credits: 3
Language: English
Teacher: Matteo Mantovani
Elements of Machine Teaching
Credits: 3
Language: English
Teacher: Ferdinando Cicalese
Introduction to Quantum Machine Learning
Credits: 3
Language: Italiano e Inglese
Teacher: Alessandra Di Pierro
LaTeX per la letteratura accademica
Credits: 3
Language: Inglese
Teacher: Enrico Gregorio
Apprendimento basato su Logica
Credits: 5
Language: Inglese/English
Teacher: Fabio Aurelio D'Asaro
Automated Software Testing (2025/2026)
Teacher
Referent
Credits
4
Language
English
Class attendance
Free Choice
Location
VERONA
Learning objectives
Software testing is a cornerstone activity in software development, conducted to identify defects by checking the program execution across several testing scenarios. Considering that manually writing test cases for all the important scenarios might be quite time consuming and expensive, several research approaches have been proposed to automate the generation of test cases that (i) assess many features of the software under development and (ii) are likely to reveal defects.
This PhD course will cover the foundational techniques proposed in literature to automatically write test cases, including those based on symbolic execution, concrete-symbolic execution and evolutionary algorithms. Subsequently, more recent approaches will be covered, that have been elaborated and proposed to automatically write test cases for diverse application domains, such as for web application, Android apps, blockchain smart-contracts and REST APIs.
The course will also include practical hands-on activities, where participants are supposed to develop a small project to implement one of the presented approaches to automatically write test cases for a domain of their interest. The exam consists in presenting this project at the end of the course.
Prerequisites and basic notions
Basic knowledge of programming, especially in Java
Program
The course program includes the following topics:
- Foundations and terminology of software testing
- Automated generation of test cases: Concrete symbolic execution, Search based, Genetic algorithms
- Automated generation of test cases for different domains: Web application, Smartphone apps, Blockchain smart contracts, REST APIs.
- Tools to support automated generation of test cases
Didactic methods
Frontal lectures and discussions.
Learning assessment procedures
Project at the end of the course.
Assessment
Clarity, quality and completeness of the project.
Criteria for the composition of the final grade
Project evaluation.
Scheduled Lessons
| When | Classroom | Teacher | topics |
|---|---|---|---|
|
Tuesday 07 July 2026 13:00 - 17:00 Duration: 4:00 AM |
Ca' Vignal 2 - L [67 - 1°] | Mariano Ceccato | Introduzione al Corso. Esecuzione concreta simbolica per la generazione automatizzata di casi di test |
|
Monday 13 July 2026 08:30 - 12:30 Duration: 4:00 AM |
Ca' Vignal 2 - L [67 - 1°] | Mariano Ceccato | Formulazione del problema della generazione automatizzata di casi di test come problema di ottimizzazione. Approcci basati su euristiche di ricerca. Algoritmi genetici. |
|
Wednesday 22 July 2026 13:00 - 17:00 Duration: 4:00 AM |
Ca' Vignal 2 - L [67 - 1°] | Mariano Ceccato | Generazione automatizzata di casi di test per applicazioni web. Approccio bloack box, approccio white box, oracolo generic. |
|
Tuesday 28 July 2026 13:00 - 17:00 Duration: 4:00 AM |
Ca' Vignal 2 - L [67 - 1°] | Mariano Ceccato | Generazione automatizzata di casi di test per smart contracts. |
