An SMT-Based Concolic Testing Tool for Logic Programs

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

doi:10.1007/978-3-030-59025-3_13

An SMT-Based Concolic Testing Tool for Logic Programs

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

Faculte d'informatique

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

34 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 originale	Anglais
titre	Functional and Logic Programming
Sous-titre	15th International Symposium, FLOPS 2020, Proceedings
rédacteurs en chef	Keisuke Nakano, Konstantinos Sagonas
Editeur	Springer Science and Business Media Deutschland GmbH
Pages	215-219
Nombre de pages	5
ISBN (imprimé)	9783030590246
Les DOIs	https://doi.org/10.1007/978-3-030-59025-3_13
Etat de la publication	Publié - 2020
Evénement	15th International Symposium on Functional and Logic Programming, FLOPS 2020 - Akita, Japon Durée: 14 sept. 2020 → 16 sept. 2020

Série de publications

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

Une conférence

Une conférence	15th International Symposium on Functional and Logic Programming, FLOPS 2020
Pays/Territoire	Japon
La ville	Akita
période	14/09/20 → 16/09/20

Financement

Third author is a research associate at FNRS that also supports this work (O05518FRG03). The last author is partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R/PID2019-104735RB-C41 and by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust).

Accès au document

10.1007/978-3-030-59025-3_13

2020_FortzSEtal_posterAccepted author manuscript, 180 KBLicense: CC BY

Autres fichiers et liens

Link to publication in Scopus

Contient cette citation

Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W., & Vidal, G. (2020). An SMT-Based Concolic Testing Tool for Logic Programs. Dans K. Nakano, & K. Sagonas (eds.), Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings (p. 215-219). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12073 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-59025-3_13

Fortz, Sophie ; Mesnard, Fred ; Payet, Etienne et al. / An SMT-Based Concolic Testing Tool for Logic Programs. Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Editeur / Keisuke Nakano ; Konstantinos Sagonas. Springer Science and Business Media Deutschland GmbH, 2020. p. 215-219 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a8ed38612105412eb5d7865ba911d541,

title = "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.",

author = "Sophie Fortz and Fred Mesnard and Etienne Payet and Gilles Perrouin and Wim Vanhoof and Germ{\'a}n Vidal",

note = "Funding Information: Third author is a research associate at FNRS that also supports this work (O05518FRG03). The last author is partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R/PID2019-104735RB-C41 and by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust). Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 15th International Symposium on Functional and Logic Programming, FLOPS 2020 ; Conference date: 14-09-2020 Through 16-09-2020",

year = "2020",

doi = "10.1007/978-3-030-59025-3_13",

language = "English",

isbn = "9783030590246",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "215--219",

editor = "Keisuke Nakano and Konstantinos Sagonas",

booktitle = "Functional and Logic Programming",

address = "Germany",

}

Fortz, S, Mesnard, F, Payet, E, Perrouin, G , Vanhoof, W & Vidal, G 2020, An SMT-Based Concolic Testing Tool for Logic Programs. Dans K Nakano & K Sagonas (eds), Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 12073 LNCS, Springer Science and Business Media Deutschland GmbH, p. 215-219, 15th International Symposium on Functional and Logic Programming, FLOPS 2020, Akita, Japon, 14/09/20. https://doi.org/10.1007/978-3-030-59025-3_13

An SMT-Based Concolic Testing Tool for Logic Programs. / Fortz, Sophie; Mesnard, Fred; Payet, Etienne et al.
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Ed. / Keisuke Nakano; Konstantinos Sagonas. Springer Science and Business Media Deutschland GmbH, 2020. p. 215-219 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12073 LNCS).

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

TY - GEN

T1 - An SMT-Based Concolic Testing Tool for Logic Programs

AU - Fortz, Sophie

AU - Mesnard, Fred

AU - Payet, Etienne

AU - Perrouin, Gilles

AU - Vanhoof, Wim

AU - Vidal, Germán

N1 - Funding Information: Third author is a research associate at FNRS that also supports this work (O05518FRG03). The last author is partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R/PID2019-104735RB-C41 and by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust). Publisher Copyright: © 2020, Springer Nature Switzerland AG. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2020

Y1 - 2020

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

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

UR - http://www.scopus.com/inward/record.url?scp=85091331643&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-59025-3_13

DO - 10.1007/978-3-030-59025-3_13

M3 - Conference contribution

AN - SCOPUS:85091331643

SN - 9783030590246

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 215

EP - 219

BT - Functional and Logic Programming

A2 - Nakano, Keisuke

A2 - Sagonas, Konstantinos

PB - Springer Science and Business Media Deutschland GmbH

T2 - 15th International Symposium on Functional and Logic Programming, FLOPS 2020

Y2 - 14 September 2020 through 16 September 2020

ER -

Fortz S, Mesnard F, Payet E, Perrouin G , Vanhoof W, Vidal G. An SMT-Based Concolic Testing Tool for Logic Programs. Dans Nakano K, Sagonas K, rédacteurs en chef, Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Springer Science and Business Media Deutschland GmbH. 2020. p. 215-219. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-59025-3_13

An SMT-Based Concolic Testing Tool for Logic Programs

Résumé

Série de publications

Une conférence

Financement

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation