Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures. - Johanna Grahl; Bernhard Rumpe; Max Stachon; Sebastian Stüber (CoRR, 2025)