SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems. ESEC/SIGSOFT FSE 2022: 1185-1197