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