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 metadatas

https://hal.univ-reunion.fr/hal-02945459
Contributor : Réunion Univ <>
Submitted on : Tuesday, September 22, 2020 - 12:15:25 PM
Last modification on : Wednesday, September 23, 2020 - 4:11:46 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

15