{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:14:20Z","timestamp":1725498860272},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540774419"},{"type":"electronic","value":"9783540774426"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77442-6_20","type":"book-chapter","created":{"date-parts":[[2007,12,19]],"date-time":"2007-12-19T04:35:03Z","timestamp":1198038903000},"page":"299-315","source":"Crossref","is-referenced-by-count":2,"title":["Model-Based Testing of Thin-Client Web Applications and Navigation Input"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","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":"20_CR2","unstructured":"Burke, E., Coyner, B.: Java Extreme Programming Cookbook. O\u2019Reilly (2003)"},{"key":"20_CR3","unstructured":"Frantzen, L., Tretmans, J., Vries, R.d.: Towards model-based testing of web services. In: Polini, A. (ed.) WS-MaTe2006. International Workshop on Web Services - Modeling and Testing, Palermo, Italy, pp. 67\u201382 (June 9th, 2006)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-36575-3_17","volume-title":"Programming Languages and Systems","author":"P. Graunke","year":"2003","unstructured":"Graunke, P., Findler, R., Krishnamurthi, S., Felleisen, M.: Modeling Web Interactions. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol.\u00a02618, pp. 238\u2013252. Springer, Heidelberg (2003)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Koopman, P., Plasmeijer, R.: Testing reactive systems with GAST. In: Gilmore, S. (ed.) Trends in Functional Programming, vol.\u00a04, pp. 111\u2013129 (2004)","DOI":"10.2307\/j.ctv36xvxxx.11"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"FATES 2006 and RV 2006","author":"P. Koopman","year":"2006","unstructured":"Koopman, P., Plasmeijer, R., Achten, P.: Model-based testing of thin-client web applications. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, Springer, Heidelberg (2006)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2006)"},{"key":"20_CR8","unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http:\/\/www.cs.ru.nl\/~clean\/"},{"key":"20_CR9","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)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77442-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T09:58:05Z","timestamp":1684144685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77442-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540774419","9783540774426"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77442-6_20","relation":{},"subject":[]}}