{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T23:47:05Z","timestamp":1775260025361,"version":"3.50.1"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030034238","type":"print"},{"value":"9783030034245","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03424-5_25","type":"book-chapter","created":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T09:58:12Z","timestamp":1540893492000},"page":"375-385","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool"],"prefix":"10.1007","author":[{"given":"Mirella","family":"Mart\u00ednez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna I.","family":"Esparcia-Alc\u00e1zar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanja E. J.","family":"Vos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pekka","family":"Aho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joan Fons","family":"i Cors","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,31]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Bauersfeld, S., de Rojas, A., Vos, T.E.J.: Evaluating rogue user testing in industry: an experience report. In: IEEE Eighth International Conference on Research Challenges in Information Science (RCIS), pp. 1\u201310, May 2014","DOI":"10.1109\/RCIS.2014.6861051"},{"key":"25_CR2","unstructured":"Bauersfeld, S., Vos, T.: A reinforcement learning approach to automated GUI robustness testing. In: Fast Abstracts of the 4th Symposium on Search-Based Software Engineering (SSBSE 2012), pp. 7\u201312. IEEE (2012)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Bauersfeld, S., Vos, T.E.J., Condori-Fern\u00e1ndez, N., Bagnato, A., Brosse, E.: Evaluating the TESTAR tool in an industrial case study. In: ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2014, Torino, Italy, 18\u201319 September 2014, p. 4 (2014)","DOI":"10.1145\/2652524.2652588"},{"key":"25_CR4","unstructured":"Business. The Internet of Things: where the smart is. Economist 419(8993), 52\u201353 (2016)"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Cetina, C., Giner, P., Fons, J., Pelechano, V.: Using feature models for developing self-configuring smart homes. In: Fifth International Conference on Autonomic and Autonomous Systems, pp. 179\u2013188 (2009)","DOI":"10.1109\/ICAS.2009.50"},{"key":"25_CR6","unstructured":"Frizell, S.: The smarter home. Special report. Time Mag. 184(1) (2014)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Grnbk, I.: Architecture for the internet of things (IoT): API and interconnect. In: Second International Conference on Sensor Technologies and Applications (SENSORCOMM 2008), pp. 802\u2013807, August 2008","DOI":"10.1109\/SENSORCOMM.2008.20"},{"key":"25_CR8","unstructured":"Hagar, J.: Experience report: a guide through the challenges and risks of testing the IoT. LogiGEAR Mag. VII(3) (2014)"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-642-00985-3_2","volume-title":"Future Internet \u2013 FIS 2008","author":"S Haller","year":"2009","unstructured":"Haller, S., Karnouskos, S., Schroth, C.: The Internet of Things in an enterprise context. In: Domingue, J., Fensel, D., Traverso, P. (eds.) FIS 2008. LNCS, vol. 5468, pp. 14\u201328. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00985-3_2"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-319-47106-8_15","volume-title":"Search Based Software Engineering","author":"F Almenar","year":"2016","unstructured":"Almenar, F., Esparcia-Alc\u00e1zar, A.I., Mart\u00ednez, M., Rueda, U.: Automated testing of web applications with TESTAR. In: Sarro, F., Deb, K. (eds.) SSBSE 2016. LNCS, vol. 9962, pp. 218\u2013223. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47106-8_15"},{"key":"25_CR11","unstructured":"Richardson, L., Ruby, S.: RESTful Web Services (2008)"},{"key":"25_CR12","unstructured":"Rueda, U., Vos, T.E.J., Almenar, F., Mart\u00ednez, M.O., Esparcia-Alc\u00e1zar, A.I.: TESTAR: from academic prototype towards an industry-ready tool for automated testing at the user interface level. In: Canos, J.H., Gonzalez Harbour, M. (eds.) Actas de las XX Jornadas de Ingenier\u00eda del Software y Bases de Datos (JISBD 2015), pp. 236\u2013245 (2015)"},{"key":"25_CR13","unstructured":"Tnjes, R., Reetz, E.S., Moessner, K., Barnaghi, P.M.: A test-driven approach for life cycle management of internet of things enabled services. In: Future Network Mobile Summit (FutureNetw 2012), pp. 1\u20138 (2012)"},{"key":"25_CR14","unstructured":"van der Mersch, V.: Automated testing for the Internet of Things. Nordic APIs Blog, May 2016"},{"key":"25_CR15","unstructured":"van der Meulen, R.: Gartner says 6.4 billion connected \u201cthings\u201d will be in use in 2016, up 30 percent from 2015. Press release, November 2015"},{"issue":"3","key":"25_CR16","first-page":"46","volume":"6","author":"TEJ Vos","year":"2015","unstructured":"Vos, T.E.J., Kruse, P.M., Condori-Fern\u00e1ndez, N., Bauersfeld, S., Wegener, J.: TESTAR: tool support for test automation at the user interface level. IJISMD 6(3), 46\u201383 (2015)","journal-title":"IJISMD"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Zhang, Z.K., Cho, M.C.Y., Wang, C.W., Hsu, C.W., Chen, C.K., Shieh, S.: IoT security: ongoing challenges and research opportunities. In: IEEE 7th International Conference on Service-Oriented Computing and Applications, pp. 230\u2013234, November 2014","DOI":"10.1109\/SOCA.2014.58"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03424-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T22:29:06Z","timestamp":1775255346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03424-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034238","9783030034245"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03424-5_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"31 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"126","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}