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