Automated Test-Case Generation with Symbolic Execution

Grunddaten zum Promotionsverfahren

Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Zeitraumbis 21.06.2019
Statusabgeschlossen
Promovend*inFuchs, Andreas
PromotionsfachWirtschaftsinformatik
AbschlussgradDr. rer. pol.
Verleihender FachbereichFachbereich 04 - Wirtschaftswissenschaftliche Fakultät
Betreuer*innenKuchen, Herbert

Promovend*in an der Universität Münster

Fuchs, Andreas
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)

Betreuung an der Universität Münster

Kuchen, Herbert
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)