Florian Ege, Matthias Tichy. Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution. In 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021. pages 156-162, IEEE, 2021. [doi]
Abstract is missing.