Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
Este artigo investiga a aplicação da Execução Simbólica Dinâmica para análise de diferenças semânticas em arquiteturas de componentes e conectores baseadas em modelos MontiArc, demonstrando seu potencial para identificar traços de execução críticos, embora a escalabilidade em sistemas maiores permaneça uma limitação significativa.