Synthesizing manually verifiable code for statecharts.

Steven Smyth Christian Motika Reinhard von Hanxleden

Published in: REBLS@SPLASH (2018)

Keyphrases

source code
genetic algorithm
agent oriented
databases
real world
labor intensive
conceptual modeling
decision trees
relational databases
error detection
secret sharing