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

Bibliographische Detailangaben

Veröffentlicht in:	FASE (23. : 2020 : Online) Fundamental approaches to software engineering
1. Verfasser:	Ruland, Sebastian (VerfasserIn)
Weitere Verfasser:	Lochau, Malte (VerfasserIn), Jakobs, Marie-Christine (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!