{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:27:32Z","timestamp":1762507652711,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T00:00:00Z","timestamp":1531699200000},"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":[[2018,7,16]]},"DOI":"10.1145\/3236454.3236511","type":"proceedings-article","created":{"date-parts":[[2019,1,8]],"date-time":"2019-01-08T18:39:17Z","timestamp":1546972757000},"page":"125-131","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["<i>Izinto<\/i>"],"prefix":"10.1145","author":[{"given":"Pedro Martins","family":"Pontes","sequence":"first","affiliation":[{"name":"University of Porto, Porto, Portugal"}]},{"given":"Bruno","family":"Lima","sequence":"additional","affiliation":[{"name":"University of Porto, Porto, Portugal"}]},{"given":"Jo\u00e3o Pascoal","family":"Faria","sequence":"additional","affiliation":[{"name":"University of Porto, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2018,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2015.7389098"},{"key":"e_1_3_2_1_2_1","volume-title":"Franck Le Gall, and Bruno Legeard","author":"Ahmad Abbas","year":"2016","unstructured":"Abbas Ahmad , Fabrice Bouquet , Elizabeta Fourneret , Franck Le Gall, and Bruno Legeard . 2016 . Model-based testing as a service for IoT platforms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9953 LNCS. 727--742. Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, and Bruno Legeard. 2016. Model-based testing as a service for IoT platforms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9953 LNCS. 727--742."},{"key":"e_1_3_2_1_3_1","volume-title":"Workshop on Scientific Applications for the Internet of Things ICTP.","author":"Bagula Ba","year":"2015","unstructured":"Ba Bagula and Zenville Erasmus . 2015 . Iot emulation with Cooja . In Workshop on Scientific Applications for the Internet of Things ICTP. Ba Bagula and Zenville Erasmus. 2015. Iot emulation with Cooja. In Workshop on Scientific Applications for the Internet of Things ICTP."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_5_1","unstructured":"Boris Beizer. 2003. Software Testing Techniques. 550 pages. http:\/\/books.google.com\/books?id=Ixf97h356zcC  Boris Beizer. 2003. Software Testing Techniques. 550 pages. http:\/\/books.google.com\/books?id=Ixf97h356zcC"},{"key":"e_1_3_2_1_6_1","first-page":"2011 (2011), 1-","volume-title":"IST-Africa Conference Proceedings","author":"Coetzee L","year":"2011","unstructured":"L Coetzee and J Eksteen . 2011 . The Internet of Things - promise for the future? An introduction . IST-Africa Conference Proceedings , 2011 (2011), 1--9. https:\/\/doi.org\/ISBN:978-1-905824-24 - 23 L Coetzee and J Eksteen. 2011. The Internet of Things - promise for the future? An introduction. IST-Africa Conference Proceedings, 2011 (2011), 1--9. https:\/\/doi.org\/ISBN:978-1-905824-24-3"},{"key":"e_1_3_2_1_7_1","unstructured":"Jo\u00e3o Pedro Dias Fl\u00e1vio Couto Ana C.R. Paiva and Hugo Sereno Ferreira. 2018. A Brief Overview of Existing Tools for Testing the Internet-of-Things.  Jo\u00e3o Pedro Dias Fl\u00e1vio Couto Ana C.R. Paiva and Hugo Sereno Ferreira. 2018. A Brief Overview of Existing Tools for Testing the Internet-of-Things."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5220\/0006552501700177"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Alexander Gluhak Srdjan Krco Michele Nati Dennis Pfisterer Nathalie Mitton and Tahiry Razafindralambo. 2011. A survey on facilities for experimental internet of things research. 58--67 pages. arXiv:1609.07712  Alexander Gluhak Srdjan Krco Michele Nati Dennis Pfisterer Nathalie Mitton and Tahiry Razafindralambo. 2011. A survey on facilities for experimental internet of things research. 58--67 pages. arXiv:1609.07712","DOI":"10.1109\/MCOM.2011.6069710"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2509"},{"key":"e_1_3_2_1_12_1","unstructured":"JUnit. {n. d.}. JUnit - About. https:\/\/junit.org\/junit4\/. Accessed: 2018-05-24.  JUnit. {n. d.}. JUnit - About. https:\/\/junit.org\/junit4\/. Accessed: 2018-05-24."},{"key":"e_1_3_2_1_13_1","volume-title":"Gurtov","author":"Korzun Dmitry G.","year":"2013","unstructured":"Dmitry G. Korzun , Sergey I. Balandin , and Andrei V . Gurtov . 2013 . Deployment ofSmart Spaces in Internet of Things: Overview of the Design Challenges. In Internet of Things, Smart Spaces, and Next Generation Networking, Sergey Balandin, Sergey Andreev, and Yevgeni Koucheryavy (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 48--59. Dmitry G. Korzun, Sergey I. Balandin, and Andrei V. Gurtov. 2013. Deployment ofSmart Spaces in Internet of Things: Overview of the Design Challenges. In Internet of Things, Smart Spaces, and Next Generation Networking, Sergey Balandin, Sergey Andreev, and Yevgeni Koucheryavy (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 48--59."},{"key":"e_1_3_2_1_14_1","volume-title":"TOSSIM: a simulator for TinyOS networks. (12","author":"Levis Philip","year":"2003","unstructured":"Philip Levis and Nelson Lee . 2003. TOSSIM: a simulator for TinyOS networks. (12 2003 ). Philip Levis and Nelson Lee. 2003. TOSSIM: a simulator for TinyOS networks. (12 2003)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-014-9492-7"},{"volume-title":"A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice","author":"Lima Bruno","key":"e_1_3_2_1_16_1","unstructured":"Bruno Lima and Jo\u00e3o Pascoal Faria . 2017. A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice . In Software Technologies, Enrique Cabello, Jorge Cardoso, Andr\u00e9 Ludwig, Leszek A. Maciaszek, and Marten van Sinderen (Eds.). Springer International Publishing , Cham , 88--107. Bruno Lima and Jo\u00e3o Pascoal Faria. 2017. A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice. In Software Technologies, Enrique Cabello, Jorge Cardoso, Andr\u00e9 Ludwig, Leszek A. Maciaszek, and Marten van Sinderen (Eds.). Springer International Publishing, Cham, 88--107."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings - 2012 IEEE 2nd International Conference on Cloud Computing and Intelligence Systems, IEEE CCIS 2012","volume":"3","author":"Looga Vilen","year":"2013","unstructured":"Vilen Looga , Zhonghong Ou , Yang Deng , and Antti Yla-Jaaski . 2013 . MAMMOTH: A massive-scale emulation platform for Internet of Things . In Proceedings - 2012 IEEE 2nd International Conference on Cloud Computing and Intelligence Systems, IEEE CCIS 2012 , Vol. 3 . 1235--1239. Vilen Looga, Zhonghong Ou, Yang Deng, and Antti Yla-Jaaski. 2013. MAMMOTH: A massive-scale emulation platform for Internet of Things. In Proceedings - 2012 IEEE 2nd International Conference on Cloud Computing and Intelligence Systems, IEEE CCIS 2012, Vol. 3. 1235--1239."},{"key":"e_1_3_2_1_18_1","volume-title":"CIoT","author":"Mohan Nitinder","year":"2016","unstructured":"Nitinder Mohan and Jussi Kangasharju . 2017. Edge-Fog cloud: A distributed cloud for Internet of Things computations. In 2016 Cloudification of the Internet of Things , CIoT 2016 . arXiv:1702.06335 Nitinder Mohan and Jussi Kangasharju. 2017. Edge-Fog cloud: A distributed cloud for Internet of Things computations. In 2016 Cloudification of the Internet of Things, CIoT 2016. arXiv:1702.06335"},{"key":"e_1_3_2_1_19_1","unstructured":"Matthew Murdoch. 2013. ArduinoUnit. https:\/\/github.com\/mmurdoch\/arduinounit. Accessed: 2018-05-10.  Matthew Murdoch. 2013. ArduinoUnit. https:\/\/github.com\/mmurdoch\/arduinounit. Accessed: 2018-05-10."},{"key":"e_1_3_2_1_20_1","unstructured":"Amy Nordrum. 2016. Popular internet of things forecast of 50 billion devices by 2020 is outdated. https:\/\/spectrum.ieee.org\/tech-talk\/telecom\/internet\/popular-internet-of-hings-forecast-of-50-billion-devices-by-2020-is-outdated  Amy Nordrum. 2016. Popular internet of things forecast of 50 billion devices by 2020 is outdated. https:\/\/spectrum.ieee.org\/tech-talk\/telecom\/internet\/popular-internet-of-hings-forecast-of-50-billion-devices-by-2020-is-outdated"},{"key":"e_1_3_2_1_21_1","volume-title":"OASIS Standard October","author":"OASIS.","year":"2014","unstructured":"OASIS. 2014. MQTT Version 3.1.1. OASIS Standard October ( 2014 ), 81. http:\/\/docs.oasis-open.org\/mqtt\/mqtt\/v3.1.1\/os\/mqtt-v3.1.1-os.html OASIS. 2014. MQTT Version 3.1.1. OASIS Standard October (2014), 81. http:\/\/docs.oasis-open.org\/mqtt\/mqtt\/v3.1.1\/os\/mqtt-v3.1.1-os.html"},{"key":"e_1_3_2_1_22_1","unstructured":"PlatformIO. 2018. An open source ecosystem for IoT development - PlatformIO. https:\/\/platformio.org\/. Accessed: 2018-05-16.  PlatformIO. 2018. An open source ecosystem for IoT development - PlatformIO. https:\/\/platformio.org\/. Accessed: 2018-05-16."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2753476.2753481"},{"key":"e_1_3_2_1_24_1","volume-title":"Future internet: The Internet of Things. 2010 3<sup>rd<\/sup> International Conference on Advanced Computer Theory and Engineering(ICACTE)","author":"Tan Lu","year":"2010","unstructured":"Lu Tan . 2010. Future internet: The Internet of Things. 2010 3<sup>rd<\/sup> International Conference on Advanced Computer Theory and Engineering(ICACTE) ( 2010 ), V5-376--V5-380. Lu Tan. 2010. Future internet: The Internet of Things. 2010 3<sup>rd<\/sup> International Conference on Advanced Computer Theory and Engineering(ICACTE) (2010), V5-376--V5-380."}],"event":{"name":"ISSTA '18: International Symposium on Software Testing and Analysis","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Amsterdam Netherlands","acronym":"ISSTA '18"},"container-title":["Companion Proceedings for the ISSTA\/ECOOP 2018 Workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236454.3236511","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236454.3236511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:40Z","timestamp":1750210780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236454.3236511"}},"subtitle":["a pattern-based IoT testing framework"],"short-title":[],"issued":{"date-parts":[[2018,7,16]]},"references-count":23,"alternative-id":["10.1145\/3236454.3236511","10.1145\/3236454"],"URL":"https:\/\/doi.org\/10.1145\/3236454.3236511","relation":{},"subject":[],"published":{"date-parts":[[2018,7,16]]},"assertion":[{"value":"2018-07-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}