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