Michael Wagner, Kristoffer Kleine, Dimitris E. Simos, Rick Kuhn, Raghu Kacker. CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays. In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. pages 191-200, IEEE, 2020. [doi]
Abstract is missing.