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.