Incrementally synthesizing controllers from scenario-based product line specifications

Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi. Incrementally synthesizing controllers from scenario-based product line specifications. In Bertrand Meyer, Luciano Baresi, Mira Mezini, editors, Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. pages 433-443, ACM, 2013. [doi]

Authors

Joel Greenyer

This author has not been identified. Look up 'Joel Greenyer' in Google

Christian Brenner

This author has not been identified. Look up 'Christian Brenner' in Google

Maxime Cordy

This author has not been identified. Look up 'Maxime Cordy' in Google

Patrick Heymans

This author has not been identified. It may be one of the following persons: Look up 'Patrick Heymans' in Google

Erika Gressi

This author has not been identified. Look up 'Erika Gressi' in Google