TY  - RPRT
TI  - Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
AU  - Johanna Grahl
AU  - Bernhard Rumpe
AU  - Max Stachon
AU  - Sebastian Stüber
PY  - 2026
UR  - https://arxiv.org/abs/2508.00749
ID  - 2508.00749
ER  -