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.
CITATION STYLE
Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W., & Vidal, G. (2020). An SMT-Based Concolic Testing Tool for Logic Programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12073 LNCS, pp. 215–219). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-59025-3_13
Mendeley helps you to discover research relevant for your work.