Joint works with Adriano Peron
Conference articles
2023▸
Tree Kernels to Support Formal Methods-Based Testing of Evolving Specifications
Authors:
F.
Altiero, A.
Corazza, S.
Di Martino, A.
Peron, and L. L. L.
Starace.
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
Authors:
F.
Altiero, A.
Corazza, S.
Di Martino, A.
Peron, and L. L. L.
Starace.
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
Authors:
F.
Altiero, G.
Colella, A.
Corazza, S.
Di Martino, A.
Peron, and L. L. L.
Starace.
Presented at SEAA 2022 - 48th Euromicro Conference on Software Engineering and Advanced Applications.▸
ReCover: a Curated Dataset for Regression Testing Research
Authors:
F.
Altiero, A.
Corazza, S.
Di Martino, A.
Peron, and L. L. L.
Starace.
Presented at MSR 2022 - Mining Software Repositories Conference.2021▸
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference
Authors:
A.
Corazza, S.
Di Martino, A.
Peron, and L. L. L.
Starace.
Presented at ESEM 2021 - 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement.▸
Expressing structural temporal properties of safety critical hierarchical systems
Authors:
M.
Benerecetti, R.
Lanotte, F.
Mogavero, A.
Peron, and L. L. L.
Starace.
Presented at QUATIC 2021 - 14th International Conference on the Quality of Information and Communications Technology.2020▸
Inspecting code churns to prioritize test cases
Authors:
F.
Altiero, A.
Corazza, S.
Di Martino, A.
Peron, and L. L. L.
Starace.
Presented at ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems.2019▸
From Dynamic State Machines to Promela
Authors:
M.
Benerecetti, U.
Gentile, S.
Marrone, R.
Nardone, A.
Peron, L. L. L.
Starace, and V.
Vittorini.
Presented at SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software.