{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:05:59Z","timestamp":1743026759298,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685142"},{"type":"electronic","value":"9783540685241"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68524-1_20","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T04:34:48Z","timestamp":1212640488000},"page":"283-301","source":"Crossref","is-referenced-by-count":4,"title":["Real-Time Testing with TTCN-3"],"prefix":"10.1007","author":[{"given":"Diana Alina","family":"Serbanescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victoria","family":"Molovata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Din","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schieferdecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilja","family":"Radusch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"20_CR1","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1145\/242223.242288","volume":"28","author":"L. Osterweil","year":"1996","unstructured":"Osterweil, L.: Strategic directions in software quality. ACM Comput. Surv.\u00a028(4), 738\u2013750 (1996)","journal-title":"ACM Comput. Surv."},{"key":"20_CR2","volume-title":"The Art of Testing","author":"G.J. Myers","year":"1979","unstructured":"Myers, G.J.: The Art of Testing, 1st edn. John Wiley & Sons, Chichester (1979)","edition":"1"},{"key":"20_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4032-8","volume-title":"Constructing Predictable Real Time Systems","author":"W.A. Halang","year":"1991","unstructured":"Halang, W.A., Stoyenko, A.D.: Constructing Predictable Real Time Systems. Kluwer Academic Publishers, Norwell (1991)"},{"key":"20_CR4","unstructured":"Sinnott, R.: Towards more accurate real-time testing. In: The 12th International Conference on Information Systems Analysis and Synthesis (ISAS 2006) (2006)"},{"key":"20_CR5","unstructured":"Schieferdecker, I., Stepien, B., Rennoch, A.: Perfttcn, a ttcn language extension for performance testing, \n                    \n                      citeseer.ist.psu.edu\/243959.html"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Walter, T., Grabowski, J.: Real-time ttcn for testing real-time and multimedia systems (1997), \n                    \n                      http:\/\/citeseer.ist.psu.edu\/walter97realtime.html","DOI":"10.1007\/978-0-387-35198-8_3"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Dai, Z., Grabowski, J., Neukirchen, H.: Timed ttcn-3 - a real-time extension for ttcn (2002), \n                    \n                      http:\/\/citeseer.ist.psu.edu\/article\/dai02timedttcn.html","DOI":"10.1007\/978-0-387-35497-2_28"},{"key":"20_CR8","first-page":"125","volume-title":"Testing embedded control systems with TTCN-3","author":"I. Schieferdecker","year":"2007","unstructured":"Schieferdecker, I., Gromann, J.: Testing embedded control systems with ttcn-3. In: Testing embedded control systems with TTCN-3, pp. 125\u2013136. Springer, Berlin, Heidelberg (2007)"},{"key":"20_CR9","unstructured":"ETSZ ES201 873-1 V3.2.1, Methods for testing and specification (mts); the testing and test control notation version 3; part 1: Ttcn-3 core language (2007-02)"},{"key":"20_CR10","unstructured":"Dedicated systems encyclopedia rtos list, \n                    \n                      www.dedicated-systems.com\/encyc\/buyersguide\/products\/Dir1048.html"},{"key":"20_CR11","unstructured":"Frequently asked questions of the comp. realtime newsgroup, \n                    \n                      http:\/\/www.omimo.be\/encyc\/publications\/faq\/rtfaq.htm"},{"key":"20_CR12","unstructured":"Freertos \u2014 open source, mini real time kernel, \n                    \n                      http:\/\/www.freertos.org"},{"key":"20_CR13","unstructured":"Rtai \u2014 the realtime application interface for linux, \n                    \n                      http:\/\/www.rtai.org"},{"key":"20_CR14","unstructured":"ecos \u2014 open source real-time operating system intended for embedded applications, \n                    \n                      http:\/\/www.ecos.sourceware.org"},{"key":"20_CR15","unstructured":"Rtems \u2014 real-time operating system for multiprocessor systems, \n                    \n                      http:\/\/www.rtems.com"},{"key":"20_CR16","unstructured":"Mc9s12ne64 demonstration kit, \n                    \n                      http:\/\/www.freescale.com\/webapp\/sps\/site\/prod_summary.jsp?code=DEMO9S12NE64"},{"key":"20_CR17","unstructured":"Open source watcom c, c++, and fortran cross compilers and tools, \n                    \n                      http:\/\/www.openwatcom.org"},{"key":"20_CR18","unstructured":"Neukirchen, H.W.: Languages, tools and patterns for the specification of distributed real-time tests. Ph.D. dissertation, Mathematisch-Naturwissenschaftlichen Fakultten der Georg-August-Universitt zu Gttingen (2004)"},{"key":"20_CR19","unstructured":"Molovata, V.: Realizing real-time test systems using ttcn-3, diploma thesis (2007)"},{"issue":"3","key":"20_CR20","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., R\u00e9thy, G., Schieferdecker, I., Wiles, A., Willcock, C.: An introduction to the testing and test control notation (ttcn-3). Comput. Networks\u00a042(3), 375\u2013403 (2003)","journal-title":"Comput. Networks"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68524-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:36:57Z","timestamp":1558265817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68524-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540685142","9783540685241"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68524-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}