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

Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs

Browse the full FASE paper archive.