Mining Shape Expressions with ShapeIt E Bartocci, J Deshmukh, C Mateis, E Nesterini, D Ničković, X Qin International Conference on Software Engineering and Formal Methods, 110-117, 2021 | 3 | 2021 |
Mining Specification Parameters for Multi-class Classification EA Aguilar, E Bartocci, C Mateis, E Nesterini, D Ničković International Conference on Runtime Verification, 86-105, 2023 | 1 | 2023 |