1. Software Product Lines: Practices and Patterns;Clements,2001
2. Feature models, grammars, and propositional formulas.;Batory,2005
3. Feature–Oriented Domain Analysis (FODA) Feasibility Study;Kang,1990
4. Strategies for product-line verification: case studies and experiments;Apel,2013
5. Automated and scalable t-wise test case generation strategies for software product lines;Perrouin,2010