- -

Validación Automática de Contratos Software con Z3

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Validación Automática de Contratos Software con Z3

Show full item record

Sanz Carreres, S. (2020). Validación Automática de Contratos Software con Z3. http://hdl.handle.net/10251/149332

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

Files in this item

Item Metadata

Title: Validación Automática de Contratos Software con Z3
Author: Sanz Carreres, Sergi
Director(s): Alpuente Frasnedo, María Villanueva García, Alicia
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-07-22
Issued date:
Abstract:
[ES] En Ingeniería de Software, el concepto de contrato está relacionado con una especificación del comportamiento de los programas utilizando descripciones que típicamente incluyen precondiciones y postcondiciones. El ...[+]


[EN] Software contracts provide formal specification for the terms of the service that software components can provide. Contracts on software are essentially written by using program preconditions and postconditions that ...[+]


[CA] En Enginyeria de Software, el concepte de contracte està relacionat amb una especificació del comportament dels programes utilitzant descripcions que típicament inclouen precondicions i postcondicions. L’estat de ...[+]
Subjects: Generación de casos de prueba , Ejecución simbólica , Automated Test Case Generation , Symbolic Execution , SAT/SMT , Test case generation , Constraint satisfiability , Z3 , Generació de casos de prova , Execució simbòlica , Satisfacibilitat de restriccions , SMT-Solvers
Copyrigths: Reserva de todos los derechos
Publisher:
Universitat Politècnica de València
degree: Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record