{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:23:19Z","timestamp":1725524599676},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540958871"},{"type":"electronic","value":"9783540958888"}],"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-540-95888-8_5","type":"book-chapter","created":{"date-parts":[[2009,1,21]],"date-time":"2009-01-21T14:35:04Z","timestamp":1232548504000},"page":"106-139","source":"Crossref","is-referenced-by-count":17,"title":["The PLASTIC Framework and Tools for Testing Service-Oriented Applications"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[]},{"given":"Guglielmo","family":"De Angelis","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Frantzen","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"UDDI4J (accessed on June 3rd, 2008), \n                    \n                      http:\/\/uddi4j.sourceforge.net\/"},{"key":"5_CR2","volume-title":"Web Services\u2013Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services\u2013Concepts, Architectures and Applications. Springer, Heidelberg (2004)"},{"key":"5_CR3","unstructured":"Basha, S.J., Irani, R.: AXIS: the next generation of Java SOAP. Wrox Press (2002)"},{"key":"5_CR4","unstructured":"Bertolino, A., Bianculli, D., De Angelis, G., Frantzen, L., Kiss, Z.G., Ghezzi, C., Polini, A., Raimondi, F., Sabetta, A., Toffetti Carughi, G., Wolf, A.: Test Framework: Assessment and Revision. Technical Report Deliverable D4.3, PLASTIC Consortium. IST STREP Project (May 2008)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-89903-7","volume-title":"Proc. of the 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM 2008)","author":"A. Bertolino","year":"2008","unstructured":"Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: Model-based Generation of Testbeds for Web Services. In: Proc. of the 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM 2008). LNCS. Springer, Heidelberg (2008)"},{"key":"5_CR6","volume-title":"Proc. of the 34rd EUROMICRO CONFERENCE on Software Engineering and Advanced Applications","author":"A. Bertolino","year":"2008","unstructured":"Bertolino, A., De Angelis, G., Lonetti, L., Sabetta, A.: Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications. In: Proc. of the 34rd EUROMICRO CONFERENCE on Software Engineering and Advanced Applications. IEEE, Los Alamitos (2008)"},{"key":"5_CR7","unstructured":"Bertolino, A., Marchetti, E.: A brief essay on software testing. In: Thayer, R.H., Christensen, M.J. (eds.) Software Engineering, 3rd edn. Development process, vol.\u00a01, pp. 393\u2013411. Wiley-IEEE Computer Society Press (2005)"},{"key":"5_CR8","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":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-95888-8_4","volume-title":"ISSSE 2006\u20132008","author":"G. Canfora","year":"2009","unstructured":"Canfora, G., Di Penta, M.: Service Oriented Architectures Testing: A Survey. In: De Lucia, A., Ferrucci, F. (eds.) ISSSE 2006\u20132008, University of Salerno, Italy. LNCS, vol.\u00a05413, pp. 78\u2013105. Springer, Heidelberg (2009)"},{"key":"5_CR10","unstructured":"Christensen, E., et al.: Web Service Definition Language (WSDL) ver. 1.1 (2001), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl\/"},{"key":"5_CR11","unstructured":"Ciotti, F.: Ws-guard - enhancing uddi registries with on-line testing capabilities. Master\u2019s thesis, Department of Computer Science, University of Pisa (April 2007)"},{"key":"5_CR12","unstructured":"PLASTIC european\u00a0project homepage, \n                    \n                      http:\/\/www.ist-plastic.org"},{"key":"5_CR13","unstructured":"Apache Foundation. JUDDI (accessed on June 3rd, 2008), \n                    \n                      http:\/\/ws.apache.org\/juddi\/"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74792-5_1","volume-title":"Formal Methods for Components and Objects","author":"L. Frantzen","year":"2007","unstructured":"Frantzen, L., Tretmans, J.: Model-Based Testing of Environmental Conformance of Components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol.\u00a04709, pp. 1\u201325. Springer, Heidelberg (2007)"},{"key":"5_CR15","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":"5_CR16","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., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 40\u201354. Springer, Heidelberg (2006)"},{"key":"5_CR17","unstructured":"Global Grid Forum. Web Services Agreement Specification (WS\u2013Agreement), version 2005\/09 edn. (September 2005)"},{"key":"5_CR18","unstructured":"GNU Prolog homepage, \n                    \n                      http:\/\/www.gprolog.org\/"},{"key":"5_CR19","unstructured":"MagicDraw homepage, \n                    \n                      http:\/\/www.magicdraw.com"},{"key":"5_CR20","unstructured":"Quick Sequence Diagram Editor homepage, \n                    \n                      http:\/\/sdedit.sourceforge.net\/"},{"key":"5_CR21","unstructured":"STSimulator homepage, \n                    \n                      http:\/\/www.cs.ru.nl\/~lf\/tools\/stsimulator\/"},{"issue":"1","key":"5_CR22","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MIC.2005.21","volume":"9","author":"M.N. Huhns","year":"2005","unstructured":"Huhns, M.N., Singh, M.P.: Service-Oriented Computing: Key Concepts and Principles. IEEE Internet Computing\u00a09(1), 75\u201381 (2005)","journal-title":"IEEE Internet Computing"},{"key":"5_CR23","unstructured":"IBM. WSLA: Web Service Level Agreements, version: 1.0 revision: wsla-2003\/01\/28 edn. (2003)"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"ISSSE 2006\u20132008","author":"P. Inverardi","year":"2009","unstructured":"Inverardi, P., Tivoli, M.: The future of Software: Adaptation and Dependability. In: De Lucia, A., Ferrucci, F. (eds.) ISSSE 2006\u20132008, University of Salerno, Italy. LNCS, vol.\u00a05413, pp. 1\u201331. Springer, Heidelberg (2009)"},{"key":"5_CR25","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. In: IDPT 2002. Society for Design and Process Science (2002)"},{"key":"5_CR26","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 - A survey. Proceedings of the IEEE\u00a084, 1090\u20131126 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"5_CR27","unstructured":"NetBeans Tutorial on Asynchronous JAX-WS Web Service Client End-to-End Scenario, \n                    \n                      http:\/\/www.netbeans.org\/kb\/55\/websvc-jax-ws-asynch.html"},{"key":"5_CR28","unstructured":"OASIS consortium. Universal Description, Discovery, and Integration (UDDI) (accessed on June 3rd, 2008), \n                    \n                      http:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=uddi-spec"},{"key":"5_CR29","unstructured":"Object Management Group. UML 2.0 Superstructure Specification, ptc\/03-08-02 edn. Adopted Specification"},{"key":"5_CR30","volume-title":"Performance and Reliability Analysis of Computer Systems An Example-Based Approach Using the SHARPE Software Package","author":"R.A. Sahner","year":"1995","unstructured":"Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"5_CR31","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":"5_CR32","first-page":"179","volume-title":"Proc. of ICSE 2004","author":"J. Skene","year":"2004","unstructured":"Skene, J., Lamanna, D.D., Emmerich, W.: Precise Service Level Agreements. In: Proc. of ICSE 2004, pp. 179\u2013188. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"5_CR33","first-page":"3","volume-title":"Proc. of WOSP 2007","author":"J. Skene","year":"2007","unstructured":"Skene, J., Skene, A., Crampton, J., Emmerich, W.: The Monitorability of Service-Level Agreements for Application-Service Provision. In: Proc. of WOSP 2007, pp. 3\u201314. ACM Press, New York (2007)"},{"key":"5_CR34","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\u2013White Box Test Generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"5_CR35","unstructured":"PLASTIC tools homepage, \n                    \n                      http:\/\/plastic.isti.cnr.it\/wiki\/tools"},{"issue":"3","key":"5_CR36","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":"5_CR37","unstructured":"Tretmans, J., Brinksma, E.: TorX\u00a0:\u00a0\u00a0Automated Model Based Testing. In: Hartman, A., Dussa-Zieger, K. (eds.) First European Conference on Model-Driven Software Engineering, December 11-12 2003, Imbuss, M\u00f6hrendorf, Germany (2003)"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M. Bijl van der","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional Testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"key":"5_CR39","unstructured":"W3C. WS-Addressing (accessed on June 3rd, 2008), \n                    \n                      http:\/\/www.w3.org\/Submission\/ws-addressing\/"}],"container-title":["Lecture Notes in Computer Science","Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95888-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T02:03:13Z","timestamp":1551751393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95888-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540958871","9783540958888"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95888-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}