{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:17:18Z","timestamp":1743002238210,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_55","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"727-742","source":"Crossref","is-referenced-by-count":20,"title":["Model-Based Testing as a Service for IoT Platforms"],"prefix":"10.1007","author":[{"given":"Abbas","family":"Ahmad","sequence":"first","affiliation":[]},{"given":"Fabrice","family":"Bouquet","sequence":"additional","affiliation":[]},{"given":"Elizabeta","family":"Fourneret","sequence":"additional","affiliation":[]},{"given":"Franck","family":"Le Gall","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Legeard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"55_CR1","unstructured":"FIWARE test repository and requirements matrix. http:\/\/fiware.eglobalmark.com\/html\/ . Accessed 29 Apr 2016"},{"key":"55_CR2","unstructured":"Open Mobile Alliance. http:\/\/technical.openmobilealliance.org\/Technical\/technical-information\/release-program\/current-releases\/ngsi-v1-0 . Accessed 18 Apr 2016"},{"key":"55_CR3","unstructured":"Reinhart Richter, Xcerra Corporation: Does the Internet of Things force us to rethink our test strategies? http:\/\/xcerra.com\/ep_doestheinternetofthingsforceustorethinkourteststrategies-vision"},{"key":"55_CR4","unstructured":"The FIWARE Project. https:\/\/www.fiware.org\/2015\/03\/27\/build-your-own-iot-platform-with-fiware-enablers\/ . Accessed 8 Apr 2016"},{"key":"55_CR5","unstructured":"Ahmad, A.: Lot interoperability model-based testing, a fiware case study: poster at UCAAT. ETSI, Sophia-Antipolis, France (2015)"},{"key":"55_CR6","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P., De Carmine, S., Memon, A.M.: Using GUI ripping for automated testing of android applications. In: 27th IEEE\/ACM ICSE, ASE 2012, NY, USA, pp. 258\u2013261. ACM, New York (2012). http:\/\/doi.acm.org\/10.1145\/2351676.2351717"},{"key":"55_CR7","doi-asserted-by":"crossref","unstructured":"Bernabeu, G., Jaffuel, E., Legeard, B., Peureux, F.: MBT for global platform compliance testing: experience report and lessons learned. In: 25th IEEE ISSRE Workshops, Naples, Italy, pp. 66\u201370 (2014)","DOI":"10.1109\/ISSREW.2014.91"},{"key":"55_CR8","doi-asserted-by":"crossref","unstructured":"Botella, J., Bouquet, F., Capuron, J., Lebeau, F., Legeard, B., Schadle, F.: Model-based testing of cryptographic components - lessons learned from experience. In: 6th IEEE ICST, Luxembourg, pp. 192\u2013201 (2013)","DOI":"10.1109\/ICST.2013.42"},{"key":"55_CR9","doi-asserted-by":"crossref","unstructured":"Chan, W.K., Mei, L., Zhang, Z.: Modeling and testing of cloud applications. In: Services Computing Conference, APSCC 2009, IEEE Asia-Pacific, pp. 111\u2013118, December 2009","DOI":"10.1109\/APSCC.2009.5394131"},{"key":"55_CR10","doi-asserted-by":"crossref","unstructured":"Incki, K., Ari, I., Sozer, H.: A survey of software testing in the cloud. In: 6th IEEE International Conference, SERE-C, pp. 18\u201323, June 2012","DOI":"10.1109\/SERE-C.2012.32"},{"key":"55_CR11","doi-asserted-by":"crossref","DOI":"10.1002\/9781119130161","volume-title":"Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level","author":"A Kramer","year":"2016","unstructured":"Kramer, A., Legeard, B.: Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level. Wiley, Hoboken (2016)"},{"key":"55_CR12","doi-asserted-by":"crossref","unstructured":"Legeard, B., Bouzy, A.: Smartesting CertifyIt - model-based testing for enterprise IT. In: ICST 2013, 6th IEEE International Conference on Software Testing, Verification and Validation, Testing Tool Track, pp. 192\u2013201. IEEE, Luxembourg (2013)","DOI":"10.1109\/ICST.2013.55"},{"key":"55_CR13","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/978-3-540-33253-4_12","volume-title":"Software Product Lines","author":"C Nebut","year":"2006","unstructured":"Nebut, C., Traon, Y.L., Jezequel, J.M.: System testing of product lines: from requirements to test cases. In: K\u00e4k\u00f6la, T., Duenas, J.C. (eds.) Software Product Lines, pp. 447\u2013478. Springer, Heidelberg (2006). http:\/\/dx.doi.org\/10.1007\/978-3-540-33253-4_12"},{"key":"55_CR14","doi-asserted-by":"crossref","unstructured":"Riungu, L.M., Taipale, O., Smolander, K.: Research issues for software testing in the cloud. In: 2nd IEEE International Conference CloudCom, pp. 557\u2013564, November 2010","DOI":"10.1109\/CloudCom.2010.58"},{"key":"55_CR15","doi-asserted-by":"crossref","unstructured":"Salva, S., Zafimiharisoa, S.R.: Data vulnerability detection by security testing for android applications. In: Information Security for South Africa, pp. 1\u20138. IEEE (2013)","DOI":"10.1109\/ISSA.2013.6641043"},{"key":"55_CR16","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/bs.adcom.2015.11.004","volume":"101","author":"M Utting","year":"2016","unstructured":"Utting, M., Legeard, B., Bouquet, F., Fourneret, E., Peureux, F., Vernotte, A.: Chapter 2 - Recent advances in model-based testing. Adv. Comput. 101, 53\u2013120 (2016). http:\/\/dx.doi.org\/10.1016\/bs.adcom.2015.11.004","journal-title":"Adv. Comput."},{"issue":"5","key":"55_CR17","first-page":"297","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. STVR 22(5), 297\u2013312 (2012). http:\/\/dx.doi.org\/10.1002\/stvr.456","journal-title":"STVR"},{"key":"55_CR18","doi-asserted-by":"crossref","unstructured":"Zech, P., Felderer, M., Breu, R.: Towards a model based security testing approach of cloud computing environments. In: 6th International Conference SERE-C, pp. 47\u201356 (2012)","DOI":"10.1109\/SERE-C.2012.11"},{"key":"55_CR19","doi-asserted-by":"crossref","unstructured":"Zech, P., Kalb, P., Felderer, M., Breu, R.: Chapter 40 - Threatening the cloud: securing services and data by continuous, model-driven negative security testing. Transportation Systems and Engineering: Concepts, Methodologies, Tools, and Applications, vol. 3, pp. 789\u2013814 (2015)","DOI":"10.4018\/978-1-4666-8473-7.ch040"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:09:57Z","timestamp":1568434197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}