CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays | IEEE Conference Publication | IEEE Xplore