{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T03:25:49Z","timestamp":1769743549175,"version":"3.49.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,1,6]],"date-time":"2020-01-06T00:00:00Z","timestamp":1578268800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,6]],"date-time":"2020-01-06T00:00:00Z","timestamp":1578268800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003510","name":"Haridus-ja Teadusministeerium","doi-asserted-by":"publisher","award":["IUT33-13"],"award-info":[{"award-number":["IUT33-13"]}],"id":[{"id":"10.13039\/501100003510","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Reliable Intell Environ"],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s40860-019-00095-w","type":"journal-article","created":{"date-parts":[[2020,1,6]],"date-time":"2020-01-06T09:04:04Z","timestamp":1578301444000},"page":"15-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Model-based testing of autonomous robots using TestIt"],"prefix":"10.1007","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8201-8540","authenticated-orcid":false,"given":"Gert","family":"Kanter","sequence":"first","affiliation":[]},{"given":"J\u00fcri","family":"Vain","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,1,6]]},"reference":[{"key":"95_CR1","unstructured":"Quigley M et al (2009) ROS: an open-source robot operating system. In: ICRA workshop on open source software, 2009(online). https:\/\/www.willowgarage.com\/sites\/default\/files\/icraoss09-ROS.pdf"},{"key":"95_CR2","doi-asserted-by":"publisher","first-page":"5772","DOI":"10.1109\/HICSS.2016.714","volume-title":"49th Hawaii international conference on system sciences (HICSS)","author":"S Kumar","year":"2016","unstructured":"Kumar S, Vealey T, Srivastava H (2016) Security in internet of things: challenges, solutions and future directions. 49th Hawaii international conference on system sciences (HICSS). Koloa, HI, pp 5772\u20135781"},{"issue":"5s","key":"95_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3126521","volume":"16","author":"J Deshmukh","year":"2017","unstructured":"Deshmukh J, Horvat M, Jin X, Majumdar R, Prabhu V (2017) Testing cyber-physical systems through Bayesian optimization. ACM Trans Embed Comput Syst 16(5s):1\u201318. https:\/\/doi.org\/10.1145\/3126521 (article 170, Sep 2017)","journal-title":"ACM Trans Embed Comput Syst"},{"key":"95_CR4","doi-asserted-by":"crossref","unstructured":"Bartocci E et al (2018) Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In: Bartocci E, Falcone Y (eds) Lectures on runtime verification. Lecture notes in computer science, vol 10457. Springer, Cham","DOI":"10.1007\/978-3-319-75632-5_5"},{"issue":"1\u20132","key":"95_CR5","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshell. Int J Softw Tools Technol Transf 1(1\u20132):134\u2013152. https:\/\/doi.org\/10.1007\/s100090050010","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"6","key":"95_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MCS.2016.2602089","volume":"36","author":"J Kapinski","year":"2016","unstructured":"Kapinski J, Deshmukh JV, Jin X, Ito H, Butts K (2016) Simulation-based approaches for verification of embedded control systems: an overview of traditional and advanced modeling, testing, and verification techniques. IEEE Control Syst Mag 36(6):45\u201364","journal-title":"IEEE Control Syst Mag"},{"key":"95_CR7","doi-asserted-by":"publisher","unstructured":"Utting M, Pretschner A, Legeard B (2012) A taxonomy of model based testing approaches. Softw Test Verif Reliab 22(5):297\u2013312. https:\/\/doi.org\/10.1002\/stvr.456. Accessed 18 May 2015","DOI":"10.1002\/stvr.456"},{"key":"95_CR8","doi-asserted-by":"crossref","unstructured":"Tretmans J (1996) Test generation with inputs, outputs, and quiescence. In: TACAS, vol 1055 of LNCS, p 127\u2013146. Springer, New York","DOI":"10.1007\/3-540-61042-1_42"},{"key":"95_CR9","doi-asserted-by":"crossref","unstructured":"Vain J, Kanter G, Srinivasan S (2017) Model based testing of distributed time critical systems. In: 2017 6th international conference on reliability, Infocom technologies and optimization (ICRITO) (trends and future directions), 20\u201322 Sep 2017, Noida","DOI":"10.1109\/ICRITO.2017.8342406"},{"key":"95_CR10","unstructured":"Baier C, Katoen J-P (2008) Principles of model checking (representation and mind series). MIT Press, New York"},{"key":"95_CR11","doi-asserted-by":"publisher","first-page":"75","DOI":"10.3176\/proc.2017.1.08","volume":"66","author":"A Anier","year":"2017","unstructured":"Anier A, Vain J, Tsiopolous L (2017) DTRON: a tool for distributed model-based testing of time critical applications. Est Acad Sci 66:75\u201388","journal-title":"Est Acad Sci"},{"key":"95_CR12","doi-asserted-by":"crossref","unstructured":"Larsen KG, Mikucionis M, Nielsen B, Skou A (2005) Testing real-time embedded software using UPPAAL-TRON: an industrial case study. In: EMSOFT","DOI":"10.1145\/1086228.1086283"},{"key":"95_CR13","doi-asserted-by":"crossref","unstructured":"Santos A, Cunha A, Macedo N, Louren\u00e7o C (2016) A framework for quality assessment of ROS repositories. In: 2016 IEEE\/RSJ international conference on intelligent robots and systems (IROS), Daejeon, pp 4491\u20134496","DOI":"10.1109\/IROS.2016.7759661"},{"key":"95_CR14","doi-asserted-by":"crossref","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on UPPAAL. In: Bernardo M, Corradini F (eds) SFM-RT 2004. LNCS, vol 3185, pp 200\u2013237. Springer, New York","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"95_CR15","volume-title":"DIVINE: explicit-state LTL model checker. Tools and algorithms for the construction and analysis of systems","author":"V \u0160till","year":"2016","unstructured":"\u0160till V, Ro\u010dkai P, Barnat J (2016) DIVINE: explicit-state LTL model checker. Tools and algorithms for the construction and analysis of systems. Springer, Berlin"},{"key":"95_CR16","volume-title":"Model-based testing of web applications using NModel. TESTCOM\/FATES 2009","author":"J Ernits","year":"2009","unstructured":"Ernits J, Roo R, Jacky J, Veanes M (2009) Model-based testing of web applications using NModel. TESTCOM\/FATES 2009. Springer, New York"},{"issue":"3","key":"95_CR17","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/MRA.2016.2636359","volume":"24","author":"N Hawes","year":"2017","unstructured":"Hawes N et al (2017) The STRANDS project: long-term autonomy in everyday environments. IEEE Robot Autom Mag 24(3):146\u2013156","journal-title":"IEEE Robot Autom Mag"},{"key":"95_CR18","unstructured":"Gummel A (2018) Modelbased testing with TestIt: the robot operating system case-study. MSc Thesis, Tallinn University of Technology, Tallinn, Estonia. https:\/\/digi.lib.ttu.ee\/i\/?10616"},{"issue":"2\u20134","key":"95_CR19","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11721-008-0014-4","volume":"2","author":"R Vaughan","year":"2008","unstructured":"Vaughan R (2008) Massively multiple robot simulations in stage. Swarm Intell 2(2\u20134):189\u2013208 (Springer)","journal-title":"Swarm Intell"}],"container-title":["Journal of Reliable Intelligent Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-019-00095-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40860-019-00095-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-019-00095-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,5]],"date-time":"2021-01-05T00:51:36Z","timestamp":1609807896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40860-019-00095-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,6]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["95"],"URL":"https:\/\/doi.org\/10.1007\/s40860-019-00095-w","relation":{},"ISSN":["2199-4668","2199-4676"],"issn-type":[{"value":"2199-4668","type":"print"},{"value":"2199-4676","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,6]]},"assertion":[{"value":"3 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 December 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 January 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}