An SMT-Based Concolic Testing Tool for Logic Programs - Université de La Réunion Access content directly
Book Sections Year : 2020

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.

Dates and versions

hal-02945459 , version 1 (22-09-2020)

Identifiers

Cite

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⟩
22 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More