KIT - Karlsruher Institut für Technologie
IPD - Lehrstuhl em. Programmiersysteme
Navigation überspringen
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
en
Mitarbeiter
Forschungsgebiete
Start
Forschungsgebiete
Forschungsgebiete
Projekte
Start
Forschungsgebiete
Projekte
Projekte
Abgeschlossen
Veröffentlichungen
Software
Studium und Lehre
Start
Studium und Lehre
Studium und Lehre
Vergangene Veranstaltungen
Abschlussarbeiten / Stellenausschreibungen
Start
Studium und Lehre
Abschlussarbeiten / Stellenausschreibungen
Abschlussarbeiten / Stellenausschreibungen
Laufende Abschlussarbeiten
Abgeschlossene Abschlussarbeiten
Neuigkeiten
Kontakt
Start
Kontakt
Kontakt
Räume
Startseite
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
IPD - Lehrstuhl em. Programmiersysteme
Startseite
Studium und Lehre
Abschlussarbeiten / Stellenausschreibungen
Abgeschlossene Abschlussarbeiten
Startseite
Mitarbeiter
Forschungsgebiete
Studium und Lehre
Neuigkeiten
Kontakt
Studium und Lehre
Vergangene Veranstaltungen
Abschlussarbeiten / Stellenausschreibungen
Abschlussarbeiten / Stellenausschreibungen
Laufende Abschlussarbeiten
Abgeschlossene Abschlussarbeiten
Abgeschlossene Abschlussarbeiten
Automatische Testgenerierung für parallele Programme durch dynamische Analyse
Typ:
Diplomarbeit
Betreuung:
PD Dr. Victor Pankratius
Dipl.-Inform. Korbinian Molitorisz
Bearbeitung:
Filip Dimitrov
Zusatzfeld:
abgeschlossen
Projekte
Titel
Forschungsprojekt AParT - Entwurfsmustergestütze Anwendungsparallelisierung