A Classification and Survey of Analysis Strategies for Software Product Lines

Compositional type checking of delta-oriented software product lines

(2013) Lorenzo Bettini et al.   ACTA INFORMATICA

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

(2013) Andreas Classen et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications

(2013) Joel Greenyer et al.   REQUIREMENTS ENGINEERING

Reducing the verification cost of evolving product families using static analysis techniques

(2013) Hamideh Sabouri et al.   SCIENCE OF COMPUTER PROGRAMMING

Compositional model checking of software product lines using variation point obligations

(2010) Jing Liu et al.   Automated Software Engineering

A systematic mapping study of software product lines testing

(2010) Paulo Anselmo da Mota Silveira Neto et al.   INFORMATION AND SOFTWARE TECHNOLOGY

Aspectual Feature Modules

(2008) S. Apel et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Statically safe program generation with SafeGen

(2008) Shan Shan Huang et al.   SCIENCE OF COMPUTER PROGRAMMING