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]

@inproceedings{GreenyerBCHG13,
  title = {Incrementally synthesizing controllers from scenario-based product line specifications},
  author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi},
  year = {2013},
  doi = {10.1145/2491411.2491445},
  url = {http://doi.acm.org/10.1145/2491411.2491445},
  researchr = {https://researchr.org/publication/GreenyerBCHG13},
  cites = {0},
  citedby = {0},
  pages = {433-443},
  booktitle = {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},
  editor = {Bertrand Meyer and Luciano Baresi and Mira Mezini},
  publisher = {ACM},
  isbn = {978-1-4503-2237-9},
}