Model checking-based verification of web application

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2007, Pages 47-55

  Miao, Huaikou ^a   Zeng, Hongwei ^a,b  

^a SHANGHAI UNIVERSITY   (China)

^b WUHAN UNIVERSITY   (China)

Author keywords

Automated verification; Consistency criteria; Model checking; Web application

Indexed keywords

STRUCTURAL DESIGN; TEMPORAL LOGIC;

AUTOMATED VERIFICATION; CONSISTENCY CRITERIA; DESIGN MODELS; IMPLEMENTATION MODELS; KRIPKE STRUCTURE; MODELS CHECKING; OBJECT-RELATIONS; PROPERTY; WEB APPLICATION; WEB APPLICATIONS;

MODEL CHECKING;

EID: 46749125353     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2007.30     Document Type: Conference Paper

References (20)

1. M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2004, pp. 170-255.
2. K. L. McMillan, "The SMV System for SMV version 2.5.4", http://www.cs.cmu.edu/~modelcheck/smv/smvmanual.ps, October, 2006.
3. G. J. Holzmann, "The Model Checker SPIN", IEEE Transactions on Software Engineering, 23(5), May 1997, pp. 279-295..
4. M.P.E. Heimdahl, S. Rayadurgam, W. Visser, G. Devaraj, and J. Gao, "Auto-generating Test Sequences Using Model Checkers: A Case Study", Third International Workshop on Formal Approaches to Testing of Software (FATES 2003), Spinger, Montreal, Quebec, Canada, October, 2003, pp. 42-59.
5. A. Gargantini, C. L. Heitmeyer, "Using Model Checking to Generate Tests from Requirements Specifications", Proceedings of Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE99), Toulouse, France: ACM Press, September 1999, pp. 146-162.
6. H. S. Hong, I. Lee, O. Sokolsky, and S.D. Cha, "Automatic Test Generation from Statecharts Using Model Checking", Proceedings of the 1st International Workshop on Formal Approaches to Testing of Software (FATES'01), Aalborg, Denmark, Aug. 2001, pp. 15-30.
7. H. S. Hong, S. D. Cha, I. Lee, O. Sokolsky, and H. Ural, "Data flow testing as model checking" Proceedings of 25th International Conference on Software Engineering, IEEE Computer Society, Portland, OR, May 2003, pp. 232-242.
8. F. Belli, B. Güldali, "Software Testing via Model Checking", Proceedings, of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004), Springer, Kemer-Antalya, Turkey, 2004, pp. 907-916.
9. M. Haydar, A. Petrenko, and H. Sahraoui, "Formal Verification of Web Applications Modeled by Communicating Automata", Proceedings of the 24th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), Madrid, Spain, September, 2004. pp. 115-132.
10. A. Andrews, J. Offutt, and R. Alexander, "Testing Web Applications by Modeling with FSMs", Software Systems and Modeling, 4(3), August 2005, pp. 326-345.
11. D. C. Kung, C. H. Liu and P. Hsia, "An Object-Oriented Web Test Model for Testing Web Applications", Proceedings of the 1st Asia-Pacific Conference on Web Applications(APAQS 2000), IEEE Press, New York, 2000, pp. 111-120
12. J. Wittevrongel and F. Maurer, "SCENTOR: Scenario-Based Testing of E-business Applications", Proceedings of 10th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises(WETICE 2001), IEEE Computer Society, Cambridge, MA, USA, 2001, pp. 41-48.
13. D. Amyot, J. F. Roy, M. Weiss, "UCM-Driven Testing of Web Applications", Proceedings of 12th International SDL Forum, Springer, Grimstad, Norway, June, 2005 pp. 247-264.
14. F.M. Donini, M. Mongiello, M. Ruta, and R. Totaro, "A Model Checking-based Method for Verifying Web Application Design", Electronic Notes in Theoretical Computer Science, 151(2), 2006, pp. 19-32.
15. G. Rossi and D. Schwabe, "Object-oriented design structures in web application models", Annals of software engineering, 13(1), 2002, pp. 97-110.
16. P. Tonella and F. Ricca, "Testing processes of web applications", Annals of software engineering, 14(1), 2002, pp. 93-114.
17. F. Ricca and P. Tonella, "Analysis and testing of Web applications", Proceedings of the 23rd International Conference on Software Engineering (ICSE 2001), IEEE, Toronto, CA, May 2001, pp. 25-34.
18. H.M.A. van Beek and S. Mauw, "Automatic conformance testing of internet applications", Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), Montreal, Canada, October 2003, pp. 53-63.
19. X. Li, "A Characterization of UML Diagrams and their Consistency", Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06), IEEE Computer Society, 2006, pp. 67-76.
20. M. Chechik, J. Gannon, "Automatic Analysis of Consistency between Requirements and Designs", IEEE Transactions on Software Engineering, 27(7), 2001, pp 651-672.