{rfName}
De

Indexat a

Llicència i ús

Icono OpenAccess

Citacions

8

Altmetrics

Anàlisi d'autories institucional

Alpuente, MAutor (correspondència)Romero, DAutor o coautor

Compartir

31 d’octubre de 2024
Publicacions
>
Article
Sí

Debugging of Web Applications with WEB-TLR

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

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

Afiliacions

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

Resum

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.

Paraules clau

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

Indicis de qualitat

Impacte bibliomètric. Anàlisi de la contribució i canal de difusió

El treball ha estat publicat a la revista Electronic Proceedings In Theoretical Computer Science a causa de la seva progressió i el bon impacte que ha aconseguit en els últims anys, segons l'agència Scopus (SJR), s'ha convertit en una referència en el seu camp. A l'any de publicació del treball, 2011, es trobava a la posició , aconseguint així situar-se com a revista Q2 (Segundo Cuartil), en la categoria Software.

Independentment de l'impacte esperat determinat pel canal de difusió, és important destacar l'impacte real observat de la pròpia aportació.

Segons les diferents agències d'indexació, el nombre de citacions acumulades per aquesta publicació fins a la data 2025-07-16:

  • WoS: 4
  • Scopus: 4

Impacte i visibilitat social

Des de la dimensió d'influència o adopció social, i prenent com a base les mètriques associades a les mencions i interaccions proporcionades per agències especialitzades en el càlcul de les denominades "Mètriques Alternatives o Socials", podem destacar a data 2025-07-16:

  • L'ús d'aquesta aportació en marcadors, bifurcacions de codi, afegits a llistes de favorits per a una lectura recurrent, així com visualitzacions generals, indica que algú està fent servir la publicació com a base del seu treball actual. Això pot ser un indicador destacat de futures cites més formals i acadèmiques. Aquesta afirmació està avalada pel resultat de l'indicador "Capture", que aporta un total de: 6 (PlumX).

És fonamental presentar evidències que recolzin l'alineació plena amb els principis i directrius institucionals sobre Ciència Oberta i la Conservació i Difusió del Patrimoni Intel·lectual. Un clar exemple d'això és:

  • El treball s'ha enviat a una revista la política editorial de la qual permet la publicació en obert Open Access.
  • A més, el treball s'ha enviat a una revista classificada com a Diamant en relació amb aquest tipus de política editorial.

Anàlisi del lideratge dels autors institucionals

Aquest treball s'ha realitzat amb col·laboració internacional, concretament amb investigadors de: Italy.

Hi ha un lideratge significatiu, ja que alguns dels autors pertanyents a la institució apareixen com a primer o últim signant, es pot apreciar en el detall: Primer Autor (Alpuente Frasnedo, María) .

l'autor responsable d'establir les tasques de correspondència ha estat Alpuente Frasnedo, María.