{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:52:30Z","timestamp":1730260350843,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/icufn.2017.7993932","type":"proceedings-article","created":{"date-parts":[[2017,7,27]],"date-time":"2017-07-27T20:39:33Z","timestamp":1501187973000},"page":"916-921","source":"Crossref","is-referenced-by-count":5,"title":["Framework for automated functional testing of P2P-based M2M applications"],"prefix":"10.1109","author":[{"given":"Besfort","family":"Shala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Wacht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Trick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Lehmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Besfort","family":"Shala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan","family":"Ghita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Shiaeles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2001.935444"},{"journal-title":"Basiswissen modellbasierter Test","year":"2016","author":"winter","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"booch","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"journal-title":"The Unified Modeling Language 2 0 Superstructure FTF convenience document (ptc\/04-10-02)","year":"2004","key":"ref15"},{"key":"ref16","article-title":"Efficient Test Case Derivation from Statecharts-Based Models","author":"wacht","year":"2016","journal-title":"The Eleventh International Conference on Networks"},{"key":"ref17","first-page":"1","article-title":"Test Derivation for Semantically Described IoT Services","author":"kuemper","year":"2013","journal-title":"Future Network and Mobile Summit (FutureNetworkSummit)"},{"journal-title":"IEEE Standard “IEEE Standard Glossary of Software Engineering Terminology","year":"1990","key":"ref18"},{"key":"ref19","article-title":"Model-based testing of distributed systems","volume":"548","author":"saifan","year":"0","journal-title":"Technicd Report"},{"key":"ref4","first-page":"64","article-title":"SIP-basierte P2P-Vernetzung in einer Energie-Community","author":"steinheimer","year":"0","journal-title":"ITG-Fachbericht-Mobilkommunikation"},{"journal-title":"Framework for Automated Functional Tests within Value-Added Service Environments","year":"2015","author":"wacht","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.42"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSGSC.2017.8038597"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2753476.2753481"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35567-2_7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FGCT.2013.6767198"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2010.75"},{"journal-title":"ETSI Tispan","article-title":"Machine-to-Machine communications (M2M); Definitions","year":"0","key":"ref1"},{"key":"ref20","article-title":"Issues in testing distributed component-based systems","author":"ghosh","year":"1999","journal-title":"Proceedings of the First International Conference on Softaware Engineering Workshop on Testing Distributed Component-Based Systems"},{"journal-title":"Software testen und analysieren” (translated title “Testing and analysing software”)","year":"0","author":"pezze","key":"ref22"},{"key":"ref21","article-title":"Ensuring Trustworthiness for P2P-based M2M applications","author":"shala","year":"2017","journal-title":"7th International Conference on Internet Technologies & Applications (ITA)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SOFTCOM.2016.7772108"},{"key":"ref23","first-page":"39","article-title":"Modellbasiertes Testen","author":"schieferdecker","year":"0","journal-title":"OBJEKTspektrum 3\/07"},{"journal-title":"Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3 Part1 TTCN-3 Core Language","year":"2008","key":"ref25"}],"event":{"name":"2017 Ninth International Conference on Ubiquitous and Future Networks (ICUFN)","start":{"date-parts":[[2017,7,4]]},"location":"Milan","end":{"date-parts":[[2017,7,7]]}},"container-title":["2017 Ninth International Conference on Ubiquitous and Future Networks (ICUFN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7985824\/7993726\/07993932.pdf?arnumber=7993932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T02:16:58Z","timestamp":1506997018000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7993932\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icufn.2017.7993932","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}