collaborators

7 papers

cs.SE2026

Detecting Architectural Drift in Safety-Critical Firmware through Runtime Trace Analysis

Domenico Francesco De Angelis, Marco De Luca, Domenico Amalfitano +2

Maintaining consistency between architectural design and runtime-observed behavior is challenging in long-lived safety-critical firmware. This paper presents a runtime-informed met…

cs.SE2026

Are LLMs Ready for Anti-Pattern Detection in Microservice Architectures?

Marco De Luca, Domenico Amalfitano, Porfirio Tramontana +1

Microservice systems are prone to recurrent architectural anti-patterns (APs) that hinder maintainability, evolvability, and operational quality. Most existing AP detection approac…

cs.SE2026

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing

Marco De Luca, Domenico Francesco De Angelis, Domenico Amalfitano +2

Equivalence class partitioning is a well-established test design technique mandated by safety standards such as ISO~26262 for systematic testing of safety software. In industrial p…

cs.SE2026

CIAO - Code In Architecture Out - Automated Software Architecture Documentation with Large Language Models

Marco De Luca, Tiziano Santilli, Domenico Amalfitano +2

Software architecture documentation is essential for system comprehension, yet it is often unavailable or incomplete. While recent LLM-based techniques can generate documentation f…

cs.SE2026

Architectural Anti-Patterns in Student-Developed Microservice Architectures: An Exploratory Study

Anna Rita Fasolino, Marco De Luca, Michele Perlotto +1

Teaching microservice architectures is challenging due to distributed complexity and the gap between academia and industry. Understanding the quality issues students introduce in M…

cs.SE2026

Statistical-Based Metric Threshold Setting Method for Software Fault Prediction in Firmware Projects: An Industrial Experience

Marco De Luca, Domenico Amalfitano, Anna Rita Fasolino +1

Ensuring software quality in embedded firmware is critical, especially in safety-critical domains where compliance with functional safety standards (ISO 26262) requires strong guar…