Skip to Main content Skip to Navigation
New interface
Book sections

An SMT-Based Concolic Testing Tool for Logic Programs

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.
Document type :
Book sections
Complete list of metadata
Contributor : Réunion Univ Connect in order to contact the contributor
Submitted on : Tuesday, September 22, 2020 - 12:15:25 PM
Last modification on : Friday, January 21, 2022 - 3:30:50 AM

Links full text




Sophie Fortz, Frédéric Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, et al.. An SMT-Based Concolic Testing Tool for Logic Programs. Nakano K.; Sagonas K. Functional and Logic Programming. FLOPS 2020, 12073, Springer, pp.215-219, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-59025-3_13⟩. ⟨hal-02945459⟩



Record views