{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:17Z","timestamp":1750220597062,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,9,25]],"date-time":"2020-09-25T00:00:00Z","timestamp":1600992000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9,25]]},"DOI":"10.1145\/3425329.3425330","type":"proceedings-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T09:59:53Z","timestamp":1606211993000},"page":"141-145","source":"Crossref","is-referenced-by-count":2,"title":["Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems"],"prefix":"10.1145","author":[{"given":"Vaclav","family":"Rechtberger","sequence":"first","affiliation":[{"name":"FEE Czech Technical University in Prague Karlovo, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Bures","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, FEE Czech Technical University in Prague Karlovo, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bestoun S.","family":"Ahmed","sequence":"additional","affiliation":[{"name":"Karlstad University and FEE, CTU in Prague Universitetsgatan, Karlstad Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,11]]},"reference":[{"volume-title":"Int. Conf. on Information Science and Applications","author":"Bures M.","key":"e_1_3_2_1_1_1"},{"volume-title":"2016 21th IEEE European Test Symposium (ETS). IEEE, 1--10","year":"2016","author":"Marinissen E. J.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Ahmed B. S. Bures M. Frajtak K. and Cerny T. 2019. Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. IEEE Access 7 (Jan. 2019) 13758--13780. DOI= https:\/\/doi.org\/10.1109\/ACCESS.2019.2893493.  Ahmed B. S. Bures M. Frajtak K. and Cerny T. 2019. Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. IEEE Access 7 (Jan. 2019) 13758--13780. DOI= https:\/\/doi.org\/10.1109\/ACCESS.2019.2893493.","DOI":"10.1109\/ACCESS.2019.2893493"},{"key":"e_1_3_2_1_4_1","unstructured":"Pezz\u00e8 M. and Young M. 2008. Software testing and analysis: process principles and techniques. John Wiley & Sons.  Pezz\u00e8 M. and Young M. 2008. Software testing and analysis: process principles and techniques. John Wiley & Sons."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"volume-title":"2012 Third Int. Conf. on Computer and Communication Technology. IEEE, 133--140","year":"2012","author":"Aggarwal M.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2016.42"},{"volume-title":"Coverage-Based Testing with Symbolic Transition Systems. In Int. Conf. on Tests and Proofs. Springer, Cham, 64--82","author":"van den Bos P.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-016-9330-x"},{"key":"e_1_3_2_1_10_1","first-page":"11","article-title":"Basis Path Based Test Suite Minimization Using Genetic","volume":"10","author":"Anbunathan R.","year":"2018","journal-title":"Algorithm. Int. J. Intell. Syst. Appl."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2017.00034"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Pradhan S. Ray M. and Swain S. K. 2019. Transition coverage based test case generation from state chart diagram. J. King Saud Univ. (May 2019). DOI=https:\/\/doi.org\/10.1016\/j.jksuci.2019.05.005.  Pradhan S. Ray M. and Swain S. K. 2019. Transition coverage based test case generation from state chart diagram. J. King Saud Univ. (May 2019). DOI=https:\/\/doi.org\/10.1016\/j.jksuci.2019.05.005.","DOI":"10.1016\/j.jksuci.2019.05.005"},{"key":"e_1_3_2_1_13_1","first-page":"86","volume-title":"Proceedings of the 18th Int. Software Product Line Conf.: Companion","volume":"2","author":"Devroey X."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Bures M. and Ahmed B. S. 2019. Employment of multiple algorithms for optimal path-based test selection strategy. Information and Software Technology 114 (Oct. 2019) 21--36. DOI= https:\/\/doi.org\/10.1016\/j.infsof.2019.06.006.  Bures M. and Ahmed B. S. 2019. Employment of multiple algorithms for optimal path-based test selection strategy. Information and Software Technology 114 (Oct. 2019) 21--36. DOI= https:\/\/doi.org\/10.1016\/j.infsof.2019.06.006.","DOI":"10.1016\/j.infsof.2019.06.006"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.03.007"},{"key":"e_1_3_2_1_16_1","volume-title":"Advances in Computers","volume":"112","author":"Papadakis M.","year":"2018"}],"event":{"name":"WSSE 2020: 2020 The 2nd World Symposium on Software Engineering","sponsor":["Wuhan Univ. Wuhan University, China","University of Electronic Science and Technology of China University of Electronic Science and Technology of China"],"location":"Chengdu China","acronym":"WSSE 2020"},"container-title":["Proceedings of the 2020 The 2nd World Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425329.3425330","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3425329.3425330","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:54Z","timestamp":1750195914000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425329.3425330"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,25]]},"references-count":16,"alternative-id":["10.1145\/3425329.3425330","10.1145\/3425329"],"URL":"https:\/\/doi.org\/10.1145\/3425329.3425330","relation":{},"subject":[],"published":{"date-parts":[[2020,9,25]]}}}