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, pp. 520-524,
Cham, Springer, ETAPS 2020, Dublin, Irland, April 25–30, 2020, 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 |
Options (only for editors)
![]() |
Show editorial Details |