{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T01:40:01Z","timestamp":1738374001345,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_59","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"858-873","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Quality Assurance of Automotive Software"],"prefix":"10.1007","author":[{"given":"Jan","family":"J\u00fcrjens","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Rei\u00df","sequence":"additional","affiliation":[]},{"given":"David","family":"Trachtenherz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"59_CR1","first-page":"819","volume-title":"DAC","author":"M.G. Bartley","year":"2002","unstructured":"Bartley, M.G., Galpin, D., Blackmore, T.: A Comparison of Three Verification Techniques. In: DAC, pp. 819\u2013823. ACM, New York (2002)"},{"key":"59_CR2","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J.: An empirical framework for comparing effectiveness of testing and property-based formal analysis. In: PASTE, pp. 2\u20135 (2005)","DOI":"10.1145\/1108792.1108795"},{"issue":"2-3","key":"59_CR3","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/B:FORM.0000040027.28662.a4","volume":"25","author":"G. Brat","year":"2004","unstructured":"Brat, G., Drusinsky, D., Giannakopoulou, D., et al.: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design\u00a025(2-3), 167\u2013198 (2004)","journal-title":"Formal Methods in System Design"},{"key":"59_CR4","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1134285.1134292","volume-title":"ICSE","author":"M. Broy","year":"2006","unstructured":"Broy, M.: Challenges in automotive software engineering. In: ICSE, pp. 33\u201342. ACM, New York (2006)"},{"key":"59_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems","author":"M. Broy","year":"2001","unstructured":"Broy, M., Stolen, K.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)"},{"volume-title":"Workshop on Automotive Requirements Engineering (AuRE)","year":"2006","key":"59_CR6","unstructured":"Cheng, B., Houdek, F., Kawana, S. (eds.): Workshop on Automotive Requirements Engineering (AuRE). IEEE, Los Alamitos (2006)"},{"key":"59_CR7","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., Stephenson, R., Berenbach, B.: Lessons learned from automated analysis of industrial UML class models (an experience report). In: MoDELS, pp. 324\u2013338 (2005)","DOI":"10.1007\/11557432_24"},{"issue":"1","key":"59_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1142\/S0218213006002576","volume":"15","author":"E. Denney","year":"2006","unstructured":"Denney, E., Fischer, B., Schumann, J.: An empirical evaluation of automated theorem provers in software certification. Int. J. on Artif. Intell. Tools\u00a015(1), 81\u2013108 (2006)","journal-title":"Int. J. on Artif. Intell. Tools"},{"key":"59_CR9","doi-asserted-by":"crossref","unstructured":"Halling, M., Biffl, S., Gr\u00fcnbacher, P.: An experiment family to investigate the defect detection effect of tool-support for requirements inspection. In: IEEE METRICS, pp. 278\u2013285 (2003)","DOI":"10.1109\/METRIC.2003.1232474"},{"key":"59_CR10","unstructured":"J\u00fcrjens, J., Reiss, D., Trachtenherz, D.: Model-based quality assurance of automotive software: Experimental data (April 2008), http:\/\/mcs.open.ac.uk\/jj2924\/publications\/experiments\/autoqa"},{"key":"59_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_3","volume-title":"Computer Aided Verification","author":"T. Kropf","year":"2007","unstructured":"Kropf, T.: Software bugs seen from an industrial perspective or can formal methods help on automotive software development? In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590. Springer, Heidelberg (2007)"},{"key":"59_CR12","doi-asserted-by":"crossref","unstructured":"Mouchawrab, S., Briand, L.C., Labiche, Y.: Assessing, comparing, and combining statechart- based testing and structural testing: An experiment. In: ESEM, pp. 41\u201350 (2007)","DOI":"10.1109\/ESEM.2007.22"},{"key":"59_CR13","unstructured":"Paech, B., Houdek, F.: The door controller unit \u2013 an example specification. Technical Report 002.02\/D, Fraunhofer IESE (2002)"},{"issue":"8","key":"59_CR14","doi-asserted-by":"publisher","first-page":"892","DOI":"10.1016\/j.infsof.2006.10.002","volume":"49","author":"O. Pilskalns","year":"2007","unstructured":"Pilskalns, O., Andrews, A.A., Knight, A., Ghosh, S., France, R.B.: Testing UML designs. Information & Software Technology\u00a049(8), 892\u2013912 (2007)","journal-title":"Information & Software Technology"},{"key":"59_CR15","first-page":"33","volume-title":"ICSE, Future of Softw. Engin.","author":"A. Pretschner","year":"2007","unstructured":"Pretschner, A., Broy, M., Kr\u00fcger, I., Stauner, T.: Software engineering for automotive systems: A roadmap. In: ICSE, Future of Softw. Engin., pp. 33\u201342. ACM, New York (2007)"},{"key":"59_CR16","first-page":"392","volume-title":"ICSE","author":"A. Pretschner","year":"2005","unstructured":"Pretschner, A., Prenninger, W., Wagner, S., K\u00fchnel, C., Baumgartner, M., Sostawa, B., Z\u00f6lch, R., Stauner, T.: One evaluation of model-based testing and its automation. In: ICSE, pp. 392\u2013401. ACM, New York (2005)"},{"key":"59_CR17","first-page":"146","volume-title":"ICSE Companion","author":"A. Pretschner","year":"2007","unstructured":"Pretschner, A., Salzmann, C., Sch\u00e4tz, B., Stauner, T.: ICSE Workshop on Software Engineering for Automotive Systems. In: ICSE Companion, p. 146. IEEE, Los Alamitos (2007)"},{"key":"59_CR18","unstructured":"Sch\u00e4tz, B., Hain, T., Houdek, F., Prenninger, W., Rappl, M., Romberg, J., Slotosch, O., Strecker, M., Wi\u00dfpeintner, A.: CASE Tools for Embedded Systems. Technical Report I0309, TU Munich (2003)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T01:19:16Z","timestamp":1738372756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}