Login / Signup
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems.
Nico Nachtigall
Benjamin Braatz
Thomas Engel
Published in:
MoDeVVa@MoDELS (2013)
Keyphrases
</>
graph transformation
symbolic execution
test generation
artificial intelligence
static analysis
test data generation
optimization algorithm
neural network
data flow