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.
Inspecting 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.
An 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.
Getting 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.