References

• • J. Offutt, S. Y. Liu, A. Abdurazik, and P. Ammann, “Generating test data from state-b...
• • C. J. Mallery, “On the feasibility of using FSM approaches to test large web applicat...
• • The precise group, http://www.cs.york.ac.uk/puml/.
• • R. M. Borges and A. C. Mota, “Integrating UML and formal methods,” Electronic Notes i...
• • D. Latella, I. Majzik, and M. Massink, “Automatic verification of a behavioral subset...
• • I. Traore, “An outline of PVS semantics for UML statecharts,” Journal of Universal Co...
• • M. Z. Lai and J. Y. You, “Formalize the time-extended UML state chart with timed auto...
• • E. Mikk, Y. Lakhnech, and M. Siegel, “Hierarchical automata as model for statecharts,...
• • G. Booch, J. Rumbaugh, and I. Jacobson, “The unified modeling language user guide,” C...
• • R. Hower, “Web site test tools and site management tools,” Software QA and Testing Re...
• • Belinfante, L. Frantzen, and C. Schallhart, “Tools for Test Case Generation,” Model-b...
• • M. Utting, A. Pretschner, and B. Legeard, “A taxonomy of model-based testing,” Techni...
• • I. K. El-Far and J. A. Whittaker, “Model-based software testing,” Encyclopedia of Sof...
• • M. Blackburn, R. Busser, and A. Nauman, “Why model-based test automation is different...
• • B. Legeard, F. Peureux, and M. Utting, “Controlling test case explosion in test gener...
• • A. Pretschner, H. Lotzbeyer, and J. Philipps, “Model based testing in evolutionary so...
• • T. Isakowitz, E. A. Stohr, and P. Balasubramanian, “RMM: A methodology for structured...
• • F. Coda, C. Ghezzi, G. Vigna, and F. Garzotto, “Towards a software engineering approa...
• • H. Gellersen and M. Gaedke, “Object-oriented web application development,” IEEE Inter...
• • J. Conallen, “Modeling web application architectures with UML,” Communications of the...
• • D. C. Kung, C. H. Liu, and P. Hsia, “An object-oriented web test model for testing we...
• • F. Ricca and P. Tonella, “Analysis and testing of web applications,” Proceedings of t...
• • Idc. IDC Enterprise Security Survey, 2005.
• • M. V. Gundy, D. Balzarotti, and G. V. Fieldschema, “Catch me, if you can: Evading net...
• • Y. Tang, X. C. Lu, et al., “An automatic generation of attack signatures based on mul...
• • J. Newsome, B. Karp, and D. Song, “Polygraph: Automatically generating signatures for...
• • Z. Li, M. Sanghi, Y. Chen, et al., “Network-based and attack-resilient length signatu...
• • T. Smith and M. Waterman, “Identification of common molecular subsequences,” Journal ...
• • S. B. Needleman and C. D. Wunsch, “A general method applicable to the search for simi...
• • P. K. Murphy, “Biological sequence comparison: An overview of techniques,” Technical ...
• • S. Uliel, A. Fliess, A. Amir, and R. Unger., “A simple algorithm for detecting circul...
• • J . R. Crandall, S. F. Wu, and F. T. Chong, “Experiences using Minos as a tool for ca...
• • J. R. Crandall, Su Zhen Dong, S. F. Wu, and F. T. Chong, “On deriving unknown vulnera...
• • J. Xu, P. Ning, C. Kil, Y. Zhai, and C. Bookholt, “Automatic diagnosis and response t...
• • Symantec Security Response: CodeRed Worm. http://www. sarc.com/avcenter/venc/data/cod...
• • C. CAN-2003-0245. Apache apr-psprintf memory corruption vulnerability. http://www.sec...
• • Viruslist.com: Net-Worm. Linux. Adm. http://www.viruslist.com/en/viruses/encyclopedia...
• • SANS Institute: Lion worm. http://www.sans.o-rg/y2k/ lion.htm.
• • R. P. Lippmann, D. J. Fried, I. Graf, et al., “Evaluating intrusion detection systems...
• • Workflow Management Coalition, “Workflow management coalition terminology and glossar...