Login / Signup
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