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


ConferenceInternational Symposium on Functional and Logic Programming
Abbreviated titleFLOPS 2020
Internet address

Cite this