{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T21:07:15Z","timestamp":1774472835111,"version":"3.50.1"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030587673","type":"print"},{"value":"9783030587680","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-58768-0_6","type":"book-chapter","created":{"date-parts":[[2020,9,11]],"date-time":"2020-09-11T12:02:48Z","timestamp":1599825768000},"page":"93-112","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2994-7826","authenticated-orcid":false,"given":"Miroslav","family":"Bures","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9601-8787","authenticated-orcid":false,"given":"Matej","family":"Klima","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4127-5372","authenticated-orcid":false,"given":"Vaclav","family":"Rechtberger","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1849-5788","authenticated-orcid":false,"given":"Xavier","family":"Bellekens","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9150-6805","authenticated-orcid":false,"given":"Christos","family":"Tachtatzis","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6206-2229","authenticated-orcid":false,"given":"Robert","family":"Atkinson","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9051-7609","authenticated-orcid":false,"given":"Bestoun S.","family":"Ahmed","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,8]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/978-3-319-47169-3_55","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"A Ahmad","year":"2016","unstructured":"Ahmad, A., Bouquet, F., Fourneret, E., Le Gall, F., Legeard, B.: Model-based testing as a service for IoT platforms. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 727\u2013742. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47169-3_55"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Ahmad, A., Bouquet, F., Fourneret, E., Legeard, B.: Model-based testing for internet of things systems. In: Advances in Computers, vol. 108, pp. 1\u201358. Elsevier (2018)","DOI":"10.1016\/bs.adcom.2017.11.002"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"13758","DOI":"10.1109\/ACCESS.2019.2893493","volume":"7","author":"BS Ahmed","year":"2019","unstructured":"Ahmed, B.S., Bures, M., Frajtak, K., Cerny, T.: Aspects of quality in internet of things (IoT) solutions: a systematic mapping study. IEEE Access 7, 13758\u201313780 (2019)","journal-title":"IEEE Access"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"25706","DOI":"10.1109\/ACCESS.2017.2771562","volume":"5","author":"BS Ahmed","year":"2017","unstructured":"Ahmed, B.S., Zamli, K.Z., Afzal, W., Bures, M.: Constrained interaction testing: a systematic literature study. IEEE Access 5, 25706\u201325730 (2017)","journal-title":"IEEE Access"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-31280-0_1","volume-title":"Testing Software and Systems","author":"BK Aichernig","year":"2019","unstructured":"Aichernig, B.K., et al.: Learning a behavior model of hybrid systems through combining model-based testing and machine learning. In: Gaston, C., Kosmatov, N., Le Gall, P. (eds.) ICTSS 2019. LNCS, vol. 11812, pp. 3\u201321. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-31280-0_1"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"2347","DOI":"10.1109\/COMST.2015.2444095","volume":"17","author":"A Al-Fuqaha","year":"2015","unstructured":"Al-Fuqaha, A., Guizani, M., Mohammadi, M., Aledhari, M., Ayyash, M.: Internet of things: a survey on enabling technologies, protocols, and applications. IEEE Commun. Surv. Tutor. 17(4), 2347\u20132376 (2015)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Amalfitano, D., Amatucci, N., De Simone, V., Riccio, V., Rita, F.A.: Towards a thing-in-the-loop approach for the verification and validation of IoT systems. In: Proceedings of the 1st ACM Workshop on the Internet of Safe Things, SafeThings 2017, pp. 57\u201363. ACM, New York (2017). \nhttps:\/\/doi.org\/10.1145\/3137003.3137007","DOI":"10.1145\/3137003.3137007"},{"issue":"8","key":"6_CR8","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., et al.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"key":"6_CR9","unstructured":"Arrieta, A., Sagardui, G., Etxeberria, L.: A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems, October 2014"},{"key":"6_CR10","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1007\/978-3-319-16486-1_78","volume-title":"New Contributions in Information Systems and Technologies","author":"M Bures","year":"2015","unstructured":"Bures, M.: PCTgen: automated generation of test cases for application workflows. In: Rocha, A., Correia, A.M., Costanzo, S., Reis, L.P. (eds.) New Contributions in Information Systems and Technologies. AISC, vol. 353, pp. 789\u2013794. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-16486-1_78"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.infsof.2019.06.006","volume":"114","author":"M Bures","year":"2019","unstructured":"Bures, M., Ahmed, B.S.: Employment of multiple algorithms for optimal path-based test selection strategy. Inf. Softw. Technol. 114, 21\u201336 (2019)","journal-title":"Inf. Softw. Technol."},{"key":"6_CR12","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/978-981-13-1056-0_61","volume-title":"Information Science and Applications 2018","author":"M Bures","year":"2019","unstructured":"Bures, M., Cerny, T., Ahmed, B.S.: Internet of things: current challenges in the quality assurance and testing methods. In: Kim, K.J., Baek, N. (eds.) ICISA 2018. LNEE, vol. 514, pp. 625\u2013634. Springer, Singapore (2019). \nhttps:\/\/doi.org\/10.1007\/978-981-13-1056-0_61"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-319-74781-1_12","volume-title":"Software Engineering and Formal Methods","author":"M Camilli","year":"2018","unstructured":"Camilli, M., Bellettini, C., Capra, L.: Design-time to run-time verification of microservices based applications. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 168\u2013173. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-74781-1_12"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.comcom.2016.03.012","volume":"89","author":"E Cavalcante","year":"2016","unstructured":"Cavalcante, E., et al.: On the interplay of internet of things and cloud computing: a systematic mapping study. Comput. Commun. 89, 17\u201333 (2016)","journal-title":"Comput. Commun."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Cort\u00e9s, M., Saraiva, R., Souza, M., Mello, P., Soares, P.: Adoption of software testing in internet of things: a systematic literature mapping. In: Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, pp. 3\u201311 (2019)","DOI":"10.1145\/3356317.3356326"},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Cort\u00e9s, M., Saraiva, R., Souza, M., Mello, P., Soares, P.: Adoption of software testing in internet of things: a systematic literature mapping. In: Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, SAST 2019, pp. 3\u201311. Association for Computing Machinery, New York (2019). \nhttps:\/\/doi.org\/10.1145\/3356317.3356326","DOI":"10.1145\/3356317.3356326"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Datta, S.K., Bonnet, C., Baqa, H., Zhao, M., Le-Gall, F.: Approach for semantic interoperability testing in internet of things. In: 2018 Global Internet of Things Summit (GIoTS). IEEE, June 2018. \nhttps:\/\/doi.org\/10.1109\/giots.2018.8534582","DOI":"10.1109\/giots.2018.8534582"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Dias, J.P., Couto, F., Paiva, A.C., Ferreira, H.S.: A brief overview of existing tools for testing the internet-of-things. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 104\u2013109. IEEE (2018)","DOI":"10.1109\/ICSTW.2018.00035"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.cose.2019.04.016","volume":"85","author":"M Eckhart","year":"2019","unstructured":"Eckhart, M., Meixner, K., Winkler, D., Ekelhart, A.: Securing the testing process for industrial automation software. Comput. Secur. 85, 156\u2013180 (2019). \nhttps:\/\/doi.org\/10.1016\/j.cose.2019.04.016","journal-title":"Comput. Secur."},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Estivill-Castro, V., Hexel, R., Stover, J.: Modeling, validation, and continuous integration of software behaviours for embedded systems. In: 2015 IEEE European Modelling Symposium (EMS), pp. 89\u201395, October 2015. \nhttps:\/\/doi.org\/10.1109\/EMS.2015.24","DOI":"10.1109\/EMS.2015.24"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-030-25312-7_6","volume-title":"Security and Quality in Cyber-Physical Systems Engineering","author":"M Felderer","year":"2019","unstructured":"Felderer, M., Russo, B., Auer, F.: On testing data-intensive software systems. In: Biffl, S., Eckhart, M., L\u00fcder, A., Weippl, E. (eds.) Security and Quality in Cyber-Physical Systems Engineering, pp. 129\u2013148. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-25312-7_6"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Fernandes, J., et al.: IoT lab: towards co-design and IoT solution testing using the crowd. In: 2015 International Conference on Recent Advances in Internet of Things (RIoT), pp. 1\u20136, April 2015. \nhttps:\/\/doi.org\/10.1109\/RIOT.2015.7104907","DOI":"10.1109\/RIOT.2015.7104907"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Garousi, V., Felderer, M., Karap\u0131\u00e7ak, \u00c7.M., Y\u0131lmaz, U.: Testing embedded software: a survey of the literature. Inf. Softw. Technol. 104, 14\u201345 (2018). \nhttps:\/\/doi.org\/10.1016\/j.infsof.2018.06.016","DOI":"10.1016\/j.infsof.2018.06.016"},{"issue":"4","key":"6_CR24","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/MDAT.2017.2709310","volume":"34","author":"J Giraldo","year":"2017","unstructured":"Giraldo, J., Sarkar, E., Cardenas, A.A., Maniatakos, M., Kantarcioglu, M.: Security and privacy in cyber-physical systems: a survey of surveys. IEEE Des. Test 34(4), 7\u201317 (2017)","journal-title":"IEEE Des. Test"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Grace, P., Pickering, B., Surridge, M.: Model-driven interoperability: engineering heterogeneous IoT systems. Ann. Telecommun. 71(3\u20134), 141\u2013150 (2015). \nhttps:\/\/doi.org\/10.1007\/s12243-015-0487-2","DOI":"10.1007\/s12243-015-0487-2"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Gu\u015eeil\u0103, L.G., Bratu, D., Moraru, S.: Continuous testing in the development of IoT applications. In: 2019 International Conference on Sensing and Instrumentation in IoT Era (ISSI), pp. 1\u20136 (2019)","DOI":"10.1109\/ISSI47111.2019.9043692"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"H\u00e4ser, F., Felderer, M., Breu, R.: Software paradigms, assessment types and non-functional requirements in model-based integration testing: a systematic literature review. In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, p. 29. ACM (2014)","DOI":"10.1145\/2601248.2601257"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Incki, K., Ari, I.: Democratization of runtime verification for internet of things. Comput. Electr. Eng. 68, 570\u2013580 (2018). \nhttps:\/\/doi.org\/10.1016\/j.compeleceng.2018.05.007","DOI":"10.1016\/j.compeleceng.2018.05.007"},{"key":"6_CR29","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-319-93797-7_8","volume-title":"Interoperability, Safety and Security in IoT","author":"K Incki","year":"2018","unstructured":"Incki, K., Ari, I.: Observing interoperability of IoT systems through model-based testing. In: Fortino, G., et al. (eds.) InterIoT\/SaSeIoT -2017. LNICST, vol. 242, pp. 60\u201366. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-93797-7_8"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Kaiser, A., Hackel, S.: Standards-based IoT testing with open-source test equipment. In: 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 435\u2013441 (2019)","DOI":"10.1109\/QRS-C.2019.00085"},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/j.future.2017.11.022","volume":"82","author":"MA Khan","year":"2018","unstructured":"Khan, M.A., Salah, K.: IoT security: review, blockchain solutions, and open challenges. Future Gener. Comput. Syst. 82, 395\u2013411 (2018)","journal-title":"Future Gener. Comput. Syst."},{"key":"6_CR32","doi-asserted-by":"publisher","unstructured":"Kim, H., et al.: IoT-TaaS: towards a prospective IoT testing framework. IEEE Access 6, 15480\u201315493 (2018). \nhttps:\/\/doi.org\/10.1109\/access.2018.2802489","DOI":"10.1109\/access.2018.2802489"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Kiruthika, J., Khaddaj, S.: Software quality issues and challenges of internet of things. In: 2015 14th International Symposium on Distributed Computing and Applications for Business Engineering and Science (DCABES), pp. 176\u2013179. IEEE (2015)","DOI":"10.1109\/DCABES.2015.51"},{"key":"6_CR34","unstructured":"Kitchenham, B., Charters, S.: Guidelines for performing systematic literature reviews in software engineering (2007)"},{"key":"6_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-319-68270-9_6","volume-title":"ModelEd, TestEd, TrustEd","author":"KG Larsen","year":"2017","unstructured":"Larsen, K.G., Legay, A., Miku\u010dionis, M., Nielsen, B., Nyman, U.: Compositional testing of real-time systems. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd. LNCS, vol. 10500, pp. 107\u2013124. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-68270-9_6"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Lima, B.: Automated scenario-based integration testing of time-constrained distributed systems. In: 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST). IEEE, April 2019. \nhttps:\/\/doi.org\/10.1109\/icst.2019.00060","DOI":"10.1109\/ICST.2019.00060"},{"key":"6_CR37","doi-asserted-by":"publisher","unstructured":"Lu, A., Fang, W., Xu, C., Cheung, S.C., Liu, Y.: Data-driven testing methodology for RFID systems. Front. Comput. Sci. China 4(3), 354\u2013364 (2010). \nhttps:\/\/doi.org\/10.1007\/s11704-010-0387-6","DOI":"10.1007\/s11704-010-0387-6"},{"key":"6_CR38","doi-asserted-by":"publisher","unstructured":"Makedonski, P., et al.: Test descriptions with ETSI TDL. Softw. Qual. J. 27(2), 885\u2013917 (2018). \nhttps:\/\/doi.org\/10.1007\/s11219-018-9423-9","DOI":"10.1007\/s11219-018-9423-9"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Medhat, N., Moussa, S., Badr, N., Tolba, M.F.: Testing techniques in IoT-based systems. In: 2019 Ninth International Conference on Intelligent Computing and Information Systems (ICICIS), pp. 394\u2013401 (2019)","DOI":"10.1109\/ICICIS46948.2019.9014711"},{"issue":"2","key":"6_CR40","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1883612.1883618","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. (CSUR) 43(2), 11 (2011)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"6_CR41","doi-asserted-by":"publisher","unstructured":"Park, H., Kim, H., Joo, H., Song, J.: Recent advancements in the internet-of-things related standards: a oneM2M perspective. ICT Express 2(3), 126\u2013129 (2016). \nhttps:\/\/doi.org\/10.1016\/j.icte.2016.08.009","DOI":"10.1016\/j.icte.2016.08.009"},{"key":"6_CR42","doi-asserted-by":"publisher","unstructured":"Pontes, P.M., Lima, B., Faria, J.A.P.: Izinto: a pattern-based IoT testing framework. In: Companion Proceedings for the ISSTA\/ECOOP 2018 Workshops, ISSTA 2018, pp. 125\u2013131. ACM, New York (2018). \nhttps:\/\/doi.org\/10.1145\/3236454.3236511","DOI":"10.1145\/3236454.3236511"},{"key":"6_CR43","doi-asserted-by":"publisher","unstructured":"Pontes, P.M., Lima, B., Faria, J.A.P.: Test patterns for IoT. In: Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST 2018, pp. 63\u201366. ACM, New York (2018). \nhttps:\/\/doi.org\/10.1145\/3278186.3278196","DOI":"10.1145\/3278186.3278196"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Popereshnyak, S., Suprun, O., Suprun, O., Wieckowski, T.: IoT application testing features based on the modelling network. In: 2018 XIV-th International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH), pp. 127\u2013131, April 2018. \nhttps:\/\/doi.org\/10.1109\/MEMSTECH.2018.8365717","DOI":"10.1109\/MEMSTECH.2018.8365717"},{"issue":"2","key":"6_CR45","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/stvr.357","volume":"17","author":"M Jaffar-ur Rehman","year":"2007","unstructured":"Jaffar-ur Rehman, M., Jabeen, F., Bertolino, A., Polini, A.: Testing software components for integration: a survey of issues and techniques. Softw. Test. Verif. Reliab. 17(2), 95\u2013133 (2007)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"6_CR46","doi-asserted-by":"publisher","unstructured":"Rings, T., Poglitsch, P., Schulz, S., Serazio, L., Vassiliou-Gioles, T.: A generic interoperability testing framework and a systematic development process for automated interoperability testing. Int. J. Softw. Tools Technol. Transf. 16(3), 295\u2013313 (2013). \nhttps:\/\/doi.org\/10.1007\/s10009-013-0281-2","DOI":"10.1007\/s10009-013-0281-2"},{"key":"6_CR47","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-319-47075-7_9","volume-title":"Internet of Things. IoT Infrastructures","author":"B Sand","year":"2016","unstructured":"Sand, B.: IoT testing - the big challenge why, what and how. In: Mandler, B., et al. (eds.) IoT360 2015. LNICST, vol. 170, pp. 70\u201376. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47075-7_9"},{"key":"6_CR48","doi-asserted-by":"publisher","unstructured":"Schieferdecker, I., Kretzschmann, S., Rennoch, A., Wagner, M.: IoT-testware - an eclipse project. In: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE, July 2017. \nhttps:\/\/doi.org\/10.1109\/qrs.2017.59","DOI":"10.1109\/qrs.2017.59"},{"key":"6_CR49","doi-asserted-by":"crossref","unstructured":"Shashank, S.P., Chakka, P., Kumar, D.V.: A systematic literature survey of integration testing in component-based software engineering. In: 2010 International Conference on Computer and Communication Technology (ICCCT), pp. 562\u2013568. IEEE (2010)","DOI":"10.1109\/ICCCT.2010.5640467"},{"key":"6_CR50","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-319-54978-1_101","volume-title":"Information Technology - New Generations","author":"S Sotiriadis","year":"2018","unstructured":"Sotiriadis, S., Lehmets, A., Petrakis, E.G.M., Bessis, N.: Testing cloud services using the TestCast tool. In: Latifi, S. (ed.) Information Technology - New Generations. AISC, vol. 558, pp. 819\u2013824. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-54978-1_101"},{"key":"6_CR51","doi-asserted-by":"publisher","unstructured":"de Souza, B.P., Motta, R.C., de O. Costa, D., Travassos, G.H.: An IoT-based scenario description inspection technique. In: Proceedings of the XVIII Brazilian Symposium on Software Quality, SBQS 2019, pp. 20\u201329. Association for Computing Machinery, New York (2019). \nhttps:\/\/doi.org\/10.1145\/3364641.3364644","DOI":"10.1145\/3364641.3364644"},{"key":"6_CR52","doi-asserted-by":"publisher","unstructured":"de Souza, B.P., Motta, R.C., Travassos, G.H.: The first version of SCENARIotCHECK: a checklist for IoT based scenarios. In: Proceedings of the XXXIII Brazilian Symposium on Software Engineering, SBES 2019, pp. 219\u2013223. Association for Computing Machinery, New York (2019). \nhttps:\/\/doi.org\/10.1145\/3350768.3350796","DOI":"10.1145\/3350768.3350796"},{"issue":"1","key":"6_CR53","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3020266","volume":"50","author":"T Su","year":"2017","unstructured":"Su, T., et al.: A survey on data-flow testing. ACM Comput. Surv. (CSUR) 50(1), 1\u201335 (2017)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"6_CR54","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-981-13-9190-3_40","volume-title":"New Trends in Computer Technologies and Applications","author":"T-B Tan","year":"2019","unstructured":"Tan, T.-B., Cheng, W.-K.: Software testing levels in internet of things (IoT) architecture. In: Chang, C.-Y., Lin, C.-C., Lin, H.-H. (eds.) ICS 2018. CCIS, vol. 1013, pp. 385\u2013390. Springer, Singapore (2019). \nhttps:\/\/doi.org\/10.1007\/978-981-13-9190-3_40"},{"key":"6_CR55","unstructured":"T\u00f6njes, R., Reetz, E.S., Moessner, K., Barnaghi, P.M.: A test-driven approach for life cycle management of internet of things enabled services. In: 2012 Future Network Mobile Summit (FutureNetw), pp. 1\u20138, July 2012"},{"key":"6_CR56","doi-asserted-by":"publisher","unstructured":"Walker, M.A., Schmidt, D.C., Dubey, A.: Testing at scale of IOT blockchain applications (chap. 6). In: Kim, S., Deka, G.C., Zhang, P. (eds.) Role of Blockchain Technology in IoT Applications, Advances in Computers, vol. 115, pp. 155\u2013179. Elsevier (2019). \nhttps:\/\/doi.org\/10.1016\/bs.adcom.2019.07.008","DOI":"10.1016\/bs.adcom.2019.07.008"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58768-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,11]],"date-time":"2020-09-11T12:03:10Z","timestamp":1599825790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-58768-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030587673","9783030587680"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58768-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/sefm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}