Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution.

Florian Ege Matthias Tichy

Published in: MoDELS (2021)

Keyphrases

flow analysis
symbolic execution
information flow
test generation
test data generation
static analysis
genetic algorithm
artificial intelligence
information systems
multi objective
software engineering
data flow