{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:51:49Z","timestamp":1743065509612,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319068589"},{"type":"electronic","value":"9783319068596"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06859-6_17","type":"book-chapter","created":{"date-parts":[[2014,5,2]],"date-time":"2014-05-02T08:58:33Z","timestamp":1399021113000},"page":"192-208","source":"Crossref","is-referenced-by-count":7,"title":["Model-Based Testing in Cloud Brokerage Scenarios"],"prefix":"10.1007","author":[{"given":"Mariam","family":"Kiran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Friesen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony J. H.","family":"Simons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang K. R.","family":"Schwach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1016\/j.future.2008.12.001","volume":"25","author":"R. Buyya","year":"2008","unstructured":"Buyya, R., Yeo, C.S., Venugopal, S., Broberg, J., Brandic, I.: Cloud Computing and Emerging IT Platforms: Vision, Hype, and Reality for Delivering Computing as the 5th Utility. Future Generation Computer Systems\u00a025, 599\u2013616 (2008)","journal-title":"Future Generation Computer Systems"},{"key":"17_CR2","unstructured":"Plummer, D.C., Lheureux, B.J., Karamouzis, F.: Defining Cloud Services Brokerage: Taking Intermediation to the Next Level. Report ID G00206187. Gartner, Inc. (2010)"},{"key":"17_CR3","unstructured":"Rao, L.: Using CloudKick to manage Amazon Webservices\u2019 EC2. TechCrunch, \n                    \n                      http:\/\/techcrunch.com\/2009\/03\/16\/y-combinators-cloudkick-offers-simple-cloud-management-system\/\n                    \n                    \n                   (March 16, 2009)"},{"key":"17_CR4","unstructured":"Higginbotham, S.: Rightscale Makes Multiple Clouds Work. GigaOM, \n                    \n                      http:\/\/gigaom.com\/2008\/09\/17\/rightscale-makes-multiple-clouds-work\/\n                    \n                    \n                   (September 17, 2008)"},{"issue":"4","key":"17_CR5","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1002\/stvr.1470","volume":"32","author":"M. Bozkurt","year":"2012","unstructured":"Bozkurt, M., Harman, M., Hassoun, Y.: Testing & Verification in Service-Oriented Architecture: A Survey. Software Testing, Verification and Reliability\u00a032(4), 261\u2013313 (2012)","journal-title":"Software Testing, Verification and Reliability"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Architecting Systems","author":"A. Bertolino","year":"2006","unstructured":"Bertolino, A., Frantzen, L., Polini, A., Tretmans, J.: Audition of Web Services for Testing Conformance to Open Specified Protocols. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems. LNCS, vol.\u00a03938, pp. 1\u201325. Springer, Heidelberg (2006)"},{"key":"17_CR7","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":"17_CR8","doi-asserted-by":"crossref","unstructured":"Heckel, R., Lohmann, M.: Towards Contract-based Testing of Web Services. In: Proc. Int. Workshop on Test and Analysis of Component Based Systems, Barcelona, Spain. ENTCS, vol.\u00a0116, pp. 145\u2013156 (2004)","DOI":"10.1016\/j.entcs.2004.02.073"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-02121-3_44","volume-title":"The Semantic Web: Research and Applications","author":"E. Ramollari","year":"2009","unstructured":"Ramollari, E., Kourtesis, D., Dranidis, D., Simons, A.J.H.: Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. In: Aroyo, L., et al. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 593\u2013607. Springer, Heidelberg (2009)"},{"key":"17_CR10","first-page":"578","volume-title":"Proceedings of the 2008 International Symposium on Information Science and Engineering","author":"C. Ma","year":"2008","unstructured":"Ma, C., Wu, J., Zhang, T., Zhang, Y., Cai, X.: Testing BPEL with Stream X-Machine. In: Proceedings of the 2008 International Symposium on Information Science and Engineering, pp. 578\u2013582. IEEE Computer Society, Shanghai (2008)"},{"key":"17_CR11","unstructured":"Ramollari, E.: Automated Verification and Testing of Third-Party Web Services. PhD Thesis, Dept. of Computer Science, University of Sheffield, UK (2012)"},{"key":"17_CR12","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, Burlington (2007)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11498490_13","volume-title":"Model-Based Testing of Reactive Systems","author":"A. Pretschner","year":"2005","unstructured":"Pretschner, A., Philipps, J.: Methodological Issues in Model-Based Testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472, pp. 281\u2013291. Springer, Heidelberg (2005)"},{"key":"17_CR14","series-title":"Applied Computing Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems - Building a Business Process Solution","author":"W.M.L. Holcombe","year":"1998","unstructured":"Holcombe, W.M.L., Ipate, F.: Correct Systems - Building a Business Process Solution. Applied Computing Series. Springer, Berlin (1998)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"El-Far, I.K., Whittaker, J.A.: Model-Based Software Testing. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering. John Wiley & Sons, London (2002)","DOI":"10.1002\/0471028959.sof207"},{"key":"17_CR16","unstructured":"Laycock, G.: The Theory and Practice of Specification Based Software Testing. PhD Thesis. Dept. of Computer Science, University of Sheffield, UK (1993)"},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1080\/00207169708804559","volume":"63","author":"F. Ipate","year":"1997","unstructured":"Ipate, F., Holcombe, W.M.L.: An integration testing method which is proved to find all faults. Int. J. Comp. Math.\u00a063, 159\u2013178 (1997)","journal-title":"Int. J. Comp. Math."},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/ICST.2008.22","volume-title":"Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation","author":"A. Marchetto","year":"2008","unstructured":"Marchetto, A., Tonella, P., Ricca, F.: State-Based Testing of Ajax Web Applications. In: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, pp. 121\u2013130. IEEE Computer Society Press, Washington, DC (2008)"},{"issue":"1","key":"17_CR19","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/TSE.2011.28","volume":"38","author":"A. Mesbah","year":"2012","unstructured":"Mesbah, A., van Deursen, A., Roest, D.: Invariant-Based Automatic Testing of Modern Web Applications. IEEE Trans. Software. Eng.\u00a038(1), 35\u201353 (2012)","journal-title":"IEEE Trans. Software. Eng."},{"key":"17_CR20","unstructured":"Selenium, H.Q.: Browser Automation, \n                    \n                      http:\/\/www.seleniumhq.org\/"},{"key":"17_CR21","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley (1996)"},{"key":"17_CR22","unstructured":"KMI and SAP Research: Linked USDL, \n                    \n                      http:\/\/www.linked-usdl.org"},{"key":"17_CR23","unstructured":"Yang, Y., Onita, C., Dhaliwal, J., Zhang, X.: TESTQUAL: conceptualizing software testing as a service. In: Proc. 15th Americas Conf. on Information Systems, USA, paper 608 (2009)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2013 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06859-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T14:53:41Z","timestamp":1558882421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06859-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068589","9783319068596"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06859-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}