VLDB 2026 Research / reviewers in the wild / expert
Michael Wagner 0026
dblp:98/1236-26
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
ICTSS | 2 |
| 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 |
ICTSS | 10 |
| 2022 | IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract)abstractCovering 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 |
SOCS | 3 |
| 2021 | Heuristically Enhanced IPO Algorithms for Covering Array Generation
Michael Wagner 0026, Ludwig Kampel, Dimitris E. Simos |
IWOCA | 1 |