2 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
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…