Thesis
- 2 results
Search results
-
SAT-Based Concolic Testing in Prolog
Author: Fortz, S., 17 Jun 2019Supervisor: Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer Science Professional focus in Software engineering
File -
Learning Featured Transition Systems
Author: Fortz, S., 22 Sept 2023Supervisor: Perrouin, G. (Supervisor), Heymans, P. (Co-Supervisor), Frénay, B. (Jury), Vanhoof, W. (Jury), Mousavi, M. (External person) (Jury) & ter Beek, M. H. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
File