IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract). - Irene Hiess; Ludwig Kampel; Michael Wagner 026; Dimitris E. Simos (SOCS, 2022)

IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation. - Irene Hiess; Ludwig Kampel; Michael Wagner 026; Dimitris E. Simos (SYNASC, 2022)

Applying Pairwise Combinatorial Testing to Large Language Model Testing. - Bernhard Garn; Ludwig Kampel; Manuel Leithner; Berina Celic; Ceren Çulha; Irene Hiess; Klaus Kieseberg; Marlene Koelbing; Dominik-Philip Schreiber; Michael Wagner 026; Christoph Wech; Jovan Zivanovic; et al. (ICTSS, 2023)

Algorithmic Optimizations for Deriving Minimal Forbidden Tuples. - Michael Wagner 026; Irene Hiess; Ludwig Kampel; Dimitris E. Simos; Yu Lei (ICSTW, 2024)