Annotation-Based Input Modeling for Combinatorial Testing. - Markus Fugger; Manuel Leithner; Dimitris E. Simos (ICTSS, 2024)