An SMT-Based Concolic Testing Tool for Logic Programs

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

Research output: Contribution to conferencePoster

Original languageEnglish
Publication statusAccepted/In press - 31 Jan 2020
EventInternational Symposium on Functional and Logic Programming - Akita University, Akita, Japan
Duration: 23 Apr 202025 Apr 2020
Conference number: 15th
https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/

Conference

ConferenceInternational Symposium on Functional and Logic Programming
Abbreviated titleFLOPS 2020
CountryJapan
CityAkita
Period23/04/2025/04/20
Internet address

Cite this

Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W., & Vidal, G. (Accepted/In press). An SMT-Based Concolic Testing Tool for Logic Programs. Poster session presented at International Symposium on Functional and Logic Programming, Akita, Japan.
Fortz, Sophie ; Mesnard, Fred ; Payet, Etienne ; PERROUIN, GILLES ; VANHOOF, Wim ; Vidal, German. / An SMT-Based Concolic Testing Tool for Logic Programs. Poster session presented at International Symposium on Functional and Logic Programming, Akita, Japan.
@conference{c073b507ab2444b7975cd2df717834a1,
title = "An SMT-Based Concolic Testing Tool for Logic Programs",
keywords = "Concolic Testing, programmation logique, Solveurs SAT/SMT",
author = "Sophie Fortz and Fred Mesnard and Etienne Payet and GILLES PERROUIN and Wim VANHOOF and German Vidal",
year = "2020",
month = "1",
day = "31",
language = "English",
note = "null ; Conference date: 23-04-2020 Through 25-04-2020",
url = "https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/",

}

Fortz, S, Mesnard, F, Payet, E, PERROUIN, GILLES, VANHOOF, W & Vidal, G 2020, 'An SMT-Based Concolic Testing Tool for Logic Programs', International Symposium on Functional and Logic Programming, Akita, Japan, 23/04/20 - 25/04/20.

An SMT-Based Concolic Testing Tool for Logic Programs. / Fortz, Sophie; Mesnard, Fred; Payet, Etienne; PERROUIN, GILLES; VANHOOF, Wim; Vidal, German.

2020. Poster session presented at International Symposium on Functional and Logic Programming, Akita, Japan.

Research output: Contribution to conferencePoster

TY - CONF

T1 - An SMT-Based Concolic Testing Tool for Logic Programs

AU - Fortz, Sophie

AU - Mesnard, Fred

AU - Payet, Etienne

AU - PERROUIN, GILLES

AU - VANHOOF, Wim

AU - Vidal, German

PY - 2020/1/31

Y1 - 2020/1/31

KW - Concolic Testing

KW - programmation logique

KW - Solveurs SAT/SMT

M3 - Poster

ER -

Fortz S, Mesnard F, Payet E, PERROUIN GILLES, VANHOOF W, Vidal G. An SMT-Based Concolic Testing Tool for Logic Programs. 2020. Poster session presented at International Symposium on Functional and Logic Programming, Akita, Japan.