Web applications design and maintenance using symbolic model checking

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2003, Pages 63-72

  Di Sciascio, E ^a   Donini, F M ^a   Mongiello, M ^a   Piscitelli, G ^a  

^a POLITECNICO DI BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ASSOCIATED TOOL; COMPUTATION TREE LOGIC; DESIGN OF WEB APPLICATIONS; FINITE-STATE MODELS; SYMBOLIC MODEL CHECKING; USER FRIENDLY INTERFACE; WEB APPLICATION; WEB-BASED SYSTEM;

APPLICATIONS; COMPUTER SOFTWARE MAINTENANCE; DESIGN; MODEL CHECKING; REENGINEERING; TOOLS;

WORLD WIDE WEB;

EID: 26444521336     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2003.1192411     Document Type: Conference Paper

References (15)

1. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NUSMV: a new Symbolic Model Verifier. Number 1633 in Lecture Notes in Computer Science, pages 495-499, Trento, Italy, July 1999. Springer.
2. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
3. J. Conallen. Modelling web applications architectures with UML. Communications of the ACM, 42(10):63-70, 1999.
4. 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.
5. Y. Deshpande, A. Chandrarathna, and A. Ginige. Web site auting: first step towards re-engineering. In Proceedings of the Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'02), Ischia, Italy, July 14-19 2002.
6. G. Di Lucca and M. Di Penta. An approach to identify duplicated web pages. In 26th Annual International Computer Software and Applications Conference, pages 481-486, Oxford, England, 2002.
7. M. Di Penta, G. Antoniol, G. Casazza, and E. Merlo. Modeling web maintenance centers through queue models. In Fifth European Conference on Software Maintenance and Reengineering, pages 131-139, Lisbon, Portugal, 2001.
8. E. Di Sciascio, F. Donini, M. Mongiello, and G. Piscitelli. AnWeb: a system for automatic support to web application verification. In Proceedings of the Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'02), Ischia, Italy, July 14-19 2002.
9. M. Dwyer, G. Avrunin, and J. Corbett. Patterns in property specifications for finite-state verification. In Proceedings of the 21st IEEE International Conference on Software Engineering (ICSE'99), May 1999.
10. D. Florescu, A. Levy, and A. Mendelzon. Database techniques for the world wide web: a survey. SIGMOD Record, 27(3):59-74, 1998.
11. A. Ginige. Web Engineering: managing the compexity of web systems development. In Proceedings of the Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'02), Ischia, Italy, July 14-19 2002.
12. M. Huth and M. Ryan. Logic in Computer Science. Cambridge University Press, 1999.
13. K. L. McMillan. The SMV system, February 1992. http://www. cs. cmu. edu/ modelcheck/ smv/smvmanual. r2. 2. ps.
14. F. Ricca and P. Tonella. Building a tool for the analysis and testing of web applications: problem and solutions. In Proceedings of the 23st IEEE International Conference on Software Engineering (ICSE'01), pages 25-34, Toronto, Canada, 2001.
15. P. Stotts and J. Furuta. Hyperdocuments as automata: verification of trace-based browsing properties by model checking. ACMTransactions on Information Systems, 16(1):1-30, 1998.