{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:42:38Z","timestamp":1742398958153,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540496991"},{"type":"electronic","value":"9783540497035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11940197_8","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T07:23:21Z","timestamp":1164180201000},"page":"115-132","source":"Crossref","is-referenced-by-count":2,"title":["Model-Based Testing of Thin-Client Web Applications"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-46028-4_11","volume-title":"Implementation of Functional Languages","author":"A. Alimarine","year":"2002","unstructured":"Alimarine, A., Plasmeijer, R.: A Generic Programming Extension for Clean. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 168\u2013186. Springer, Heidelberg (2002)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Andrews, A., Offutt, J., Alexander, R.: Testing Web Applications by Modelling with FSMs. Software Systems and Modeling\u00a04(3) (August 2005)","DOI":"10.1007\/s10270-004-0077-7"},{"key":"8_CR3","volume-title":"Proceedings of the 5th International Workshop on Web Site Evolution","author":"G. Di Lucca","year":"2002","unstructured":"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)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31848-4_1","volume-title":"Formal Approaches to Software Testing","author":"L. Frantzen","year":"2005","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.: Test Generation Based on Symbolic Specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 1\u201315. Springer, Heidelberg (2005)"},{"key":"8_CR5","unstructured":"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\u2013285 (November 2002)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44854-3_6","volume-title":"Implementation of Functional Languages","author":"P. Koopman","year":"2003","unstructured":"Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic automated software testing. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 84\u2013100. Springer, Heidelberg (2003)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Koopman, P., Plasmeijer, R.: Testing reactive systems with GAST. In: Gilmore, S. (ed.) Trends in Functional Programming 4, pp. 111\u2013129 (2004)","DOI":"10.2307\/j.ctv36xvxxx.11"},{"key":"8_CR8","unstructured":"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)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"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\u2013542 (October 2000)","DOI":"10.1109\/CMPSAC.2000.884778"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"K. Larsen","year":"2005","unstructured":"Larsen, K., Mikucionis, M., Nielsen, B.: Online Testing of Real-Time Systems Using uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 79\u201394. Springer, Heidelberg (2005)"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/566172.566194","volume-title":"Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002)","author":"D. Latella","year":"2002","unstructured":"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\u2013153. ACM Press, New York (2002)"},{"issue":"8","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines \u2013 a survey. Proc. IEEE\u00a084(8), 1090\u20131126 (1996)","journal-title":"Proc. IEEE"},{"key":"8_CR13","unstructured":"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\u2013209 (November 2001)"},{"key":"8_CR14","unstructured":"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\u201316 (October 2000)"},{"key":"8_CR15","unstructured":"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\u2013166 (March 2002)"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11964681_7","volume-title":"Implementation and Application of Functional Languages","author":"R. Plasmeijer","year":"2006","unstructured":"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.\u00a04015, pp. 106\u2013123. Springer, Heidelberg (2006); Technical Report No: TCD-CS-2005-60"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/11737414_17","volume-title":"Functional and Logic Programming","author":"R. Plasmeijer","year":"2006","unstructured":"Plasmeijer, R., Achten, P.: iData For The World Wide Web - Programming Interconnected Web Forms. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 242\u2013258. Springer, Heidelberg (2006)"},{"key":"8_CR18","unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http:\/\/www.cs.ru.nl\/~clean\/"},{"issue":"3","key":"8_CR19","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software\u2014Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software\u2014Concepts and Tools"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"8_CR21","unstructured":"van Beek, H.: Specification and Analysis of Internet Applications. PhD thesis, Technical University Eindhoven, The Netherlands (2005) ISBN 90-386-0564-1"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-24617-6_15","volume-title":"Formal Approaches to Software Testing","author":"H. Beek van","year":"2004","unstructured":"van Beek, H., Mauw, S.: Automatic Conformance Testing of Internet Applications. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 205\u2013222. Springer, Heidelberg (2004)"},{"key":"8_CR23","first-page":"564","volume-title":"Proceedings of the 20th IFIP TC11 International Information Security Conference SEC 2005","author":"A. Weelden van","year":"2005","unstructured":"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\u2013576. Springer, Heidelberg (2005); Also available as Technical Report NIII-R0428"},{"key":"8_CR24","unstructured":"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)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing and Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11940197_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T01:24:09Z","timestamp":1736645049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11940197_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540496991","9783540497035"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11940197_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}