Photo de Sophie Fortz

Sophie Fortz

  • 0 Citations
  • 0 h-Index
20202020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche

An SMT-Based Concolic Testing Tool for Logic Programs

Titre traduit de la contribution: Un outil de concolic testing basé sur un soldeur SMT pour les programmes logiquesFortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 janv. 2020, (Accepté/sous presse).

Résultats de recherche: Contribution à un événement scientifique (non publié) › Poster

Activités

  • 1 Participation à un atelier/workshop, un séminaire, un cours

6th International Winter School on Big Data

Sophie Fortz (Participant)

13 janv. 2020 → 17 janv. 2020

Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

Thèse

SAT-Based Concolic Testing in Prolog

Author: Fortz, S., 17 juin 2019

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master types › Master en sciences informatiques à finalité spécialisée en informatique des organisations

Fichier