Concolic testing in logic programming

Abstract : no abstract
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 : mercredi 1 février 2017 - 12:55:55
Dernière modification le : vendredi 13 avril 2018 - 19:56:04

Lien texte intégral

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

29