Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans. Coverage Criteria for Behavioural Testing of Software Product Lines. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Volume 8802 of Lecture Notes in Computer Science, pages 336-350, Springer, 2014. [doi]
Abstract is missing.