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 conferencePosterpeer-review

Translated title of the contributionUn outil de concolic testing basé sur un soldeur SMT pour les programmes logiques
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