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 logiques

Sophie Fortz, Fred Mesnard, Etienne Payet, GILLES PERROUIN, Wim VANHOOF, German Vidal

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

Titre traduit de la contributionUn outil de concolic testing basé sur un soldeur SMT pour les programmes logiques
langue originaleAnglais
Etat de la publicationAccepté/sous presse - 31 janv. 2020
EvénementInternational Symposium on Functional and Logic Programming - Akita University, Akita, Japon
Durée: 23 avr. 202025 avr. 2020
Numéro de conférence: 15th
https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/

Une conférence

Une conférenceInternational Symposium on Functional and Logic Programming
Titre abrégéFLOPS 2020
PaysJapon
La villeAkita
période23/04/2025/04/20
Adresse Internet

mots-clés

  • Concolic Testing
  • programmation logique
  • Solveurs SAT/SMT

Contient cette citation

Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W., & Vidal, G. (Accepté/en presse). An SMT-Based Concolic Testing Tool for Logic Programs. Poster présenté � International Symposium on Functional and Logic Programming, Akita, Japon.