Login / Signup
Supporting robotic software migration using static analysis and model-driven engineering.
Sophie Wood
Nicholas Matragkas
Dimitris S. Kolovos
Richard F. Paige
Simos Gerasimou
Published in:
MoDELS (2020)
Keyphrases
</>
static analysis
model driven engineering
source code
dynamic analysis
software systems
regular expressions
abstract interpretation
model driven
test suite
software engineering
model driven architecture
open source
life cycle
metadata
software design
software development
training data