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 |
Options (only for editors)
 |
View Item |
Drucken
Impressum