gLTSdiff: a generalized framework for structural comparison of software behavior

Dennis Hendriks, Wytse Oortwijn. gLTSdiff: a generalized framework for structural comparison of software behavior. Software and Systems Modeling, 24(6):1671-1698, December 2025. [doi]

Abstract

Abstract is missing.