KIT | KIT-Bibliothek | Impressum

Interleaving Generation for Data Race and Deadlock Reproduction

Carril, Luis M.; 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 Software Engineering for Parallel Systems (SEPS 2015), October 25-30, Pittsburgh, PA, USA
Verlag ACM, New York (NY)
Seiten 26 - 34
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page