A Survey of Analysis Models and Methods in Website Verification and Testing Technical Report 2007-532
Manar H. Alalfi, James R. Cordy, Thomas Roy Dean · 2007
Models are considered an essential step in capturing dierent system behaviors and in simplifying any further analysis required to check or to improve the quality of software. Verification and testing of web software requires eective modelling techniques that address the specific challenges of web applications. In this study we survey 21 dierent analysis modelling methods used in website verification and testing. Based on our survey, a categorization, comparison and evaluation for such models and methods is provided.