{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:18:58Z","timestamp":1761488338305,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642050305"},{"type":"electronic","value":"9783642050312"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05031-2_11","type":"book-chapter","created":{"date-parts":[[2009,11,2]],"date-time":"2009-11-02T07:32:25Z","timestamp":1257147145000},"page":"163-178","source":"Crossref","is-referenced-by-count":1,"title":["TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks"],"prefix":"10.1007","author":[{"given":"Zhiliang","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xia","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Xiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruiping","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shirui","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shijian","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Song","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"3GPP TS 23.246 (v9.0.0): Multimedia Broadcast\/Multicast Service (MBMS); Architecture and Functional Description (Release 9) (March 2009)"},{"key":"11_CR2","unstructured":"3GPP TS 26.346 (v8.2.0): Multimedia Broadcast\/Multicast Service (MBMS); Protocols and Codecs (Release 8) (March 2009)"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/TBC.2007.891711","volume":"53","author":"F. Hartung","year":"2007","unstructured":"Hartung, F., Horn, U., Huschke, J., Kampmann, M., Lohmar, T., Lundevall, M.: Delivery of Broadcast Services in 3G Networks. IEEE Transactions on Broadcasting\u00a053(1), 188\u2013199 (2007)","journal-title":"IEEE Transactions on Broadcasting"},{"key":"11_CR4","unstructured":"Open Mobile Alliance: Mobile Broadcast Services Architecture (OMA-AD-BCAST-V1_0-20090212-A) (February 2009)"},{"key":"11_CR5","unstructured":"Open Mobile Alliance: Mobile Broadcast Services (OMA-TS-BCAST_Services-V1_0-20090212-A) (February 2009)"},{"key":"11_CR6","first-page":"1","volume":"2","author":"H. Zhang","year":"2008","unstructured":"Zhang, H., Chang, J., Tang, J., Yang, Z.: Analysis and Design of Mobile Broadcast Busi-ness Management System. Telecom Engineering Techniques and Standardization\u00a02, 1\u20134 (2008) (In Chinese)","journal-title":"Telecom Engineering Techniques and Standardization"},{"key":"11_CR7","unstructured":"ISO\/IEC: ISO\/IEC 9646: Information technology, open systems interconnection, confor-mance testing methodology and framework. Geneva, Switzerland (1991)"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S1389-1286(03)00249-4","volume":"42","author":"J. Grabowski","year":"2003","unstructured":"Grabowski, J., Hogrefe, D., Rethy, G., et al.: An introduction to the testing and test control notation (TTCN-3). Computer Networks\u00a042(3), 375\u2013403 (2003)","journal-title":"Computer Networks"},{"key":"11_CR9","unstructured":"ETSI: ETSI standard ES 201 873-1 V3.4.1: The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (September 2008)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/11430230_22","volume-title":"Testing of Communicating Systems","author":"A. Floch","year":"2005","unstructured":"Floch, A., Roudaut, F., Sabiguero, A., et al.: Some lessons from an experiment using TTCN-3 for the RIPng testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, pp. 318\u2013332. Springer, Heidelberg (2005)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/11506843_14","volume-title":"SDL 2005: Model Driven","author":"F. Noudem","year":"2005","unstructured":"Noudem, F., Viho, C.: Modeling, verifying and testing mobility protocol from SDL language. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 198\u2013209. Springer, Heidelberg (2005)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-24704-3_4","volume-title":"Testing of Communicating Systems","author":"S. Dibuz","year":"2004","unstructured":"Dibuz, S., Szabo, T., Torpis, Z.: BCMP performance test with TTCN-3 mobile node emulator. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol.\u00a02978, pp. 50\u201359. Springer, Heidelberg (2004)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11754008_12","volume-title":"Testing of Communicating Systems","author":"G. Din","year":"2006","unstructured":"Din, G., Tolea, S., Schieferdecker, I.: Distributed load tests with TTCN-3. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 177\u2013196. Springer, Heidelberg (2006)"},{"issue":"11","key":"11_CR14","doi-asserted-by":"publisher","first-page":"1703","DOI":"10.1007\/s11432-008-0156-4","volume":"51","author":"X. Yin","year":"2008","unstructured":"Yin, X., Wang, Z., Jing, C., Shi, X.: A TTCN-3-based protocol testing system and its extension. Science in China Series F: Information Sciences\u00a051(11), 1703\u20131722 (2008)","journal-title":"Science in China Series F: Information Sciences"},{"key":"11_CR15","unstructured":"Werner, E., Grabowski, J., Troschutz, S., Zeiss, B.: A TTCN-3-based Web Service Test Framework. In: Software Engineering 2008 Workshops, pp. 375\u2013382 (2008)"},{"issue":"4","key":"11_CR16","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s10009-008-0082-1","volume":"10","author":"B. Stepien","year":"2008","unstructured":"Stepien, B., Peyton, L., Xiong, P.: Framework testing of web applications using TTCN-3. International Journal on Software Tools for Technology Transfer.\u00a010(4), 371\u2013381 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer."},{"issue":"1","key":"11_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/MNET.2007.314534","volume":"21","author":"Y.-B. Lin","year":"2007","unstructured":"Lin, Y.-B., Liang, C.-F., Chen, K.-H., Liao, H.-Y.: NTP-SIOT: a test tool for advanced mobile services. IEEE Network\u00a021(1), 21\u201326 (2007)","journal-title":"IEEE Network"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1002\/wcm.496","volume":"8","author":"Y.-B. Lin","year":"2007","unstructured":"Lin, Y.-B., Wang, C.-C., Lu, C.-H., Hsu, M.-R.: NTP-PoCT: a conformance test tool for push-to-talk over cellular network. Wireless Communications and Mobile Computing\u00a08, 673\u2013686 (2007)","journal-title":"Wireless Communications and Mobile Computing"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-36573-7_12","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"P. Baker","year":"2003","unstructured":"Baker, P., Bristow, P., Jervis, C., King, D.J., Mitchell, B.: Automatic Generation of Con-formance Tests from Message Sequence Charts. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, pp. 170\u2013198. Springer, Heidelberg (2003)"},{"key":"11_CR20","unstructured":"Ebner, M.: TTCN-3 Test Case Generation from Message Sequence Charts. In: IEEE Inter-national Symposium on Software Reliability Engineering (ISSRE 2004) Workshop on In-tegrated-reliability with Telecommunications and UML Languages (ISSRE 2004: WITUL 2004) (2004)"},{"key":"11_CR21","unstructured":"ETSI: ETSI standard ES 201 873-9 V3.3.1: The Testing and Test Control Notation version 3; Part 9: Using XML schema with TTCN-3. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (July 2008)"},{"key":"11_CR22","unstructured":"Using XML Schema with TTCN-3, \n                    \n                      http:\/\/wiki.openttcn.com\/media\/index.php\/OpenTTCN\/Working_documents\/Reviews\/Using_XML_Schema_with_TTCN-3"},{"key":"11_CR23","unstructured":"3GPP TS 33.220 (v8.6.0): Generic Authentication Architecture (GAA); Generic bootstrap-ping architecture (Release 8) (March 2009)"},{"key":"11_CR24","unstructured":"ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva (2004)"},{"key":"11_CR25","first-page":"291","volume-title":"Proc. of the 8th International SDL Forum (SDL 1997)","author":"S. Mauw","year":"1997","unstructured":"Mauw, S., Reniers, M.A.: High-level message sequence charts. In: Cavalli, A.R., Sarma, A. (eds.) Proc. of the 8th International SDL Forum (SDL 1997), pp. 291\u2013306. Elsevier, Amsterdam (1997)"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-45187-7_21","volume-title":"CONCUR 2003 - Concurrency Theory","author":"B. Genest","year":"2003","unstructured":"Genest, B., H\u00e9lou\u00ebt, L., Muscholl, A.: High-Level Message Sequence Charts and Projec-tions. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 311\u2013326. Springer, Heidelberg (2003)"},{"issue":"4","key":"11_CR27","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1016\/j.jcss.2005.09.007","volume":"72","author":"B. Genest","year":"2006","unstructured":"Genest, B., Muscholl, A., Seidl, H., Zeitoun, M.: Infinite-state high-level MSCs: Model-checking and realizability. Journal of Computer and System Sciences\u00a072(4), 617\u2013647 (2006)","journal-title":"Journal of Computer and System Sciences"},{"key":"11_CR28","unstructured":"XMLSpy, \n                    \n                      http:\/\/www.altova.com\/products\/xmlspy\/xmlspy.html"},{"key":"11_CR29","unstructured":"Open Mobile Alliance: Service Guide for Mobile Broadcast Services(OMA-TS-BCAST_Service_Guide-V1_0-20090212-A) (February 2009)"},{"key":"11_CR30","unstructured":"3GPP TS 33.246 (v8.3.0): 3G Security; Security of Multimedia Broadcast\/Multicast Service (MBMS) (Release 8) (March 2009)"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Niemi, A., Arkko, J., Torvinen, V.: Hypertext Transfer Protocol (HTTP) Digest Authentication Using Authentication and Key Agreement (AKA). IETF RFC 3310 (September 2002)","DOI":"10.17487\/rfc3310"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Franks, J., Hallam-Baker, P., Hostetler, J., et al.: HTTP Authentication: Basic and Digest Access Authentication. IETF RFC 2617 (June 1999)","DOI":"10.17487\/rfc2617"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Arkko, J., Carrara, E., Lindholm, F., et al.: MIKEY: Multimedia Internet KEYing. IETF RFC 3830 (August 2004)","DOI":"10.17487\/rfc3830"},{"key":"11_CR34","unstructured":"Telelogic tester, \n                    \n                      http:\/\/www.telelogic.com\/Products\/tester\/index.cfm"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05031-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:31:41Z","timestamp":1558269101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05031-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050305","9783642050312"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05031-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}