HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)
Title | HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution) |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2020 |
Authors | Ruland, S, Lochau, M, Jakobs, M-C |
Conference Name | Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE) |
Pagination | 520-524 |
Publisher | Springer |
DOI | 10.1007/978-3-030-45234-6_26 |
Undefined