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

Faculty of Computer Science

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

34 Downloads (Pure)

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.

Original language	English
Title of host publication	Functional and Logic Programming
Subtitle of host publication	15th International Symposium, FLOPS 2020, Proceedings
Editors	Keisuke Nakano, Konstantinos Sagonas
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	215-219
Number of pages	5
ISBN (Print)	9783030590246
DOIs	https://doi.org/10.1007/978-3-030-59025-3_13
Publication status	Published - 2020
Event	15th International Symposium on Functional and Logic Programming, FLOPS 2020 - Akita, Japan Duration: 14 Sept 2020 → 16 Sept 2020

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12073 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	15th International Symposium on Functional and Logic Programming, FLOPS 2020
Country/Territory	Japan
City	Akita
Period	14/09/20 → 16/09/20

Access to Document

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

2020_FortzSEtal_posterAccepted author manuscript, 180 KBLicence: CC BY

Cite this

Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W., & Vidal, G. (2020). An SMT-Based Concolic Testing Tool for Logic Programs. In K. Nakano, & K. Sagonas (Eds.), Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings (pp. 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. editor / Keisuke Nakano ; Konstantinos Sagonas. Springer Science and Business Media Deutschland GmbH, 2020. pp. 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. in 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, pp. 215-219, 15th International Symposium on Functional and Logic Programming, FLOPS 2020, Akita, Japan, 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).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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. In Nakano K, Sagonas K, editors, 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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this