Training and Research
PhD Programme Courses/classes - 2023/2024
Non monotonic reasoning
Credits: 3
Language: English
Teacher: Matteo Cristani
Sustainable Embodied Mechanical Intelligence
Credits: 3
Language: English
Teacher: Giovanni Gerardo Muscolo
Brain Computer Interfaces
Credits: 3
Language: English
Teacher: Silvia Francesca Storti
Advanced Data Structures for Textual Data
Credits: 3
Language: English
Teacher: Zsuzsanna Liptak
AI and explainable models
Credits: 5
Language: English
Teacher: Gloria Menegaz, Lorenza Brusini
Automated Software Testing
Credits: 4
Language: English
Teacher: Mariano Ceccato
Autonomous Agents and Multi-Agent Systems
Credits: 5
Language: English
Teacher: Alessandro Farinelli
Cyber-physical systems security
Credits: 3
Language: English
Teacher: Massimo Merro
Elements of Machine Teaching: Theory and Appl.
Credits: 3
Language: English
Teacher: Ferdinando Cicalese
Fondamenti di Linguaggi Quantistici
Credits: 3
Language: English
Teacher: Margherita Zorzi
Introduction to Quantum Machine Learning
Credits: 4
Language: English
Teacher: Alessandra Di Pierro
Laboratory of quantum information in classical wave-optics analogy
Credits: 3
Language: English
Teacher: Claudia Daffara
Multimodal Learning and Applications
Credits: 5
Language: English
Teacher: Cigdem Beyan
Automated Software Testing (2023/2024)
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
Bibliography
When and where
Frontal lectures, practical laboratory 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.
PhD school courses/classes - 2023/2024
Please note: Additional information will be added during the year. Currently missing information is labelled as “TBD” (i.e. To Be Determined).
PhD students must obtain a specified number of CFUs each year by attending teaching activities offered by the PhD School.
First and second year students must obtain 8 CFUs. Teaching activities ex DM 226/2021 provide 5 CFUs; free choice activities provide 3 CFUs.
Third year students must obtain 4 CFUs. Teaching activities ex DM 226/2021 provide 2 CFUs; free choice activities provide 2 CFUs.
Registering for the courses is not required unless explicitly indicated; please consult the course information to verify whether registration is required or not. When registration is actually required, no confirmation e-mail will be sent after signing up.
Activities are also listed in the online calendar.
Teaching Activities ex DM 226/2021: Linguistic Activities
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Arts and Humanities]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Law and Economics]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Life and Health Sciences - 1 st Session]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Life and Health Sciences - 2 nd Session]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Natural Sci. and Engineering-1st Session]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Natural Sci. and Engineering-2nd Session]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Arts and Humanities]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Law and Economics]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Life and Health Sciences - 1 st Session]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Life and Health Sciences - 2 nd Session]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Natural Sci. and Engineering-1st Session]
Credits: 2,5
Language: English
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Natural Sci. and Engineering-2nd Session]
Credits: 2,5
Language: English
Teaching Activities ex DM 226/2021: Research management and Enhancement
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Arts and Humanities]
Credits: 2,5
Language: Italian
Teacher: Donatella Boni
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Law and Economics]
Credits: 2,5
Language: Italian
Teacher: Luisella Zocca
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Scientific Area]
Credits: 2,5
Language: Italian
Teacher: Elena Scanferla
Teaching Activities ex DM 226/2021: Statistics and Computer Sciences
INTRODUCTION TO PROBABILITY (MODULE I)
Credits: 1
Language: English
Teacher: Marco Minozzo
INTRODUCTION TO PROBABILITY (MODULE II)
Credits: 1
Language: English
Teacher: Marco Minozzo
BASIC LEVEL STATISTICS
Credits: 2,5
Language: English
INTRODUCTION TO STATISTICAL INFERENCE
Credits: 1
Language: English
Validità e affidabilità delle misure e dei test diagnostici
Credits: 0,5
Language: English
Teacher: Alessandro Marcon
BASIC LEVEL STATISTICS
Credits: 2,5
Language: Italian
Statistical analysis with R - module I
Credits: 1
Language: Italian
Teacher: Erica Secchettin
Generalized linear models: logistic regression, loglinear model, Poisson model
Credits: 2
Language: English
Teacher: Lucia Cazzoletti
Disegno dello studio nella ricerca osservazionale e sperimentale
Credits: 1,5
Language: English
Teacher: Alessandro Marcon
Calcolo della numerosità campionaria in funzione di una precisione o potenza statistica prefissata
Credits: 1
Language: English
Teacher: Giuseppe Verlato
Introduzione alla meta-analisi per la ricerca biomedica (revisione della letteratura, raccolta dei dati, costruzione del database)
Credits: 1
Language: English
Teacher: Giuseppe Verlato
Applicazioni della meta-analisi in campo epidemiologico e medico
Credits: 1
Language: English
Teacher: Giuseppe Verlato
Analisi di sopravvivenza: test log-rank, curve di sopravvivenza di Kaplan-Meier, modello di regressione di Cox
Credits: 1,5
Language: English
Teacher: Simone Accordini
Applicazioni della meta-analisi al campo epidemiologico o biomedico
Credits: 1
Language: English
Teacher: Giuseppe Verlato
INTERMEDIATE STATISTICS [Recommended for Human Sciences]
Credits: 2,5
Language: English
INTERMEDIATE STATISTICS [Tutti i corsi di studio]
Credits: 2,5
Language: English
Introduzione alla meta-analisi focalizzata sulla ricerca medica (revisione della letteratura, raccolta dei dati)
Credits: 1
Language: English
Statistical analysis with R - module II
Credits: 2
Language: Italian
Teacher: Erica Secchettin
Teaching Activities: Free choice
PROTECTING PSYCHOLOGICAL WELL-BEING IN THE PHD PROGRAM: WHAT DO WE NEED TO CONSIDER FOR BEING A GOOD SCIENTIST: BEST PRACTICE AND THE ETHICS OF SCIENCE
Credits: 1
Language: inglese
Teacher: Paola Cesari
QUANDO LA RICERCA SI FA ETICA (PERCORSO ORGANIZZATO E FINANZIATO DAL TEACHING AND LEARNING CENTER DI UNIVR)
Credits: 2
Language: Italian
Teacher: Roberta Silva
IMPARA IL MARKETING DIGITALE
Credits: 1,5
Language: English
Italian Poetry abroad
Credits: 1
Language: Italiano
Teacher: Massimo Natale
COSTRUISCI IL TUO BUSINESS MODEL CANVAS
Credits: 1,5
Language: English
APPROCCI E METODOLOGIE PARTECIPATIVE NELLA RICERCA CON GLI ATTORI DEL TERRITORIO
Credits: 1,5
Language: Italian
Teacher: Cristiana Zara
DOING INTERVIEWS IN QUALITATIVE RESEARCH
Credits: 1,5
Language: English
Teacher: Chiara Sità
LA COMUNICAZIONE UMANISTICA: OPPORTUNITA' E RISCHI
Credits: 1
Language: Italiano
DIFFERENTIAL DIAGNOSIS OF DEMYELINATING DISEASES OF THE CENTRAL NERVOUS SYSTEM
Credits: 2
Language: English
Teacher: Alberto Gajofatto
IL SONNO E I SUOI DISTURBI: FOCUS SULLE PARASONNIE E I DISTURBI DEL MOVIMENTO IN SONNO
Credits: 1
Language: English
Teacher: Elena Antelmi
IMAGING TECHNIQUES FOR BODY COMPOSITION ANALYSIS
Credits: 1
Language: English
Teacher: Carlo Zancanaro
OPEN SCIENCE: THE MIGHTY STICK AGAINST "BAD" SCIENCE
Credits: 2
Language: English
Teacher: Alberto Scandola
THE EMPIRICAL PHENOMENOLOGICAL METHOD (EPM): THEORETICAL FOUNDATION AND EMPIRICAL APPLICATION IN EDUCATIONAL AND HEALTHCARE FIELDS
Credits: 2
Language: English
THE PATHWAY OF OXYGEN: CAUSE OF HYPOXEMIA
Credits: 1
Language: English
Teacher: Carlo Capelli
Faculty
+39 045 802 7980
cigdem.beyan@univr.it
mariano.ceccato@univr.it
mila.dallapreda@univr.it
giovannigerardo.muscolo@univr.it
PhD students
No people are present. 40° Ciclo not started.
Loading...
Guidelines for PhD students
Below you will find the files that contain the Guidelines for PhD students and rules for the acquisition of ECTS credits (in Italian: "CFU") for the Academic Year 2023/2024.
Documents
| Title | Info File |
|---|---|
Dottorandi: linee guida generali (2023/2024)
|
pdf, it, 93 KB, 26/02/24 |
|
PhD students: general guidelines (2023/2024)
|
pdf, en, 94 KB, 26/02/24 |
