{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:07:50Z","timestamp":1746158870335,"version":"3.40.4"},"publisher-location":"Cham","reference-count":65,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319036014"},{"type":"electronic","value":"9783319036021"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-03602-1_9","type":"book-chapter","created":{"date-parts":[[2014,1,9]],"date-time":"2014-01-09T02:03:55Z","timestamp":1389233035000},"page":"135-154","source":"Crossref","is-referenced-by-count":2,"title":["An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance"],"prefix":"10.1007","author":[{"given":"Frank","family":"Elberzhager","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alla","family":"Rosbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Garro, A., Tundis, A.: A model-based method for system reliability analysis. In: 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, pp. 1\u20138 (2012)"},{"issue":"2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1016\/j.jss.2007.05.039","volume":"81","author":"Y. Zhan","year":"2008","unstructured":"Zhan, Y., Clark, J.A.: A search-based framework for automatic testing of MATLAB\/Simulink models. Journal of Systems and Software\u00a081(2), 262\u2013285 (2008)","journal-title":"Journal of Systems and Software"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Chapoutot, A., Martel, M.: Abstract Simulation: A Static Analysis of Simulink Models. In: International Conference on Embedded Software and Systems, pp. 83\u201392 (2009)","DOI":"10.1109\/ICESS.2009.80"},{"key":"9_CR4","unstructured":"Boden, L.M., Busser, R.D.: Adding natural relationships to Simulink models to improve automated model-based testing. In: Digital Avionics Systems Conference, vol.\u00a02, pp. 1\u20139."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-70930-5_6","volume-title":"Model-Driven Development of Reliable Automotive Services","author":"W.R. Cleaveland","year":"2008","unstructured":"Cleaveland, W.R., Smolka, S.A., Sims, S.T.: An instrumentation-based approach to controller model validation. In: Broy, M., Kr\u00fcger, I.H., Meisinger, M. (eds.) ASWSD 2006. LNCS, vol.\u00a04922, pp. 84\u201397. Springer, Heidelberg (2008)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Peranandam, P., Raviram, S., Satpathy, M., Yeolekar, A., Gadkari, A., Ramesh, S.: An integrated test generation tool for enhanced coverage of Simulink\/Stateflow models. In: Design, Automation Test in Europe Conference Exhibition, pp. 308\u2013311 (2012)","DOI":"10.1109\/DATE.2012.6176485"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Siegl, S., Hielscher, K.-S., German, R., Berger, C.: Automated testing of embedded automotive systems from requirement specification models. In: 12th IEEE Latin-American Test Workshop (2011)","DOI":"10.1109\/LATW.2011.5985928"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Sims, S., Cleaveland, R., Butts, K., Ranville, S.: Automated Validation of Software Models. In: 16th IEEE International Conference on Automated Software Engineering, p. 91 (2001)","DOI":"10.1109\/ASE.2001.989794"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Mohalik, S., Gadkari, A.A., Yeolekar, A., Shashidhar, K.C., Ramesh, S.: Automatic test case generation from Simulink \/ Stateflow models using model checking (2013)","DOI":"10.1002\/stvr.1489"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Deissenboeck, F., Hummel, B., J\u00fcrgens, E., Sch\u00e4tz, B., Wagner, S., Girard, J.-F., Teuchert, S.: Clone detection in automotive model-based development. In: 30th International Conference on Software Engineering, pp. 603\u2013612 (2008)","DOI":"10.1145\/1368088.1368172"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-642-24559-6_21","volume-title":"Formal Methods and Software Engineering","author":"P. Bostr\u00f6m","year":"2011","unstructured":"Bostr\u00f6m, P.: Contract-based verification of simulink models. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 291\u2013306. Springer, Heidelberg (2011)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Broy, M., Chakraborty, S., Goswami, D., Ramesh, S., Satpathy, M., Resmerita, S., Pree, W.: Cross-layer analysis, testing and verification of automotive control software. In: 9th ACM International Conference on Embedded Software, pp. 263\u2013272 (2011)","DOI":"10.1145\/2038642.2038683"},{"issue":"7","key":"9_CR13","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1002\/stvr.444","volume":"22","author":"M. Satpathy","year":"2012","unstructured":"Satpathy, M., Yeolekar, A., Peranandam, P., Ramesh, S.: Efficient coverage of parallel and hierarchical stateflow models for test case generation. Software Testing Verification and Reliability\u00a022(7), 457\u2013479 (2012)","journal-title":"Software Testing Verification and Reliability"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Barnat, J., Brim, L., Beran, J., Kratochv\u00edla, T., Oliveira, \u00cd.R.: Executing model checking counterexamples in Simulink. In: 6th International Symposium on Theoretical Aspects of Software Engineering, pp. 245\u2013248 (2012)","DOI":"10.1109\/TASE.2012.42"},{"issue":"9","key":"9_CR15","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/1291220.1291172","volume":"42","author":"S. Sims","year":"2007","unstructured":"Sims, S., DuVarney, D.C.: Experience report: the reactis validation tool. SIGPLAN\u00a042(9), 137\u2013140 (2007)","journal-title":"SIGPLAN"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Merschen, D., Polzer, A., Botterweck, G., Kowalewski, S.: Experiences of applying model-based analysis to support the development of automotive software product lines. ACM Int. Conference Proceeding Series, pp. 141\u2013150 (2011)","DOI":"10.1145\/1944892.1944910"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"St\u00fcrmer, I., Conrad, M., Fey, I., D\u00f6rr, H.: Experiences with model and autocode reviews in model-based software development. In: Int. Conf. on Software Eng., pp. 45\u201351 (2006)","DOI":"10.4271\/2006-01-1240"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-21652-7_12","volume-title":"System Analysis and Modeling: About Models","author":"S. Kemmann","year":"2011","unstructured":"Kemmann, S., Kuhn, T., Trapp, M.: Extensible and automated model-evaluations with iNProVE. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol.\u00a06598, pp. 193\u2013208. Springer, Heidelberg (2011)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Chen, C.: Formal analysis for stateflow diagrams. In: 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, pp. 102\u2013109 (2010)","DOI":"10.1109\/SSIRI-C.2010.29"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Popovici, K., Lalo, M.: Formal model and code verification in Model-Based Design. In: Joint IEEE North-East Workshop on Circuits and Systems and TAISA Conference (2009)","DOI":"10.1109\/NEWCAS.2009.5290500"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Toyn, I., Galloway, A.: Formal validation of hierarchical state machines against expectations. In: Australian Software Engineering Conference, pp. 181\u2013190 (2007)","DOI":"10.1109\/ASWEC.2007.23"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Alur, R.: Formal verification of hybrid systems. In: 9th ACM International Conference on Embedded software, pp. 273\u2013278 (2011)","DOI":"10.1145\/2038642.2038685"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-642-02658-4_33","volume-title":"Computer Aided Verification","author":"A. Kanade","year":"2009","unstructured":"Kanade, A., Alur, R., Ivan\u010di\u0107, F., Ramesh, S., Sankaranarayanan, S., Shashidhar, K.C.: Generating and analyzing symbolic traces of simulink\/Stateflow models. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 430\u2013445. Springer, Heidelberg (2009)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-79707-4_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"M. Whalen","year":"2008","unstructured":"Whalen, M., Cofer, D., Miller, S., Krogh, B.H., Storm, W.: Integration of formal analysis into a model-based software development process. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol.\u00a04916, pp. 68\u201384. Springer, Heidelberg (2008)"},{"key":"9_CR25","unstructured":"Hu, W., Wegener, J., St\u00fcrmer, I., Reicherdt, R., Salecker, E., Glesner, S.: MeMo - methods of model quality. In: Workshop Modellbasierte Entwicklung eingebetteter Systeme, pp. 127\u2013132 (2011)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"B\u00f6hr, F.: Model Based Statistical Testing of Embedded Systems. In: 4th International Conference on Software Testing, Verification and Validation Workshops, pp. 18\u201325 (2011)","DOI":"10.1109\/ICSTW.2011.11"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Bringmann, E., Kr\u00e4mer, A.: Model-based testing of automotive systems. In: 1st International Conference on Software Testing, Verification and Validation, pp. 485\u2013493 (2008)","DOI":"10.1109\/ICST.2008.45"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Morschhauser, I., Lindvall, M.: \u201cModel-Based Validation Verification Integrated with SW Architecture Analysis: A Feasibility Study. In: IEEE Aerospace Conference, pp. 1\u201318 (2007)","DOI":"10.1109\/AERO.2007.352762"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Mazzolini, M., Brusaferri, A., Carpanzano, E.: Model-checking based verification approach for advanced industrial automation solutions. In: 15th IEEE International Conference on Emerging Technologies and Factory Automation (2010)","DOI":"10.1109\/ETFA.2010.5641209"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-17071-3_11","volume-title":"Formal Methods for Components and Objects","author":"A. Brillout","year":"2010","unstructured":"Brillout, A., He, N., Mazzucchi, M., Kroening, D., Purandare, M., R\u00fcmmer, P., Weissenbacher, G.: Mutation-based test case generation for simulink models. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol.\u00a06286, pp. 208\u2013227. Springer, Heidelberg (2010)"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Satpathy, M., Yeolekar, A., Ramesh, S.: Randomized directed testing (REDIRECT) for Simulink\/Stateflow models. In: 8th ACM International Conference on Embedded Software, pp. 217\u2013226 (2008)","DOI":"10.1145\/1450058.1450088"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Schwarz, M.H., Sheng, H., Batchuluun, B., Sheleh, A., Chaaban, W., Borcsok, J.: Reliable software development methodology for safety related applications: From simulation to reliable source code. In: XXII International Symposium on Information, Communication and Automation Technologies, pp. 1\u20137 (2009)","DOI":"10.1109\/ICAT.2009.5348447"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Farkas, T., Grund, D.: Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software. In: 8th International Symposium on Autonomous Decentralized Systems, pp. 287\u2013294 (2007)","DOI":"10.1109\/ISADS.2007.66"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1413","DOI":"10.1007\/978-3-540-24855-2_161","volume-title":"Genetic and Evolutionary Computation \u2013 GECCO 2004","author":"Y. Zhan","year":"2004","unstructured":"Zhan, Y., Clark, J.: Search based automatic test-data generation at an architectural level. In: Deb, K., Tari, Z. (eds.) GECCO 2004. LNCS, vol.\u00a03103, pp. 1413\u20131424. Springer, Heidelberg (2004)"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Zhan, Y., Clark, J.A.: Search-based mutation testing for Simulink models. In: Conference on Genetic and Evolutionary Computation, pp. 1061\u20131068 (2005)","DOI":"10.1145\/1068009.1068188"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Windisch, A.: Search-based test data generation from stateflowstatecharts. In: 12th Annual Conference on Genetic and Evolutionary Computation, pp. 1349\u20131356 (2010)","DOI":"10.1145\/1830483.1830732"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"B\u00f6hr, F., Eschbach, R.: SIMOTEST: A tool for automated testing of hybrid real-time Simulink models. In: Symposium on Emerging Technologies and Factory Automation (2011)","DOI":"10.1109\/ETFA.2011.6059183"},{"key":"9_CR38","doi-asserted-by":"crossref","unstructured":"Reicherdt, R., Glesner, S.: Slicing MATLAB simulink models. In: Int. Conference on Software Engineering, pp. 551\u2013561 (2012)","DOI":"10.1109\/ICSE.2012.6227161"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Alur, R., Kanade, A., Ramesh, S., Shashidhar, K.C.: Symbolic analysis for improving simulation coverage of Simulink\/Stateflow models. In: 8th ACM Int. Conf. on Embedded Softw., pp. 89\u201398 (2008)","DOI":"10.1145\/1450058.1450071"},{"key":"9_CR40","doi-asserted-by":"crossref","unstructured":"Venkatesh, R., Shrotri, U., Darke, P., Bokil, P.: Test generation for large automotive models. In: IEEE International Conference on Industrial Technology, pp. 662\u2013667 (2012)","DOI":"10.1109\/ICIT.2012.6210014"},{"key":"9_CR41","doi-asserted-by":"crossref","unstructured":"He, N., R\u00fcmmer, P., Kroening, D.: Test-case generation for embedded simulink via formal concept analysis. In: 48th Design Automation Conference, pp. 224\u2013229 (2011)","DOI":"10.1145\/2024724.2024777"},{"key":"9_CR42","doi-asserted-by":"crossref","unstructured":"Zhan, Y., Clark, J.A.: The state problem for test generation in Simulink. In: 8th Annual Conference on Genetic and Evolutionary Computation, pp. 1941\u20131948 (2006)","DOI":"10.1145\/1143997.1144319"},{"key":"9_CR43","doi-asserted-by":"crossref","unstructured":"Oh, J., Harman, M., Yoo, S.: Transition coverage testing for simulink\/stateflow models using messy genetic algorithms. In: 13th Annual Conference on Genetic and Evolutionary Computation, pp. 1851\u20131858 (2011)","DOI":"10.1145\/2001576.2001825"},{"key":"9_CR44","doi-asserted-by":"crossref","unstructured":"Ray, A., Morschhaeuser, I., Ackermann, C., Cleaveland, R., Shelton, C., Martin, C.: Validating Automotive Control Software Using Instrumentation-Based Verification. In: IEEE\/ACM International Conference on Automated Software (2009)","DOI":"10.1109\/ASE.2009.98"},{"key":"9_CR45","doi-asserted-by":"crossref","unstructured":"Kim, M., Kim, Y., Jang, Y.: Industrial Application of Concolic Testing on Embedded Software: Case Studies. In: 5th International Conference on Software Testing, Verification and Validation, pp. 390\u2013399 (2012)","DOI":"10.1109\/ICST.2012.119"},{"key":"9_CR46","doi-asserted-by":"crossref","unstructured":"Elberzhager, F., M\u00fcnch, J., Rombach, D., Freimut, B.: Integrating Inspection and Test Processes based on Context-specific Assumptions. Journal of Software: Evolution and Processes (2012)","DOI":"10.1145\/1987875.1987880"},{"issue":"1","key":"9_CR47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2011.06.003","volume":"54","author":"F. Elberzhager","year":"2012","unstructured":"Elberzhager, F., Muench, J., Tran, V.: A Systematic Mapping Study on the Combination of Static and Dynamic Quality Assurance Techniques. Information and Software Technology\u00a054(1), 1\u201315 (2012)","journal-title":"Information and Software Technology"},{"key":"9_CR48","doi-asserted-by":"crossref","unstructured":"Zimmerman, D.M., Kiniry, J.R.: A Verification-centric Software Development Process for Java. In: 9th International Conference on Quality Software, pp. 76\u201385 (2009)","DOI":"10.1109\/QSIC.2009.18"},{"key":"9_CR49","doi-asserted-by":"crossref","unstructured":"Chen, Q., Wang, L., Yang, Z., Stoller, S.D.: HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. In: 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, pp. 425\u2013439 (2009)","DOI":"10.1007\/978-3-642-00593-0_30"},{"key":"9_CR50","doi-asserted-by":"crossref","unstructured":"Runeson, P., Andrews, A.: Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection. In: 14th International Symposium on Software Reliability Engineering, pp. 3\u201313 (2003)","DOI":"10.1109\/ISSRE.2003.1251026"},{"key":"9_CR51","doi-asserted-by":"crossref","unstructured":"Juristo, N., Vegas, S.: Functional Testing, Structural Testing, and Code Reading: What Fault Type do they each Detect? In: Empirical Methods and Studies in Software Engineering, pp. 208\u2013232 (2003)","DOI":"10.1007\/978-3-540-45143-3_12"},{"key":"9_CR52","doi-asserted-by":"crossref","unstructured":"Chen, J., Zhou, H., Bruda, S.D.: Combining Model Checking and Testing for Software Analysis. In: International Conference on Computer Science and Software Engineering, pp. 206\u2013209 (2008)","DOI":"10.1109\/CSSE.2008.1025"},{"issue":"1-2","key":"9_CR53","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/B:EMSE.0000013513.48963.1b","volume":"9","author":"N. Juristo","year":"2004","unstructured":"Juristo, N., Moreno, A.M., Vegas, S.: Reviewing 25 Years of Testing Technique Experiments. Empirical Software Engineering\u00a09(1-2), 7\u201344 (2004)","journal-title":"Empirical Software Engineering"},{"issue":"3","key":"9_CR54","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1002\/stvr.243","volume":"12","author":"A. Aurum","year":"2002","unstructured":"Aurum, A., Petersson, H., Wohlin, C.: State-of-the-Art: Software Inspections after 25 Years. Software Testing, Verification and Reliability\u00a012(3), 133\u2013154 (2002)","journal-title":"Software Testing, Verification and Reliability"},{"key":"9_CR55","doi-asserted-by":"crossref","unstructured":"Genero, M., Piattini, M., Calero, C.: A Survey of Metrics for UML Class Diagrams. Journal of Object Technology\u00a04(9) (2005)","DOI":"10.5381\/jot.2005.4.9.a1"},{"key":"9_CR56","unstructured":"ODC. Orthogonal Defect Classification v5.11, IBM (2002), http:\/\/www.research.ibm.com\/softeng\/ODC\/ODC.HTM"},{"key":"9_CR57","unstructured":"Elberzhager, F., Rosbach, A., Bauer, T.: Analysis and Testing of Matlab Simulink Models: A Systematic Mapping Study. In: JAMAICA Workshop (ISSTA) (accepted, 2013)"},{"issue":"1","key":"9_CR58","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.jss.2009.06.055","volume":"83","author":"E. Arisholm","year":"2009","unstructured":"Arisholm, E., Briand, L.C., Johannesson, E.B.: A systematic and comprehensive investigation of methods to build and evaluate fault prediction models. Journal of Systems and Software\u00a083(1), 2\u201317 (2009)","journal-title":"Journal of Systems and Software"},{"key":"9_CR59","unstructured":"Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-related Systems, IEC 61508 Standard"},{"key":"9_CR60","unstructured":"Road vehicles \u2013 Functional safety, ISO 26262 Standard"},{"key":"9_CR61","unstructured":"AUTomotive Open System Architecture (AUTOSAR), http:\/\/www.autosar.org\/"},{"key":"9_CR62","doi-asserted-by":"crossref","unstructured":"Radjenovic, D., Hericko, M., Torkar, R., Zivkovic, A.: Software fault prediction metrics: A systematic literature review. Information and Software Technology Journal (accepted, 2013)","DOI":"10.1016\/j.infsof.2013.02.009"},{"key":"9_CR63","unstructured":"Jezequel, J.-M., Meyer, B.: Put it in the contract: The lessons of Ariane, http:\/\/www.irisa.fr\/pampa\/EPEE\/Ariane5.html (accessed on June 17, 2013)"},{"key":"9_CR64","unstructured":"Leveson, N., Turner, C.S.: An Investigation of the Therac-25 Accidents, http:\/\/courses.cs.vt.edu\/~cs3604\/lib\/Therac_25\/Therac_1.html (accessed on June 17, 2013)"},{"key":"9_CR65","doi-asserted-by":"crossref","unstructured":"Petersen, K., Wohlin, C.: Context in industrial software engineering research. In: 3rd International Symposium on Empirical Software Engineering and Measurement, pp. 401\u2013404 (2009)","DOI":"10.1109\/ESEM.2009.5316010"}],"container-title":["Lecture Notes in Business Information Processing","Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03602-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T12:13:36Z","timestamp":1746101616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03602-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319036014","9783319036021"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03602-1_9","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}