Debugging of web applications with WEB-TLR

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 61, Issue , 2011, Pages 66-80

  Alpuente, María ^a   Espert, Javier ^a   Frechina, Francisco ^a   Romero, Daniel ^a   Ballis, Demis ^b  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; ITERATIVE METHODS; MODEL CHECKING; SPECIFICATIONS; WEBSITES;

DEBUGGING EFFORTS; MODEL CHECKER; REWRITE THEORY; REWRITING LOGIC; SLICING PROCESS; WEB APPLICATION; WEB SYSTEM;

PROGRAM DEBUGGING;

EID: 84858320563     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.61.5     Document Type: Conference Paper

References (13)

1. M. Alpuente, D. Ballis, J. Espert & D. Romero (2011): Backward Trace Slicing for Rewriting Logic Theories. In: The 23rd International Conference on Automated Deduction CADE 2011, Lecture Notes in Computer Science, Springer-Verlag. To appear.
2. M. Alpuente, D. Ballis, J. Espert & D.l Romero (2010): Model-checking Web Applications with Web-TLR. In: 8th Int’l Symp. on Automated Technology for Verification and Analysis ATVA 2010, Lecture Notes in Computer Science 6252, Springer.Verlag, pp. 341–346. Available at http://dx.doi.org/10.1007/978-3-642-15643-4_25.
3. M. Alpuente, D. Ballis & D. Romero (2009): Specification and Verification of Web Applications in Rewriting Logic. In: Formal Methods, Second World Congress FM 2009, Lecture Notes in Computer Science 5850, Springer.Verlag, pp. 790–805. Available at http://dx.doi.org/10.1007/978-3-642-05089-3_50.
4. M. Alpuente, D. Ballis, J. Espert & D. Romero (2011): Dynamic Backward Slicing of Rewriting Logic Computations. CoRR abs/1105.2665. Available at http://arxiv.org/abs/1105.2665.
5. K. Bae & J. Meseguer (2008): A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. In: Proc. of the 9th International Workshop on Rule-Based Programming (RULE’08), Electronic Notes in Theoretical Computer Science, Elsevier.
6. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer & C. Talco (2009): Maude Manual (Version 2.4). Technical Report, SRI International, Computer Science Laboratory. Available at http://maude.cs.uiuc.edu/maude2-manual/.
7. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer & C. Talcott (2007): All About Maude: A High-Performance Logical Framework. Lecture Notes in Computer Science 4350, Springer-Verlag. Available at http://dx.doi.org/10.1007/978-3-540-71999-1.
8. S. Eker, J. Meseguer & A. Sridharanarayanan (2003): The Maude LTL model checker and its implementation. In: Model Checking Software: Proc. 10 th Intl. SPIN Workshop, Lecture Notes in Computer Science 2648, Springer, pp. 230–234. Available at http://dx.doi.org/10.1007/3-540-44829-2_16.
9. T. R. Fielding & R. N. Taylor (2002): Principled Design of the Modern Web Architecture. ACM Transactions on Internet Technology 2(2), pp. 115–150.
10. N. Martí-Oliet & J. Meseguer (2002): Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science 285(2), pp. 121–154.
11. J. Meseguer (2008): The Temporal Logic of Rewriting: A Gentle Introduction. In: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of his 65th Birthday, 5065, Springer-Verlag, Berlin, Heidelberg, pp. 354–382. Available at http://dx.doi.org/10.1007/978-3-540-68679-8_22.
12. J. Meseguer S. Escobar, C. Meadows (2006): A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties. Theoretical Computer Science 367(1-2), pp. 162–202. Available at http://dx.doi.org/10.1016/j.tcs.2006.08.035.
13. F. Weitl, S. Nakajima & B. Freitag (2010): From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking). it - Information Technology 52(5), pp. 295–297. Available at http://dx.doi.org/10.1524/itit.2010.0606.