Michael Wagner

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 15

Top Topics

Boltzmann Machines

Test Generation

Evolutionary Algorithm

Top Venues

J. Comb. Optim.

Publications

Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos
State of the CArt: evaluating covering array generators at scale. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Michael Wagner, Charles J. Colbourn, Dimitris E. Simos
Summary of In-Parameter-Order strategies for covering perfect hash families. ICSTW (2023)
Ryan E. Dougherty, Kristoffer Kleine, Michael Wagner, Charles J. Colbourn, Dimitris E. Simos
Algorithmic methods for covering arrays of higher index. J. Comb. Optim. 45 (1) (2023)
Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa
Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. ICSTW (2023)
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
Applying Pairwise Combinatorial Testing to Large Language Model Testing. ICTSS (2023)
Irene Hiess, Ludwig Kampel, Michael Wagner, Dimitris E. Simos
IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract). SOCS (2022)
Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
A primer on the application of neural networks to covering array generation. Optim. Methods Softw. 37 (3) (2022)
Irene Hiess, Ludwig Kampel, Michael Wagner, Dimitris E. Simos
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation. SYNASC (2022)
Michael Wagner, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker
Developing multithreaded techniques and improved constraint handling for the tool CAgen. ICST Workshops (2022)
Michael Wagner, Charles J. Colbourn, Dimitris E. Simos
In-Parameter-Order strategies for covering perfect hash families. Appl. Math. Comput. 421 (2022)
Michael Wagner, Ludwig Kampel, Dimitris E. Simos
Heuristically Enhanced IPO Algorithms for Covering Array Generation. IWOCA (2021)
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. ICST Workshops (2020)
Michael Wagner, Ludwig Kampel, Dimitris E. Simos
Quantum-Inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength. SEA² (2019)
Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
How to Use Boltzmann Machines and Neural Networks for Covering Array Generation. LION (2019)
Michael Wagner, Ludwig Kampel, Dimitris E. Simos
IPO-Q: A Quantum-Inspired Approach to the IPO Strategy Used in CA Generation. MACIS (2019)