{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:01:22Z","timestamp":1742965282317,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401230"},{"type":"electronic","value":"9783540448303"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44830-6_9","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:56:53Z","timestamp":1184590613000},"page":"110-127","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["TimedTTCN-3 Based Graphical Real-Time Test Specification"],"prefix":"10.1007","author":[{"given":"Zhen Ru","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Grabowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helmut","family":"Neukirchen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"P. Baker, P. Bristow, C. Jervis, D. King, and B. Mitchell. Automatic Generation of Conformance Tests From Message Sequence Charts. In Proceedings of the 3rd SAM (SDL and MSC) Workshop, 2002.","DOI":"10.1007\/3-540-36573-7_12"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"P. Baker, E. Rudolph, and I. Schieferdecker. Graphical Test Specification \u2014 The Graphical Format of TTCN-3. In R. Reed and J. Reed, editors, SDL2001 \u2014 Meeting UML. Springer, 2001.","DOI":"10.1007\/3-540-48213-X_10"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Z.R. Dai, J. Grabowski, and H. Neukirchen. Timed TTCN-3 \u2014 A Real-Time Extension for TTCN-3. In I. Schieferdecker, H. K\u00f6nig, and A. Wolisz, editors, Testing of Communicating Systems, volume 14, Berlin, March 2002. Kluwer.","DOI":"10.1007\/978-0-387-35497-2_28"},{"key":"9_CR4","unstructured":"Danet TTCN Toolbox \u2014 TTCN-3. \nhttp:\/\/www.bss.danet.de\/solution\/ttcn\/ttcn_toolbox_ttcn-3_uk.htm\n\n, 2002."},{"key":"9_CR5","unstructured":"Da Vinci Communications Terzo tools product information. \nhttp:\/\/www.davinci-communications.com\/products_ttcn3.html\n\n, 2002."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"M. Ebner, A. Yin, and M. Li. Definition Utilisation of OMG IDL to TTCN-3 Mappings. In I. Schieferdecker, H. K\u00f6nig, and A. Wolisz, editors, Testing of Communicating Systems \u2014 Application to Internet Technologies and Services, volume 14. Kluwer, 2002.","DOI":"10.1007\/978-0-387-35497-2_30"},{"key":"9_CR7","unstructured":"ETSI Technical Report (TR) 101 666 (1999-05): Information technology \u2014 Open Systems Interconnection Conformance testing methodology and framework; The Tree and Tabular Combined Notation (TTCN) (Ed. 2++). European Telecommunications Standards Institute (ETSI), Sophia-Antipolis (France), 1999."},{"key":"9_CR8","unstructured":"ETSI European Standard (ES) 201 873-1 V2.2.1 (2002-08): The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis (France), 2002."},{"key":"9_CR9","unstructured":"ETSI European Standard (ES) 201 873-3 V2.2.1 (2002-09): The Testing and Test Control Notation version 3; Part 3: Graphical Presentation Format for TTCN-3 (GFT). European Telecommunications Standards Institute (ETSI), Sophia-Antipolis (France), 2002."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"N. Goga. Comparing TorX, Autolink, TGV and UIO Test Algorithms. In R. Reed and J. Reed, editors, SDL2001 \u2014 Meeting UML. Springer, 2001.","DOI":"10.1007\/3-540-48213-X_24"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"J. Grabowski, B. Koch, M. Schmitt, and D. Hogrefe. SDL and MSC Based Test Generation for Distributed Test Architectures. In R. Dssouli, G. von Bochmann, and Y. Lahav, editors, SDL\u201999 \u2014 The next Millenium. Elsevier Science Publishers B.V., 1999.","DOI":"10.1016\/B978-044450228-5\/50026-6"},{"key":"9_CR12","unstructured":"J. Grabowski and T. Walter. Visualisation of TTCN test cases by MSCs. In Y. Lahav, A. Wolisz, J. Fischer, and E. Holz, editors, Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC \u2014 SAM\u201998, 1998."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"J. Grabowski, A. Wiles, C. Willcock, and D. Hogrefe. On the Design of the New Testing Language TTCN-3. In H. Ural, R.L. Probert, and G. von Bochmann, editors, Testing of Communicating Systems, volume 13. Kluwer, 2000.","DOI":"10.1007\/978-0-387-35516-0_10"},{"key":"9_CR14","unstructured":"D. Hogrefe. Report on the Validation of the Inres System. Technical Report IAM-95-007, Universit\u00e4t Bern, November 1995."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"A. Kerbrat, T. J\u00e9ron, and R. Groz. Automated test generation from SDL specification. In R. Dssouli, G. von Bochmann, and Y. Lahav, editors, SDL\u201999 \u2014 The next Millenium. Elsevier Science Publishers B.V., 1999.","DOI":"10.1016\/B978-044450228-5\/50011-4"},{"key":"9_CR16","unstructured":"H. Neukirchen. Corrections and extensions to Z.120, November 2000. Delayed Contribution No. 9 to ITU-T Study Group 10, Question 9."},{"key":"9_CR17","unstructured":"I. Schieferdecker, S. Pietsch, and T. Vassiliou-Gioles. Systematic Testing of Internet Protocols \u2014 First Experiences in Using TTCN-3 for SIP. In Proceedings of the 5th IFIP Africom Conference on Communication Systems, Cape Town (South Africa), May 2001."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"I. Schieferdecker, B. Stepien, and A. Rennoch. PerfTTCN, a TTCN Language Extension for Performace Testing. In M. Kim, S. Kang, and K. Hong, editors, Testing of Communicating Systems, volume 10. Chapman & Hall, 1997.","DOI":"10.1007\/978-0-387-35198-8_2"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"I. Schieferdecker and B. Stepien. Automated Testing of XML\/SOAP based Web Services. In Proceedings of the 13th. Fachkonferenz der Gesellschaft f\u00fcr Informatik (GI) Fachgruppe \u201cKommunikation in verteilten Systemen\u201d (KiVS), Leipzig (Germany), Feb. 26.\u201328. 2003.","DOI":"10.1007\/978-3-642-55569-5_4"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"M. Schmitt, A. Ek, J. Grabowski, D. Hogrefe, and B. Koch. Autolink \u2014 Putting SDL-based test generation into practice. In A. Petrenko and N. Yevtuschenko, editors, Testing of Communicating Systems, volume 11. Kluwer 1998.","DOI":"10.1007\/978-0-387-35381-4_14"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"J.Z. Szab\u00f3. Experiences of TTCN-3 Test Executor Development. In I. Schieferdecker, H. K\u00f6nig, and A. Wolisz, editors, Testing of Communicating Systems \u2014 Application to Internet Technologies and Services, volume 14. Kluwer, 2002.","DOI":"10.1007\/978-0-387-35497-2_14"},{"key":"9_CR22","unstructured":"Telelogic Tau\/Tester product information. \nhttp:\/\/www.tautester.com\/\n\n, 2002."},{"key":"9_CR23","unstructured":"Testing Technologies TT Tool Series product information. \nhttp:\/\/www.testingtech.de\/products\/TTToolSeries.html\n\n, 2002."},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1016\/S0950-5849(99)00037-3","volume":"41","author":"T. Walter","year":"1999","unstructured":"T. Walter and J. Grabowski. A Framework for the Specification of Test Cases for Real Time Distributed Systems. Information and Software Technology, 41:781\u2013798, 1999.","journal-title":"Information and Software Technology"},{"key":"9_CR25","unstructured":"Recommendation Z.120: Message Sequence Charts (MSC). International Telecommunication Union (ITU-T), Geneve, 1999."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"T. Zheng and F. Khendek. An extension to MSC-2000 and its application. In Proceedings of the 3rd SAM (SDL and MSC) Workshop, 2002.","DOI":"10.1007\/3-540-36573-7_14"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44830-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,23]],"date-time":"2020-01-23T16:12:14Z","timestamp":1579795934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44830-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401230","9783540448303"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44830-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}