KIT | KIT-Bibliothek | Impressum

Interleaving Generation for Data Race and Deadlock Reproduction

Carril Rodriguez, Luis Manuel; Tichy, Walter F.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2015
Sprache Englisch
Identifikator DOI: 10.1145/2837476.2837480
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 ACM, New York (NY)
Seiten 26 - 34
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page