An SMT-Based Concolic Testing Tool for Logic Programs

Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

2 Downloads (Pure)

Abstract

Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits have been demonstrated for more than 15 years in the case of imperative programs. In this work, we present a concolic-based test generation tool for logic programs which exploits SMT-solving for constraint resolution.

Original languageEnglish
Title of host publicationFunctional and Logic Programming
Subtitle of host publication 15th International Symposium, FLOPS 2020, Proceedings
EditorsKeisuke Nakano, Konstantinos Sagonas
PublisherSpringer Science and Business Media Deutschland GmbH
Pages215-219
Number of pages5
ISBN (Print)9783030590246
DOIs
Publication statusPublished - 2020
Event15th International Symposium on Functional and Logic Programming, FLOPS 2020 - Akita, Japan
Duration: 14 Sep 202016 Sep 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12073 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International Symposium on Functional and Logic Programming, FLOPS 2020
CountryJapan
CityAkita
Period14/09/2016/09/20

Fingerprint Dive into the research topics of 'An SMT-Based Concolic Testing Tool for Logic Programs'. Together they form a unique fingerprint.

Cite this