Skip to Main content Skip to Navigation
Book sections

An SMT-Based Concolic Testing Tool for Logic Programs

Sophie Fortz 1 Frédéric Mesnard 2 Etienne Payet 1 Gilles Perrouin 1 Wim Vanhoof 1 Germán Vidal 3
1 UNamur - Université de Namur [Namur]
2 LIM - Laboratoire d'Informatique et de Mathématiques
3 UV - Universitat de València
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
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, June 30, 2021 - 9:40:08 PM

Links full text

arxiv

Identifiers

Collections

UNIV-REUNION | AFRIQ | LIM | FST-REUNION

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

24