Pubblicazioni

Autori:

Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano

Titolo:

A Systematic Literature Review on Mining LTL Specifications

Anno:

2025

Tipologia prodotto:

Articolo in Rivista

Tipologia ANVUR:

Articolo su rivista

Lingua:

Inglese

Referee:

No

Nome rivista:

IEEE ACCESS

ISSN Rivista:

2169-3536

N° Volume:

13

Intervallo pagine:

48950-48998

Parole chiave:

API Rule Inference; Assertion Mining; Automata Learning; Behavior Detection; Linear Temporal Logic; Property Discovery; Software Reliability; Specification; Specification Mining; SVA Generation

Breve descrizione dei contenuti:

Linear Temporal Logic (LTL) specifications play a crucial role in the verification process of cyber-physical systems, increasing the guarantees of their correctness. These specifications are vital for ensuring that both hardware and software components behave as expected, especially in complex real-world scenarios. In the last decades, researchers have developed several methodologies and tools to automatically generate LTL specifications, creating an urgent need to organize and synthesize existing literature to ease entry into this field and guide future research efforts. Therefore, starting from a pool of over 3000 papers extracted from the Scopus database in the temporal range 2000-2024, this paper employs the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) methodology to produce a systematic review of mining LTL specifications of hardware and software systems. In particular, we provide a taxonomy of the methods and describe with significant detail all the relevant techniques present at the state of the art. Finally, we discuss the challenges of mining LTL specifications and explore potential directions and opportunities for future research.

Id prodotto:

144955

Handle IRIS:

11562/1159009

ultima modifica:

5 aprile 2025

Citazione bibliografica:

Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano, A Systematic Literature Review on Mining LTL Specifications «IEEE ACCESS» , vol. 13 , 2025 , pp. 48950-48998

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo