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]
Abstract is missing.