Michael Wagner
Orcid: 0000-0002-2524-6539Affiliations:
- SBA Research, Vienna, Austria
According to our database1,
Michael Wagner
authored at least 15 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Softw. Tools Technol. Transf., June, 2024
2023
Proceedings of the Testing Software and Systems, 2023
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023
2022
Optim. Methods Softw., 2022
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
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
Proceedings of the Analysis of Experimental Algorithms - Special Event, 2019
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019
Proceedings of the Learning and Intelligent Optimization - 13th International Conference, 2019