The camera-ready copy of our paper Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications, accepted at ESEC/FSE 2013, is available for preview (PDF).
The camera-ready copy of our paper Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications, accepted at ESEC/FSE 2013, is available for preview (PDF).