Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
Cet article explore l'application de l'exécution symbolique dynamique pour analyser les différences sémantiques dans les architectures composants-connecteurs modélisées avec MontiArc, révélant son potentiel tout en soulignant les défis de scalabilité qui limitent son utilisation pratique sur de grands systèmes.