Treffer: Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution
Title:
Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution
Authors:
Source:
2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2021 ACM/IEEE 24th International Conference on. :156-162 Oct, 2021
Relation:
2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Database:
IEEE Xplore Digital Library