Listar por autor "Frechina Navarro, Francisco"

Sapiña Sanchis, Julia (Universitat Politècnica de València, 2012-10-02)

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 ...

A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems

Frechina Navarro, Francisco (Universitat Politècnica de València, 2014-11-17)

Los sistemas software actuales son artefactos complejos cuyo comportamiento es a menudo extremadamente difícil de entender. Este hecho ha llevado al desarrollo de metodologías formales muy sofisticadas para el análisis, ...

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, ...

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

Alpuente Frasnedo, María; Ballis, Demis; Frechina Navarro, Francisco; Sapiña Sanchis, Julia (2015-08)

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 ...

Debugging Maude programs via runtime assertion checking and trace slicing

Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña-Sanchis, Julia (Elsevier, 2016-08)

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 ...

Debugging of Web Applications with Web-TLR

Alpuente Frasnedo, María; Espert Real, Javier; Frechina Navarro, Francisco; Romero, Daniel Omar; Ballis, Demis (Open Publishing Association, 2011)

[EN] Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web applications are expressed as rewrite ...

Exploring Conditional Rewriting Logic Computations

Alpuente Frasnedo, María; Ballis, Demis; Frechina Navarro, Francisco; Sapiña Sanchis, Julia (Elsevier, 2015)

[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 ...

Inspecting rewriting logic computations (in a parametric and stepwise way)

Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña Sanchis, Julia (Springer Verlag (Germany), 2014)

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 ...

La innovación tecnológica en el marketing : publicidad dinámica

Frechina Navarro, Francisco (Universitat Politècnica de València, 2010-11-09)

Mejora del sistema de pruebas de software de una empresa de soluciones informáticas para la industria del cerramiento

Moreno Palacio, Álex (Universitat Politècnica de València, 2022-10-25)

[ES] Las pruebas de software o Testing, son las investigaciones empíricas y técnicas que tienen como objetivo proporcionar información objetiva e independiente sobre la calidad del producto, para así, verificar si el ...

Red social geolocalizada sobre la tecnología de Google Maps : la innovación de la web asíncrona

Frechina Navarro, Francisco (Universitat Politècnica de València, 2010-10-20)

Slicing slices, an incremental backward trace slicing methodology for rwl computations

Sapiña Sanchis, Julia (Universitat Politècnica de València, 2014-11-28)

[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 ...

Slicing-based debugging of web applications in rewriting logic

Frechina Navarro, Francisco (Universitat Politècnica de València, 2012-05-14)

The pervasiveness of computing on the Internet has led to an explosive growth of Web applications that, together with their ever-increasing complexity, have turned their design and development in a major challenge. Un ...

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne

Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña Sanchis, Julia (Springer, 2013)

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 ...

Técnicas de refactorización para Maude

CUENCA ORTEGA, ANGEL (Universitat Politècnica de València, 2014-11-18)

[EN] Refactoring techniques for the rewriting logic for the Maude language

Using conditional trace slicing for improving Maude programs

Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Romero, Daniel Omar (Elsevier, 2014-02-01)

[EN] Understanding the behavior of software is important for the existing software to be improved. In this paper, we present a trace slicing technique that is suitable for analyzing complex, textually-large computations ...

Listar por autor "Frechina Navarro, Francisco"

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

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Ayuda RiuNet

Admin. UPV

Listar por autor "Frechina Navarro, Francisco"