TY - GEN
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, Germán
N1 - Funding Information:
Third author is a research associate at FNRS that also supports this work (O05518FRG03). The last author is partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R/PID2019-104735RB-C41 and by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust).
Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
PY - 2020
Y1 - 2020
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85091331643&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-59025-3_13
DO - 10.1007/978-3-030-59025-3_13
M3 - Conference contribution
AN - SCOPUS:85091331643
SN - 9783030590246
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 215
EP - 219
BT - Functional and Logic Programming
A2 - Nakano, Keisuke
A2 - Sagonas, Konstantinos
PB - Springer Science and Business Media Deutschland GmbH
T2 - 15th International Symposium on Functional and Logic Programming, FLOPS 2020
Y2 - 14 September 2020 through 16 September 2020
ER -