Publications

Authors:

Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano

Title:

A Systematic Literature Review on Mining LTL Specifications

Year:

2025

Type of item:

Articolo in Rivista

Tipologia ANVUR:

Articolo su rivista

Language:

Inglese

Referee:

No

Name of journal:

IEEE ACCESS

ISSN of journal:

2169-3536

N° Volume:

13

Page numbers:

48950-48998

Keyword:

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

Short description of contents:

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.

Product ID:

144955

Handle IRIS:

11562/1159009

Last Modified:

April 5, 2025

Bibliographic citation:

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