- -

Listar por palabra clave "Ejecución simbólica"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Ejecución simbólica"

Ordenar por:Orden:Resultados:

  • thumb
    Abstract Contract Synthesis and Verification in the Symbolic K Framework 
    Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Universitat Politècnica de València, 2018-04-12)
    [EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
  • thumb
    Ejecución simbólica 
    Silva Galiana, Josep Francesc (2024-06-05)
    Este video explica qué es la ejecución simbólica en los lenguajes de programación. Utiliza diferentes ejemplos para mostrar su utilidad en el campo del testing. El video muestra un ejemplo de generación de un árbol de ...
  • thumb
    Ejecución simbólica como herramienta de análisis 
    Pardo Pont, Daniel (Universitat Politècnica de València, 2015-03-25)
    [ES] El análisis automático de software permite verificar que un programa cumpla una serie de propiedades deseables sin intervención humana, aportando agilidad al proceso de ingeniería y reduciendo los riesgos del software ...
  • thumb
    Generación de trazas para la ejecución concólica de programas Erlang 
    Coll Ruiz, Onofre (Universitat Politècnica de València, 2016-05-17)
    [EN] A system for testing Erlang applications using concolic execution has been proposed. Matem
  • thumb
    Inferencia de especificaciones para programas C 
    Pardo Pont, Daniel (Universitat Politècnica de València, 2016-07-20)
    [EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this Master ...
  • thumb
    Validación Automática de Contratos Software con Z3 
    Sanz Carreres, Sergi (Universitat Politècnica de València, 2020-09-02)
    [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 ...