- -

Concolic Execution and Test Case Generation in Prolog

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Concolic Execution and Test Case Generation in Prolog

Show full item record

Vidal Oriola, GF. (2015). Concolic Execution and Test Case Generation in Prolog. En Logic-Based Program Synthesis and Transformation. Springer. 167-181. doi:10.1007/978-3-319-17822-6_10

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

Files in this item

Item Metadata

Title: Concolic Execution and Test Case Generation in Prolog
Author:
UPV Unit: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
Symbolic execution extends concrete execution by allowing symbolic input data and then exploring all feasible execution paths. It has been defined and used in the context of many different programming languages and paradigms. ...[+]
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-319-17821-9
Source:
Logic-Based Program Synthesis and Transformation. (issn: 0302-9743 )
DOI: 10.1007/978-3-319-17822-6_10
Publisher:
Springer
Publisher version: http://link.springer.com/chapter/10.1007/978-3-319-17822-6_10
Conference name: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)
Conference place: Canterbury, UK
Conference date: September 9-11, 2014
Series: Lecture Notes in Computer Science;8981
Description: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-17822-6_10
Type: Capítulo de libro Comunicación en congreso

This item appears in the following Collection(s)

Show full item record