TY - CONF AU - Raghu Kacker AU - David Kuhn C2 - Proceedings of IEEE International Conference on Software Testing, Verification and Validation ICST 2020 workshops, Porto, -1 DA - 2020-08-04 DO - https://doi.org/10.1109/ICSTW50294.2020.00041. LA - en PB - Proceedings of IEEE International Conference on Software Testing, Verification and Validation ICST 2020 workshops, Porto, -1 PY - 2020 TI - CAgen: A fast combinatorial test generation tool with support for constraints and higher-index arrays ER -