{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:12:30Z","timestamp":1729624350894,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/fgct.2013.6767211","type":"proceedings-article","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T15:25:36Z","timestamp":1395329136000},"page":"59-64","source":"Crossref","is-referenced-by-count":1,"title":["A new service description for communication services as basis for automated functional testing"],"prefix":"10.1109","author":[{"given":"P.","family":"Wacht","sequence":"first","affiliation":[]},{"given":"U.","family":"Trick","sequence":"additional","affiliation":[]},{"given":"W.","family":"Fuhrmann","sequence":"additional","affiliation":[]},{"given":"B.","family":"Ghita","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The Pi-calculus A Theory of Mobile Processes","year":"2008","author":"sangiorgi","key":"19"},{"key":"17","article-title":"Ttcn-3 for distributed testing embedded software","author":"blom","year":"2006","journal-title":"Proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics (PSI"},{"key":"18","article-title":"Automated transition from use cases to uml state machines to support state-based testing","author":"yue","year":"0","journal-title":"Proceedings of the Seventh European Conference on Modelling Foundations and Applications (ECMFA 2011"},{"journal-title":"ITU-T","year":"2001","key":"15"},{"journal-title":"ITU-T","year":"2001","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2011.5721068"},{"journal-title":"EG 201 873-1 Methods for Testing and Specification (MTS) The Testing and Test Control Notation Version 3 Part 1 TTCN-3 Core Language","year":"2008","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/VALID.2010.12"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2011.5721068"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.16"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.1145\/360204.360213","article-title":"Mobile values, new names, and secure communication proceedings of the twentyeighth","author":"abadi","year":"2001","journal-title":"ACM SIGPLAN Principles of Programming Languages"},{"key":"2","doi-asserted-by":"crossref","first-page":"2137","DOI":"10.1023\/A:1018612119212","article-title":"Development of new telecommunications services using an expert system","volume":"15","author":"eberlein","year":"1997","journal-title":"BT Technology Journal"},{"key":"1","article-title":"Improving requirements specification for communication services with formalised use case models","author":"ryndina","year":"2004","journal-title":"Proc South African Telecommunications Networks and Applications Conf"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2009.4839619"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s007660200005"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2007.8"},{"key":"5","article-title":"Generating test cases specifications for BPEL compositions of web services using SPIN","author":"garcia-fanjul","year":"2006","journal-title":"Proceedings of the International Workshop on Web Services Modeling and Testing Palermo Italy"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2006.261270"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.25"},{"key":"8","first-page":"456","article-title":"An approach for the synthesis of state transition graphs from use cases","volume":"1","author":"some?","year":"2003","journal-title":"CSREA Press"}],"event":{"name":"2013 Second International Conference on Future Generation Communication Technologies (FGCT)","start":{"date-parts":[[2013,11,12]]},"location":"London","end":{"date-parts":[[2013,11,14]]}},"container-title":["Second International Conference on Future Generation Communication Technologies (FGCT 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6766332\/6767177\/06767211.pdf?arnumber=6767211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T06:44:45Z","timestamp":1689057885000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6767211\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/fgct.2013.6767211","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}