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

von Ruland, Sebastian
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)