Optimizations for Game-based Software Synthesis

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

(TR-2011-12)

2011

subject terms: Automation, mgsyn, synthesis