{rfName}
De

Indexed in

License and use

Icono OpenAccess

Citations

8

Altmetrics

Analysis of institutional authors

Alpuente, MCorresponding AuthorRomero, DAuthor

Share

October 31, 2024
Publications
>
Article
Sí

Debugging of Web Applications with WEB-TLR

Publicated to:Electronic Proceedings In Theoretical Computer Science. 61 (61): 66-80 - 2011-01-01 61(61), DOI: 10.4204/EPTCS.61.5

Authors: Alpuente, Maria; Espert, Javier; Frechina, Francisco; Romero, Daniel; Ballis, Demis

Affiliations

Dipartimento Matemat & Informat - Author
Univ Politecn Valencia, DSIC ELP, Camino Vera S-N,Apdo 22012 - Author

Abstract

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.

Keywords

Computer circuitsDebugging effortsFormal logicIterative methodsModel checkerModel checkingProgram debuggingRewrite theoryRewriting logicSlicing processSpecificationsWeb applicationWeb systemWebsites

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal Electronic Proceedings In Theoretical Computer Science due to its progression and the good impact it has achieved in recent years, according to the agency Scopus (SJR), it has become a reference in its field. In the year of publication of the work, 2011, it was in position , thus managing to position itself as a Q2 (Segundo Cuartil), in the category Software.

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2025-07-16:

  • WoS: 4
  • Scopus: 4

Impact and social visibility

From the perspective of influence or social adoption, and based on metrics associated with mentions and interactions provided by agencies specializing in calculating the so-called "Alternative or Social Metrics," we can highlight as of 2025-07-16:

  • The use of this contribution in bookmarks, code forks, additions to favorite lists for recurrent reading, as well as general views, indicates that someone is using the publication as a basis for their current work. This may be a notable indicator of future more formal and academic citations. This claim is supported by the result of the "Capture" indicator, which yields a total of: 6 (PlumX).

It is essential to present evidence supporting full alignment with institutional principles and guidelines on Open Science and the Conservation and Dissemination of Intellectual Heritage. A clear example of this is:

  • The work has been submitted to a journal whose editorial policy allows open Open Access publication.
  • Additionally, the work has been submitted to a journal classified as Diamond in relation to this type of editorial policy.

Leadership analysis of institutional authors

This work has been carried out with international collaboration, specifically with researchers from: Italy.

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (Alpuente Frasnedo, María) .

the author responsible for correspondence tasks has been Alpuente Frasnedo, María.