Early Consistency Checking between Specification and Implementation Variabilities

Xhevahire Tërnava, Philippe Collet. Early Consistency Checking between Specification and Implementation Variabilities. In Myra B. Cohen, Mathieu Acher, Lidia Fuentes, Daniel Schall, Jan Bosch, Rafael Capilla, Ebrahim Bagheri, Yingfei Xiong, Javier Troya, Antonio Ruiz Cortés, David Benavides, editors, Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25-29, 2017. pages 29-38, ACM, 2017. [doi]

@inproceedings{TernavaC17-0,
  title = {Early Consistency Checking between Specification and Implementation Variabilities},
  author = {Xhevahire Tërnava and Philippe Collet},
  year = {2017},
  doi = {10.1145/3106195.3106209},
  url = {http://doi.acm.org/10.1145/3106195.3106209},
  researchr = {https://researchr.org/publication/TernavaC17-0},
  cites = {0},
  citedby = {0},
  pages = {29-38},
  booktitle = {Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25-29, 2017},
  editor = {Myra B. Cohen and Mathieu Acher and Lidia Fuentes and Daniel Schall and Jan Bosch and Rafael Capilla and Ebrahim Bagheri and Yingfei Xiong and Javier Troya and Antonio Ruiz Cortés and David Benavides},
  publisher = {ACM},
  isbn = {978-1-4503-5221-5},
}