Automatic generation of combinatorial test data (2014)