Concolic testing in logic programming

Abstract : Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic program- ming. In this paper, we introduce a systematic approach for dynamic testing that combines both concrete and symbolic execution. Our approach is fully automatic and guarantees full path coverage when it terminates. We prove some basic properties of our technique and illustrate its practical usefulness through a prototype implementation.
Type de document :
Article dans une revue
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15 (4-5), pp.711-725. 〈10.1017/S1471068415000332〉
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01451690
Contributeur : Réunion Univ <>
Soumis le : vendredi 9 novembre 2018 - 09:06:43
Dernière modification le : mardi 13 novembre 2018 - 08:54:20

Identifiants

Collections

Citation

Frédéric Mesnard, Etienne Payet, Germán Vidal. Concolic testing in logic programming. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15 (4-5), pp.711-725. 〈10.1017/S1471068415000332〉. 〈hal-01451690〉

Partager

Métriques

Consultations de la notice

5

Téléchargements de fichiers

6