- -

Listar por palabra clave "Runtime Assertion Checking"

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

Listar por palabra clave "Runtime Assertion Checking"

Ordenar por:Orden:Resultados:

  • thumb
    Assertion-based Analysis via Slicing with ABETS 
    Alpuente Frasnedo, María; Frechina, F.; Sapiña Sanchis, Julia; Ballis, Demis (Cambridge University Press (CUP), 2016-09)
    [EN] We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run's execution trace and executed program, ...
  • thumb
    Rewriting Logic Techniques for Program Analysis and Optimization 
    Sapiña Sanchis, Julia (Universitat Politècnica de València, 2018-01-08)
    Esta tesis propone una metodología de análisis dinámico que mejora el diagnóstico de programas erróneos escritos en el lenguaje Maude. La idea clave es combinar técnicas de verificación de aserciones en tiempo de ejecución ...