{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:46:48Z","timestamp":1762876008156},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2018,8,3]],"date-time":"2018-08-03T00:00:00Z","timestamp":1533254400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1007\/s00607-018-0650-5","type":"journal-article","created":{"date-parts":[[2018,8,3]],"date-time":"2018-08-03T15:15:11Z","timestamp":1533309311000},"page":"857-872","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Testing IoT systems using a hybrid simulation based testing approach"],"prefix":"10.1007","volume":"101","author":[{"given":"Stig","family":"Bosmans","sequence":"first","affiliation":[]},{"given":"Siegfried","family":"Mercelis","sequence":"additional","affiliation":[]},{"given":"Joachim","family":"Denil","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Hellinckx","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,3]]},"reference":[{"issue":"2","key":"650_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/MIC.2006.37","volume":"10","author":"A Arora","year":"2006","unstructured":"Arora A, Ertin E, Ramnath R, Nesterenko M, Leal W (2006) Kansei: a high-fidelity sensing testbed. IEEE Internet Comput 10(2):35\u201347","journal-title":"IEEE Internet Comput"},{"key":"650_CR2","volume-title":"Black-box testing: techniques for functional testing of software and systems","author":"B Beizer","year":"1995","unstructured":"Beizer B (1995) Black-box testing: techniques for functional testing of software and systems. Wiley, Hoboken"},{"key":"650_CR3","doi-asserted-by":"crossref","unstructured":"Bertolino A (2007) Software testing research: achievements, challenges, dreams. In: 2007 Future of software engineering. IEEE Computer Society, pp 85\u2013103","DOI":"10.1109\/FOSE.2007.25"},{"key":"650_CR4","doi-asserted-by":"crossref","unstructured":"Bononi L, Bracuto M, D\u2019Angelo G, Donatiello L (2006) Proximity detection in distributed simulation of wireless mobile systems. In: Proceedings of the 9th ACM international symposium on modeling analysis and simulation of wireless and mobile systems. ACM, pp 44\u201351","DOI":"10.1145\/1164717.1164727"},{"issue":"2","key":"650_CR5","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MIC.2012.29","volume":"16","author":"C Bormann","year":"2012","unstructured":"Bormann C, Castellani AP, Shelby Z (2012) Coap: an application protocol for billions of tiny internet nodes. IEEE Internet Comput 16(2):62\u201367","journal-title":"IEEE Internet Comput"},{"key":"650_CR6","doi-asserted-by":"crossref","unstructured":"Bosmans S, Mercelis S, Hellinckx P, Denil J (2018) Towards evaluating emergent behavior of the internet of things using large scale simulation techniques (wip). In: Proceedings of the theory of modeling and simulation symposium. Society for Computer Simulation International, p 4","DOI":"10.1145\/3213187.3213191"},{"key":"650_CR7","unstructured":"Carneiro G (2010) Ns-3: network simulator 3. In: UTM Lab Meeting, vol 20"},{"key":"650_CR8","first-page":"2","volume":"3083","author":"D Caughlin","year":"1997","unstructured":"Caughlin D, Sisti AF (1997) Summary of model abstraction techniques. Enabling Technol Simul Sci Int Soc Opt Photon 3083:2\u201314","journal-title":"Enabling Technol Simul Sci Int Soc Opt Photon"},{"key":"650_CR9","doi-asserted-by":"crossref","unstructured":"Crisan DA, Radoi IE, Arvind D (2013) Coap-mediated hybrid simulation and visualisation environment for specknets. In: Proceedings of the 1st ACM sigsim conference on principles of advanced discrete simulation. ACM, pp 285\u2013294","DOI":"10.1145\/2486092.2486128"},{"key":"650_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.simpat.2016.10.001","volume":"70","author":"G DAngelo","year":"2017","unstructured":"DAngelo G (2017) The simulation model partitioning problem: an adaptive solution based on self-clustering. Simul Model Pract Theory 70:1\u201320","journal-title":"Simul Model Pract Theory"},{"key":"650_CR11","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo G, Ferretti S, Ghini V (2016) Simulation of the internet of things. In: High performance computing & simulation (HPCS), 2016 International conference on IEEE, pp 1\u20138","DOI":"10.1109\/HPCSim.2016.7568309"},{"key":"650_CR12","doi-asserted-by":"crossref","unstructured":"Dunkels A, Gronvall B, Voigt T (2004) Contiki-a lightweight and flexible operating system for tiny networked sensors. In: Local computer networks, 2004. 29th Annual IEEE international conference. IEEE, pp 455\u2013462","DOI":"10.1109\/LCN.2004.38"},{"issue":"5","key":"650_CR13","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MCSE.2017.3421541","volume":"19","author":"G Fortino","year":"2017","unstructured":"Fortino G, Gravina R, Russo W, Savaglio C (2017) Modeling and simulating internet-of-things systems: a hybrid agent-oriented approach. Comput Sci Eng 19(5):68\u201376","journal-title":"Comput Sci Eng"},{"key":"650_CR14","unstructured":"Frantz FK (1995) A taxonomy of model abstraction techniques. In: Proceedings of the 27th conference on winter simulation. IEEE Computer Society, pp 1413\u20131420"},{"key":"650_CR15","volume-title":"Parallel and distributed simulation systems","author":"RM Fujimoto","year":"2000","unstructured":"Fujimoto RM (2000) Parallel and distributed simulation systems, vol 300. Wiley, New York"},{"issue":"9","key":"650_CR16","first-page":"1275","volume":"47","author":"H Gupta","year":"2017","unstructured":"Gupta H, Vahid Dastjerdi A, Ghosh SK, Buyya R (2017) iFogSim: A toolkit for modeling and simulation of resource management techniques in the internet of things, edge and fog computing environments. Software: Pract Exp 47(9):1275\u20131296","journal-title":"Software: Pract Exp"},{"key":"650_CR17","unstructured":"Hunkeler U, Truong HL, Stanford-Clark A (2008) Mqtt-sa publish\/subscribe protocol for wireless sensor networks. In: Communication systems software and middleware and workshops, 2008. Comsware 2008. 3rd International conference on IEEE, pp 791\u2013798"},{"key":"650_CR18","doi-asserted-by":"crossref","unstructured":"Latre S, Leroux P, Coenen T, Braem B, Ballon P, Demeester P (2016) City of things: an integrated and multi-technology testbed for iot smart city experiments. In: Smart cities conference (ISC2), 2016 IEEE international. IEEE, pp 1\u20138","DOI":"10.1109\/ISC2.2016.7580875"},{"key":"650_CR19","doi-asserted-by":"crossref","unstructured":"Levis P, Lee N, Welsh M, Culler D (2003) TOSSIM: accurate and scalable simulation of entire tinyOS applications. In: Proceedings of the 1st international conference on embedded networked sensor systems. ACM, pp 126\u2013137","DOI":"10.1145\/958491.958506"},{"key":"650_CR20","doi-asserted-by":"publisher","first-page":"10662","DOI":"10.1109\/ACCESS.2018.2799707","volume":"6","author":"M Marjanovi\u0107","year":"2018","unstructured":"Marjanovi\u0107 M, Antoni\u0107 A, \u017darko IP (2018) Edge computing architecture for mobile crowdsensing. IEEE Access 6:10662\u201310674","journal-title":"IEEE Access"},{"key":"650_CR21","doi-asserted-by":"crossref","unstructured":"Mataric MJ (1993) Designing emergent behaviors: from local interactions to collective intelligence. In: Proceedings of the 2nd international conference on simulation of adaptive behavior","DOI":"10.7551\/mitpress\/3116.003.0059"},{"key":"650_CR22","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/j.engstruct.2015.09.018","volume":"103","author":"JA Murray","year":"2015","unstructured":"Murray JA, Sasani M, Shao X (2015) Hybrid simulation for system-level structural response. Eng Struct 103:228\u2013238","journal-title":"Eng Struct"},{"issue":"2","key":"650_CR23","doi-asserted-by":"publisher","first-page":"944","DOI":"10.1109\/COMST.2015.2398816","volume":"17","author":"DS Nunes","year":"2015","unstructured":"Nunes DS, Zhang P, Silva JS (2015) A survey on human-in-the-loop applications towards an internet of all. IEEE Commun Surv Tutor 17(2):944\u2013965","journal-title":"IEEE Commun Surv Tutor"},{"issue":"6","key":"650_CR24","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MM.2016.102","volume":"36","author":"D Roca","year":"2016","unstructured":"Roca D, Nemirovsky D, Nemirovsky M, Milito R, Valero M (2016) Emergent behaviors in the internet of things: the ultimate ultra-large-scale system. IEEE Micro 36(6):36\u201344","journal-title":"IEEE Micro"},{"key":"650_CR25","doi-asserted-by":"crossref","unstructured":"Rodriguez JD, Bauer Jr KW, Miller JO, Neher Jr RE (2008) Building prediction models of large hierarchical simulation models with artificial neural networks and other statistical techniques. In: Visual information processing XVII, vol 6978. International Society for Optics and Photonics, p 69780","DOI":"10.1117\/12.776715"},{"key":"650_CR26","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.bjp.2013.12.020","volume":"61","author":"L Sanchez","year":"2014","unstructured":"Sanchez L, Mu\u00f1oz L, Galache JA, Sotres P, Santana JR, Gutierrez V (2014) Smartsantander: Iot experimentation over a smart city testbed. Comput Netw 61:217\u2013238","journal-title":"Comput Netw"},{"key":"650_CR27","doi-asserted-by":"crossref","unstructured":"Van Tendeloo Y, Vangheluwe H (2014) Activity in pythonpdevs. In: ITM Web of conferences, vol 3. EDP Sciences, p 01002","DOI":"10.1051\/itmconf\/20140301002"},{"key":"650_CR28","doi-asserted-by":"crossref","unstructured":"Varga A, Hornig R (2008) An overview of the omnet++ simulation environment. In: Proceedings of the 1st international conference on simulation tools and techniques for communications, networks and systems & workshops, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), p 60","DOI":"10.4108\/ICST.SIMUTOOLS2008.3027"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-018-0650-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-018-0650-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-018-0650-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T22:48:13Z","timestamp":1720478893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-018-0650-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,3]]},"references-count":28,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,7]]}},"alternative-id":["650"],"URL":"https:\/\/doi.org\/10.1007\/s00607-018-0650-5","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,3]]},"assertion":[{"value":"29 March 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 July 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 August 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}