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

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 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

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 Datacite

Share

Metrics

Record views

19