In this work we develop Julienne, an online trace slicer for the high
performance rewriting logic language Maude.
Trace slicing is a widely used technique for execution trace analysis that
is effectively used in program ...
[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, ...
This paper introduces the idea of using assertion checking for enhancing the dynamic slicing of Maude computation traces. Since trace slicing can greatly simplify the size and complexity of the analyzed traces, our methodology ...
In this paper we propose a dynamic analysis methodology for improving the diagnosis of
erroneous Maude programs. The key idea is to combine runtime checking and dynamic
trace slicing for automatically catching errors at ...
[ES] El concepto de aplicación web está relacionado con el almacenamiento en la nube
y el acceso a la información vía Internet, quedando una copia temporal dentro de
nuestro dispositivo. Sin embargo, las aplicaciones web ...
[EN] Trace exploration is concerned with techniques that allow computation
traces to be dynamically searched for specific contents.
Depending on whether the exploration is carried backward or forward,
trace exploration ...
[EN]
Current technology allows us to have a great deal of computation power in the palm of our hand in the form of smartphones. Such powerful and versatile devices are the perfect tools to, e.g., authenticate users in ...
Alpuente Frasnedo, María; Cuenca-Ortega, Angel; Escobar Román, Santiago; Sapiña-Sanchis, Julia(Cambridge University Press, 2017)
[EN] This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated unification features, including ...
Trace inspection is concerned with techniques that allow the
trace content to be searched for specific components. This paper presents
a rich and highly dynamic, parameterized technique for the trace inspection
of ...
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 ...
[EN] Execution traces are an important source of information for program understanding and debugging. However, they have as an important drawback that they are commonly huge and complex, making their manual analysis ...
We present iJulienne, a trace analyzer for conditional rewriting
logic theories that can be used to compute abstract views of Maude
executions that help users understand and debug programs. Given a
Maude execution trace ...
In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that ...
[ES] Los asistentes robóticos autónomos están diseñados para ofrecer compañía a personas que viven en un ambiente doméstico. Este tipo de robot usa diversos sensores para
detectar y adaptarse a cualquier imprevisto en el ...