TU Darmstadt / ULB / TUbiblio

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

Ruland, Sebastian and Lochau, Malte and Jakobs, Marie-Christine (2020):
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
In: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings, Cham, Springer, In: ETAPS 2020, Dublin, Irland, April 25–30, 2020, pp. 520-524, ISBN 978-3-030-45233-9,
DOI: 10.1007/978-3-030-45234-6_26,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2020
Creators: Ruland, Sebastian and Lochau, Malte and Jakobs, Marie-Christine
Title: HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)
Language: English
Title of Book: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings
Place of Publication: Cham
Publisher: Springer
ISBN: 978-3-030-45233-9
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
20 Department of Computer Science
20 Department of Computer Science > Semantics and Verification of Concurrent Programs
Event Title: ETAPS 2020
Event Location: Dublin, Irland
Event Dates: April 25–30, 2020
Date Deposited: 29 Apr 2020 09:08
DOI: 10.1007/978-3-030-45234-6_26
Additional Information:

Lecture Notes in Computer Science ; 12076

Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item