Sign in

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

Florian EgeMatthias 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