Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)

  • Veröffentlicht am: 10 Juni, 2020 - 11:11
TitelHybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)
Publication TypeConference Paper
Year of Publication2020
AuthorsRuland, S, Lochau, M, Jakobs, M-C
Conference NameInternational Conference on Fundamental Approaches to Software Engineering
Undefined