{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T12:48:03Z","timestamp":1780922883085,"version":"3.54.1"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,2,10]],"date-time":"2016-02-10T00:00:00Z","timestamp":1455062400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"FONDECYT","award":["11121395"],"award-info":[{"award-number":["11121395"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s11219-016-9308-8","type":"journal-article","created":{"date-parts":[[2016,2,11]],"date-time":"2016-02-11T08:47:18Z","timestamp":1455180438000},"page":"407-435","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Testing of model-driven development applications"],"prefix":"10.1007","volume":"25","author":[{"given":"Beatriz","family":"Mar\u00edn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlos","family":"Gallardo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diego","family":"Quiroga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"Giachetti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Estefan\u00eda","family":"Serral","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,2,10]]},"reference":[{"issue":"5","key":"9308_CR1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/MS.2014.55","volume":"32","author":"D Amalfitano","year":"2015","unstructured":"Amalfitano, D., Fasolino, A. R., Tramontana, P., Ta, B. D., & Memon, A. M. (2015). MobiGUITAR: Automated model-based testing of mobile apps. IEEE Software, 32(5), 53\u201359.","journal-title":"IEEE Software"},{"key":"9308_CR2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.entcs.2008.06.050","volume":"217","author":"K Berkenk\u00f6tter","year":"2008","unstructured":"Berkenk\u00f6tter, K. (2008). Reliable UML models and profiles. Electronic Notes in Theoretical Computer Science, 217, 203\u2013220.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9308_CR3","doi-asserted-by":"crossref","unstructured":"Bigot, C., Faivre, A., Gallois, J. -P., Lapitre, A., Lugato, D., Pierron, J. -Y., & Rapin, N. (2003). Automatic test generation with AGATHA. In 9th international conference tools and algorithms for the construction and analysis of systems, Vol. LNCS, pp. 591\u2013596. Berlin: Springer.","DOI":"10.1007\/3-540-36577-X_43"},{"key":"9308_CR4","doi-asserted-by":"publisher","unstructured":"Blanco, R., & Tuya, J. (2015). A test model for graph database applications: an MDA-based approach. In: Proceedings of the 6th international workshop on automating test case design, selection and evaluation (A-TEST 2015), pp. 8\u201315. New York: ACM. doi: 10.1145\/2804322.2804324","DOI":"10.1145\/2804322.2804324"},{"issue":"4","key":"9308_CR5","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s10009-008-0077-y","volume":"10","author":"M Botteck","year":"2008","unstructured":"Botteck, M., & Dei\u00df, T. (2008). Introduction of TTCN-3 into the product development process: Considerations from an electronic devices developer point of view. International Journal on Software Tools for Technology Transfer, 10(4), 285\u2013289.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9308_CR6","doi-asserted-by":"publisher","DOI":"10.2200\/S00441ED1V01Y201208SWE001","volume-title":"Model-driven software engineering in practice","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., & Wimmer, M. (2012). Model-driven software engineering in practice. London: Morgan & Claypool Publishers. doi: 10.2200\/S00441ED1V01Y201208SWE001 ."},{"key":"9308_CR7","doi-asserted-by":"crossref","unstructured":"Brucker, A., Krieger, M., Longuet, D., & Wolff, B. (2011). A specification-based test case generation method for UML\/OCL. In Workshops and symposia at MODELS 2010: Models in software engineering, Vol. LNCS, pp. 334\u2013348. Berlin: Springer.","DOI":"10.1007\/978-3-642-21210-9_33"},{"issue":"5","key":"9308_CR8","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/s10009-011-0189-7","volume":"13","author":"KC Castillos","year":"2011","unstructured":"Castillos, K. C., Dadeau, F., & Julliand, J. (2011). Scenario-based testing from UML\/OCL behavioral models. International Journal on Software Tools for Technology Transfer, 13(5), 431\u2013448.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9308_CR9","doi-asserted-by":"crossref","unstructured":"Chen, R., & Miao, H. (2013). A selenium based approach to automatic test script generation for refactoring javascript code. In IEEE\/ACIS 12th international conference on computer and information science (ICIS), pp. 341\u2013346.","DOI":"10.1109\/ICIS.2013.6607864"},{"key":"9308_CR10","volume-title":"Object-oriented development: The fusion method","author":"D Coleman","year":"1994","unstructured":"Coleman, D., Arnold, P., Godoff, S., Dollin, C., Gilchrist, H., Hayes, F., & Jeremaes, P. (1994). Object-oriented development: The fusion method. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"9308_CR11","doi-asserted-by":"publisher","unstructured":"Collofello, J., & Vehathiri, K. (2005). An environment for training computer science students on software testing. In 35th ASEE\/IEEE Frontiers in education conference T3E-7, p. 6. IEEE. doi: 10.1109\/FIE.2005.1611937","DOI":"10.1109\/FIE.2005.1611937"},{"key":"9308_CR12","unstructured":"Conformiq: Conformiq Designer. https:\/\/www.conformiq.com\/products\/conformiq-designer\/ ."},{"key":"9308_CR13","unstructured":"da Silveira, M. B., Rodrigues, E. d. M., Zorzo, A. F., Costa, L. T., Vieira, H. V., & de Oliveira, F. M. (2011). Generation of scripts for performance testing based on UML models. In 23rd International conference on software engineering and knowledge engineering, pp. 258\u2013263."},{"key":"9308_CR14","doi-asserted-by":"crossref","unstructured":"Dalal, S., Jain, A., Karunanithi, N., Leaton, J., Lott, C., Patton, G., & Horowitz, B. (1999). Model-based testing in practice. In 21st International conference on software engineering (ICSE\u201999), pp. 285\u2013294. New York: ACM Press.","DOI":"10.1145\/302405.302640"},{"key":"9308_CR15","doi-asserted-by":"crossref","unstructured":"Dias Neto, A. C., Subramanyan, R., Vieira, M., & Travassos, G. H. (2007). A survey on model-based testing approaches: A systematic review. In 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (WEASELTech \u201807), pp. 31\u201336. New York: ACM.","DOI":"10.1145\/1353673.1353681"},{"key":"9308_CR16","unstructured":"Elvior: MOTES. http:\/\/www.elvior.com ."},{"key":"9308_CR17","unstructured":"Engels, G. (2009). Automatic generation of behavioral code-too ambitious or even unwanted? Behavior modeling in model driven architecture. In Proceedings of first European workshop on behavior modeling in model driven architecture (BM-MDA)."},{"key":"9308_CR18","doi-asserted-by":"publisher","unstructured":"Farooq, U., & Lam, C. P. (2009). Evolving the quality of a model based test suite. In International conference on software testing, verification and validation workshops (ICSTW \u201809), pp. 141\u2013149. IEEE. doi: 10.1109\/ICSTW.2009.27","DOI":"10.1109\/ICSTW.2009.27"},{"key":"9308_CR19","doi-asserted-by":"publisher","unstructured":"Fourneret, E., Bouquet, F., Dadeau, F., & Debricon, S. (2011). Selective test generation method for evolving critical systems. In REGRESSION\u201911, 1st international workshop on regression testing\u2014co-located with ICST\u20192011, pp. 125\u2013134. IEEE. New York: Computer Society Press. doi: 10.1109\/ICSTW.2011.95","DOI":"10.1109\/ICSTW.2011.95"},{"issue":"2","key":"9308_CR20","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/MC.2006.65","volume":"39","author":"RB France","year":"2006","unstructured":"France, R. B., Ghosh, S., Dinh-Trong, T., & Solberg, A. (2006). Model-driven development using UML 2.0: Promises and pitfalls. IEEE Computer, 39(2), 59\u201366.","journal-title":"IEEE Computer"},{"issue":"4","key":"9308_CR21","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/s11334-011-0162-3","volume":"7","author":"S Fujiwara","year":"2011","unstructured":"Fujiwara, S., Munakata, K., Maeda, Y., Katayama, A., & Uehara, T. (2011). Test data generation for web application using a UML class diagram with OCL constraints. Innovations in Systems and Software Engineering, 7(4), 275\u2013282.","journal-title":"Innovations in Systems and Software Engineering"},{"key":"9308_CR22","unstructured":"Gibson, A. (2015). Data factory. https:\/\/github.com\/andygibson\/datafactory ."},{"key":"9308_CR23","doi-asserted-by":"crossref","unstructured":"Gutierrez, J., Escalona, M., Mejias, M., Ramos, I., & Torres, J. (2009). An approach for Model-Driven test generation. In International conference on research challenges in information science, pp. 303\u2013312.","DOI":"10.1109\/RCIS.2009.5089294"},{"key":"9308_CR24","unstructured":"IEEE (1984). IEEE 830 guide to software requirements specifications."},{"key":"9308_CR25","unstructured":"Integranova (2015) Web Page. Last visited June 2015, http:\/\/www.integranova.com ."},{"key":"9308_CR26","doi-asserted-by":"publisher","unstructured":"Iyenghar, P., Pulvermueller, E., & Westerkamp, C. (2011). Towards model-based test automation for embedded systems using UML and UTP. In IEEE 16th conference on emerging technologies & factory automation (ETFA), 2011, pp. 1\u20139. IEEE. doi: 10.1109\/ETFA.2011.6058982","DOI":"10.1109\/ETFA.2011.6058982"},{"key":"9308_CR27","doi-asserted-by":"crossref","unstructured":"Koopman, P., Achten, P., & Plasmeijer, R. (2008). Model-based testing of thin-client web applications and navigation input. In 10th International symposium of practical aspects of declarative languages (PADL), Vol. LNCS, pp. 299\u2013315. Berlin: Springer.","DOI":"10.1007\/978-3-540-77442-6_20"},{"issue":"4","key":"9308_CR28","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/s11334-011-0164-1","volume":"7","author":"J Lasalle","year":"2011","unstructured":"Lasalle, J., Peureux, F., & Fondement, F. (2011). Development of an automated MBT toolchain from UML\/SysML models. Innovations in Systems and Software Engineering, 7(4), 247\u2013256.","journal-title":"Innovations in Systems and Software Engineering"},{"key":"9308_CR29","doi-asserted-by":"publisher","unstructured":"Mar\u00edn, B., Giachetti, G., & Pastor, O. (2008). Automating the measurement of functional size of conceptual models in an MDA environment. In Product-focused software process improvement (PROFES). LNCS, pp. 215\u2013229. Berlin: Springer. doi: 10.1007\/978-3-540-69566-0_19","DOI":"10.1007\/978-3-540-69566-0_19"},{"issue":"5","key":"9308_CR30","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1016\/j.datak.2010.01.001","volume":"69","author":"B Mar\u00edn","year":"2010","unstructured":"Mar\u00edn, B., Pastor, O., & Abran, A. (2010). Towards an accurate functional size measurement procedure for conceptual models in an MDA environment. Data & Knowledge Engineering, 69(5), 472\u2013490.","journal-title":"Data & Knowledge Engineering"},{"key":"9308_CR31","unstructured":"Mar\u00edn, B., Pereira, J., Giachetti, G., Hermosilla, F., & Serral, E. (2013). A general framework for the development of MDD projects. In 1st International conference on model-driven engineering and software development\u2014MODELSWARD 2013, pp. 257\u2013260. Setubal: SciTe Press."},{"key":"9308_CR32","doi-asserted-by":"crossref","unstructured":"Mar\u00edn, B., Vos, T., Giachetti, G., Baars, A., & Tonella, P. (2011). Towards testing future web applications. In 5th International conference on research challenges in information science (RCIS 2011), IEEE Computer Society, pp. 226\u2013237.","DOI":"10.1109\/RCIS.2011.6006859"},{"key":"9308_CR33","doi-asserted-by":"publisher","unstructured":"Mlynarski, M. (2010). Holistic model-based testing for business information systems. In Third international conference on software testing, verification and validation (ICST), 2010, pp. 327\u2013330. IEEE. doi: 10.1109\/ICST.2010.35","DOI":"10.1109\/ICST.2010.35"},{"issue":"3","key":"9308_CR34","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1049\/iet-sen:20060067","volume":"1","author":"N Moreno","year":"2007","unstructured":"Moreno, N., Fraternali, P., & Vallecillo, A. (2007). WebML modeling in UML. IET Software, 1(3), 67\u201380.","journal-title":"IET Software"},{"key":"9308_CR35","doi-asserted-by":"crossref","unstructured":"Nylund, K., Ostman, E., Truscan, D., & Teittinen, R. (2011). Towards rapid creation of test adaptation in on-line model-based testing. In COMPSAC workshops, pp. 174\u2013179.","DOI":"10.1109\/COMPSACW.2011.38"},{"key":"9308_CR36","unstructured":"OMG (2011). Unified modeling language (UML) 2.4.1 superstructure specification."},{"issue":"3","key":"9308_CR37","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/j.datak.2004.12.007","volume":"55","author":"AL Opdahl","year":"2005","unstructured":"Opdahl, A. L., & Henderson-Sellers, B. (2005). A unified modelling language without referential redundancy. Data & Knowledge Engineering, 55(3), 277\u2013300.","journal-title":"Data & Knowledge Engineering"},{"issue":"7","key":"9308_CR38","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1016\/S0306-4379(01)00035-7","volume":"26","author":"O Pastor","year":"2001","unstructured":"Pastor, O., G\u00f3mez, J., Insfr\u00e1n, E., & Pelechano, V. (2001). The OO-Method approach for information systems modelling: From Object-oriented conceptual modeling to automated programming. Information Systems, 26(7), 507\u2013534.","journal-title":"Information Systems"},{"key":"9308_CR39","unstructured":"Pastor, O., Hayes, F., & Bear, S. (1992). OASIS: An object-oriented specification language. In: International conference on advanced information systems engineering (CAiSE), pp. 348\u2013363."},{"key":"9308_CR40","unstructured":"Pastor, O., Molina, J. C., & Iborra, E. (2004). Automated production of fully functional applications with OlivaNova model execution. ERCIM News no. 57."},{"issue":"2","key":"9308_CR41","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.infsof.2012.08.009","volume":"55","author":"B P\u00e9rez-Lamancha","year":"2013","unstructured":"P\u00e9rez-Lamancha, B., Polo, M., Caivano, D., Piattini, M., & Visaggio, G. (2013). Automated generation of test oracles using a model-driven approach. Information and Software Technology, 55(2), 301\u2013319.","journal-title":"Information and Software Technology"},{"key":"9308_CR42","doi-asserted-by":"publisher","unstructured":"Reza, H., Ogaard, K., & Malge, A. (2008). A model based testing technique to test web applications using Statecharts. In Fifth international conference on information technology: New generations, ITNG 2008, IEEE. doi: 10.1109\/ITNG.2008.145","DOI":"10.1109\/ITNG.2008.145"},{"key":"9308_CR43","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.cl.2015.06.001","volume":"43","author":"A Rodrigues da Silva","year":"2015","unstructured":"Rodrigues da Silva, A. (2015). Model-driven engineering: A survey supported by the unified conceptual model. Computer Languages, Systems & Structures, 43, 139\u2013155.","journal-title":"Computer Languages, Systems & Structures"},{"issue":"2","key":"9308_CR44","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2009","unstructured":"Runeson, P., & Host, M. (2009). Guidelines for conducting and reporting case study research in software engineering. Empirical Software Engineering Journal, 14(2), 131\u2013164.","journal-title":"Empirical Software Engineering Journal"},{"key":"9308_CR45","doi-asserted-by":"crossref","unstructured":"Seifert, D. (2008). Conformance testing based on UML state machines. In 10th International conference on formal engineering methods, ICFEM 2008, vol. LNCS 5256, pp. 45\u201365. Berlin: Springer.","DOI":"10.1007\/978-3-540-88194-0_6"},{"issue":"5","key":"9308_CR46","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic, B. (2003). The pragmatics of model-driven development. IEEE Software, 20(5), 19\u201325.","journal-title":"IEEE Software"},{"issue":"8","key":"9308_CR47","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/280324.280335","volume":"41","author":"SA Slaughter","year":"1998","unstructured":"Slaughter, S. A., Harter, D. E., & Krishnan, M. S. (1998). Evaluating the cost of software quality. Communications of the ACM, 41(8), 67\u201373.","journal-title":"Communications of the ACM"},{"key":"9308_CR48","unstructured":"Smartesting. Test designer. http:\/\/www.smartesting.com ."},{"key":"9308_CR49","unstructured":"SourceForge.net. ParteG, http:\/\/parteg.sourceforge.net ."},{"key":"9308_CR50","doi-asserted-by":"crossref","unstructured":"Thayer, R. H., Slaughter, J. B., Boehm, B. W., Clapp, J. A., Manley, J. H., & Burrows, J. H. (1974). The high cost of software: causes and corrections. In: Proceedings of the national computer conference and exposition AFIPS \u201874, pp. 1009\u20131009.","DOI":"10.1145\/1500175.1500373"},{"key":"9308_CR51","unstructured":"Timmer, M., Brinksma, E., & Stoelinga, M. (2011). Model-based testing. Software and systems safety\u2014specification and verification. NATO science for peace and security series\u2014D: Information and communication security, Vol. 30. Amsterdam: IOS Press."},{"key":"9308_CR52","unstructured":"Utting, M., & Legeard, B. (2007). Practical model-based testing\u2014A tools approach. Los Altos, CA: Morgan Kaufmann. ISBN: 978-0-12-372501-1."},{"issue":"5","key":"9308_CR53","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., & Legeard, B. (2012). A taxonomy of model-based testing approaches. Software Testing, Verification and Reliability, 22(5), 297\u2013312.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9308_CR54","doi-asserted-by":"crossref","unstructured":"Wieczorek, S., Stefanescu, A., Fritzsche, M., & Schnitter, J. (2008). Enhancing test driven development with model based testing and performance analysis. In: TAIC-PART \u201808 proceedings of the testing: Academic & industrial conference\u2014Practice and research techniques, pp. 82\u201386. IEEE.","DOI":"10.1109\/TAIC-PART.2008.17"},{"issue":"9","key":"9308_CR55","doi-asserted-by":"crossref","first-page":"2490","DOI":"10.1109\/TC.2014.2375189","volume":"64","author":"D Xu","year":"2015","unstructured":"Xu, D., Kent, M., Thomas, L., Mouelhi, T., & Le Traon, Y. (2015). Automated model-based testing of role-based access control using predicate\/transition nets. IEEE Transactions on Computers, 64(9), 2490\u20132505.","journal-title":"IEEE Transactions on Computers"},{"key":"9308_CR56","doi-asserted-by":"publisher","unstructured":"Yang, R., Chen, Z., Xu, B., W. E., W., & Zhang, J. (2011). Improve the effectiveness of test case generation on EFSM via automatic path feasibility analysis. In IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE), pp. 17\u201324. IEEE. doi: 10.1109\/HASE.2011.12","DOI":"10.1109\/HASE.2011.12"},{"key":"9308_CR57","doi-asserted-by":"publisher","unstructured":"Yuan, Q., Wu, J., Liu, C., & Zhang, L. (2008). A model driven approach toward business process test case generation. In 10th International symposium on web site evolution (WSE 2008), pp. 41\u201344. IEEE. doi: 10.1109\/WSE.2008.4655394","DOI":"10.1109\/WSE.2008.4655394"},{"key":"9308_CR58","doi-asserted-by":"publisher","unstructured":"Zeng, F., Chen, Z., Cao, Q., & Mao, L. (2009). Research on method of object-oriented test cases generation based on UML and LTS. In 1st international conference on information science and engineering (ICISE), pp. 5055\u20135058. IEEE. doi: 10.1109\/ICISE.2009.965","DOI":"10.1109\/ICISE.2009.965"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9308-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-016-9308-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9308-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9308-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T12:55:45Z","timestamp":1589633745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-016-9308-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,10]]},"references-count":58,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9308"],"URL":"https:\/\/doi.org\/10.1007\/s11219-016-9308-8","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,10]]}}}