- -

Concolic Testing in Logic programming

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Concolic Testing in Logic programming

Show full item record

Mesnard, F.; Payet, E.; Vidal Oriola, GF. (2015). Concolic Testing in Logic programming. Theory and Practice of Logic Programming. 15(4):711-725. https://doi.org/10.1017/S1471068415000332

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/61510

Files in this item

Thumbnail
Name: paper_CORR.pdf
Size: 433.0Kb
Format: PDF
Description: Versión del Autor.
Open/Preview
[Cerrado]
Name: tplp_online_artic ...
Size: 313.4Kb
Format: PDF
Description: Versión editorial
Request a copy of the document

Item Metadata

Title: Concolic Testing in Logic programming
Author: Mesnard, Fred Payet, Etienne Vidal Oriola, Germán Francisco
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
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 programming. In this paper, we introduce a ...[+]
Subjects: Symbolic execution , Logic programming , Testing
Copyrigths: Reserva de todos los derechos
Source:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068415000332
Publisher:
Cambridge University Press
Publisher version: http://dx.doi.org/10.1017/S1471068415000332
Project ID:
EU (FEDER)
info:eu-repo/grantAgreement/MINECO//TIN2013-44742-C4-1-R/ES/VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y RIGUROSOS PARA UNA INGENIERIA DEL SOFTWARE ROBUSTA/
Generalitat Valenciana [PROMETEOII/2015/013]
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economia y Competitividad under grant TIN2013-44742-C4-1-R and by the Generalitat Valenciana under grant PROMETEOII/2015/013. Part of ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record