Model-Based Testing of Thin-Client Web Applications

1. Alimarine, A., Plasmeijer, R.: A Generic Programming Extension for Clean. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol. 2312, pp. 168–186. Springer, Heidelberg (2002)

   Chapter  Google Scholar 

2. Andrews, A., Offutt, J., Alexander, R.: Testing Web Applications by Modelling with FSMs. Software Systems and Modeling 4(3) (August 2005)

   Google Scholar 

3. Di Lucca, G., Di Penta, M.: Considering Browser Interaction in Web Application Testing. In: Proceedings of the 5th International Workshop on Web Site Evolution, Amsterdam, The Netherlands. IEEE Computer Society, USA (2002)

   Google Scholar 

4. Frantzen, L., Tretmans, J., Willemse, T.: Test Generation Based on Symbolic Specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 1–15. Springer, Heidelberg (2005)

   Chapter  Google Scholar 

5. Jia, X., Liu, H.: Rigorous and Automatic Testing of Web Applications. In: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA, USA, pp. 280–285 (November 2002)

   Google Scholar 

6. Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic automated software testing. In: Peña, R., Arts, T. (eds.) IFL 2002. LNCS, vol. 2670, pp. 84–100. Springer, Heidelberg (2003)

   Chapter  Google Scholar 

7. Koopman, P., Plasmeijer, R.: Testing reactive systems with GAST. In: Gilmore, S. (ed.) Trends in Functional Programming 4, pp. 111–129 (2004)

   Google Scholar 

8. Koopman, P., Plasmeijer, R.: Generic Generation of Elements of Types. In: Sixth Symposium on Trends in Functional Programming (TFP 2005), Tallin, Estonia, September 23-24 (2005)

   Google Scholar 

9. Kung, D., Liu, C., Hsia, P.: An Object-Oriented Web Test Model for Testing Web Applications. In: IEEE Proceedings of the 24th Annual International Computer Software & Applications Conference (COMPSAC 2000), Taipei, Taiwan, pp. 537–542 (October 2000)

   Google Scholar 

10. Larsen, K., Mikucionis, M., Nielsen, B.: Online Testing of Real-Time Systems Using uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79–94. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

11. Latella, D., Massink, M.: On Testing and Conformance Relations for UML Statechart Diagrams Behaviours. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 144–153. ACM Press, New York (2002)

    Google Scholar 

12. Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines – a survey. Proc. IEEE 84(8), 1090–1126 (1996)

    Article  Google Scholar 

13. Lee, S., Offutt, J.: Generating Test Cases for XML-based Web Component Interactions Using Mutation Analysis. In: 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Hong Kong, pp. 200–209 (November 2001)

    Google Scholar 

14. Liu, C., Kung, D., Hsia, P., Hsu, C.: Object-Based Data Flow Testing of Web Applications. In: Proceedings First Asian Pacific Conference on Quality Software (APAQS 2000), pp. 7–16 (October 2000)

    Google Scholar 

15. Margaria, T., Niese, O., Steffen, B.: Automated Functional Testing of Web-based Applications. In: Proceedings of the 5th International Conference on Software and Internet Quality Week Europe, Brussels, pp. 157–166 (March 2002)

    Google Scholar 

16. Plasmeijer, R., Achten, P.: The Implementation of iData - A Case Study in Generic Programming. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol. 4015, pp. 106–123. Springer, Heidelberg (2006); Technical Report No: TCD-CS-2005-60

    Chapter  Google Scholar 

17. Plasmeijer, R., Achten, P.: iData For The World Wide Web - Programming Interconnected Web Forms. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol. 3945, pp. 242–258. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

18. Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http://www.cs.ru.nl/~clean/

19. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools 17(3), 103–120 (1996)

    MATH  Google Scholar 

20. Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46–65. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

21. van Beek, H.: Specification and Analysis of Internet Applications. PhD thesis, Technical University Eindhoven, The Netherlands (2005) ISBN 90-386-0564-1

    Google Scholar 

22. van Beek, H., Mauw, S.: Automatic Conformance Testing of Internet Applications. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 205–222. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

23. van Weelden, A., Oostdijk, M., Frantzen, L., Koopman, P., Tretmans, J.: On-the-fly formal testing of a smart card applet. In: Sasaki, R., Qing, S., Okamoto, E., Yoshiura, H. (eds.) Proceedings of the 20th IFIP TC11 International Information Security Conference SEC 2005, Makuhari Messe, Chiba, Japan, pp. 564–576. Springer, Heidelberg (2005); Also available as Technical Report NIII-R0428

    Google Scholar 

24. Wu, Y., Offutt, J.: Modeling and Testing Web-based Applications. GMU ISE Technical ISE-TR-02-08, Information and Software Engineering Department, George Mason University, Fairfax, USA (November 2002)

    Google Scholar 

Download references