{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T21:38:01Z","timestamp":1775857081712,"version":"3.50.1"},"publisher-location":"Singapore","reference-count":41,"publisher":"Springer Singapore","isbn-type":[{"value":"9789811310553","type":"print"},{"value":"9789811310560","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,7,24]],"date-time":"2018-07-24T00:00:00Z","timestamp":1532390400000},"content-version":"unspecified","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":[[2019]]},"DOI":"10.1007\/978-981-13-1056-0_61","type":"book-chapter","created":{"date-parts":[[2018,7,23]],"date-time":"2018-07-23T16:30:31Z","timestamp":1532363431000},"page":"625-634","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Internet of Things: Current Challenges in the Quality Assurance and Testing Methods"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2994-7826","authenticated-orcid":false,"given":"Miroslav","family":"Bures","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5882-5502","authenticated-orcid":false,"given":"Tomas","family":"Cerny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9051-7609","authenticated-orcid":false,"given":"Bestoun S.","family":"Ahmed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,24]]},"reference":[{"key":"61_CR1","doi-asserted-by":"crossref","unstructured":"Kiruthika J, Khaddaj S (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, pp 176\u2013179","DOI":"10.1109\/DCABES.2015.51"},{"key":"61_CR2","doi-asserted-by":"crossref","unstructured":"Marinissen EJ, Zorian Y, Konijnenburg M, Huang CT, Hsieh PH, Cockburn P, Verbauwhede I 2016. May). Iot: source of test challenges. In: 2016 21th IEEE European Test Symposium (ETS). IEEE, pp 1\u201310","DOI":"10.1109\/ETS.2016.7519331"},{"key":"61_CR3","doi-asserted-by":"crossref","unstructured":"Xu T, Wendt JB, Potkonjak M (2014) Security of IoT systems: design challenges and opportunities. In: Proceedings of the 2014 IEEE\/ACM international conference on computer-aided design. IEEE, pp 417\u2013423","DOI":"10.1109\/ICCAD.2014.7001385"},{"issue":"4","key":"61_CR4","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/3013520","volume":"16","author":"E Bertino","year":"2016","unstructured":"Bertino E, Choo KKR, Georgakopolous D, Nepal S (2016) Internet of Things (IoT): smart and secure service delivery. ACM Trans Internet Technol (TOIT) 16(4):22","journal-title":"ACM Trans Internet Technol (TOIT)"},{"key":"61_CR5","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.comnet.2014.11.008","volume":"76","author":"S Sicari","year":"2015","unstructured":"Sicari S, Rizzardi A, Grieco LA, Coen-Porisini A (2015) Security, privacy and trust in Internet of Things: the road ahead. Comput Netw 76:146\u2013164","journal-title":"Comput Netw"},{"issue":"3","key":"61_CR6","doi-asserted-by":"publisher","first-page":"44","DOI":"10.3390\/info7030044","volume":"7","author":"H Lin","year":"2016","unstructured":"Lin H, Bergmann NW (2016) IoT privacy and security challenges for smart home environments. Information 7(3):44","journal-title":"Information"},{"issue":"6","key":"61_CR7","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s10916-016-0509-2","volume":"40","author":"A Sajid","year":"2016","unstructured":"Sajid A, Abbas H (2016) Data privacy in cloud-assisted healthcare systems: state of the art and future challenges. J Med Syst 40(6):155","journal-title":"J Med Syst"},{"key":"61_CR8","doi-asserted-by":"crossref","unstructured":"Worthy P, Matthews B, Viller S (2016) Trust me: doubts and concerns living with the Internet of Things. In: Proceedings of the 2016 ACM conference on designing interactive systems. ACM, pp 427\u2013434","DOI":"10.1145\/2901790.2901890"},{"issue":"4","key":"61_CR9","doi-asserted-by":"publisher","first-page":"2347","DOI":"10.1109\/COMST.2015.2444095","volume":"17","author":"A Al-Fuqaha","year":"2015","unstructured":"Al-Fuqaha A, Guizani M, Mohammadi M, Aledhari M, Ayyash M (2015) Internet of things: a survey on enabling technologies, protocols, and applications. IEEE Commun Surv Tutor 17(4):2347\u20132376","journal-title":"IEEE Commun Surv Tutor"},{"key":"61_CR10","first-page":"223","volume-title":"Internet of Things","author":"V Agrawal","year":"2015","unstructured":"Agrawal V (2015) Security and privacy issues in wireless sensor networks for healthcare. Internet of Things. Springer, User-Centric IoT, pp 223\u2013228"},{"issue":"5","key":"61_CR11","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1007\/s12652-016-0371-6","volume":"7","author":"V Desnitsky","year":"2016","unstructured":"Desnitsky V, Kotenko I (2016) Automated design, verification and testing of secure systems with embedded devices based on elicitation of expert knowledge. J Ambient Intell Humaniz Comput 7(5):705\u2013719","journal-title":"J Ambient Intell Humaniz Comput"},{"issue":"1","key":"61_CR12","doi-asserted-by":"publisher","first-page":"28","DOI":"10.3390\/s17010028","volume":"17","author":"TM Fern\u00e1ndez-Caram\u00e9s","year":"2016","unstructured":"Fern\u00e1ndez-Caram\u00e9s TM, Fraga-Lamas P, Su\u00e1rez-Albela M, Castedo L (2016) Reverse engineering and security evaluation of commercial tags for RFID-based IoT applications. Sensors 17(1):28","journal-title":"Sensors"},{"key":"61_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.is.2016.02.003","volume":"58","author":"S Sicari","year":"2016","unstructured":"Sicari S, Rizzardi A, Miorandi D, Cappiello C, Coen-Porisini A (2016) A secure and quality-aware prototypical architecture for the Internet of Things. Inf Syst 58:43\u201355","journal-title":"Inf Syst"},{"key":"61_CR14","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.jnca.2014.11.011","volume":"49","author":"QM Ashraf","year":"2015","unstructured":"Ashraf QM, Habaebi MH (2015) Autonomic schemes for threat mitigation in Internet of Things. J Netw Comput Appl 49:112\u2013127","journal-title":"J Netw Comput Appl"},{"issue":"1","key":"61_CR15","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s12652-016-0345-8","volume":"8","author":"F Wu","year":"2017","unstructured":"Wu F, Xu L, Kumari S, Li X (2017) A privacy-preserving and provable user authentication scheme for wireless sensor networks based on internet of things security. J Ambient Intell Humaniz Comput 8(1):101\u2013116","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"61_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.comcom.2016.03.014","volume":"89","author":"I Chatzigiannakis","year":"2016","unstructured":"Chatzigiannakis I, Vitaletti A, Pyrgelis A (2016) A privacy-preserving smart parking system using an IoT elliptic curve based security platform. Comput Commun 89:165\u2013177","journal-title":"Comput Commun"},{"key":"61_CR17","doi-asserted-by":"crossref","unstructured":"Kawazoe H, Ajitomi D, Minami K (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, pp 24\u201328","DOI":"10.1109\/ICCE-Berlin.2015.7391245"},{"key":"61_CR18","doi-asserted-by":"crossref","unstructured":"Rosenkranz P, W\u00e4hlisch M, Baccelli E, Ortmann L (2015) A distributed test system architecture for open-source IoT software. In: Proceedings of the 2015 workshop on IoT challenges in mobile and industrial systems. ACM, pp 43\u201348","DOI":"10.1145\/2753476.2753481"},{"key":"61_CR19","doi-asserted-by":"crossref","unstructured":"Fernandes J, Nati M, Loumis NS, Nikoletseas S, Raptis TP, Krco S, Ziegler S (2015) IoT lab: towards co-design and IoT solution testing using the crowd. In: 2015 international conference on recent advances in Internet of Things (RIoT). IEEE, pp 1\u20136","DOI":"10.1109\/RIOT.2015.7104907"},{"key":"61_CR20","doi-asserted-by":"crossref","unstructured":"Gim\u00e9nez P, Molina B, Palau CE, Esteve M (2013) SWE simulation and testing for the IoT. In: 2013 IEEE international conference on systems, man, and cybernetics (SMC). IEEE, pp 356\u2013361","DOI":"10.1109\/SMC.2013.67"},{"key":"61_CR21","unstructured":"Kuemper D, Reetz E, T\u00f6njes R (2013) Test derivation for semantically described IoT services. In: Future network and mobile summit (FutureNetworkSummit), 2013. IEEE, pp 1\u201310"},{"key":"61_CR22","doi-asserted-by":"crossref","unstructured":"Peischl B (2015) Software quality research: from processes to model-based techniques. In: 2015 IEEE eighth international conference on software testing, verification and validation workshops (ICSTW). IEEE, pp 1\u20136","DOI":"10.1109\/ICSTW.2015.7107475"},{"key":"61_CR23","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/978-3-319-47169-3_55","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"Abbas Ahmad","year":"2016","unstructured":"Ahmad A, Bouquet F, Fourneret E, Le Gall F, Legeard B (2016) Model-based testing as a service for IoT platforms. In: International symposium on leveraging applications of formal methods. Springer, pp 727\u2013742"},{"key":"61_CR24","first-page":"317","volume-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","author":"Gang Ren","year":"2016","unstructured":"Ren G, Deng P, Yang C, Zhang J, Hua Q (2015) A formal approach for modeling and verification of distributed systems. In: International conference on cloud computing. Springer, pp 317\u2013322"},{"key":"61_CR25","doi-asserted-by":"crossref","unstructured":"Jia Y, Bodanese E, Bigham J (2012) Model checking of the reliability of publish\/subscribe structure based system. In: 2012 1st IEEE international conference on communications in China (ICCC). IEEE, pp 155\u2013160","DOI":"10.1109\/ICCChina.2012.6356870"},{"key":"61_CR26","doi-asserted-by":"crossref","unstructured":"Choe Y, Lee S, Lee M (2016) SAVE: an environment for visual specification and verification of IoT. In: 2016 IEEE 20th international enterprise distributed object computing workshop (EDOCW). IEEE, pp 1\u20138","DOI":"10.1109\/EDOCW.2016.7584384"},{"issue":"3","key":"61_CR27","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s10009-016-0440-3","volume":"19","author":"LM Hillah","year":"2017","unstructured":"Hillah LM, Maesano AP, De Rosa F, Kordon F, Wuillemin PH, Fontanelli R, Maesano L (2017) Automation and intelligent scheduling of distributed system functional testing. Int J Softw Tools Technol Transfer 19(3):281\u2013308","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"61_CR28","first-page":"318","volume-title":"Communications in Computer and Information Science","author":"Laura Gonz\u00e1lez","year":"2013","unstructured":"Gonz\u00e1lez L, Cubo J, Brogi A, Pimentel E, Ruggia R (2013) Run-time verification of behaviour-aware mashups in the Internet of Things. In: European conference on service-oriented and cloud computing. Springer, pp 318\u2013330"},{"key":"61_CR29","doi-asserted-by":"crossref","unstructured":"Ahmad M (2014) Reliability models for the Internet of Things: a paradigm shift. In: 2014 IEEE international symposium on software reliability engineering workshops (ISSREW). IEEE, pp 52\u201359","DOI":"10.1109\/ISSREW.2014.107"},{"key":"61_CR30","doi-asserted-by":"crossref","unstructured":"Yong-Fei L, Li-Qin T (2014) Comprehensive evaluation method of reliability of Internet of Things. In: 2014 ninth international conference on P2P, parallel, grid, cloud and internet computing (3PGCIC). IEEE, pp 262\u2013266","DOI":"10.1109\/3PGCIC.2014.74"},{"key":"61_CR31","doi-asserted-by":"crossref","unstructured":"Behera RK, Reddy KHK, Roy DS (2015) Reliability modelling of service oriented Internet of Things. In: 2015 4th international conference on reliability, infocom technologies and optimization (ICRITO) (Trends and Future Directions). IEEE, pp 1\u20136","DOI":"10.1109\/ICRITO.2015.7359216"},{"key":"61_CR32","doi-asserted-by":"crossref","unstructured":"Xie H, Wei L, Zhou J, Hua X (2013) Research of conformance testing of low-rate wireless sensor networks based on remote test method. In 2013 fifth international conference on computational and information sciences (ICCIS). IEEE, pp 1396\u20131400","DOI":"10.1109\/ICCIS.2013.369"},{"key":"61_CR33","doi-asserted-by":"crossref","unstructured":"G\u00f6hring M, Schmitz R (2015) On randomness testing in physical layer key agreement. In: 2015 IEEE 2nd world forum on Internet of Things (WF-IoT). IEEE, pp 733\u2013738","DOI":"10.1109\/WF-IoT.2015.7389145"},{"key":"61_CR34","doi-asserted-by":"crossref","unstructured":"Bae H, Sim SH, Choi Y, Liu L (2016) Statistical verification of process conformance based on log equality test. In: 2016 IEEE 2nd international conference on collaboration and internet computing (CIC). IEEE, pp 229\u2013235","DOI":"10.1109\/CIC.2016.040"},{"key":"61_CR35","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-319-49806-5_23","volume-title":"Information Systems Security","author":"Douglas Sim\u00f5es Silva","year":"2016","unstructured":"Silva DS, Resner D, de Souza RL, Martina JE (2016) Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks. In: Information systems security. Springer, pp 426\u2013443"},{"key":"61_CR36","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-642-33191-6_35","volume-title":"Advances in Visual Computing","author":"Volker Wittstock","year":"2012","unstructured":"Wittstock, V., Lorenz, M., Wittstock, E. and P\u00fcrzel, F. 2012. A Framework for User Tests in a Virtual Environment. In Advances in Visual Computing, 358\u2013367"},{"key":"61_CR37","doi-asserted-by":"crossref","unstructured":"Batalla JM, Gajewski M, Latoszek W, Krawiec P (2015) Implementation and performance testing of ID layer nodes for hierarchized IoT network. In: Asian conference on intelligent information and database systems. Springer, pp 463\u2013472","DOI":"10.1007\/978-3-319-15705-4_45"},{"key":"61_CR38","doi-asserted-by":"crossref","unstructured":"Bures M (2014) Automated testing in the Czech Republic: the current situation and issues. In: Proceedings of the 15th international conference on computer systems and technologies. ACM, pp 294\u2013301","DOI":"10.1145\/2659532.2659605"},{"key":"61_CR39","doi-asserted-by":"crossref","unstructured":"Bures M (2015) Framework for assessment of web application automated testability. In: Proceedings of the 2015 conference on research in adaptive and convergent systems. ACM, pp 512\u2013514","DOI":"10.1145\/2811411.2811557"},{"key":"61_CR40","doi-asserted-by":"crossref","unstructured":"Bures M (2015) Metrics for automated testability of web applications. In: Proceedings of the 16th international conference on computer systems and technologies. ACM, pp 83\u201389","DOI":"10.1145\/2812428.2812458"},{"key":"61_CR41","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1007\/978-3-319-16486-1_77","volume-title":"New Contributions in Information Systems and Technologies","author":"Miroslav Bures","year":"2015","unstructured":"Bures M (2015) Model for evaluation and cost estimations of the automated testing architecture. In: New contributions in information systems and technologies. Springer, pp 781\u2013787"}],"container-title":["Lecture Notes in Electrical Engineering","Information Science and Applications 2018"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-1056-0_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,3]],"date-time":"2023-09-03T22:30:39Z","timestamp":1693780239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-1056-0_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,24]]},"ISBN":["9789811310553","9789811310560"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-1056-0_61","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"value":"1876-1100","type":"print"},{"value":"1876-1119","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,24]]},"assertion":[{"value":"24 July 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICISA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Science and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hong Kong","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icisa2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}