Chavdar, MarinovEdelkamp, StefanGoloub, AlexanderJabbar, ShahidKellershoff, MarkLiu, YangMehler, T.Midzic, DinoMilouchev, GoranRikowski, DanielSulewski, DamianTamokoue, EricZakaria, Yfrah2007-02-162007-02-162007-02-16http://hdl.handle.net/2003/2328210.17877/DE290R-7672en004BugFinder: Automatische Fehlerfindung in nebenläufiger SoftwareBug-Finder: Enhanced Error Detection in Concurrent Computer Programsstudy thesis