Sophie Fortz

Faculty of Computer Science

Belgium

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research output per year

If you made any changes in Pure these will be visible here soon.

1 Poster

An SMT-Based Concolic Testing Tool for Logic Programs
Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).
Research output: Contribution to conference › Poster

1 Participation in workshop, seminar, course

6th International Winter School on Big Data
Sophie Fortz (Participant)
13 Jan 2020 → 17 Jan 2020
Activity: Participating in or organising an event types › Participation in workshop, seminar, course

SAT-Based Concolic Testing in Prolog
Author: Fortz, S., 17 Jun 2019
Supervisor: Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer Science Professional focus in Software engineering

File

Your message has successfully been sent.

Your message was not sent due to an error.

If you made any changes in Pure these will be visible here soon.