Measuring and specifying combinatorial coverage of test input configurations. (December 2016)