Sign in

Synthesizing manually verifiable code for statecharts.

Steven SmythChristian MotikaReinhard 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