{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:07Z","timestamp":1760202607618},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642195884"},{"type":"electronic","value":"9783642195891"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19589-1_3","type":"book-chapter","created":{"date-parts":[[2011,3,19]],"date-time":"2011-03-19T03:24:06Z","timestamp":1300505046000},"page":"42-55","source":"Crossref","is-referenced-by-count":2,"title":["Automated Generation of Web Service Stubs Using LTL Satisfiability Solving"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Amazon flexible payments service sandbox, \n                  \n                    http:\/\/docs.amazonwebservices.com\/AmazonFPS\/latest\/SandboxLanding\/index.html\n                  \n                  \n                 (retrieved May 28, 2010)"},{"key":"3_CR2","unstructured":"PayPal sandbox user guide. Technical Report 100007.en_US-200910 (October 2009), \n                  \n                    https:\/\/cms.paypal.com\/cms_content\/US\/en_US\/files\/developer\/PP_Sandbox_UserGuide.pdf\n                  \n                  \n                 (retrieved May 28, 2010)"},{"key":"3_CR3","unstructured":"soapUI: the web services testing tool (2009), \n                  \n                    http:\/\/www.soapui.org\/"},{"key":"3_CR4","unstructured":"Bai, X., Dong, W., Tsai, W.-T., Chen, Y.: WSDL-based automatic test case generation for web services testing. In: IEEE International Workshop on Service-Oriented System Engineering (SOSE) 2005, pp. 207\u2013212 (2005)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/978-3-540-89652-4_41","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"C. Bartolini","year":"2008","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: Towards automated WSDL-based testing of web services. In: Bouguettaya, A., Kr\u00fcger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 524\u2013529. Springer, Heidelberg (2008)"},{"key":"3_CR6","unstructured":"Bauer, J.A., Finger, A.B.: Test plan generation using formal grammars. In: Proceedings of the 4th International Conference on Software Engineering, Munich, Germany, pp. 425\u2013432 (September 1979)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"issue":"11","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1002\/spe.602","volume":"34","author":"C. Csallner","year":"2004","unstructured":"Csallner, C., Smaragdakis, Y.: JCrasher: an automatic robustness tester for Java. Softw. Pract. Exper.\u00a034(11), 1025\u20131050 (2004)","journal-title":"Softw. Pract. Exper."},{"key":"3_CR9","unstructured":"Duncan, A.G., Hutchison, J.S.: Using attributed grammars to test designs and implementations. In: Proceedings of the 5th International Conference on Software Engineering, New York, NY, USA, pp. 170\u2013178 (March 1981)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Fielding, R.J., Gettys, J., Mogul, J., Frystyk, H., Masinter, L., Leach, P., Berners-Lee, T.: Hypertext transfer protocol \u2013 HTTP\/1.1. Technical Report RFC 2616, IETF (June 1999)","DOI":"10.17487\/rfc2616"},{"key":"3_CR11","unstructured":"Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-642-10383-4_38","volume-title":"Service-Oriented Computing","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Hughes, G., Bultan, T., Alkhalaf, M.: Generating interface grammars from WSDL for automated verification of web services. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 516\u2013530. Springer, Heidelberg (2009)"},{"key":"3_CR13","first-page":"63","volume-title":"EDOC","author":"S. Hall\u00e9","year":"2008","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime monitoring of message-based workflows with data. In: EDOC, pp. 63\u201372. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"5","key":"3_CR14","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1109\/TSE.2009.29","volume":"35","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Villemaire, R., Cherkaoui, O.: Specifying and validating data-aware temporal web service properties. IEEE Trans. Software Eng.\u00a035(5), 669\u2013683 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR15","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1390832.1390839","volume-title":"TAV-WEB","author":"G. Hughes","year":"2008","unstructured":"Hughes, G., Bultan, T., Alkhalaf, M.: Client and server verification for web services using interface grammars. In: Bultan, T., Xie, T. (eds.) TAV-WEB, pp. 40\u201346. ACM, New York (2008)"},{"key":"3_CR17","unstructured":"Josephraj, J.: Web services choreography in practice (2005), \n                  \n                    http:\/\/www-128.ibm.com\/developerworks\/webservices\/library\/ws-choreography\/"},{"key":"3_CR18","first-page":"647","volume-title":"ICWS","author":"E. Martin","year":"2007","unstructured":"Martin, E., Basu, S., Xie, T.: Automated testing and response analysis of web services. In: ICWS, pp. 647\u2013654. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"4","key":"3_CR19","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/52.56422","volume":"7","author":"P.M. Maurer","year":"1990","unstructured":"Maurer, P.M.: Generating test data with enhanced context-free grammars. IEEE Software\u00a07(4), 50\u201355 (1990)","journal-title":"IEEE Software"},{"key":"3_CR20","unstructured":"O\u2019Reilly, T.: REST vs. SOAP at Amazon (2003), \n                  \n                    http:\/\/www.oreillynet.com\/pub\/wlg\/3005\n                  \n                  \n                 (retrieved June 2, 2010)"},{"key":"3_CR21","unstructured":"Programmable Web. Web services directory (2010), \n                  \n                    http:\/\/www.programmableweb.com\n                  \n                  \n                 (retrieved June 1, 2010)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-73370-6_11","volume-title":"Model Checking Software","author":"K.Y. Rozier","year":"2007","unstructured":"Rozier, K.Y., Vardi, M.Y.: LTL satisfiability checking. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.\u00a04595, pp. 149\u2013167. Springer, Heidelberg (2007)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Sirer, E., Bershad, B.N.: Using production grammars in software testing. In: Proceedings of DSL 1999: the 2nd Conference on Domain-Specific Languages, Austin, TX, US, pp. 1\u201313 (1999)","DOI":"10.1145\/331960.331965"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19589-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T06:23:20Z","timestamp":1558506200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19589-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642195884","9783642195891"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19589-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}