HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
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