An SMT-Based Concolic Testing Tool for Logic Programs

Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

2 Téléchargements (Pure)

Résumé

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.

langue originaleAnglais
titreFunctional and Logic Programming
Sous-titre 15th International Symposium, FLOPS 2020, Proceedings
rédacteurs en chefKeisuke Nakano, Konstantinos Sagonas
EditeurSpringer Science and Business Media Deutschland GmbH
Pages215-219
Nombre de pages5
ISBN (imprimé)9783030590246
Les DOIs
Etat de la publicationPublié - 2020
Evénement15th International Symposium on Functional and Logic Programming, FLOPS 2020 - Akita, Japon
Durée: 14 sept. 202016 sept. 2020

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12073 LNCS
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

Une conférence

Une conférence15th International Symposium on Functional and Logic Programming, FLOPS 2020
PaysJapon
La villeAkita
période14/09/2016/09/20

Empreinte digitale Examiner les sujets de recherche de « An SMT-Based Concolic Testing Tool for Logic Programs ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation