Training and Research
PhD Programme Courses/classes - 2024/2025
This page shows the PhD course's training activities for the academic year 2024/2025. Further activities will be added during the year. Please check regularly for updates!
Introduction to Blockchain
Credits: 3
Language: English
Teacher: Nicola Fausto Spoto
Principles and Applications of Abstract Interpretation
Credits: 3
Language: English
Teacher: Michele Pasqua
AI and explainable models
Credits: 5
Language: English
Teacher: Lorenza Brusini
Elements of Machine Teaching
Credits: 3
Language: English
Teacher: Ferdinando Cicalese
ACADEMIC WRITING IN LATEX
Credits: 3
Language: English
Teacher: Enrico Gregorio
A practical interdisciplinary PhD course on exploratory data analysis
Credits: 4
Language: English
Teacher: Rui Pedro Fernandes Ribeiro
Automated Software Testing
Credits: 4
Language: English
Teacher: Mariano Ceccato
Cyber-physical systems security
Credits: 3
Language: English
Teacher: Massimo Merro
Genomica informazionale: contenuto informativo dei genomi e s divergenza dalla randomicità
Credits: 3
Language: English
Introduction to Quantum Machine Learning
Credits: 3
Language: English
Teacher: Alessandra Di Pierro
Laboratory of quantum information in classical wave-optics analogy
Credits: 3
Language: English
Teacher: Claudia Daffara
Multi Omics Patient Stratification
Credits: 3
Language: English
Teacher: Rosalba Giugno
Automated Software Testing (2024/2025)
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, 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 - 2024/2025
Please note: Additional information will be added during the year. Currently missing information is labelled as “TBD” (i.e. To Be Determined).
1. 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.
More information regarding CFUs is found in the Handbook for PhD Students: https://www.univr.it/phd-vademecum
2. 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, instructions will be sent well in advance. No confirmation e-mail will be sent after signing up. Please do not enquiry: if you entered the requested information, then registration was silently successful.
3. When Zoom links are not explicitly indicated, courses are delivered in presence only.
4. All information we have is published here. Please do not enquiry for missing information or Zoom links: if the information you need is not there, then it means that we don't have it yet. As soon as we get new information, we will promptly publish it on this page.
Teaching Activities ex DM 226/2021: Linguistic Activities
ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Arts and Humanities]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Law and Economics]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Life and Health Sciences - 1 st Session]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Life and Health Sciences - 2 nd Session]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Arts and Humanities]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Law and Economics]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Life and Health Sciences - 1 st Session]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Life and Health Sciences - 2 nd Session]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Natural Sci. and Engineering-1st Session]
Credits: 2,5
Language: English
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
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Law and Economics]
Credits: 2,5
Language: Italian
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Scientific Area]
Credits: 2,5
Language: Italian
Teaching Activities ex DM 226/2021: Statistics and Computer Sciences
CORSO STATISTICA - LIVELLO BASE
Credits: 2,5
Language: English
Introduction to Probability (module I)
Credits: 1
Language: English
Teacher: Marco Minozzo
Introduction to Probability (module II)
Credits: 1
Language: English
Teacher: Marco Minozzo
Introduction to Statistical Inference
Credits: 1
Language: English
Teacher: Marco Minozzo
USO DI R PER L'ANALISI STATISTICA - LIVELLO BASE
Credits: 1
Language: English
Validità e affidabilità delle misure e dei test diagnostici
Credits: 0,5
Language: English
Teacher: Alessandro Marcon
APPLICATION OF META-ANALYSIS TO THE EPIDEMIOLOGICAL OR MEDICAL FIELD
Credits: 1
Language: Inglese
Teacher: Giuseppe Verlato
CORSO STATISTICA - LIVELLO INTERMEDIO
Credits: 2,5
Language: English
DETERMINATION OF SAMPLE SIZE TO ACHIEVE A PREDEFINED PRECISION OR POWER
Credits: 0,5
Language: inglese
Teacher: Giuseppe Verlato
GENERALIZED LINEAR MODELS: LOGISTIC REGRESSION, LOGLINEAR MODEL, POISSON MODEL
Credits: 1
Language: English
Teacher: Lucia Cazzoletti
Disegno dello studio nella ricerca osservazionale e sperimentale
Credits: 1
Language: English
Teacher: Alessandro Marcon
Survival analysis: log-rank test, Kaplan-Meier survival curves, Cox regression model
Credits: 1,5
Language: English - Inglese
Teacher: Simone Accordini
USO DI R PER L'ANALISI STATISTICA - LIVELLO INTERMEDIO
Credits: 0,8
Language: English
Teacher: Alessandro Mantovani
Teaching Activities: Free choice
DOING INTERVIEWS IN QUALITATIVE RESEARCH
Credits: 2
Language: English
Teacher: Chiara Sità
PROGETTAZIONE E CONDUZIONE DI FOCUS GROUP
Credits: 2
Language: Italian
PROTECTING PSYCHOLOGICAL WELL-BEING IN THE PHD PROGRAM. DEVELOPMENT AND ENHANCEMENT OF PERSONAL STRATEGIES AND ATTITUDES PREDISPOSING TO PROFESSIONAL SATISFACTION AND ETHICAL COLLABORATION
Credits: 1
Language: Italian
Teacher: Michela Rimondini
QUANDO LA RICERCA SI FA ETICA (PERCORSO ORGANIZZATO E FINANZIATO DAL TEACHING AND LEARNING CENTER DI UNIVR)
Credits: 2
Language: English
Teacher: Roberta Silva
Workshop /Participatory approaches and methods in doing research with local actors
Credits: 1,5
Language: English
Teacher: Antonietta De Vita
...E SE VOLESSI FARE IMPRESA
Credits: 1
Language: Italian
IMPARA IL MARKETING DIGITALE
Credits: 1
Language: Italian
LA POESIA ITALIANA ALL'ESTERO
Credits: 1
Language: Italian
Teacher: Massimo Natale
THE EMPIRICAL PHENOMENOLOGICAL METHOD (EPM): THEORETICAL FOUNDATION AND EMPIRICAL APPLICATION IN EDUCATIONAL AND HEALTHCARE FIELDS
Credits: 2
Language: English
Teacher: Luigina Mortari
DOTTORATO E MERCATO DEL LAVORO: WORKSHOP FORMATIVI PER DOTTORANDI E NEO-DOTTORI DI RICERCA
Credits: 4
Language: Italian
ARE YOU SURE YOU CAN DEFEAT A CHATBOT?
Credits: 1
Language: Italian
MEETING UKRAINE: THE IMPACT OF WAR AND FUTURE OPPORTUNITIES
Credits: 1
Language: Italian
EMOTIONS, BELIEFS, AND SKILLS TO FACE CLIMATE CHANGE AND EMBRACE CLIMATE ACTION
Credits: 0,5
Language: English
OPEN SCIENCE: THE MIGHTY STICK AGAINST "BAD" SCIENCE
Credits: 2
Language: English
Teacher: Michele Scandola
COMPUTATIONAL MECHANISMS UNDERLYING SENSORIMOTOR LEARNING
Credits: 4,5
Language: English
Teacher: Matteo Bertucco
CSF DYNAMICS: ANATOMICAL AND FUNCTIONAL FEATURES
Credits: 0,5
Language: English
Teacher: Alberto Feletti
Differential diagnosis of demyelinating diseases of the central nervous system
Credits: 2
Language: English
Teacher: Alberto Gajofatto
sleep related disoders: focus on REM and NREM parasomnia and SR movement disorders
Credits: 1,5
Language: italiano o inglese
Teacher: Elena Antelmi
Tecniche di immagine per l'analisi della composizione corporea
Credits: 1
Language: Inglese/English
Teacher: Carlo Zancanaro
Tecniche di ricerca in neuroscienze: misurare e modulare l'attività neuronale
Credits: 2,3
Language: non prevista
Teacher: Giuseppe Busetto
PhD students
martina.luca@univr.it
cesare.montresor@univr.it
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 (2024/2025)
|
pdf, it, 104 KB, 29/10/24 |
|
PhD students: general guidelines (2024/2025)
|
pdf, en, 107 KB, 29/10/24 |
