7 citations · 11 across the 3 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 7 cited
Debugging of Web Applications with Web-TLR
María Alpuente, Demis Ballis, Javier Espert +2
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 appli…
cs.LO2011★ 4 cited
Dynamic Backward Slicing of Rewriting Logic Computations
María Alpuente, Demis Ballis, Javier Espert +1
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 backwar…