Michael Wagner

Orcid: 0000-0002-2524-6539

Affiliations:
  • SBA Research, Vienna, Austria


According to our database1, Michael Wagner authored at least 14 papers between 2019 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Algorithmic methods for covering arrays of higher index.
J. Comb. Optim., 2023

Applying Pairwise Combinatorial Testing to Large Language Model Testing.
Proceedings of the Testing Software and Systems, 2023

Summary of In-Parameter-Order strategies for covering perfect hash families.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022
A primer on the application of neural networks to covering array generation.
Optim. Methods Softw., 2022

In-Parameter-Order strategies for covering perfect hash families.
Appl. Math. Comput., 2022

IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation.
Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract).
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Developing multithreaded techniques and improved constraint handling for the tool CAgen.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021
Heuristically Enhanced IPO Algorithms for Covering Array Generation.
Proceedings of the Combinatorial Algorithms - 32nd International Workshop, 2021

2020
CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
Quantum-Inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength.
Proceedings of the Analysis of Experimental Algorithms - Special Event, 2019

IPO-Q: A Quantum-Inspired Approach to the IPO Strategy Used in CA Generation.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019

How to Use Boltzmann Machines and Neural Networks for Covering Array Generation.
Proceedings of the Learning and Intelligent Optimization - 13th International Conference, 2019


  Loading...