{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:25:22Z","timestamp":1742401522546},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685142"},{"type":"electronic","value":"9783540685241"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68524-1_19","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T08:34:48Z","timestamp":1212654888000},"page":"266-282","source":"Crossref","is-referenced-by-count":41,"title":["Model-Based Generation of Testbeds for Web Services"],"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":"19_CR1","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":"19_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R.: Timed Automata. In: Computer Aided Verification, pp. 8\u201322 (1999)","DOI":"10.1007\/3-540-48683-6_3"},{"key":"19_CR3","unstructured":"Jeelani Basha, S., Irani, R.: AXIS: the next generation of Java SOAP. Wrox Press (2002)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73597-7_2","volume-title":"Web Engineering","author":"A. Bertolino","year":"2007","unstructured":"Bertolino, A., De Angelis, G., Polini, A.: A QoS Test-bed Generator for Web Services. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, vol.\u00a04607, Springer, Heidelberg (2007)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"L.B. Briones","year":"2005","unstructured":"Briones, L.B., Brinksma, E.: A Test Generation Framework for quiescent Real-Time Systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, Springer, Heidelberg (2005)"},{"key":"19_CR6","unstructured":"Christensen, E., et al.: Web Service Definition Language (WSDL) ver. 1.1 (2001), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl\/"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, Springer, Heidelberg (2002)"},{"key":"19_CR8","first-page":"94","volume-title":"Proc. of WOSP 2004","author":"G. Denaro","year":"2004","unstructured":"Denaro, G., Polini, A., Emmerich, W.: Early Performance Testing of Distributed Software Applications. In: Proc. of WOSP 2004, pp. 94\u2013103. ACM Press, New York (2004)"},{"key":"19_CR9","unstructured":"PLASTIC european\u00a0project homepage, \n                    \n                      http:\/\/www.ist-plastic.org"},{"issue":"12","key":"19_CR10","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1109\/32.888628","volume":"26","author":"E. Weyuker","year":"2000","unstructured":"Weyuker, E., Vokolos, F.: Experience with Performance Testing of Software Systems: Issues, and Approach, and Case Study. IEEE Transaction on Software Engneering\u00a026(12), 1147\u20131156 (2000)","journal-title":"IEEE Transaction on Software Engneering"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Proc. of FMCO 2006","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.) Proc. of FMCO 2006. LNCS, vol.\u00a04709, pp. 1\u201325. Springer, Heidelberg (2007)"},{"key":"19_CR12","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":"19_CR13","unstructured":"Global Grid Forum. Web Services Agreement Specification (WS\u2013Agreement), version 2005\/09 edition (September 2005)"},{"key":"19_CR14","unstructured":"Grabowski, J., Walker, T.: Testing Quality-of-Service Aspects in Multimedia Applications. In: Proc. of PROMS 1995 (1995)"},{"key":"19_CR15","first-page":"26","volume-title":"Proc. of IW-SOSE 2006","author":"J. Grundy","year":"2006","unstructured":"Grundy, J., Hosking, J., Li, L., Liu, N.: Performance Engineering of Service Compositions. In: Proc. of IW-SOSE 2006, pp. 26\u201332. ACM Press, New York (2006)"},{"issue":"1","key":"19_CR16","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0166-5316(94)00038-7","volume":"25","author":"B.R. Haverkort","year":"1996","unstructured":"Haverkort, B.R., Niemegeers, I.G.: Performability modelling tools and techniques. Performance Evaluation\u00a025(1), 17\u201340 (1996)","journal-title":"Performance Evaluation"},{"issue":"1","key":"19_CR17","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":"19_CR18","unstructured":"Object Management Group. UML 2.0 Superstructure Specification, ptc\/03-08-02 edition. Adopted Specification"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Ramsokul, P., Sowmya, A., Ramesh, S.: A Test Bed for Web Services Protocols. In: Proc. of ICIW 2007, pp. 16\u201321 (2007)","DOI":"10.1109\/ICIW.2007.12"},{"key":"19_CR20","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":"19_CR21","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":"19_CR22","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":"19_CR23","unstructured":"PLASTIC tools homepage, \n                    \n                      http:\/\/plastic.isti.cnr.it\/wiki\/doku.php\/tools"},{"issue":"3","key":"19_CR24","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":"19_CR25","first-page":"164","volume-title":"ASE 2005","author":"Y. Wang","year":"2005","unstructured":"Wang, Y., Rutherford, M.J., Carzaniga, A., Wolf, A.L.: Automating Experimentation on Distributed Testbeds. In: ASE 2005, pp. 164\u2013173. ACM, New York (2005)"},{"key":"19_CR26","first-page":"33","volume-title":"Proc. IW-SOSE 2006","author":"L. Zhu","year":"2006","unstructured":"Zhu, L., Gorton, I., Liu, Y., Bui, N.B.: Model Driven Benchmark Generation for Web Services. In: Proc. IW-SOSE 2006, pp. 33\u201339. ACM Press, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68524-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T08:18:02Z","timestamp":1551514682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68524-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540685142","9783540685241"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68524-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}