{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:56:54Z","timestamp":1725847014467},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662492239"},{"type":"electronic","value":"9783662492246"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-49224-6_3","type":"book-chapter","created":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T08:35:44Z","timestamp":1452501344000},"page":"22-31","source":"Crossref","is-referenced-by-count":1,"title":["Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Homm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Eckert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"German","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,12]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"B\u00f6hr, F.: Model based statistical testing of embedded systems. In: Proceedings of the 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011), Berlin, Germany, pp. 18\u201325, March 2011","DOI":"10.1109\/ICSTW.2011.11"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bringmann, E., Kramer, A.: Model-based testing of automotive systems. In: Proceedings of the 1st International Conference on Software Testing, Verification, and Validation (ICST 2008), Lillehammer, Norway, pp. 485\u2013493, April 2008","DOI":"10.1109\/ICST.2008.45"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Broy, M.: Challenges in automotive software engineering. In: Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, pp. 33\u201342, May 2006","DOI":"10.1145\/1134285.1134292"},{"key":"3_CR4","unstructured":"Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech 2007), Atlanta, Georgia, USA, pp. 31\u201336 (2007). \n                      http:\/\/doi.acm.org\/10.1145\/1353673.1353681"},{"key":"3_CR5","volume-title":"Syntony: A Framework for UML-Based Simulation, Analysis and Test with Applications in Wireless Networks","author":"I Dietrich","year":"2010","unstructured":"Dietrich, I.: Syntony: A Framework for UML-Based Simulation, Analysis and Test with Applications in Wireless Networks. Dr. Hut, Germany (2010)"},{"key":"3_CR6","volume-title":"Performance Analysis of Communication Systems","author":"R German","year":"2000","unstructured":"German, R.: Performance Analysis of Communication Systems. Wiley, Chichester (2000)"},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1287\/opre.9.3.383","volume":"9","author":"JDC Little","year":"1961","unstructured":"Little, J.D.C.: A proof for the queuing formula: L\n                      \n                        \n                      \n                      $$\\,=\\,\\lambda $$\n                      \n                        \n                          \n                            \n                            =\n                            \n                            \u03bb\n                          \n                        \n                      \n                     W. Oper. Res. 9(3), 383\u2013387 (1961)","journal-title":"Oper. Res."},{"key":"3_CR8","unstructured":"Prowell, S.J.: Computations for Markov chain usage models. University of Tennessee, Tech. report (2003)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Prowell, S.J.: A stopping criterion for statistical testing. In: Proceedings of the 37th Hawaii International Conference on Systems Sciences (HICSS 2004), Big Island, Hawaii, USA, January 2004","DOI":"10.1109\/HICSS.2004.1265715"},{"key":"3_CR10","unstructured":"Siegl, S., Dulz, W., German, R., Kiffe, G.: Model-driven testing based on markov chain usage models in the automotive domain. In: Proceedings of the 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse, France, May 2009"},{"key":"3_CR11","unstructured":"Siegl, S., German, R.: Model-driven testing with timed usage models in the automotive domain. In: Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE 2009), Mysuru, India, November 2009"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Siegl, S., Hielscher, K.S., German, R.: Introduction of time dependencies in usage model based testing of complex systems. In: 4th Annual IEEE Systems Conference (SysCon 2010), San Diego, California, USA, pp. 622\u2013627, April 2010","DOI":"10.1109\/SYSTEMS.2010.5482341"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/151299.151326","volume":"2","author":"JA Whittaker","year":"1993","unstructured":"Whittaker, J.A., Poore, J.H.: Markov analysis of software specifications. ACM Trans. Softw. Eng. Methodol. 2(1), 93\u2013106 (1993)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49224-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:25:28Z","timestamp":1559381128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49224-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662492239","9783662492246"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49224-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}