Gravar-mail: Measuring and Specifying Combinatorial Coverage of Test Input Configurations