{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:37:27Z","timestamp":1743046647077,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642013638"},{"type":"electronic","value":"9783642013645"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01364-5_9","type":"book-chapter","created":{"date-parts":[[2009,4,30]],"date-time":"2009-04-30T16:32:58Z","timestamp":1241109178000},"page":"143-157","source":"Crossref","is-referenced-by-count":13,"title":["On-The-Fly Model-Based Testing of Web Services with Jambition"],"prefix":"10.1007","author":[{"given":"Lars","family":"Frantzen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"de las Nieves Huerta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zsolt Gere","family":"Kiss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Wallet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"3G\u00a0Americas. 2.5 Billion GSM Subscribers Worldwide - More than a Million New Users Daily (press release), http:\/\/www.3gamericas.org\/English\/News_Room\/DisplayPressRelease.cfm?id=2982&s=ENG , June 5 (2007)"},{"key":"9_CR2","volume-title":"Proceedings of the Autotestcon 1995 Conference","author":"L. Apfelbaum","year":"1995","unstructured":"Apfelbaum, L.: Automated Functional Test Generation. In: Proceedings of the Autotestcon 1995 Conference. IEEE, Los Alamitos (1995)"},{"key":"9_CR3","unstructured":"Business\u00a0Wire Article. SOA Software Products Drive More Than 10 Billion Web Service Transactions, http:\/\/findarticles.com\/p\/articles\/mi_m0EIN\/is_2006_Sept_18\/ai_n16728778 , September 18 (2006)"},{"key":"9_CR4","first-page":"179","volume-title":"TestCom 1999","author":"A. Belinfante","year":"1999","unstructured":"Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) TestCom 1999, pp. 179\u2013196. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"9_CR5","first-page":"13","volume-title":"IEEE SOCA 2007","author":"D. Bianculli","year":"2007","unstructured":"Bianculli, D., Ghezzi, C., Spoletini, P.: A model checking approach to verify BPEL4WS workflows. In: IEEE SOCA 2007, pp. 13\u201320. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","volume-title":"Modeling and Verification of Parallel Processes","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: an annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 187\u2013195. Springer, Heidelberg (2001)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-59449-3_35","volume-title":"Objective Software Quality","author":"G. Bruno","year":"1995","unstructured":"Bruno, G., Varani, M., Vico, V., Offerman, C.: Benefits of using model-based testing tools. In: Nesi, P. (ed.) Objective Quality 1995. LNCS, vol.\u00a0926, pp. 224\u2013235. Springer, Heidelberg (1995)"},{"key":"9_CR8","unstructured":"Christensen, E., et al.: Web Service Definition Language (WSDL) ver. 1.1 (2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/3-540-46002-0_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., J\u00e9ron, T., Rusu, V., Zinovieva, E.: STG: a Symbolic Test Generation tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, p. 470. Springer, Heidelberg (2002)"},{"key":"9_CR10","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.A.C.: Test generation based on symbolic specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 1\u201315. Springer, Heidelberg (2005)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11940197_3","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"L. Frantzen","year":"2006","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: A symbolic framework for model-based testing. In: Havelund, K., N\u00fa\u00f1ez, M., Rosu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 40\u201354. Springer, Heidelberg (2006)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. of WWW 2004, New York, USA, May 17-22, pp. 17\u201322 (2004)","DOI":"10.1145\/988672.988756"},{"key":"9_CR13","unstructured":"Garc\u00eda-Fanjul, J., Tuya, J., de la Riva, C.: Generating test cases specifications for compositions of web services. In: Bertolino, A., Polini, A. (eds.) WS-MaTe2006, pp. 83\u201394 (2006)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11754008_1","volume-title":"Testing of Communicating Systems","author":"C. Gaston","year":"2006","unstructured":"Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose definition. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 1\u201318. Springer, Heidelberg (2006)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-31984-9_4","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"2005","unstructured":"Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 34\u201348. Springer, Heidelberg (2005)"},{"key":"9_CR16","unstructured":"Hoffman, D.: Cost Benefits for Test Automation. In: STAR West 1999 (1999)"},{"key":"9_CR17","unstructured":"GlassFish Application\u00a0Server homepage, https:\/\/glassfish.dev.java.net"},{"key":"9_CR18","unstructured":"GNU Prolog homepage, http:\/\/www.gprolog.org\/"},{"key":"9_CR19","unstructured":"MagicDraw homepage, http:\/\/www.magicdraw.com"},{"key":"9_CR20","unstructured":"Netbeans\u00a0IDE homepage, www.netbeans.org"},{"key":"9_CR21","unstructured":"Quick Sequence Diagram Editor homepage, http:\/\/sdedit.sourceforge.net\/"},{"key":"9_CR22","unstructured":"STSimulator homepage, http:\/\/www.cs.ru.nl\/~lf\/tools\/stsimulator\/"},{"key":"9_CR23","unstructured":"Lau, J.: The State of European Enterprise Mobility in 2006, October 13, 2006. Forrester Research (2006)"},{"key":"9_CR24","unstructured":"Object Management Group. UML 2.0 Superstructure Specification, ptc\/03-08-02 edition. Adopted Specification"},{"key":"9_CR25","unstructured":"PLASTIC project homepage, http:\/\/www-c.inria.fr\/plastic"},{"key":"9_CR26","unstructured":"Web Host\u00a0Industry Review. Web Services to Reach $21 Billion by 2007: IDC, http:\/\/www.thewhir.com\/marketwatch\/idc020503.cfm"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Rong, L., Wallet, T., Fredj, M., Georgantas, N.: Mobile Medical Diagnosis: An m-Health Initiative through Service Continuity in B3G. In: Middleware 2007 Demos - ACM\/IFIP\/USENIX Middleware Conference (November 2007)","DOI":"10.1145\/1377943.1377953"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/11817963_38","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2006","unstructured":"Sen, K., Agha, G.: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 419\u2013423. Springer, Heidelberg (2006)"},{"key":"9_CR29","unstructured":"Business Process Execution Language for Web Services version 1.1 specification, http:\/\/www-128.ibm.com\/developerworks\/library\/specification\/ws-bpel\/"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex - White Box Test Generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"9_CR31","unstructured":"PLASTIC tools homepage, http:\/\/plastic.isti.cnr.it\/wiki\/tools"},{"issue":"3","key":"9_CR32","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"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01364-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T23:47:51Z","timestamp":1684972071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01364-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013638","9783642013645"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01364-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}