Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Javier Espert is active.

Publication


Featured researches published by Javier Espert.


conference on automated deduction | 2011

Backward trace slicing for rewriting logic theories

María Alpuente; Demis Ballis; Javier Espert; Daniel Romero

Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used for the analysis of Rewriting Logic theories. Our trace slicing technique allows us to systematically trace back rewrite sequences modulo equational axioms (such as associativity and commutativity) by means of an algorithm that dynamically simplifies the traces by detecting control and data dependencies, and dropping useless data that do not influence the final result. Our methodology is particularly suitable for analyzing complex, textually-large system computations such as those delivered as counter-example traces by Maude model-checkers.


workshop on automated specification and verification of web sites | 2011

Debugging of Web Applications with Web-TLR

María Alpuente; Demis Ballis; Javier Espert; Francisco Frechina; Daniel Romero

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 theories that can be formally verified by using the Maude built-in LTLR model-checker. Whenever a property is refuted, a counterexample trace is delivered that reveals an undesired, erroneous navigation sequence. Unfortunately, the analysis (or even the simple inspection) of such counterexamples may be unfeasible because of the size and complexity of the traces under examination. In this paper, we endow Web-TLR with a new Web debugging facility that supports the efficient manipulation of counterexample traces. This facility is based on a backward trace-slicing technique for rewriting logic theories that allows the pieces of information that we are interested to be traced back through inverse rewrite sequences. The slicing process drastically simplifies the computation trace by dropping useless data that do not influence the final result. By using this facility, the Web engineer can focus on the relevant fragments of the failing application, which greatly reduces the manual debugging effort and also decreases the number of iterative verifications.


Information & Computation | 2014

A modular order-sorted equational generalization algorithm

María Alpuente; Santiago Escobar; Javier Espert; José Meseguer


european conference on logics in artificial intelligence | 2014

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance

María Alpuente; Santiago Escobar; Javier Espert; José Meseguer


arXiv: Logic in Computer Science | 2011

Dynamic Backward Slicing of Rewriting Logic Computations

María Alpuente; Demis Ballis; Javier Espert; Daniel Romero


Archive | 2014

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version)

María Alpuente; Santiago Escobar; Javier Espert; José Meseguer


Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014

ACUOS: A system for modular ACU generalization with subtyping and inheritance

María Alpuente; Santiago Escobar; Javier Espert; José Meseguer


UNIF@RTA/TLCA | 2013

Detecting Modular ACU Structural Symmetries

María Alpuente; Santiago Escobar; Javier Espert


Archive | 2011

Backward Trace Slicing for Rewriting Logic Theories -Technical report -

María Alpuente Frasnedo; Demis Ballis; Javier Espert; Daniel Romero


Archive | 2011

A Modular Order-sorted

Santiago Escobar; Javier Espert

Collaboration


Dive into the Javier Espert's collaboration.

Top Co-Authors

Avatar

María Alpuente

Polytechnic University of Valencia

View shared research outputs
Top Co-Authors

Avatar

Santiago Escobar

Polytechnic University of Valencia

View shared research outputs
Top Co-Authors

Avatar

Daniel Romero

Polytechnic University of Valencia

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Francisco Frechina

Polytechnic University of Valencia

View shared research outputs
Researchain Logo
Decentralizing Knowledge