A first systematic mapping study on combinatorial interaction testing for software product lines | IEEE Conference Publication | IEEE Xplore