Automated Test-Case Generation with Symbolic Execution

Grunddaten zum Promotionsverfahren

Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster

Zeitraum: bis 21.06.2019

Status: abgeschlossen

Promovend*in: Fuchs, Andreas

Promotionsfach: Wirtschaftsinformatik

Abschlussgrad: Dr. rer. pol.

Verleihender Fachbereich: Fachbereich 04 - Wirtschaftswissenschaftliche Fakultät

Betreuer*innen: Kuchen, Herbert