Automated Test-Case Generation with Symbolic Execution
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: to 21/06/2019
Status: completed
Candidate: Fuchs, Andreas
Doctoral subject: Wirtschaftsinformatik
Doctoral degree: Dr. rer. pol.
Awarded by: Department 04 - Münster School of Business and Economics
Supervisors: Kuchen, Herbert
Promovend*in an der Universität Münster
| Fuchs, Andreas | Practical Computer Science Group (PI) |
Supervision at the University of Münster
| Kuchen, Herbert | Practical Computer Science Group (PI) |