Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
Dit onderzoek onderzocht de toepassing van dynamische symbolische uitvoering voor semantisch verschilanalyse van component- en connectorarchitecturen in MontiArc-modellen, waarbij gebleken is dat de methode waardevolle inzichten biedt maar beperkt wordt door schaalbaarheidsuitdagingen.