Defects in Product Line Models and How to Identify Them
Camille Salinesi, Ral Mazo · InTech eBooks · 2012
This chapter is about generic (language-independent) verification criteria of product line models, its identification, formalisation, categorization, implementation with constraint programming techniques and its evaluation on several industrial and academic product line models represented with several languages.