Model-based pairwise testing for feature interaction coverage in software product line engineering