Optimizations for Game-based Software Synthesis

Chih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll und Harald Rueß

(TR-2011-12)

2011

Stichworte: Automation, mgsyn, synthesis