Model-checking web applications with web-TLR

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6252 LNCS, Issue , 2010, Pages 341-346

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

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

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKER; REWRITE THEORY; REWRITING LOGIC; SOFTWARE TOOL; STEP-BY-STEP; SYSTEM BEHAVIORS; WEB APPLICATION; WEB INTERFACE; USER FRIENDLY;

WORLD WIDE WEB; APPLICATION PROGRAMS; COMPUTATION THEORY; PROGRAM DEBUGGING;

MODEL CHECKING;

EID: 78049328261     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15643-4_25     Document Type: Conference Paper

References (11)

1. Alalfi, M. H., Cordy, J. R., Dean, T. R.: Modelling Methods for Web Application Verification and Testing: State of the Art. Software Testing, Verification and Reliability 19, 265-296 (2009)
2. Alpuente, M., Ballis, D., Romero, D.: Specification and Verification of Web Applications in Rewriting Logic. In: Cavalcanti, A., Dams, D. R. (eds.) FM 2009. LNCS, vol. 5850, pp. 790-805. Springer, Heidelberg (2009)
3. Bae, K., Meseguer, J.: A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. In: Proc. of the 9th International Workshop on Rule-Based Programming (RULE 2008). ENTCS. Elsevier, Amsterdam (2008)
4. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
5. Flores, S., Lucas, S., Villanueva, A.: Formal verification of websites. In: Proc. 4th Int'l Workshop on Automated Specification and Verification of Web Sites (WWV 2008). ENTCS, vol. 200(3), pp. 103-118 (2008)
6. Graunke, P., Findler, R., Krishnamurthi, S., Felleisen, M.: Modeling web interactions. In: Degano, P. (ed.) ESOP 2003. LNCS, vol. 2618, pp. 238-252. Springer, Heidelberg (2003)
7. Haydar, M., Sahraoui, H., Petrenko, A.: Specification patterns for formal web verification. In: ICWE 2008: Proc. of the 2008 Eighth International Conference on Web Engineering, pp. 240-246. IEEE CS, Los Alamitos (2008)
8. Meseguer, J.: The Temporal Logic of Rewriting: A Gentle Introduction. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 354-382. Springer, Heidelberg (2008)
9. Message, R., Mycroft, A.: Controlling control flow in web applications. In: Proc. 4th Int'l Workshop on Automated Specification and Verification of Web Sites (WWV 2008). ENTCS, vol. 200(3), pp. 119-131 (2008)
10. Miao, H., Zeng, H.: Model checking-based verification of web application. In: ICECCS 2007: Proc. of the 12th IEEE Int'l Conf. on Engineering Complex Computer Systems (ICECCS 2007), Washington, DC, USA, pp. 47-55. IEEE CS, Los Alamitos (2007)
11. Queinnec, C.: Continuations and web servers. Higher-Order and Symbolic Computation 17(4), 277-295 (2004)