@conference{259591, author = {Raghu Kacker and David Kuhn}, title = {CAgen: A fast combinatorial test generation tool with support for constraints and higher-index arrays}, year = {2020}, month = {2020-08-04}, publisher = {Proceedings of IEEE International Conference on Software Testing, Verification and Validation ICST 2020 workshops, Porto, -1}, doi = {https://doi.org/10.1109/ICSTW50294.2020.00041.}, language = {en}, }