REFERENCES
[1] R. Alexander Andrews and J. Offutt, Testing web Applications, George Mason University, 2002.
[2] Anneliese Andrews, Jeff Offutt, and Roger Alexander, Testing web applications by modeling
with FSMs, Software Systems and Modeling, (2004), To Appear.
[3] M. Chen and M. Kao, Testing object-oriented programs – an integrated approach, In: Proceedings
of the Tenth International Symposium on Software Reliability Engineering, 1999, 1-4.
[4] M.-C. Gaudel Denise and S.D. Gouraud, A generic method for statistical testing, In: Proceedings
of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE
2004), Saint-Malo, France, November 2004, 25-34.
[5] G.A. Di Lucca and M. Di Penta, Considering browser interaction in web application testing,
In: Proceedings of the 5-th International Workshop on web Site Evolution, Amsterdam, The
Netherlands, 2003.
[6] G.A. Di Lucca, A.R. Fasolino, F. Faralli, U. De Carlini, Testing web applications, In: Proceedings
of the IEEE International Conference on Software maintenance, Oct. 2002, Montr´eal,
QC, Canada, 310-319.
[7] S. Elbaum, S. Karre, and G. Roothermel, Improving web application testing with user session
data, In: The 25-th International Conference on Software Engineering, Portland, Oregon, May 2003.
[8] C. Kallepalli and Jeff Tian, Measuring and modeling usage and reliability for statistical web
testing, IEEE Transaction on Software Engineering, 27 (November 2001), no. 11.
[9] C.H. Liu, A Formal Object-oriented Test Model for Testing web Applications, PhD Thesis, The
University of Texas at Arlington, 2002.
[10] T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, 77
(1989), no. 4, 541-580.
[11] J.L. Perterson, Petri Net Theory and The Modeling of Systems, Prentice-Hall, Englewood
Cliffs, NJ, 1981.
[12] R.S. Pressman, What a tangled web we weave, IEEE Software, 17 (2000), no. 1, 18-21.
[13] F. Ricca and P. Tonella, Analysis and testing of web applications, In: Proc. of the 23-rd
International Conference on Software Engineering, Toronto, Ontario, Canada, 2001, 25-34.
[14] Sreedevi Sampath, Emily Gibson, Sara Sprenkle and Lori Pollock, Coverage criteria for testing
web applications, Technical Report, 2005-17, Computer and Information Sciences, University
of Delaware, April 2005.
[15] J. Sant, A. Souter, and L. Greenwald, An exploration of statistical models for automated test
case generation, Workshop on Dynamic Analysis, St. Louis, Missouri, USA, May 2005.
[16] P. Th´evenod-Fosse, Software validation by means of statistical testing: retrospect and future
direction, In: Preprints 1st IEEE Working Conference on Dependable Computing for Critical
Applications (DCCA-1), Santa Barbara, USA, August 1989, 15-22; Published in: Dependable
Computing and Fault-Tolerant Systems, 4 (Ed-s. A. Avizienis, J-C. Laprie), Springer-Verlag,
1991, 23-50.
[17] J. Tian and E. Lin, Unified Markov models for software testing, performance evaluation, and
reliability analysis, In: Proc. of the 4-th ISSAT International Conference on Reliability and
Quality in Design, August 1998.
[18] P. Tonella and F. Ricca, Statistical testing of web applications, Journal of Software Maintenance,
16 (2004), no. 1-2, 103-127.
[19] C.C. Wang, W.C. Pai, D.J. Chiang, Using a Petri net model approach to object-oriented class
testing, In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC’99), 12-15 October
1999, Tokyo, Japan, Volume 1, 1999, 824-828.