Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications

Download PDF

Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace

Published: 01 Jan 2023, Last Modified: 18 Apr 2024OVERLAY@AI*IA 2023EveryoneRevisionsBibTeXCC BY-SA 4.0