{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T19:29:21Z","timestamp":1777490961426,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":103,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T00:00:00Z","timestamp":1695600000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,9,25]]},"DOI":"10.1145\/3624032.3624049","type":"proceedings-article","created":{"date-parts":[[2023,10,17]],"date-time":"2023-10-17T18:15:18Z","timestamp":1697566518000},"page":"113-122","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Software Testing applied to the Development of IoT Systems: preliminary results"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5699-7418","authenticated-orcid":false,"given":"Vin\u00edcius Gomes","family":"Ferreira","sequence":"first","affiliation":[{"name":"Instituto de Computa\u00e7\u00e3o e Matem\u00e1tica Computacional, Universidade de S\u00e3o Paulo, Brazil and Petr\u00f3leo Brasileiro S\/A, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2104-3950","authenticated-orcid":false,"given":"Caio Guimar\u00e3es","family":"Herrera","sequence":"additional","affiliation":[{"name":"Instituto de Computa\u00e7\u00e3o e Matem\u00e1tica Computacional, Universidade de S\u00e3o Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9007-9821","authenticated-orcid":false,"given":"Simone","family":"Souza","sequence":"additional","affiliation":[{"name":"Instituto de Computa\u00e7\u00e3o e Matem\u00e1tica Computacional, ICMC-USP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2955-8011","authenticated-orcid":false,"given":"Ricardo Ribeiro dos","family":"Santos","sequence":"additional","affiliation":[{"name":"UFMS, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1560-2704","authenticated-orcid":false,"given":"Paulo S\u00e9rgio Lopes de","family":"Souza","sequence":"additional","affiliation":[{"name":"Instituto de Computa\u00e7\u00e3o e Matem\u00e1tica Computacional, ICMC-USP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. oneM2M Sets Standards For The Internet Of Things & M2M. https:\/\/www.onem2m.org\/. Accessed: 2023-07-24.  [n. d.]. oneM2M Sets Standards For The Internet Of Things & M2M. https:\/\/www.onem2m.org\/. Accessed: 2023-07-24."},{"key":"e_1_3_2_1_2_1","volume-title":"Monitoring Informed Testing for IoT. In 2018 25th Australasian Software Engineering Conference (ASWEC). IEEE","author":"Abdullah Ahmed","year":"2018","unstructured":"Ahmed Abdullah , Heinz Schmidt , Maria Spichkova , and Huai Liu . 2018 . Monitoring Informed Testing for IoT. In 2018 25th Australasian Software Engineering Conference (ASWEC). IEEE , Adelaide, Australia, 91\u201395. https:\/\/doi.org\/10.1109\/ASWEC. 2018.00020 10.1109\/ASWEC.2018.00020 Ahmed Abdullah, Heinz Schmidt, Maria Spichkova, and Huai Liu. 2018. Monitoring Informed Testing for IoT. In 2018 25th Australasian Software Engineering Conference (ASWEC). IEEE, Adelaide, Australia, 91\u201395. https:\/\/doi.org\/10.1109\/ASWEC.2018.00020"},{"key":"e_1_3_2_1_3_1","unstructured":"Avast Academy. 2021. Seguran\u00e7a da Internet das Coisas: problemas e desafios. Avast. https:\/\/www.avast.com\/pt-br\/c-iot-security-risks  Avast Academy. 2021. Seguran\u00e7a da Internet das Coisas: problemas e desafios. Avast. https:\/\/www.avast.com\/pt-br\/c-iot-security-risks"},{"key":"e_1_3_2_1_4_1","volume-title":"FIT IoT-LAB: A large scale open experimental IoT testbed. In 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT)","author":"Adjih Cedric","unstructured":"Cedric Adjih , Emmanuel Baccelli , Eric Fleury , Gaetan Harter , Nathalie Mitton , Thomas Noel , Roger Pissard-Gibollet , Frederic Saint-Marcel , Guillaume Schreiner , Julien Vandaele , 2015. FIT IoT-LAB: A large scale open experimental IoT testbed. In 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT) . IEEE, IEEE , Milan, Italy , 459\u2013464. Cedric Adjih, Emmanuel Baccelli, Eric Fleury, Gaetan Harter, Nathalie Mitton, Thomas Noel, Roger Pissard-Gibollet, Frederic Saint-Marcel, Guillaume Schreiner, Julien Vandaele, 2015. FIT IoT-LAB: A large scale open experimental IoT testbed. In 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT). IEEE, IEEE, Milan, Italy, 459\u2013464."},{"key":"e_1_3_2_1_5_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion","author":"Ahmad Abbas","unstructured":"Abbas Ahmad , Fabrice Bouquet , Elizabeta Fourneret , Franck Le\u00a0Gall , and Bruno Legeard . 2016. Model-Based Testing as a Service for IoT Platforms . In Leveraging Applications of Formal Methods, Verification and Validation: Discussion , Dissemination, Applications, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing , Cham , 727\u2013742. Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le\u00a0Gall, and Bruno Legeard. 2016. Model-Based Testing as a Service for IoT Platforms. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing, Cham, 727\u2013742."},{"key":"#cr-split#-e_1_3_2_1_6_1.1","doi-asserted-by":"crossref","unstructured":"Abbas Ahmad Fabrice Bouquet Elizabeta Fourneret and Bruno Legeard. 2018. Chapter One - Model-Based Testing for Internet of Things Systems. In Advances in Computers Atif\u00a0M. Memon (Ed.). Advances in Computers Vol.\u00a0108. Elsevier Amsterdam Netherlands 1-58. https:\/\/doi.org\/10.1016\/bs.adcom.2017.11.002 10.1016\/bs.adcom.2017.11.002","DOI":"10.1016\/bs.adcom.2017.11.002"},{"key":"#cr-split#-e_1_3_2_1_6_1.2","doi-asserted-by":"crossref","unstructured":"Abbas Ahmad Fabrice Bouquet Elizabeta Fourneret and Bruno Legeard. 2018. Chapter One - Model-Based Testing for Internet of Things Systems. In Advances in Computers Atif\u00a0M. Memon (Ed.). Advances in Computers Vol.\u00a0108. Elsevier Amsterdam Netherlands 1-58. https:\/\/doi.org\/10.1016\/bs.adcom.2017.11.002","DOI":"10.1016\/bs.adcom.2017.11.002"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2893493"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3137003.3137007"},{"key":"e_1_3_2_1_9_1","volume-title":"Introduction to software testing","author":"Ammann Paul","unstructured":"Paul Ammann and Jeff Offutt . 2016. Introduction to software testing . Cambridge University Press , Cambridge, UK . Paul Ammann and Jeff Offutt. 2016. Introduction to software testing. Cambridge University Press, Cambridge, UK."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the Second International Conference on Internet-of-Things Design and Implementation. IEEE\/ACM","author":"Amrutur Bharadwaj","year":"2017","unstructured":"Bharadwaj Amrutur , Vasanth Rajaraman , Srikrishna Acharya , Rakshit Ramesh , Ashish Joglekar , Abhay Sharma , Yogesh Simmhan , Abhijit Lele , Ashwin Mahesh , and Sathya Sankaran . 2017 . An open smart city iot test bed: street light poles as smart city spines . In Proceedings of the Second International Conference on Internet-of-Things Design and Implementation. IEEE\/ACM , Pittsburgh, PA, 323\u2013324. Bharadwaj Amrutur, Vasanth Rajaraman, Srikrishna Acharya, Rakshit Ramesh, Ashish Joglekar, Abhay Sharma, Yogesh Simmhan, Abhijit Lele, Ashwin Mahesh, and Sathya Sankaran. 2017. An open smart city iot test bed: street light poles as smart city spines. In Proceedings of the Second International Conference on Internet-of-Things Design and Implementation. IEEE\/ACM, Pittsburgh, PA, 323\u2013324."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-021-00327-z"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368235.3368832"},{"key":"e_1_3_2_1_13_1","volume-title":"2019 15th International Conference on Mobile Ad-Hoc and Sensor Networks (MSN). IEEE, IEEE","author":"Benomar Z.","unstructured":"Z. Benomar , D. Bruneo , F. Longo , G. Merlino , and A. Puliafito . 2019. A Mininet-Based Emulated Testbed for the I\/Ocloud . In 2019 15th International Conference on Mobile Ad-Hoc and Sensor Networks (MSN). IEEE, IEEE , Shenzhen, China. Z. Benomar, D. Bruneo, F. Longo, G. Merlino, and A. Puliafito. 2019. A Mininet-Based Emulated Testbed for the I\/Ocloud. In 2019 15th International Conference on Mobile Ad-Hoc and Sensor Networks (MSN). IEEE, IEEE, Shenzhen, China."},{"key":"e_1_3_2_1_14_1","volume-title":"Hatebefi: Hybrid Applications Testbed for Fault Injection. In 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE","author":"Boockmeyer Arne","year":"2019","unstructured":"Arne Boockmeyer , Jossekin Beilharz , Lukas Pirl , and Andreas Polze . 2019 . Hatebefi: Hybrid Applications Testbed for Fault Injection. In 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE , Valencia, Spain, 97\u201398. https:\/\/doi.org\/10.1109\/ISORC. 2019.00030 10.1109\/ISORC.2019.00030 Arne Boockmeyer, Jossekin Beilharz, Lukas Pirl, and Andreas Polze. 2019. Hatebefi: Hybrid Applications Testbed for Fault Injection. In 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE, Valencia, Spain, 97\u201398. https:\/\/doi.org\/10.1109\/ISORC.2019.00030"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-018-0650-5"},{"key":"e_1_3_2_1_16_1","volume-title":"2017 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, IEEE","author":"Bures Miroslav","year":"2017","unstructured":"Miroslav Bures . 2017 . Framework for integration testing of iot solutions . In 2017 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, IEEE , Las Vegas, NV, USA , 1838\u20131839. Miroslav Bures. 2017. Framework for integration testing of iot solutions. In 2017 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, IEEE, Las Vegas, NV, USA, 1838\u20131839."},{"key":"e_1_3_2_1_17_1","volume-title":"2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, IEEE, Porto de Galinhas, Brazil, 454\u2013459","author":"Bures Miroslav","year":"2021","unstructured":"Miroslav Bures , Bestoun\u00a0 S Ahmed , Vaclav Rechtberger , Matej Klima , Michal Trnka , Miroslav Jaros , Xavier Bellekens , Dani Almog , and Pavel Herout . 2021 . Patriot: Iot automated interoperability and integration testing framework . In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, IEEE, Porto de Galinhas, Brazil, 454\u2013459 . Miroslav Bures, Bestoun\u00a0S Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier Bellekens, Dani Almog, and Pavel Herout. 2021. Patriot: Iot automated interoperability and integration testing framework. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, IEEE, Porto de Galinhas, Brazil, 454\u2013459."},{"key":"e_1_3_2_1_18_1","volume-title":"9th iCatse Conference on Information Science and Applications","author":"Bures Miroslav","unstructured":"Miroslav Bures , Tomas Cerny , and Bestoun\u00a0 S. Ahmed . 2018. Internet of Things: Current Challenges in the Quality Assurance and Testing Methods . In 9th iCatse Conference on Information Science and Applications . Springer , Hong Kong , China, 625\u2013634. Miroslav Bures, Tomas Cerny, and Bestoun\u00a0S. Ahmed. 2018. Internet of Things: Current Challenges in the Quality Assurance and Testing Methods. In 9th iCatse Conference on Information Science and Applications. Springer, Hong Kong, China, 625\u2013634."},{"key":"e_1_3_2_1_19_1","volume-title":"Software Engineering and Formal Methods, Frank de\u00a0Boer and Antonio Cerone (Eds.)","author":"Bures Miroslav","unstructured":"Miroslav Bures , Matej Klima , Vaclav Rechtberger , Xavier Bellekens , Christos Tachtatzis , Robert Atkinson , and Bestoun\u00a0 S. Ahmed . 2020. Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study . In Software Engineering and Formal Methods, Frank de\u00a0Boer and Antonio Cerone (Eds.) . Springer International Publishing , Cham , 93\u2013112. Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier Bellekens, Christos Tachtatzis, Robert Atkinson, and Bestoun\u00a0S. Ahmed. 2020. Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study. In Software Engineering and Formal Methods, Frank de\u00a0Boer and Antonio Cerone (Eds.). Springer International Publishing, Cham, 93\u2013112."},{"key":"e_1_3_2_1_20_1","volume-title":"KhronoSim: A Platform for Complex Systems Simulation and Testing. In 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, IEEE","author":"Chaves Alcidney","year":"2018","unstructured":"Alcidney Chaves , Ricardo Maia , Carlos Belchior , Rui Ara\u00fajo , and Goncalo Gouveia . 2018 . KhronoSim: A Platform for Complex Systems Simulation and Testing. In 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, IEEE , Torino, Italy. Alcidney Chaves, Ricardo Maia, Carlos Belchior, Rui Ara\u00fajo, and Goncalo Gouveia. 2018. KhronoSim: A Platform for Complex Systems Simulation and Testing. In 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, IEEE, Torino, Italy."},{"key":"e_1_3_2_1_21_1","volume-title":"SAVE: An Environment for Visual Specification and Verification of IoT. In 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW). IEEE","author":"Choe Yeongbok","year":"2016","unstructured":"Yeongbok Choe , Sunghyeon Lee , and Moonkun Lee . 2016 . SAVE: An Environment for Visual Specification and Verification of IoT. In 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW). IEEE , Vienna, Austria, 1\u20138. https:\/\/doi.org\/10.1109\/EDOCW. 2016.7584384 10.1109\/EDOCW.2016.7584384 Yeongbok Choe, Sunghyeon Lee, and Moonkun Lee. 2016. SAVE: An Environment for Visual Specification and Verification of IoT. In 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW). IEEE, Vienna, Austria, 1\u20138. https:\/\/doi.org\/10.1109\/EDOCW.2016.7584384"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281022.3281023"},{"key":"e_1_3_2_1_23_1","volume-title":"Solving Interoperability within the Smart Building: A Real Test-Bed. In 2018 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE, IEEE","author":"Costantino D.","unstructured":"D. Costantino , G. Malagnini , F. Carrera , A. Rizzardi , P. Boccadoro , S. Sicari , and L.A. Grieco . 2018 . Solving Interoperability within the Smart Building: A Real Test-Bed. In 2018 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE, IEEE , Kansas City, MO, USA. D. Costantino, G. Malagnini, F. Carrera, A. Rizzardi, P. Boccadoro, S. Sicari, and L.A. Grieco. 2018. Solving Interoperability within the Smart Building: A Real Test-Bed. In 2018 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE, IEEE, Kansas City, MO, USA."},{"key":"e_1_3_2_1_24_1","volume-title":"2022 IEEE\/ACM 4th International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT). IEEE","author":"Cristea Rares","year":"2022","unstructured":"Rares Cristea , Mihail Feraru , and Ciprian Paduraru . 2022 . Building blocks for IoT testing - a benchmark of IoT apps and a functional testing framework . In 2022 IEEE\/ACM 4th International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT). IEEE , New York, NY, USA, 25\u201332. https:\/\/doi.org\/10.1145\/3528227.3528568 10.1145\/3528227.3528568 Rares Cristea, Mihail Feraru, and Ciprian Paduraru. 2022. Building blocks for IoT testing - a benchmark of IoT apps and a functional testing framework. In 2022 IEEE\/ACM 4th International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT). IEEE, New York, NY, USA, 25\u201332. https:\/\/doi.org\/10.1145\/3528227.3528568"},{"key":"e_1_3_2_1_25_1","volume-title":"Approach for Semantic Interoperability Testing in Internet of Things. In 2018 Global Internet of Things Summit (GIoTS)","author":"Datta Soumya\u00a0Kanti","year":"2018","unstructured":"Soumya\u00a0Kanti Datta , Christian Bonnet , Hamza Baqa , Mengxuan Zhao , and Franck Le-Gall . 2018. Approach for Semantic Interoperability Testing in Internet of Things. In 2018 Global Internet of Things Summit (GIoTS) . IEEE , Bilbao, Spain , 1\u20136. https:\/\/doi.org\/10.1109\/GIOTS. 2018 .8534582 10.1109\/GIOTS.2018.8534582 Soumya\u00a0Kanti Datta, Christian Bonnet, Hamza Baqa, Mengxuan Zhao, and Franck Le-Gall. 2018. Approach for Semantic Interoperability Testing in Internet of Things. In 2018 Global Internet of Things Summit (GIoTS). IEEE, Bilbao, Spain, 1\u20136. https:\/\/doi.org\/10.1109\/GIOTS.2018.8534582"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the XXXIII Brazilian Symposium on Software Engineering","author":"de Souza Bruno\u00a0Pedra\u00e7a","year":"2019","unstructured":"Bruno\u00a0Pedra\u00e7a de Souza , Rebeca\u00a0Campos Motta , and Guilherme\u00a0Horta Travassos . 2019 . The First Version of SCENARIotCHECK: A Checklist for IoT Based Scenarios . In Proceedings of the XXXIII Brazilian Symposium on Software Engineering ( Salvador, Brazil) (SBES \u201919). Association for Computing Machinery, New York, NY, USA, 219\u2013223. https:\/\/doi.org\/10.1145\/3350768.3350796 10.1145\/3350768.3350796 Bruno\u00a0Pedra\u00e7a de Souza, Rebeca\u00a0Campos Motta, and Guilherme\u00a0Horta Travassos. 2019. The First Version of SCENARIotCHECK: A Checklist for IoT Based Scenarios. In Proceedings of the XXXIII Brazilian Symposium on Software Engineering (Salvador, Brazil) (SBES \u201919). Association for Computing Machinery, New York, NY, USA, 219\u2013223. https:\/\/doi.org\/10.1145\/3350768.3350796"},{"key":"e_1_3_2_1_27_1","volume-title":"Introdu\u00e7\u00e3o ao teste de software","author":"Delamaro Marcio","unstructured":"Marcio Delamaro , Mario Jino , and Jose Maldonado . 2013. Introdu\u00e7\u00e3o ao teste de software . Elsevier Brasil , Rio de Janeiro, RJ. Marcio Delamaro, Mario Jino, and Jose Maldonado. 2013. Introdu\u00e7\u00e3o ao teste de software. Elsevier Brasil, Rio de Janeiro, RJ."},{"key":"e_1_3_2_1_28_1","volume-title":"2019 International Symposium on Networks, Computers and Communications (ISNCC). IEEE, IEEE","author":"Demirel Senay\u00a0Tuna","year":"2019","unstructured":"Senay\u00a0Tuna Demirel , Mehmet Demirel , Ibrahim Dogru , and Resul Das . 2019 . InterOpT: A new testing platform based on oneM2M standards for IoT systems . In 2019 International Symposium on Networks, Computers and Communications (ISNCC). IEEE, IEEE , Istanbul, Turkey, 1\u20136. Senay\u00a0Tuna Demirel, Mehmet Demirel, Ibrahim Dogru, and Resul Das. 2019. InterOpT: A new testing platform based on oneM2M standards for IoT systems. In 2019 International Symposium on Networks, Computers and Communications (ISNCC). IEEE, IEEE, Istanbul, Turkey, 1\u20136."},{"key":"e_1_3_2_1_29_1","volume-title":"2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC). IEEE","author":"Dias Jo\u00e3o\u00a0Pedro","year":"2018","unstructured":"Jo\u00e3o\u00a0Pedro Dias , Jo\u00e3o\u00a0Pascoal Faria , and Hugo\u00a0Sereno Ferreira . 2018 . A Reactive and Model-Based Approach for Developing Internet-of-Things Systems . In 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC). IEEE , Comibra, Portugal, 276\u2013281. https:\/\/doi.org\/10.1109\/QUATIC. 2018.00049 10.1109\/QUATIC.2018.00049 Jo\u00e3o\u00a0Pedro Dias, Jo\u00e3o\u00a0Pascoal Faria, and Hugo\u00a0Sereno Ferreira. 2018. A Reactive and Model-Based Approach for Developing Internet-of-Things Systems. In 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC). IEEE, Comibra, Portugal, 276\u2013281. https:\/\/doi.org\/10.1109\/QUATIC.2018.00049"},{"key":"#cr-split#-e_1_3_2_1_30_1.1","doi-asserted-by":"crossref","unstructured":"Abouzar Estebsari Edoardo Patti and Luca Barbierato. 2018. Fault Detection Isolation and Restoration Test Platform Based on Smart Grid Architecture Model Using Intenet-of-Things Approaches. In 2018 IEEE International Conference on Environment and Electrical Engineering and 2018 IEEE Industrial and Commercial Power Systems Europe (EEEIC \/ I&CPS Europe). IEEE Palermo Italy 1-5. https:\/\/doi.org\/10.1109\/EEEIC.2018.8494449 10.1109\/EEEIC.2018.8494449","DOI":"10.1109\/EEEIC.2018.8494449"},{"key":"#cr-split#-e_1_3_2_1_30_1.2","doi-asserted-by":"crossref","unstructured":"Abouzar Estebsari Edoardo Patti and Luca Barbierato. 2018. Fault Detection Isolation and Restoration Test Platform Based on Smart Grid Architecture Model Using Intenet-of-Things Approaches. In 2018 IEEE International Conference on Environment and Electrical Engineering and 2018 IEEE Industrial and Commercial Power Systems Europe (EEEIC \/ I&CPS Europe). IEEE Palermo Italy 1-5. https:\/\/doi.org\/10.1109\/EEEIC.2018.8494449","DOI":"10.1109\/EEEIC.2018.8494449"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","first-page":"e1805","DOI":"10.1002\/stvr.1805","article-title":"Combinatorial methods for testing Internet of Things smart home systems","volume":"32","author":"Garn Bernhard","year":"2022","unstructured":"Bernhard Garn , Dominik-Philip Schreiber , Dimitris\u00a0 E. Simos , Rick Kuhn , Jeff Voas , and Raghu Kacker . 2022 . Combinatorial methods for testing Internet of Things smart home systems . Software Testing, Verification and Reliability 32 , 2 (2022), e1805 . https:\/\/doi.org\/10.1002\/stvr.1805 arXiv:https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/stvr.1805 10.1002\/stvr.1805 Bernhard Garn, Dominik-Philip Schreiber, Dimitris\u00a0E. Simos, Rick Kuhn, Jeff Voas, and Raghu Kacker. 2022. Combinatorial methods for testing Internet of Things smart home systems. Software Testing, Verification and Reliability 32, 2 (2022), e1805. https:\/\/doi.org\/10.1002\/stvr.1805 arXiv:https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/stvr.1805","journal-title":"Software Testing, Verification and Reliability"},{"key":"e_1_3_2_1_32_1","volume-title":"Gartner Forecasts Worldwide IoT Endpoint Electronics Revenue to Reach $389 Billion","year":"2030","unstructured":"Gartner. 2020. Gartner Forecasts Worldwide IoT Endpoint Electronics Revenue to Reach $389 Billion in 2030 . https:\/\/www.gartner.com\/en\/newsroom\/press-releases\/2020-11-12-gartner-forecasts-worldwide-iot-endpoint-electronics-revenue-to-reach-389-billion-in-2030 Gartner. 2020. Gartner Forecasts Worldwide IoT Endpoint Electronics Revenue to Reach $389 Billion in 2030. https:\/\/www.gartner.com\/en\/newsroom\/press-releases\/2020-11-12-gartner-forecasts-worldwide-iot-endpoint-electronics-revenue-to-reach-389-billion-in-2030"},{"key":"e_1_3_2_1_33_1","volume-title":"Challenges of Testing Complex Internet of Things (IoT) Devices and Systems. In 2019 11th International Conference on Knowledge and Systems Engineering (KSE)","author":"Gomez Anna\u00a0Katrina","year":"2019","unstructured":"Anna\u00a0Katrina Gomez and SimiKamini Bajaj . 2019. Challenges of Testing Complex Internet of Things (IoT) Devices and Systems. In 2019 11th International Conference on Knowledge and Systems Engineering (KSE) . IEEE, Da Nang , Vietnam , 1\u20134. https:\/\/doi.org\/10.1109\/KSE. 2019 .8919324 10.1109\/KSE.2019.8919324 Anna\u00a0Katrina Gomez and SimiKamini Bajaj. 2019. Challenges of Testing Complex Internet of Things (IoT) Devices and Systems. In 2019 11th International Conference on Knowledge and Systems Engineering (KSE). IEEE, Da Nang, Vietnam, 1\u20134. https:\/\/doi.org\/10.1109\/KSE.2019.8919324"},{"key":"e_1_3_2_1_34_1","volume-title":"Advances in Service-Oriented and Cloud Computing","author":"Gonz\u00e1lez Laura","unstructured":"Laura Gonz\u00e1lez , Javier Cubo , Antonio Brogi , Ernesto Pimentel , and Ra\u00fal Ruggia . 2013. Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things . In Advances in Service-Oriented and Cloud Computing , Carlos Canal and Massimo Villari (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 318\u2013330. Laura Gonz\u00e1lez, Javier Cubo, Antonio Brogi, Ernesto Pimentel, and Ra\u00fal Ruggia. 2013. Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things. In Advances in Service-Oriented and Cloud Computing, Carlos Canal and Massimo Villari (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 318\u2013330."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12243-015-0487-2"},{"key":"e_1_3_2_1_36_1","volume-title":"On randomness testing in physical layer key agreement. In 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT)","author":"G\u00f6hring Matthias","year":"2015","unstructured":"Matthias G\u00f6hring and Roland Schmitz . 2015. On randomness testing in physical layer key agreement. In 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT) . IEEE, Milan , Italy , 733\u2013738. https:\/\/doi.org\/10.1109\/WF-IoT. 2015 .7389145 10.1109\/WF-IoT.2015.7389145 Matthias G\u00f6hring and Roland Schmitz. 2015. On randomness testing in physical layer key agreement. In 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT). IEEE, Milan, Italy, 733\u2013738. https:\/\/doi.org\/10.1109\/WF-IoT.2015.7389145"},{"key":"e_1_3_2_1_37_1","volume-title":"Software Test Architectures and Advanced Support Environments for IoT. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, IEEE","author":"Hagar Jon\u00a0Duncan","year":"2018","unstructured":"Jon\u00a0Duncan Hagar . 2018 . Software Test Architectures and Advanced Support Environments for IoT. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, IEEE , Vasteras, Sweden, 252\u2013256. https:\/\/doi.org\/10.1109\/ICSTW. 2018.00057 10.1109\/ICSTW.2018.00057 Jon\u00a0Duncan Hagar. 2018. Software Test Architectures and Advanced Support Environments for IoT. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, IEEE, Vasteras, Sweden, 252\u2013256. https:\/\/doi.org\/10.1109\/ICSTW.2018.00057"},{"key":"e_1_3_2_1_38_1","volume-title":"DPWSim: A simulation toolkit for IoT applications using devices profile for web services. In 2014 IEEE World Forum on Internet of Things (WF-IoT)","author":"Han N","unstructured":"Son\u00a0 N Han , Gyu\u00a0Myoung Lee , Noel Crespi , Kyongwoo Heo , Nguyen Van\u00a0Luong , Mihaela Brut , and Patrick Gatellier . 2014. DPWSim: A simulation toolkit for IoT applications using devices profile for web services. In 2014 IEEE World Forum on Internet of Things (WF-IoT) . IEEE, IEEE , Seoul, Korea , 544\u2013547. Son\u00a0N Han, Gyu\u00a0Myoung Lee, Noel Crespi, Kyongwoo Heo, Nguyen Van\u00a0Luong, Mihaela Brut, and Patrick Gatellier. 2014. DPWSim: A simulation toolkit for IoT applications using devices profile for web services. In 2014 IEEE World Forum on Internet of Things (WF-IoT). IEEE, IEEE, Seoul, Korea, 544\u2013547."},{"key":"e_1_3_2_1_39_1","volume-title":"Sensyml: Simulation Environment for Large-Scale IoT Applications. In IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE Press","author":"Haris Isakovic","year":"2019","unstructured":"Isakovic Haris , Vanja Bisanovic , Bernhard Wally , Thomas Rausch , Denise Ratasich , Schahram Dustdar , Gerti Kappel , and Radu Grosu . 2019 . Sensyml: Simulation Environment for Large-Scale IoT Applications. In IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE Press , Lisbon, Portugal, 3024\u20133030. https:\/\/doi.org\/10.1109\/IECON. 2019.8927756 10.1109\/IECON.2019.8927756 Isakovic Haris, Vanja Bisanovic, Bernhard Wally, Thomas Rausch, Denise Ratasich, Schahram Dustdar, Gerti Kappel, and Radu Grosu. 2019. Sensyml: Simulation Environment for Large-Scale IoT Applications. In IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE Press, Lisbon, Portugal, 3024\u20133030. https:\/\/doi.org\/10.1109\/IECON.2019.8927756"},{"key":"e_1_3_2_1_40_1","volume-title":"MLK Smart Corridor: An Urban Testbed for Smart City Applications. In 2019 IEEE International Conference on Big Data (Big Data). IEEE, IEEE","author":"Harris Austin","year":"2019","unstructured":"Austin Harris , Jose Stovall , and Mina Sartipi . 2019 . MLK Smart Corridor: An Urban Testbed for Smart City Applications. In 2019 IEEE International Conference on Big Data (Big Data). IEEE, IEEE , Los Angeles, CA, USA. Austin Harris, Jose Stovall, and Mina Sartipi. 2019. MLK Smart Corridor: An Urban Testbed for Smart City Applications. In 2019 IEEE International Conference on Big Data (Big Data). IEEE, IEEE, Los Angeles, CA, USA."},{"key":"e_1_3_2_1_41_1","volume-title":"Improving IoT Module Testability with Test-Driven Development and Machine Learning. In 2021 8th International Conference on Future Internet of Things and Cloud (FiCloud). IEEE, IEEE","author":"Hayashi Victor\u00a0Takashi","year":"2021","unstructured":"Victor\u00a0Takashi Hayashi , Cairo Mateus\u00a0Neves Ribeiro , Artino Quintino\u00a0Filho , Matheus Ancelmo\u00a0Bonfim Pita , Bruno\u00a0Manias Trazzi , J\u00falio\u00a0Cezar Estrella , and Wilson\u00a0Vicente Ruggiero . 2021 . Improving IoT Module Testability with Test-Driven Development and Machine Learning. In 2021 8th International Conference on Future Internet of Things and Cloud (FiCloud). IEEE, IEEE , Rome, Italy, 406\u2013412. Victor\u00a0Takashi Hayashi, Cairo Mateus\u00a0Neves Ribeiro, Artino Quintino\u00a0Filho, Matheus Ancelmo\u00a0Bonfim Pita, Bruno\u00a0Manias Trazzi, J\u00falio\u00a0Cezar Estrella, and Wilson\u00a0Vicente Ruggiero. 2021. Improving IoT Module Testability with Test-Driven Development and Machine Learning. In 2021 8th International Conference on Future Internet of Things and Cloud (FiCloud). IEEE, IEEE, Rome, Italy, 406\u2013412."},{"key":"e_1_3_2_1_42_1","volume-title":"VFbed: An Architecture for Testbed-as-a-Service for Vehicular Fog-based Systems. In 2020 IEEE 6th World Forum on Internet of Things (WF-IoT)","author":"Hoque Mohammad\u00a0Aminul","unstructured":"Mohammad\u00a0Aminul Hoque and Ragib Hasan . 2020. VFbed: An Architecture for Testbed-as-a-Service for Vehicular Fog-based Systems. In 2020 IEEE 6th World Forum on Internet of Things (WF-IoT) . IEEE, IEEE , New Orleans, Louisiana , 1\u20136. Mohammad\u00a0Aminul Hoque and Ragib Hasan. 2020. VFbed: An Architecture for Testbed-as-a-Service for Vehicular Fog-based Systems. In 2020 IEEE 6th World Forum on Internet of Things (WF-IoT). IEEE, IEEE, New Orleans, Louisiana, 1\u20136."},{"key":"e_1_3_2_1_43_1","volume-title":"2017 IEEE International Congress on Internet of Things (ICIOT). IEEE, IEEE","author":"Hossain Mahmud","year":"2017","unstructured":"Mahmud Hossain , Mohammad\u00a0Mehedi Rahman , Mohammad\u00a0Samiul Hasan , and Muhammad\u00a0Mahbub Alam . 2017 . IoTbed: A Generic Architecture for Testbed as a Service for Internet of Things-Based Systems . In 2017 IEEE International Congress on Internet of Things (ICIOT). IEEE, IEEE , Honolulu, HI, USA. Mahmud Hossain, Mohammad\u00a0Mehedi Rahman, Mohammad\u00a0Samiul Hasan, and Muhammad\u00a0Mahbub Alam. 2017. IoTbed: A Generic Architecture for Testbed as a Service for Internet of Things-Based Systems. In 2017 IEEE International Congress on Internet of Things (ICIOT). IEEE, IEEE, Honolulu, HI, USA."},{"key":"e_1_3_2_1_44_1","volume-title":"Testing Topology Adaptive Irrigation IoT with Circuits. In 2019 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE","author":"Hovhannisyan Davit","year":"2019","unstructured":"Davit Hovhannisyan , Ahmed Eltawil , and Fadi Kurdahi . 2019 . Testing Topology Adaptive Irrigation IoT with Circuits. In 2019 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE , Sapporo, Hokkaido, Japan, 1\u20135. https:\/\/doi.org\/10.1109\/ISCAS. 2019.8702559 10.1109\/ISCAS.2019.8702559 Davit Hovhannisyan, Ahmed Eltawil, and Fadi Kurdahi. 2019. Testing Topology Adaptive Irrigation IoT with Circuits. In 2019 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, Sapporo, Hokkaido, Japan, 1\u20135. https:\/\/doi.org\/10.1109\/ISCAS.2019.8702559"},{"key":"e_1_3_2_1_45_1","first-page":"1","article-title":"CT-IoT: a combinatorial testing-based path selection framework for effective IoT testing","volume":"27","author":"Hu Linghuan","year":"2022","unstructured":"Linghuan Hu , W\u00a0Eric Wong , D\u00a0Richard Kuhn , Raghu\u00a0 N Kacker , and Shuo Li . 2022 . CT-IoT: a combinatorial testing-based path selection framework for effective IoT testing . Empirical Software Engineering 27 (2022), 1 \u2013 38 . Linghuan Hu, W\u00a0Eric Wong, D\u00a0Richard Kuhn, Raghu\u00a0N Kacker, and Shuo Li. 2022. CT-IoT: a combinatorial testing-based path selection framework for effective IoT testing. Empirical Software Engineering 27 (2022), 1\u201338.","journal-title":"Empirical Software Engineering"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2976718"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1016\/j.compeleceng.2018.05.007","article-title":"Democratization of runtime verification for internet of things","volume":"68","author":"Incki Koray","year":"2018","unstructured":"Koray Incki and Ismail Ari . 2018 . Democratization of runtime verification for internet of things . Computers & Electrical Engineering 68 (2018), 570 \u2013 580 . https:\/\/doi.org\/10.1016\/j.compeleceng.2018.05.007 10.1016\/j.compeleceng.2018.05.007 Koray Incki and Ismail Ari. 2018. Democratization of runtime verification for internet of things. Computers & Electrical Engineering 68 (2018), 570\u2013580. https:\/\/doi.org\/10.1016\/j.compeleceng.2018.05.007","journal-title":"Computers & Electrical Engineering"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2018.07.146"},{"key":"e_1_3_2_1_49_1","volume-title":"Interoperability, Safety and Security in IoT, Giancarlo Fortino, Carlos\u00a0E","author":"Incki Koray","unstructured":"Koray Incki and Ismail Ari . 2018. Observing Interoperability of IoT Systems Through Model-Based Testing . In Interoperability, Safety and Security in IoT, Giancarlo Fortino, Carlos\u00a0E . Palau, Antonio Guerrieri, Nora Cuppens, Fr\u00e9d\u00e9ric Cuppens, Hakima Chaouchi, and Alban Gabillon (Eds.). Springer International Publishing , Cham , 60\u201366. Koray Incki and Ismail Ari. 2018. Observing Interoperability of IoT Systems Through Model-Based Testing. In Interoperability, Safety and Security in IoT, Giancarlo Fortino, Carlos\u00a0E. Palau, Antonio Guerrieri, Nora Cuppens, Fr\u00e9d\u00e9ric Cuppens, Hakima Chaouchi, and Alban Gabillon (Eds.). Springer International Publishing, Cham, 60\u201366."},{"key":"e_1_3_2_1_50_1","volume-title":"International Journal of Interactive Mobile Technologies (iJIM) 15, 12","author":"Ismail Teeba","year":"2021","unstructured":"Teeba Ismail and Ibrahim\u00a0 I Hamarash . 2021. MODEL-Based Performance Quality Assessment for IoT Applications . International Journal of Interactive Mobile Technologies (iJIM) 15, 12 ( 2021 ), 21287. https:\/\/doi.org\/10.3991\/ijim.v15i12.21287 10.3991\/ijim.v15i12.21287 Teeba Ismail and Ibrahim\u00a0I Hamarash. 2021. MODEL-Based Performance Quality Assessment for IoT Applications. International Journal of Interactive Mobile Technologies (iJIM) 15, 12 (2021), 21287. https:\/\/doi.org\/10.3991\/ijim.v15i12.21287"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2787"},{"key":"e_1_3_2_1_52_1","volume-title":"2015 IEEE 5th International Conference on Consumer Electronics - Berlin (ICCE-Berlin). IEEE","author":"Kawazoe Hiroshi","year":"2015","unstructured":"Hiroshi Kawazoe , Daisuke Ajitomi , and Keisuke Minami . 2015 . A test framework for large-scale message broker system for consumer devices . In 2015 IEEE 5th International Conference on Consumer Electronics - Berlin (ICCE-Berlin). IEEE , Berlin, Germany, 24\u201328. https:\/\/doi.org\/10.1109\/ICCE-Berlin. 2015.7391245 10.1109\/ICCE-Berlin.2015.7391245 Hiroshi Kawazoe, Daisuke Ajitomi, and Keisuke Minami. 2015. A test framework for large-scale message broker system for consumer devices. In 2015 IEEE 5th International Conference on Consumer Electronics - Berlin (ICCE-Berlin). IEEE, Berlin, Germany, 24\u201328. https:\/\/doi.org\/10.1109\/ICCE-Berlin.2015.7391245"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","first-page":"128","DOI":"10.3991\/ijim.v14i09.13431","article-title":"Model-Based Quality Assessment of Internet of Things Software Applications: A Systematic Mapping Study","volume":"14","author":"Kh Teeba\u00a0Ismail","year":"2020","unstructured":"Teeba\u00a0Ismail Kh . and Ibrahim\u00a0 I. Hamarash . 2020 . Model-Based Quality Assessment of Internet of Things Software Applications: A Systematic Mapping Study . International Journal of Interactive Mobile Technologies 14 , 09 (2020), 128 \u2013 152 . https:\/\/doi.org\/10.3991\/ijim.v14i09.13431 10.3991\/ijim.v14i09.13431 Teeba\u00a0Ismail Kh. and Ibrahim\u00a0I. Hamarash. 2020. Model-Based Quality Assessment of Internet of Things Software Applications: A Systematic Mapping Study. International Journal of Interactive Mobile Technologies 14, 09 (2020), 128\u2013152. https:\/\/doi.org\/10.3991\/ijim.v14i09.13431","journal-title":"International Journal of Interactive Mobile Technologies"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2802489"},{"key":"e_1_3_2_1_55_1","volume-title":"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). IEEE","author":"Kiruthika Jay","year":"2015","unstructured":"Jay Kiruthika and S. Khaddaj . 2015 . 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). IEEE , Jiangsu, China, 176\u2013179. https:\/\/doi.org\/10.1109\/DCABES. 2015 .51 10.1109\/DCABES.2015.51 Jay Kiruthika and S. Khaddaj. 2015. 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). IEEE, Jiangsu, China, 176\u2013179. https:\/\/doi.org\/10.1109\/DCABES.2015.51"},{"key":"e_1_3_2_1_56_1","first-page":"2007","article-title":"Guidelines for performing Systematic Literature Reviews in Software Engineering","author":"Kitchenham B.","year":"2007","unstructured":"B. Kitchenham and S. Charters . 2007 . Guidelines for performing Systematic Literature Reviews in Software Engineering . Technical Report EBSE 2007 - 2001 . Keele University and Durham University Joint Report. B. Kitchenham and S. Charters. 2007. Guidelines for performing Systematic Literature Reviews in Software Engineering. Technical Report EBSE 2007-001. Keele University and Durham University Joint Report.","journal-title":"Technical Report EBSE"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2023.100706"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.5220\/0007830605700577"},{"key":"e_1_3_2_1_59_1","volume-title":"2019 IEEE International Conference on Consumer Electronics (ICCE). IEEE, IEEE","author":"Kuroiwa Takeru","year":"2019","unstructured":"Takeru Kuroiwa , Yusuke Aoyama , and Noriyuki Kushiro . 2019 . A hybrid testing environment between execution test and model checking for IoT system . In 2019 IEEE International Conference on Consumer Electronics (ICCE). IEEE, IEEE , Las Vegas, USA, 1\u20132. Takeru Kuroiwa, Yusuke Aoyama, and Noriyuki Kushiro. 2019. A hybrid testing environment between execution test and model checking for IoT system. In 2019 IEEE International Conference on Consumer Electronics (ICCE). IEEE, IEEE, Las Vegas, USA, 1\u20132."},{"key":"e_1_3_2_1_60_1","volume-title":"2018 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES). IEEE","author":"K\u00f6lsch Johannes","year":"2018","unstructured":"Johannes K\u00f6lsch , Christopher Heinz , Sebastian Schumb , and Christoph Grimm . 2018 . Hardware-in-the-loop simulation for Internet of Things scenarios . In 2018 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES). IEEE , Porto, Portugal, 1\u20136. https:\/\/doi.org\/10.1109\/MSCPES. 2018.8405399 10.1109\/MSCPES.2018.8405399 Johannes K\u00f6lsch, Christopher Heinz, Sebastian Schumb, and Christoph Grimm. 2018. Hardware-in-the-loop simulation for Internet of Things scenarios. In 2018 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES). IEEE, Porto, Portugal, 1\u20136. https:\/\/doi.org\/10.1109\/MSCPES.2018.8405399"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2867452"},{"key":"e_1_3_2_1_62_1","volume-title":"City of things: An integrated and multi-technology testbed for IoT smart city experiments. In 2016 IEEE international smart cities conference (ISC2)","author":"Latre Steven","unstructured":"Steven Latre , Philip Leroux , Tanguy Coenen , Bart Braem , Pieter Ballon , and Piet Demeester . 2016. City of things: An integrated and multi-technology testbed for IoT smart city experiments. In 2016 IEEE international smart cities conference (ISC2) . IEEE, IEEE , Trento, Italy , 1\u20138. Steven Latre, Philip Leroux, Tanguy Coenen, Bart Braem, Pieter Ballon, and Piet Demeester. 2016. City of things: An integrated and multi-technology testbed for IoT smart city experiments. In 2016 IEEE international smart cities conference (ISC2). IEEE, IEEE, Trento, Italy, 1\u20138."},{"key":"e_1_3_2_1_63_1","volume-title":"Integrated environment for testing IoT and RFID technologies applied on intelligent transportation system in Brazilian scenarios. In 2014 IEEE Brasil RFID","author":"Leal Adriano\u00a0Galindo","year":"2014","unstructured":"Adriano\u00a0Galindo Leal , Alessandro Santiago , Mario\u00a0 Y Miyake , Mauro\u00a0 K. Noda , Matheus\u00a0 J. Pereira , and Leandro Avan\u00e7o . 2014. Integrated environment for testing IoT and RFID technologies applied on intelligent transportation system in Brazilian scenarios. In 2014 IEEE Brasil RFID . IEEE, Sao Paulo , Brazil , 22\u201324. https:\/\/doi.org\/10.1109\/BrasilRFID. 2014 .7128956 10.1109\/BrasilRFID.2014.7128956 Adriano\u00a0Galindo Leal, Alessandro Santiago, Mario\u00a0Y Miyake, Mauro\u00a0K. Noda, Matheus\u00a0J. Pereira, and Leandro Avan\u00e7o. 2014. Integrated environment for testing IoT and RFID technologies applied on intelligent transportation system in Brazilian scenarios. In 2014 IEEE Brasil RFID. IEEE, Sao Paulo, Brazil, 22\u201324. https:\/\/doi.org\/10.1109\/BrasilRFID.2014.7128956"},{"key":"e_1_3_2_1_64_1","volume-title":"Inventive Communication and Computational Technologies","author":"Lekshmy Geetha","unstructured":"V.\u00a0 Geetha Lekshmy and Jinesh\u00a0 M. Kannimoola . 2020. Formal Verification of IoT Protocol: In Design-Time and Run-Time Perspective . In Inventive Communication and Computational Technologies . Springer , Springer, Tamil Nadu, India, 873 \u2013 884. https:\/\/doi.org\/10.1007\/978-981-15-7345-3_74 10.1007\/978-981-15-7345-3_74 V.\u00a0Geetha Lekshmy and Jinesh\u00a0M. Kannimoola. 2020. Formal Verification of IoT Protocol: In Design-Time and Run-Time Perspective. In Inventive Communication and Computational Technologies. Springer, Springer, Tamil Nadu, India, 873 \u2013 884. https:\/\/doi.org\/10.1007\/978-981-15-7345-3_74"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552405"},{"key":"e_1_3_2_1_66_1","volume-title":"Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems. In 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST). IEEE","author":"Lima Bruno","year":"2019","unstructured":"Bruno Lima . 2019 . Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems. In 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST). IEEE , Xi\u2019an, China, 486\u2013488. https:\/\/doi.org\/10.1109\/ICST. 2019.00060 10.1109\/ICST.2019.00060 Bruno Lima. 2019. Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems. In 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST). IEEE, Xi\u2019an, China, 486\u2013488. https:\/\/doi.org\/10.1109\/ICST.2019.00060"},{"key":"e_1_3_2_1_67_1","volume-title":"2012 IEEE 2nd International Conference on Cloud Computing and Intelligence Systems, Vol.\u00a003","author":"Looga Vilen","year":"2012","unstructured":"Vilen Looga , Zhonghong Ou , Yang Deng , and Antti Yl\u00e4-J\u00e4\u00e4ski . 2012 . MAMMOTH: A massive-scale emulation platform for Internet of Things . In 2012 IEEE 2nd International Conference on Cloud Computing and Intelligence Systems, Vol.\u00a003 . IEEE, Hangzhou, China, 1235\u20131239. https:\/\/doi.org\/10.1109\/CCIS. 2012.6664581 10.1109\/CCIS.2012.6664581 Vilen Looga, Zhonghong Ou, Yang Deng, and Antti Yl\u00e4-J\u00e4\u00e4ski. 2012. MAMMOTH: A massive-scale emulation platform for Internet of Things. In 2012 IEEE 2nd International Conference on Cloud Computing and Intelligence Systems, Vol.\u00a003. IEEE, Hangzhou, China, 1235\u20131239. https:\/\/doi.org\/10.1109\/CCIS.2012.6664581"},{"key":"e_1_3_2_1_68_1","volume-title":"2017 IEEE International Conference on Computational Science and Engineering (CSE) and IEEE International Conference on Embedded and Ubiquitous Computing (EUC), Vol.\u00a01. IEEE","author":"Lv Weigong","year":"2017","unstructured":"Weigong Lv , Fanchao Meng , Ce Zhang , Yuefei Lv , Ning Cao , and Jianan Jiang . 2017 . A General Architecture of IoT System . In 2017 IEEE International Conference on Computational Science and Engineering (CSE) and IEEE International Conference on Embedded and Ubiquitous Computing (EUC), Vol.\u00a01. IEEE , Piscataway, NJ, USA, 659\u2013664. https:\/\/doi.org\/10.1109\/CSE-EUC. 2017.124 10.1109\/CSE-EUC.2017.124 Weigong Lv, Fanchao Meng, Ce Zhang, Yuefei Lv, Ning Cao, and Jianan Jiang. 2017. A General Architecture of IoT System. In 2017 IEEE International Conference on Computational Science and Engineering (CSE) and IEEE International Conference on Embedded and Ubiquitous Computing (EUC), Vol.\u00a01. IEEE, Piscataway, NJ, USA, 659\u2013664. https:\/\/doi.org\/10.1109\/CSE-EUC.2017.124"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3039931"},{"key":"e_1_3_2_1_70_1","volume-title":"Software Testing Techniques in IoT. In 2018 8th International Conference on Computer Science and Information Technology (CSIT). IEEE, Aman, Jordan, 17\u201321","author":"Murad Ghadeer","year":"2018","unstructured":"Ghadeer Murad , Aalaa Badarneh , Abdallah Qusef , and Fadi Almasalha . 2018 . Software Testing Techniques in IoT. In 2018 8th International Conference on Computer Science and Information Technology (CSIT). IEEE, Aman, Jordan, 17\u201321 . https:\/\/doi.org\/10.1109\/CSIT.2018.8486149 10.1109\/CSIT.2018.8486149 Ghadeer Murad, Aalaa Badarneh, Abdallah Qusef, and Fadi Almasalha. 2018. Software Testing Techniques in IoT. In 2018 8th International Conference on Computer Science and Information Technology (CSIT). IEEE, Aman, Jordan, 17\u201321. https:\/\/doi.org\/10.1109\/CSIT.2018.8486149"},{"key":"e_1_3_2_1_71_1","volume-title":"Sandra Camargo Pinto\u00a0Ferraz Fabbri, and Fabiano\u00a0Cutigi Ferrari.","author":"Nakagawa Elisa\u00a0Yumi","year":"2017","unstructured":"Elisa\u00a0Yumi Nakagawa , K\u00e1tia Romero\u00a0Felizardo Scannavino , Sandra Camargo Pinto\u00a0Ferraz Fabbri, and Fabiano\u00a0Cutigi Ferrari. 2017 . Revis\u00e3o Sistem\u00e1tica da Literatura em Engenharia de Software: Teoria e Pr\u00e1tica. Elsevier Brasil , Rio de Janeiro, Brazil. Elisa\u00a0Yumi Nakagawa, K\u00e1tia Romero\u00a0Felizardo Scannavino, Sandra Camargo Pinto\u00a0Ferraz Fabbri, and Fabiano\u00a0Cutigi Ferrari. 2017. Revis\u00e3o Sistem\u00e1tica da Literatura em Engenharia de Software: Teoria e Pr\u00e1tica. Elsevier Brasil, Rio de Janeiro, Brazil."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-021-09565-y"},{"key":"e_1_3_2_1_73_1","volume-title":"2019 Third International conference on I-SMAC (IoT in Social, Mobile, Analytics and Cloud) (I-SMAC). IEEE, IEEE","author":"Patel D","year":"2019","unstructured":"D Patel , M Mehtre , and Rajeev Wankar . 2019 . Simulators, Emulators, and Test-beds for Internet of Things: A Comparison . In 2019 Third International conference on I-SMAC (IoT in Social, Mobile, Analytics and Cloud) (I-SMAC). IEEE, IEEE , Palladam, India, 139\u2013145. https:\/\/doi.org\/10.1109\/I-SMAC47947. 2019.9032519 10.1109\/I-SMAC47947.2019.9032519 D Patel, M Mehtre, and Rajeev Wankar. 2019. Simulators, Emulators, and Test-beds for Internet of Things: A Comparison. In 2019 Third International conference on I-SMAC (IoT in Social, Mobile, Analytics and Cloud) (I-SMAC). IEEE, IEEE, Palladam, India, 139\u2013145. https:\/\/doi.org\/10.1109\/I-SMAC47947.2019.9032519"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.03.007"},{"key":"e_1_3_2_1_75_1","volume-title":"2016 IEEE 4th International Conference on Future Internet of Things and Cloud Workshops (FiCloudW). IEEE","author":"Pflanzner T.","year":"2016","unstructured":"T. Pflanzner , A. Kertesz , B. Spinnewyn , and S. Latr\u00e9 . 2016. MobIoTSim: Towards a Mobile IoT Device Simulator . In 2016 IEEE 4th International Conference on Future Internet of Things and Cloud Workshops (FiCloudW). IEEE , Vienna, Austria, 21\u201327. https:\/\/doi.org\/10.1109\/W-FiCloud. 2016 .21 10.1109\/W-FiCloud.2016.21 T. Pflanzner, A. Kertesz, B. Spinnewyn, and S. Latr\u00e9. 2016. MobIoTSim: Towards a Mobile IoT Device Simulator. In 2016 IEEE 4th International Conference on Future Internet of Things and Cloud Workshops (FiCloudW). IEEE, Vienna, Austria, 21\u201327. https:\/\/doi.org\/10.1109\/W-FiCloud.2016.21"},{"key":"e_1_3_2_1_76_1","volume-title":"1st International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI). IEEE, IEEE","author":"Pratesi Marco","year":"2015","unstructured":"Marco Pratesi , Francesco Valentini , and Fortunato Santucci . 2015 . An Android-based testbed for hybrid Wireless Mesh Networks in the IoT perspective. In 2015 IEEE 1st International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI). IEEE, IEEE , Turin, Italy. Marco Pratesi, Francesco Valentini, and Fortunato Santucci. 2015. An Android-based testbed for hybrid Wireless Mesh Networks in the IoT perspective. In 2015 IEEE 1st International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI). IEEE, IEEE, Turin, Italy."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425329.3425330"},{"key":"e_1_3_2_1_78_1","volume-title":"European Wireless 2013","author":"Reetz Eike\u00a0Steffen","unstructured":"Eike\u00a0Steffen Reetz , Daniel Kuemper , Klaus Moessner , and Ralf Toenjes . 2013. How to Test IoT-based Services before Deploying them into Real World . In European Wireless 2013 ; 19th European Wireless Conference. VDE, Guildford, United Kingdom , 1\u20136. Eike\u00a0Steffen Reetz, Daniel Kuemper, Klaus Moessner, and Ralf Toenjes. 2013. How to Test IoT-based Services before Deploying them into Real World. In European Wireless 2013; 19th European Wireless Conference. VDE, Guildford, United Kingdom, 1\u20136."},{"key":"e_1_3_2_1_79_1","volume-title":"Low-cost wireless testbed for Internet of Things ad hoc networks prototyping and evaluation. In 2020 IEEE 6th World Forum on Internet of Things (WF-IoT)","author":"Regis Paulo\u00a0Alexandre","unstructured":"Paulo\u00a0Alexandre Regis , Amar\u00a0Nath Patra , and Shamik Sengupta . 2020. Low-cost wireless testbed for Internet of Things ad hoc networks prototyping and evaluation. In 2020 IEEE 6th World Forum on Internet of Things (WF-IoT) . IEEE, IEEE , New Orleans, Louisiana, USA , 1\u20136. Paulo\u00a0Alexandre Regis, Amar\u00a0Nath Patra, and Shamik Sengupta. 2020. Low-cost wireless testbed for Internet of Things ad hoc networks prototyping and evaluation. In 2020 IEEE 6th World Forum on Internet of Things (WF-IoT). IEEE, IEEE, New Orleans, Louisiana, USA, 1\u20136."},{"key":"e_1_3_2_1_80_1","volume-title":"2019 International Conference on Computer and Information Sciences (ICCIS). IEEE, IEEE, Sakaka, Saudi Arabia.","author":"Reshi Aijaz\u00a0Ahmad","year":"2019","unstructured":"Aijaz\u00a0Ahmad Reshi , Abdullah Alsaeedi , and Shabana Shafi . 2019 . Development and Web Performance Evaluation of Internet of Things testbed . In 2019 International Conference on Computer and Information Sciences (ICCIS). IEEE, IEEE, Sakaka, Saudi Arabia. Aijaz\u00a0Ahmad Reshi, Abdullah Alsaeedi, and Shabana Shafi. 2019. Development and Web Performance Evaluation of Internet of Things testbed. In 2019 International Conference on Computer and Information Sciences (ICCIS). IEEE, IEEE, Sakaka, Saudi Arabia."},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2753476.2753481"},{"key":"e_1_3_2_1_82_1","volume-title":"Mobile wireless sensor network TestBed. In 2017 25th Telecommunication Forum (TELFOR)","author":"Salmins Arnis","year":"2017","unstructured":"Arnis Salmins , Janis Judvaitis , Rihards Balass , and Krisjanis Nesenbergs . 2017. Mobile wireless sensor network TestBed. In 2017 25th Telecommunication Forum (TELFOR) . IEEE, Belgrade , Serbia , 1\u20134. https:\/\/doi.org\/10.1109\/TELFOR. 2017 .8249407 10.1109\/TELFOR.2017.8249407 Arnis Salmins, Janis Judvaitis, Rihards Balass, and Krisjanis Nesenbergs. 2017. Mobile wireless sensor network TestBed. In 2017 25th Telecommunication Forum (TELFOR). IEEE, Belgrade, Serbia, 1\u20134. https:\/\/doi.org\/10.1109\/TELFOR.2017.8249407"},{"key":"e_1_3_2_1_83_1","volume-title":"MLCA: A Model-Learning-Checking Approach for IoT Systems","author":"Salva S\u00e9bastien","year":"2021","unstructured":"S\u00e9bastien Salva and Elliott Blot . 2021 . MLCA: A Model-Learning-Checking Approach for IoT Systems . In Software Technologies, Marten van Sinderen, Leszek\u00a0A. Maciaszek, and Hans-Georg Fill (Eds.). Springer International Publishing , Cham , 70\u201397. S\u00e9bastien Salva and Elliott Blot. 2021. MLCA: A Model-Learning-Checking Approach for IoT Systems. In Software Technologies, Marten van Sinderen, Leszek\u00a0A. Maciaszek, and Hans-Georg Fill (Eds.). Springer International Publishing, Cham, 70\u201397."},{"key":"e_1_3_2_1_84_1","volume-title":"Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing. ACM, ACM","author":"Saraiva Raphael","year":"2019","unstructured":"Raphael Saraiva , Patricia Mello , Pamella Soares , Marcia Souza , and Mariela Cort\u00e9s . 2019 . 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. ACM, ACM , Salvador, Brazil, 3\u201311. https:\/\/doi.org\/10.1145\/3356317.3356326 10.1145\/3356317.3356326 Raphael Saraiva, Patricia Mello, Pamella Soares, Marcia Souza, and Mariela Cort\u00e9s. 2019. 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. ACM, ACM, Salvador, Brazil, 3\u201311. https:\/\/doi.org\/10.1145\/3356317.3356326"},{"key":"e_1_3_2_1_85_1","volume-title":"2018 IEEE International Conference on Cloud Engineering (IC2E). IEEE","author":"Savaglio Claudio","year":"2018","unstructured":"Claudio Savaglio , Giancarlo Fortino , Raffaele Gravina , and Wilma Russo . 2018 . A Methodology for Integrating Internet of Things Platforms . In 2018 IEEE International Conference on Cloud Engineering (IC2E). IEEE , Orlando, Florida, USA, 317\u2013322. https:\/\/doi.org\/10.1109\/IC2E. 2018.00062 10.1109\/IC2E.2018.00062 Claudio Savaglio, Giancarlo Fortino, Raffaele Gravina, and Wilma Russo. 2018. A Methodology for Integrating Internet of Things Platforms. In 2018 IEEE International Conference on Cloud Engineering (IC2E). IEEE, Orlando, Florida, USA, 317\u2013322. https:\/\/doi.org\/10.1109\/IC2E.2018.00062"},{"key":"e_1_3_2_1_86_1","volume-title":"IoT-Testware - An Eclipse Project. In 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE, Prague, Czech Republic, 1\u20138. https:\/\/doi.org\/10","author":"Schieferdecker Ina","year":"2017","unstructured":"Ina Schieferdecker , Sascha Kretzschmann , Axel Rennoch , and Michael Wagner . 2017 . IoT-Testware - An Eclipse Project. In 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE, Prague, Czech Republic, 1\u20138. https:\/\/doi.org\/10 .1109\/QRS.2017.59 10.1109\/QRS.2017.59 Ina Schieferdecker, Sascha Kretzschmann, Axel Rennoch, and Michael Wagner. 2017. IoT-Testware - An Eclipse Project. In 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE, Prague, Czech Republic, 1\u20138. https:\/\/doi.org\/10.1109\/QRS.2017.59"},{"key":"e_1_3_2_1_87_1","volume-title":"PHINet: A Plug-n-Play Content-centric Testbed Framework for Health-Internet of Things. In 2015 IEEE International Conference on Mobile Services. IEEE","author":"Seales Clint","year":"2015","unstructured":"Clint Seales , Trung Do , Eugene Belyi , and Suman Kumar . 2015 . PHINet: A Plug-n-Play Content-centric Testbed Framework for Health-Internet of Things. In 2015 IEEE International Conference on Mobile Services. IEEE , New York, NY, USA, 368\u2013375. https:\/\/doi.org\/10.1109\/MobServ. 2015.57 10.1109\/MobServ.2015.57 Clint Seales, Trung Do, Eugene Belyi, and Suman Kumar. 2015. PHINet: A Plug-n-Play Content-centric Testbed Framework for Health-Internet of Things. In 2015 IEEE International Conference on Mobile Services. IEEE, New York, NY, USA, 368\u2013375. https:\/\/doi.org\/10.1109\/MobServ.2015.57"},{"key":"e_1_3_2_1_88_1","volume-title":"Software Engineering (10 ed.). Pearson Higher Ed","author":"Sommerville Ian","unstructured":"Ian Sommerville . 2016. Software Engineering (10 ed.). Pearson Higher Ed , London, England, UK . Ian Sommerville. 2016. Software Engineering (10 ed.). Pearson Higher Ed, London, England, UK."},{"key":"e_1_3_2_1_89_1","volume-title":"Towards Simulating the Internet of Things. In 2014 28th International Conference on Advanced Information Networking and Applications Workshops. IEEE","author":"Sotiriadis Stelios","year":"2014","unstructured":"Stelios Sotiriadis , Nik Bessis , Eleana Asimakopoulou , and Navonil Mustafee . 2014 . Towards Simulating the Internet of Things. In 2014 28th International Conference on Advanced Information Networking and Applications Workshops. IEEE , Victoria, British Columbia, Canada, 444\u2013448. https:\/\/doi.org\/10.1109\/WAINA. 2014.74 10.1109\/WAINA.2014.74 Stelios Sotiriadis, Nik Bessis, Eleana Asimakopoulou, and Navonil Mustafee. 2014. Towards Simulating the Internet of Things. In 2014 28th International Conference on Advanced Information Networking and Applications Workshops. IEEE, Victoria, British Columbia, Canada, 444\u2013448. https:\/\/doi.org\/10.1109\/WAINA.2014.74"},{"key":"e_1_3_2_1_90_1","volume-title":"New Trends in Computer Technologies and Applications","author":"Tan Teik-Boon","unstructured":"Teik-Boon Tan and Wai-Khuen Cheng . 2019. Software Testing Levels in Internet of Things (IoT) Architecture . In New Trends in Computer Technologies and Applications . Springer , Springer, Yunlin , Taiwan, 385\u2013390. Teik-Boon Tan and Wai-Khuen Cheng. 2019. Software Testing Levels in Internet of Things (IoT) Architecture. In New Trends in Computer Technologies and Applications. Springer, Springer, Yunlin, Taiwan, 385\u2013390."},{"key":"e_1_3_2_1_91_1","unstructured":"Thinxtream. 2020. IoT Testing Challenges and Approaches. https:\/\/www.thinxtream.com\/whitepapers\/thinxtream-iot-testing-challenges-and-approaches-wp-002.pdf.  Thinxtream. 2020. IoT Testing Challenges and Approaches. https:\/\/www.thinxtream.com\/whitepapers\/thinxtream-iot-testing-challenges-and-approaches-wp-002.pdf."},{"key":"e_1_3_2_1_92_1","volume-title":"A test-driven approach for life cycle management of internet of things enabled services. In 2012 Future Network & Mobile Summit","author":"T\u00f6njes Ralf","unstructured":"Ralf T\u00f6njes , Eike\u00a0Steffen Reetz , Klaus Moessner , and Payam Barnaghi . 2012. A test-driven approach for life cycle management of internet of things enabled services. In 2012 Future Network & Mobile Summit . IEEE, IEEE , Berlin, Germany . Ralf T\u00f6njes, Eike\u00a0Steffen Reetz, Klaus Moessner, and Payam Barnaghi. 2012. A test-driven approach for life cycle management of internet of things enabled services. In 2012 Future Network & Mobile Summit. IEEE, IEEE, Berlin, Germany."},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642803.2642807"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON43393.2020.9254910"},{"key":"e_1_3_2_1_95_1","volume-title":"A New Approach 4.0 for Test Event Generation","author":"Velez-Estevez Antonio","year":"2021","unstructured":"Antonio Velez-Estevez , Lorena Guti\u00e9rrez-Madro\u00f1al , and Inmaculada Medina-Bulo . 2021. Io T-TEG 4.0 : A New Approach 4.0 for Test Event Generation . IEEE Transactions on Reliability 71, 3 ( 2021 ), 1368\u20131380. Antonio Velez-Estevez, Lorena Guti\u00e9rrez-Madro\u00f1al, and Inmaculada Medina-Bulo. 2021. IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation. IEEE Transactions on Reliability 71, 3 (2021), 1368\u20131380."},{"key":"#cr-split#-e_1_3_2_1_96_1.1","doi-asserted-by":"crossref","unstructured":"Michael\u00a0A. Walker Douglas\u00a0C. Schmidt and Abhishek Dubey. 2019. Chapter Six - Testing at scale of IoT blockchain applications. In Role of Blockchain Technology in IoT Applications Shiho Kim Ganesh\u00a0Chandra Deka and Peng Zhang (Eds.). Advances in Computers Vol.\u00a0115. Elsevier Berkeley CA 155-179. https:\/\/doi.org\/10.1016\/bs.adcom.2019.07.008 10.1016\/bs.adcom.2019.07.008","DOI":"10.1016\/bs.adcom.2019.07.008"},{"key":"#cr-split#-e_1_3_2_1_96_1.2","doi-asserted-by":"crossref","unstructured":"Michael\u00a0A. Walker Douglas\u00a0C. Schmidt and Abhishek Dubey. 2019. Chapter Six - Testing at scale of IoT blockchain applications. In Role of Blockchain Technology in IoT Applications Shiho Kim Ganesh\u00a0Chandra Deka and Peng Zhang (Eds.). Advances in Computers Vol.\u00a0115. Elsevier Berkeley CA 155-179. https:\/\/doi.org\/10.1016\/bs.adcom.2019.07.008","DOI":"10.1016\/bs.adcom.2019.07.008"},{"key":"e_1_3_2_1_97_1","volume-title":"Advances in Visual Computing, George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Charless Fowlkes, Sen Wang, Min-Hyung Choi, Stephan Mantler, J\u00fcrgen Schulze","author":"Wittstock Volker","unstructured":"Volker Wittstock , Mario Lorenz , Eckhart Wittstock , and Franziska P\u00fcrzel . 2012. A Framework for User Tests in a Virtual Environment . In Advances in Visual Computing, George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Charless Fowlkes, Sen Wang, Min-Hyung Choi, Stephan Mantler, J\u00fcrgen Schulze , Daniel Acevedo, Klaus Mueller, and Michael Papka (Eds.). Springer Berlin Heidelberg, Berlin , Heidelberg , 358\u2013367. Volker Wittstock, Mario Lorenz, Eckhart Wittstock, and Franziska P\u00fcrzel. 2012. A Framework for User Tests in a Virtual Environment. In Advances in Visual Computing, George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Charless Fowlkes, Sen Wang, Min-Hyung Choi, Stephan Mantler, J\u00fcrgen Schulze, Daniel Acevedo, Klaus Mueller, and Michael Papka (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 358\u2013367."},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2601268"},{"key":"e_1_3_2_1_99_1","first-page":"1","article-title":"Improvement in the V-Model","volume":"3","author":"Yadav Ravi\u00a0Shanker","year":"2012","unstructured":"Ravi\u00a0Shanker Yadav . 2012 . Improvement in the V-Model . International Journal of Scientific & Engineering Research 3 , 2 (2012), 1 \u2013 6 . Ravi\u00a0Shanker Yadav. 2012. Improvement in the V-Model. International Journal of Scientific & Engineering Research 3, 2 (2012), 1\u20136.","journal-title":"International Journal of Scientific & Engineering Research"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.bjp.2013.12.030"}],"event":{"name":"SAST 2023: 8th Brazilian Symposium on Systematic and Automated Software Testing","location":"Campo Grande, MS Brazil","acronym":"SAST 2023"},"container-title":["8th Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624032.3624049","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3624032.3624049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:06Z","timestamp":1750178166000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624032.3624049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,25]]},"references-count":103,"alternative-id":["10.1145\/3624032.3624049","10.1145\/3624032"],"URL":"https:\/\/doi.org\/10.1145\/3624032.3624049","relation":{},"subject":[],"published":{"date-parts":[[2023,9,25]]},"assertion":[{"value":"2023-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}