Web-TLR

Model-checking Web applications with Web-TLR. Web-TLR is a software tool designed for model-checking Web applications which is based on rewriting logic. Web applications are expressed as rewrite theories which can be formally verified by using the Maude built-in LTLR model-checker. Web-TLR is equipped with a user-friendly, graphical Web interface that shields the user from unnecessary information. Whenever a property is refuted, an interactive slideshow is generated that allows the user to visually reproduce, step by step, the erroneous navigation trace that underlies the failing model checking computation. This provides deep insight into the system behavior, which helps to debug Web applications.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 8 articles )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia: Debugging Maude programs via runtime assertion checking and trace slicing (2016)
  2. Alpuente, M.; Ballis, D.; Frechina, F.; Sapiña, J.: Exploring conditional rewriting logic computations (2015)
  3. Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia: Inspecting rewriting logic computations (in a parametric and stepwise way) (2014)
  4. Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia: Slicing-based trace analysis of rewriting logic specifications with iJulienne (2013) ioport
  5. Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel: Julienne: a trace slicer for conditional rewrite theories (2012) ioport
  6. Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel: Backward trace slicing for conditional rewrite theories (2012)
  7. Alpuente, María; Ballis, Demis; Espert, Javier; Romero, Daniel: Backward trace slicing for rewriting logic theories (2011)
  8. Alpuente, María; Ballis, Demis; Espert, Javier; Romero, Daniel: Model-checking Web applications with Web-TLR (2010) ioport