Michael Wagner 0026

dblp:98/1236-26 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
5since 2021 · last 2024
0000-0002-2524-6539ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 3 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2024 Estimating Combinatorial t-Way Coverage Based on Matrix Complexity Metrics
Luiza Corpaci, Michael Wagner 0026, Sebastian Raubitzek, Ludwig Kampel, Kevin Mallinger, Dimitris E. Simos
ICTSS2
2024 State of the CArt: evaluating covering array generators at scale
Manuel Leithner, Andrea Bombarda, Michael Wagner 0026, Angelo Gargantini, Dimitris E. Simos
Int. J. Softw. Tools Technol. Transf.3
2023 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 0026, Christoph Wech, Jovan Zivanovic, Dimitris E. Simos
ICTSS10
2022 IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract)
abstract
Covering arrays (CAs) are discrete objects appearing in combinatorial design theory that find practical applications, most prominently in software testing. The generation of optimized CAs is a difficult combinatorial optimization problem being subject to ongoing research. Previous studies have shown that many different algorithmic approaches are best suited for different instances of CAs. In this extended abstract we describe the IPO-MAXSAT algorithm, which adopts the prominent IPO strategy for CA generation and uses MaxSAT solving to optimize the occurring sub-problems.
Irene Hiess, Ludwig Kampel, Michael Wagner 0026, Dimitris E. Simos
SOCS3
2021 Heuristically Enhanced IPO Algorithms for Covering Array Generation
Michael Wagner 0026, Ludwig Kampel, Dimitris E. Simos
IWOCA1