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