Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations.

Amani Makhlouf Hanh Nhi Tran Christian Percebois Martin Strecker

Published in: TAP@STAF (2016)

Keyphrases

static analysis
dynamic analysis
source code
reverse engineering
abstract interpretation
symbolic execution
graph representation
dynamic environments
regular expressions
test generation
java card
database
graph theory
random walk
open source
real world
dynamic graph