Michael Wagner

17 papers B 1C 3Misc 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2024 — conf
Algorithmic Optimizations for Deriving Minimal Forbidden Tuples.
ICSTW
Michael Wagner, Irene Hiess, Ludwig Kampel, Dimitris E. Simos, Yu Lei
2024 C conf
Estimating Combinatorial t-Way Coverage Based on Matrix Complexity Metrics.
ICTSS
Luiza Corpaci, Michael Wagner, Sebastian Raubitzek, Ludwig Kampel, Kevin Mallinger, Dimitris E. Simos
2024 J jnl
State of the CArt: evaluating covering array generators at scale.
Int. J. Softw. Tools Technol. Transf.
Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos
2023 J jnl
Algorithmic methods for covering arrays of higher index.
J. Comb. Optim.
Ryan E. Dougherty, Kristoffer Kleine, Michael Wagner, Charles J. Colbourn, Dimitris E. Simos
2023 — conf
Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study.
ICSTW
Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa
2023 C conf
Applying Pairwise Combinatorial Testing to Large Language Model Testing.
ICTSS
Bernhard Garn, Ludwig Kampel, Manuel Leithner, Berina Celic, Ceren Çulha, Irene Hiess, Klaus Kieseberg, Marlene Koelbing, Dominik-Philip Schreiber, Michael Wagner, Christoph Wech, Jovan Zivanovic, Dimitris E. Simos
2023 — conf
Summary of In-Parameter-Order strategies for covering perfect hash families.
ICSTW
Michael Wagner, Charles J. Colbourn, Dimitris E. Simos
2022 J jnl
A primer on the application of neural networks to covering array generation.
Optim. Methods Softw.
Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
2022 — conf
Developing multithreaded techniques and improved constraint handling for the tool CAgen.
ICST Workshops
Michael Wagner, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker
2022 B conf
IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract).
SOCS
Irene Hiess, Ludwig Kampel, Michael Wagner, Dimitris E. Simos
2022 Misc conf
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation.
SYNASC
Irene Hiess, Ludwig Kampel, Michael Wagner, Dimitris E. Simos
2022 J jnl
In-Parameter-Order strategies for covering perfect hash families.
Appl. Math. Comput.
Michael Wagner, Charles J. Colbourn, Dimitris E. Simos
2021 C conf
Heuristically Enhanced IPO Algorithms for Covering Array Generation.
IWOCA
Michael Wagner, Ludwig Kampel, Dimitris E. Simos
2020 — conf
CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays.
ICST Workshops
Michael Wagner, Kristoffer Kleine, Dimitris E. Simos, Rick Kuhn, Raghu Kacker
2019 — conf
How to Use Boltzmann Machines and Neural Networks for Covering Array Generation.
LION
Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
2019 — conf
IPO-Q: A Quantum-Inspired Approach to the IPO Strategy Used in CA Generation.
MACIS
Michael Wagner, Ludwig Kampel, Dimitris E. Simos
2019 — conf
Quantum-Inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength.
SEA²
Michael Wagner, Ludwig Kampel, Dimitris E. Simos