AnWeb: A system for automatic support to web application verification

ACM International Conference Proceeding Series

Volumn 27, Issue , 2002, Pages 609-616

  Di Sciascio, Eugenio ^a   Donini, Francesco M ^a   Mongiello, Marina ^a   Piscitelli, Giacomo ^a  

^a POLITECNICO DI BARI   (Italy)

Author keywords

computation tree logic; web application

Indexed keywords

COMPUTATION TREE LOGIC; DYNAMIC PAGES; HTML SOURCES; INITIAL STATE; KRIPKE STRUCTURE; SMV MODEL; VERIFICATION PROCESS; WEB APPLICATION; WEB PAGE;

COMPUTER SOFTWARE; FORMAL METHODS; KNOWLEDGE ENGINEERING; LINGUISTICS; SPECIFICATIONS; WEBSITES;

MODEL CHECKING;

EID: 77953777400     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/568760.568866     Document Type: Conference Paper

References (11)

1. R. Bryant. Graph based algorithms for boolean function manipulation. IEEE Computer, 35(8):677-691, 1986.
2. R. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
3. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new Symbolic Model Verifier. In N. Halbwachs and D. Peled, editors, Proceedings of the Eleventh International Conference on Computer Aided Verification (CAV'99), number 1633 in Lecture Notes in Computer Science, pages 495-499, Trento, Italy, July 1999. Springer.
4. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
5. J. Conallen. Modelling web applications architectures with UML. Communications of the ACM, 42(10):63-70, 1999.
6. L. de Alfaro. Model checking the World Wide Web. In Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01), pages 77-85, 2001.
7. E. Di Sciascio, F. Donini, M. Mongiello, and G. Piscitelli. Verifying integrity constraints on web-based systems using model checking. In Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico AICA 01, September 2001.
8. M. Huth and M. Ryan. Logic in Computer Science. Cambridge University Press, 1999.
9. K. L. McMillan. The SMV system, February 1992. http://www.cs.cmu.edu/ modelcheck/smv/smvmanual.r2.2.ps.
10. F. Ricca and P. Tonella. Web site analysis: structure and evolution. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM'00), pages 76-86, San Jose, California, 2000.
11. P. Stotts and J. Furuta. Hyperdocuments as automata: verification of trace-based browsing properties by model checking. ACM Transactions on Information Systems, 16(1):1-30, 1998.