gLTSdiff: a generalized framework for structural comparison of software behavior
D Hendriks, W Oortwijn - Software and Systems Modeling, 2024 - Springer
Structural comparison of state machine models–such as labeled transition systems and
(extended) finite automata–is used for numerous applications, such as finding potential …
(extended) finite automata–is used for numerous applications, such as finding potential …