Joint works with Adriano Peron
Conference articles
2023▸
Tree Kernels to Support Formal Methods-Based Testing of Evolving Specifications
Joint work with
F.
Altiero, A.
Corazza, S.
Di Martino, and A.
Peron.
Presented at OVERLAY 2023: 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, November, 2023, Rome, Italy.▸
🏆
AI-based Fault-proneness Metrics for Source Code Changes
Joint work with
F.
Altiero, A.
Corazza, S.
Di Martino, and A.
Peron.
Presented at IWSM-MENSURA 2023 - Joint Conference of the 32nd International Workshop on Software Measurement (IWSM) and the 17th International Conference on Software Process and Product Measurement (MENSURA).2022▸
Change-Aware Regression Test Prioritization using Genetic Algorithms
Joint work with
F.
Altiero, G.
Colella, A.
Corazza, S.
Di Martino, and A.
Peron.
Presented at SEAA 2022 - 48th Euromicro Conference on Software Engineering and Advanced Applications.▸
ReCover: a Curated Dataset for Regression Testing Research
Joint work with
F.
Altiero, A.
Corazza, S.
Di Martino, and A.
Peron.
Presented at MSR 2022 - Mining Software Repositories Conference.2021▸
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference
Joint work with
A.
Corazza, S.
Di Martino, and A.
Peron.
Presented at ESEM 2021 - 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement.▸
Expressing structural temporal properties of safety critical hierarchical systems
Joint work with
M.
Benerecetti, R.
Lanotte, F.
Mogavero, and A.
Peron.
Presented at QUATIC 2021 - 14th International Conference on the Quality of Information and Communications Technology.2020▸
Inspecting code churns to prioritize test cases
Joint work with
F.
Altiero, A.
Corazza, S.
Di Martino, and A.
Peron.
Presented at ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems.2019▸
From Dynamic State Machines to Promela
Joint work with
M.
Benerecetti, U.
Gentile, S.
Marrone, R.
Nardone, A.
Peron, and V.
Vittorini.
Presented at SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software.