{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T17:12:29Z","timestamp":1774631549653,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Research Council of Norway","award":["309175"],"award-info":[{"award-number":["309175"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,30]]},"DOI":"10.1145\/3611643.3613888","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"2044-2049","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5212-9787","authenticated-orcid":false,"given":"Hassan","family":"Sartaj","sequence":"first","affiliation":[{"name":"Simula Research Laboratory, Oslo, Norway"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9979-3519","authenticated-orcid":false,"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Oslo, Norway \/ Oslo Metropolitan University, Oslo, Norway"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3262-5577","authenticated-orcid":false,"given":"Tao","family":"Yue","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Oslo, Norway"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5042-7371","authenticated-orcid":false,"given":"Kjetil","family":"Moberg","sequence":"additional","affiliation":[{"name":"Oslo Kommune Helseetaten, Oslo, Norway"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"d.]. APIFuzzer \u2014 HTTP API Testing Framework. https:\/\/github.com\/KissPeter\/APIFuzzer [Online","year":"2023","unstructured":"[n. d.]. APIFuzzer \u2014 HTTP API Testing Framework. https:\/\/github.com\/KissPeter\/APIFuzzer [Online; accessed 20-April-2023]"},{"key":"e_1_3_2_2_2_1","volume-title":"d.]. Dredd \u2014 HTTP API Testing Framework. https:\/\/github.com\/apiaryio\/dredd [Online","year":"2023","unstructured":"[n. d.]. Dredd \u2014 HTTP API Testing Framework. https:\/\/github.com\/apiaryio\/dredd [Online; accessed 20-April-2023]"},{"key":"e_1_3_2_2_3_1","volume-title":"d.]. National Welfare Technology Program. https:\/\/www.helsedirektoratet.no\/tema\/velferdsteknologi [Online","year":"2023","unstructured":"[n. d.]. National Welfare Technology Program. https:\/\/www.helsedirektoratet.no\/tema\/velferdsteknologi [Online; accessed 11-May-2023]"},{"key":"e_1_3_2_2_4_1","volume-title":"d.]. Norwegian Health Authority. https:\/\/www.oslo.kommune.no\/etater-foretak-og-ombud\/helseetaten\/ [Online","year":"2023","unstructured":"[n. d.]. Norwegian Health Authority. https:\/\/www.oslo.kommune.no\/etater-foretak-og-ombud\/helseetaten\/ [Online; accessed 11-May-2023]"},{"key":"e_1_3_2_2_5_1","volume-title":"d.]. Tcases: A Model-Based Test Case Generator. https:\/\/github.com\/Cornutum\/tcases [Online","year":"2023","unstructured":"[n. d.]. Tcases: A Model-Based Test Case Generator. https:\/\/github.com\/Cornutum\/tcases [Online; accessed 20-April-2023]"},{"key":"e_1_3_2_2_6_1","volume-title":"Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 7. 727\u2013742","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 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 7. 727\u2013742."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3150618"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3137003.3137007"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00046"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293455"},{"key":"e_1_3_2_2_11_1","volume-title":"Juan Pablo Galeotti, and Susruthan Seran","author":"Arcuri Andrea","year":"2023","unstructured":"Andrea Arcuri, Man Zhang, Asma Belhadi, Bogdan Marculescu, Amid Golmohammadi, Juan Pablo Galeotti, and Susruthan Seran. 2023. Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster. Software Quality Journal, 1\u201344."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00083"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00046"},{"key":"e_1_3_2_2_14_1","volume-title":"RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs. In 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME). 504\u2013508","author":"Corradini Davide","year":"2022","unstructured":"Davide Corradini, Amedeo Zampieri, Michele Pasqua, and Mariano Ceccato. 2022. RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs. In 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME). 504\u2013508."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1808"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2018.00035"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2018.00031"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3051158"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2023.01.322"},{"key":"e_1_3_2_2_20_1","volume-title":"Architectural styles and the design of network-based software architectures","author":"Fielding Roy Thomas","unstructured":"Roy Thomas Fielding. 2000. Architectural styles and the design of network-based software architectures. University of California, Irvine."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1805"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409719"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397374"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3528637"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-021-10017-1"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00023"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534401"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3056505"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510133"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE52982.2021.00034"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3340433.3342822"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3469082"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549144"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/DeepTest52559.2021.00008"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111369"},{"key":"e_1_3_2_2_36_1","volume-title":"Proceedings of the 17th European Conference on Software Architecture: Companion Proceedings. To Appear","author":"Sartaj Hassan","year":"2023","unstructured":"Hassan Sartaj, Shaukat Ali, Tao Yue, and Kjetil Moberg. 2023. HITA: An Architecture for System-level Testing of Healthcare IoT Applications. In Proceedings of the 17th European Conference on Software Architecture: Companion Proceedings. To Appear"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182528"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.24"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2014.74"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678586"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534365"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510151"}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"San Francisco CA USA","acronym":"ESEC\/FSE '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613888","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3613888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:10Z","timestamp":1750178230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613888"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":42,"alternative-id":["10.1145\/3611643.3613888","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3613888","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}