KIT | KIT-Bibliothek | Impressum | Datenschutz

Interleaving Generation for Data Race and Deadlock Reproduction

Carril Rodriguez, Luis Manuel; Tichy, Walter F. ORCID iD icon 1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1145/2837476.2837480
Scopus
Zitationen: 1
Dimensions
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2015
Sprache Englisch
Identifikator ISBN: 978-1-4503-3910-0
KITopen-ID: 1000051697
Erschienen in Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems : SEPS 2015, Pittsburgh, PA, USA, 25-30 October
Verlag Association for Computing Machinery (ACM)
Seiten 26 - 34
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page