Ruland, Sebastian ; Lochau, Malte ; Jakobs, Marie-Christine (2020)
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
ETAPS 2020. Dublin, Irland (April 25–30, 2020)
doi: 10.1007/978-3-030-45234-6_26
Konferenzveröffentlichung, Bibliographie
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2020 |
| Autor(en): | Ruland, Sebastian ; Lochau, Malte ; Jakobs, Marie-Christine |
| Art des Eintrags: | Bibliographie |
| Titel: | HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution) |
| Sprache: | Englisch |
| Publikationsjahr: | 2020 |
| Ort: | Cham |
| Verlag: | Springer |
| Buchtitel: | Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings |
| Veranstaltungstitel: | ETAPS 2020 |
| Veranstaltungsort: | Dublin, Irland |
| Veranstaltungsdatum: | April 25–30, 2020 |
| DOI: | 10.1007/978-3-030-45234-6_26 |
| Zusätzliche Informationen: | Lecture Notes in Computer Science ; 12076 |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik 20 Fachbereich Informatik 20 Fachbereich Informatik > Semantik und Verifikation paralleler Systeme |
| Hinterlegungsdatum: | 29 Apr 2020 09:08 |
| Letzte Änderung: | 29 Apr 2020 09:08 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum