Photo of Sophie Fortz

Sophie Fortz

  • 0 Citations
  • 0 h-Index
20202020

Research output per year

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

Research Output

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

Activities

  • 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

Thesis

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