On the Completeness of Selective Unification in Concolic Testing of Logic Programs

Abstract : no abstract
Type de document :
Communication dans un congrès
Hermenegildo, Manuel and Lopez-Garcia, Pedro. 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Sep 2016, Edinburgh, United Kingdom. Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), 2016
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01451698
Contributeur : Réunion Univ <>
Soumis le : mercredi 1 février 2017 - 13:04:33
Dernière modification le : vendredi 13 avril 2018 - 19:56:04

Identifiants

  • HAL Id : hal-01451698, version 1

Collections

Citation

Frédéric Mesnard, Etienne Payet, Germán Vidal. On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Hermenegildo, Manuel and Lopez-Garcia, Pedro. 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Sep 2016, Edinburgh, United Kingdom. Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), 2016. 〈hal-01451698〉

Partager

Métriques

Consultations de la notice

36