IPD - Lehrstuhl Tichy - Programmiersysteme

Automatische Testgenerierung für parallele Programme durch dynamische Analyse