Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Schemmel, Daniel ; Büning, Julian ; Rodríguez, César ; Laprell, David ; Wehrle, Klaus 2020 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1242553924
- Titel
-
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
- Art des Inhalts
- Monographie
- Verfassangaben
- Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
- Autor(en)
-
- Schemmel, Daniel
- Büning, Julian
- Rodríguez, César
- Laprell, David
- Wehrle, Klaus
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2020]
- Jahr
- Erscheinungsdatum: 2020
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2020-09295
- Online
- https://doi.org/10.18154/RWTH-2020-09295
- Sprache
- eng
- Anmerkungen
-
In: 10.1007/978-3-030-53288-8_18
- Stand
- 04.12.2025 08:45
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
