Work

A comparison of large language models and model-driven reverse engineering for reverse engineering

Year: 2025

Type: article

Abstract: Large language models (LLMs) have been extensively researched for programming-related tasks, including program summarisation, over recent years. However, the task of abstracting formal specifications from code using LLMs has been less explored. Precise program analysis approaches based on model-driven reverse engineering (MDRE) have also been researched, and in this paper we compare the results of the LLM and MDRE approaches on tasks of abstracting Python and Java programs to the OCL formal language. We also define a combined approach which achieves improved results.

Source: Frontiers in Computer Science

DOI: 10.3389/fcomp.2025.1516410

Authors: Hanan Siala, Kevin Lano

Institution: King's College London

Language: English

Topic: Software Engineering Research

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Estimated APC paid: $1,418

Funder: Ministry of Higher Education and Scientific Research