1. Al-Hajjaji, M., Thüm, T., Meinicke, J., Lochau, M., Saake, G.: Similarity-based prioritization in software product-line testing. In: 18th International Software Product Line Conference, SPLC 2014, Florence, Italy, 15–19 September 2014, pp. 197–206 (2014).
https://doi.org/10.1145/2648511.2648532
2. Apel, S., Batory, D., Kästner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013).
https://doi.org/10.1007/978-3-642-37521-7
3. Apel, S., von Rhein, A., Wendler, P., Größlinger, A., Beyer, D.: Strategies for product-line verification: case studies and experiments. In: ICSE 2013, pp. 482–491 (2013)
4. Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: 15th International Conference on Software Product Lines, SPLC 2011, Munich, Germany, 22–26 August 2011, pp. 130–139 (2011)
5. Atlee, J.M., Beidu, S., Fahrenberg, U., Legay, A.: Merging features in featured transition systems. In: Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, 29 September 2015, pp. 38–43. CEUR-WS.org (2015)