Automatische Testgenerierung für parallele Programme durch dynamische Analyse