Comparative analysis of two algorithms of combinatorial techniques for testing SPLs — An exploratory study in six SPLs | IEEE Conference Publication | IEEE Xplore