Concolic testing in logic programming - Université de La Réunion Accéder directement au contenu
Article Dans Une Revue Theory and Practice of Logic Programming Année : 2015

Concolic testing in logic programming

Résumé

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.
Fichier principal
Vignette du fichier
Concolic_testing_in_logic_programming.pdf (317.95 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-01451690 , version 1 (09-11-2018)

Identifiants

Citer

Frédéric Mesnard, Etienne Payet, Germán Vidal. Concolic testing in logic programming. Theory and Practice of Logic Programming, 2015, 15 (4-5), pp.711-725. ⟨10.1017/S1471068415000332⟩. ⟨hal-01451690⟩
203 Consultations
109 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More