Mesnard, F.; Payet, E.; Vidal Oriola, GF. (2015). Concolic Testing in Logic programming. Theory and Practice of Logic Programming. 15(4):711-725. doi:10.1017/S1471068415000332
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/61510
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 ...[+]
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 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.
[-]
|
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)
Spanish Ministerio de Economia y Competitividad [TIN2013-44742-C4-1-R]
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 ...[+]
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 this research was done while the third author was visiting the University of Reunion; G. Vidal gratefully acknowledges their hospitality.
[-]
|
Type:
|
Artículo
|