Presentations & talks (page 2 of 2)
2022ReCover: a Curated Dataset for Regression Testing Research
[Slides]
[Subtitles]
[Video]
Presentation for a conference paper introducing a new dataset for regression testing research.
19th International Conference on Mining Software Repositories (MSR 2022).
May, 2022.2021Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference
[Slides - PDF]
[Watch on YouTube]
Presentation for a conference paper describing emerging results for a novel, tree kernel-based near duplicate detection technique.
15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'21).
October, 2021.Expressing structural temporal properties of safety critical hierarchical systems
[Slides - PDF]
[Slides - PPSX]
Presentation for a conference paper introducing HLTL, a temporal logic designed to specify structural temporal semantic properties of hierarchical systems.
14th International Conference on the Quality of Information and Communications Technology (QUATIC2021).
September, 2021.Vehicular Crowd-Sensing on Complex Urban Road Networks: a Case Study in the City of Porto
[Slides - PDF]
[Slides - PPSX]
Presentation for a conference paper investigating the feasibility of Vehicular Crowd-Sensing using a fleet of taxis in the City of Porto (PT).
24th Euro Working Group on Transportation Meeting (EWGT2021).
September, 2021.Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach
[Slides - ppsx]
[Slides - pdf]
Presentation for a short paper describing my main Ph.D. research activities.
ECOOP/ISSTA 2021 Doctoral Symposium.
July, 2021.2020Inspecting Code Churns to Prioritize Test Cases
[Slides - pdf]
[Slides - ppsx]
Presentation for our conference paper on test case prioritization leveraging code churn analysis.
International Conference on Testing Software and Systems (ICTSS 2020).
December, 2020.Model Checking for Autonomous Vehicles (NuSMV demo)
[Slides - pdf]
[Slides - ppsx]
[SMV specification]
Seminar lesson for the Formal Methods course held by professor Valeria Vittorini for Computer Engineering M.Sc. students.
University of Naples Federico II, Italy.
May, 2020.2019An Introduction to Cloud Computing and Amazon Web Services
[Slides]
Lecture / training for the postgraduate course FS Mobility Academy, a joint collaboration between FS Italiane S.p.A. and the University of Naples Federico II.
FS Mobility Academy - University of Naples Federico II.
March, 2019.2018Getting to know the amazing Amazon Web Services
[Slides]
[Handout]
Two-hour presentation for the Advanced Techniques for Software Engineering M.Sc./Ph.D. course held by professor Sergio Di Martino. Includes two live demos.
University of Naples Federico II, Italy.
June, 2018.