- -

Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang

Show full item record

Palacios Corella, A. (2020). Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/139076

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

Files in this item

Item Metadata

Title: Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang
Author: Palacios Corella, Adrián
Director(s): 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ó
Read date / Event date:
2020-02-10
Issued date:
Abstract:
[ES] Erlang es un lenguaje de programación funcional con concurrencia mediante paso de mensajes basado en el modelo de actores. Éstas y otras características lo hacen especialmente adecuado para aplicaciones distribuidas ...[+]


[CAT] Erlang és un llenguatge de programació funcional amb concurrència mitjançant pas de missatges basat en el model d'actors. Estes i altres característiques el fan especialment adequat per a aplicacions distribuïdes en ...[+]


[EN] Erlang is a message-passing concurrent, functional programming language based on the actor model. These and other features make it especially appropriate for distributed, soft real-time applications. In the recent ...[+]
Subjects: Formal methods , Erlang , Constraint-based testing , Reversible debugging , Concolic testing , Property-based testing , Replay debugging , Term rewriting
Copyrigths: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/139076
Type: Tesis doctoral

This item appears in the following Collection(s)

Show full item record