{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:49Z","timestamp":1725557869888},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201755"},{"type":"electronic","value":"9783540399797"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_21","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T14:52:22Z","timestamp":1277218342000},"page":"319-334","source":"Crossref","is-referenced-by-count":1,"title":["QoS Functional Testing for Multi-media Systems"],"prefix":"10.1007","author":[{"given":"Tao","family":"Sun","sequence":"first","affiliation":[]},{"given":"Keiichi","family":"Yasumoto","sequence":"additional","affiliation":[]},{"given":"Masaaki","family":"Mori","sequence":"additional","affiliation":[]},{"given":"Teruo","family":"Higashino","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: Theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.A.: REX 1991. LNCS, vol.\u00a0600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Bowman, H., Faconti, G., Massink, M.: Specification and verification of media constraints using UPPAAL. In: Proc. of 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, pp. 261\u2013277 (1998)","DOI":"10.1007\/978-3-7091-3693-5_17"},{"key":"21_CR4","unstructured":"Cheung, S.C., Chanson, S.T., Xu, Z.: Toward Generic Timing Tests for Distributed Multimedia Software Systems. In: IEEE Int\u2019l. Symp. on Software Reliability Engineering (2001)"},{"issue":"4","key":"21_CR5","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/54.491236","volume":"12","author":"D.K. Fibush","year":"1995","unstructured":"Fibush, D.K.: Testing multimedia transmission systems. IEEE Design & Test of Computers\u00a012(4), 24\u201344 (1995)","journal-title":"IEEE Design & Test of Computers"},{"key":"21_CR6","unstructured":"Grabowski, J., Walter, T.: Testing Quality-of-Service Aspects in Multimedia Applications. In: Proc. of 2nd Workshop on Protocols for Multi-media Systems, PROMS (1995)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.R.: Generating Test Cases for a Timed I\/O Automaton Model. In: Proc. 12th IFIP Workshop on Testing of Communicating Systems (IWTCS 1999), pp. 197\u2013214 (1999)","DOI":"10.1007\/978-0-387-35567-2_13"},{"issue":"4","key":"21_CR8","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/93.735868","volume":"5","author":"C.M. Huang","year":"1998","unstructured":"Huang, C.M., Wang, C.: Synchronization for Interactive Multimedia Presentations. IEEE MULTIMEDIA\u00a05(4), 44\u201362 (1998)","journal-title":"IEEE MULTIMEDIA"},{"key":"21_CR9","unstructured":"ISO : Information Processing System, Open Systems Interconnection, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO 8807 (1989)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Kone, O.: A Local Approach to the Testing of Real-time Systems. The Computer Journal\u00a044(5) (2001)","DOI":"10.1093\/comjnl\/44.5.435"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Lee, D., Yannakakis, M.: Principles and Methods of Testing Finite State Machines \u2013 A Survey. Proc. of the IEEE 84(8) (1996)","DOI":"10.1109\/5.533956"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Misic, V.B., Chanson, S.T., Cheung, S.: Towards a Framework For Testing Distributed Multimedia Software Systems. In: Proc. of 1998 Int\u2019l. Symp. on Software Engineering for Parallel and Distributed Systems, PDSE 1998 (1998)","DOI":"10.1109\/PDSE.1998.668160"},{"issue":"1","key":"21_CR13","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1016\/0304-3975(90)90111-T","volume":"89","author":"C.A. Vissers","year":"1991","unstructured":"Vissers, C.A., Scollo, G., Sinderen, M.v.: Specification Styles in Distributed Systems Design and Verification. Theoretical Computer Science\u00a089(1), 178\u2013206 (1991)","journal-title":"Theoretical Computer Science"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Walter, T., Scheferdecker, I., Grabowski, J.: Test Architectures for Distributed Systems - State of the Art and Beyond (Invited Paper). Testing of Communication Systems, vol.\u00a0II. Chapman & Hall, Boca Raton (1998)","DOI":"10.1007\/978-0-387-35381-4_10"},{"key":"21_CR15","unstructured":"W3C: Synchronized Multimedia Integration Language (SMIL) 1.0 Specification, http:\/\/www.w3c.org\/TR\/REC-smil\/"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Yamada, M., Mori, T., Fukada, A., Nakata, A., Higashino, T.: A Method for Functional Testing of Media Synchronization Protocols. In: Proc. of the 16th Int\u2019l. Conf. on Information Networking, ICOIN-16 (2002)","DOI":"10.1007\/3-540-45801-8_52"},{"issue":"5","key":"21_CR17","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S1389-1286(02)00357-2","volume":"40","author":"K. Yasumoto","year":"2002","unstructured":"Yasumoto, K., Umedu, T., Yamaguchi, H., Nakata, A., Higashino, T.: Protocol animation based on event-driven visualization scenarios in real-time LOTOS. Computer Networks\u00a040(5), 639\u2013663 (2002)","journal-title":"Computer Networks"},{"key":"21_CR18","unstructured":"Sun Microsystems: Java Media Framework Home Page, http:\/\/java.sun.com\/products\/javamedia\/jmf\/"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T05:36:48Z","timestamp":1559194608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}