PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models | IEEE Conference Publication | IEEE Xplore