{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:58Z","timestamp":1772532958303,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T00:00:00Z","timestamp":1504137600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s10270-017-0620-y","type":"journal-article","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T18:58:14Z","timestamp":1504205894000},"page":"1543-1570","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["From use case maps to executable test procedures: a scenario-based approach"],"prefix":"10.1007","volume":"18","author":[{"given":"Nader","family":"Kesserwan","sequence":"first","affiliation":[]},{"given":"Rachida","family":"Dssouli","sequence":"additional","affiliation":[]},{"given":"Jamal","family":"Bentahar","sequence":"additional","affiliation":[]},{"given":"Bernard","family":"Stepien","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Labr\u00e8che","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,31]]},"reference":[{"key":"620_CR1","volume-title":"Patterns for Effective Use Cases","author":"S Adolph","year":"2002","unstructured":"Adolph, S., Cockburn, A., Bramble, P.: Patterns for Effective Use Cases. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)"},{"key":"620_CR2","volume-title":"Model-Driven Testing: Using the UML Testing Profile","author":"P Baker","year":"2007","unstructured":"Baker, P., Dai, Z.R., Grabowski, J., Schieferdecker, I., Williams, C.: Model-Driven Testing: Using the UML Testing Profile. Springer, Berlin (2007). ISBN 9783540725626"},{"key":"620_CR3","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Fantechi, A., Gnesi, S., Lami, G.: Product line use cases: Scenario-based specification and testing of requirements. In: Software Product Lines, pp. 425\u2013445. Springer, Berlin Heidelberg (2006)","DOI":"10.1007\/978-3-540-33253-4_11"},{"key":"620_CR4","doi-asserted-by":"crossref","unstructured":"Boniol, F., Wiels, V.: The landing gear system case study. In: ABZ 2014: The Landing Gear Case Study, pp. 1\u201318. Springer (2014)","DOI":"10.1007\/978-3-319-07512-9_1"},{"key":"620_CR5","doi-asserted-by":"crossref","unstructured":"Boulet, P., Amyot, D., Stepien, B.: Towards the generation of tests in the test description language from use case map models. In: SDL 2015: Model-Driven Engineering for Smart Cities, pp. 193\u2013201. Springer (2015)","DOI":"10.1007\/978-3-319-24912-4_14"},{"issue":"1","key":"620_CR6","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L Briand","year":"2002","unstructured":"Briand, L., Labiche, Y.: A UML-based approach to system testing. Softw. Syst. Model. 1(1), 10\u201342 (2002)","journal-title":"Softw. Syst. Model."},{"issue":"12","key":"620_CR7","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1109\/32.738343","volume":"24","author":"RJA Buhr","year":"1998","unstructured":"Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Trans. Softw. Eng. 24(12), 1131\u20131155 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"620_CR8","unstructured":"DO-178A Software Considerations in Airborne Systems and Equipment Certification, Document Number: DO-178A, Issue Date: 3\/22\/1985, Committee: SC-152, Category: Software"},{"key":"620_CR9","unstructured":"DO-178C: Available from RTCA at www.rtca.org"},{"key":"620_CR10","doi-asserted-by":"crossref","unstructured":"Dvorak, D.: NASA study on Flight Software Complexity. NASA office of chief engineer (2009)","DOI":"10.2514\/6.2009-1882"},{"issue":"10","key":"620_CR11","doi-asserted-by":"publisher","first-page":"1092","DOI":"10.1016\/j.infsof.2012.04.007","volume":"54","author":"F Elberzhager","year":"2012","unstructured":"Elberzhager, F., Rosbach, A., M\u00fcnch, J., Eschbach, R.: Reducing test effort: a systematic mapping study on existing approaches. Inf. Softw. Technol. 54(10), 1092\u20131106 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"620_CR12","doi-asserted-by":"crossref","unstructured":"Hasling, B., Goetz, H., Beetz, K.: Model based testing of system requirements using UML use case models. In: 2008 1st International Conference on Software Testing, Verification, and Validation, pp. 367\u2013376. IEEE (2008, April)","DOI":"10.1109\/ICST.2008.9"},{"issue":"6","key":"620_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S1571-0661(04)81023-5","volume":"82","author":"R Heckel","year":"2003","unstructured":"Heckel, R., Lohmann, M.: Towards model-driven testing. Electron. Notes Theor. Comput. Sci. 82(6), 33\u201343 (2003). ISBN 1571-0661","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"620_CR14","unstructured":"http:\/\/jucmnav.softwareengineering.ca\/ucm\/bin\/view\/ProjetSEG\/WebHome"},{"key":"620_CR15","unstructured":"http:\/\/www.etsi.org\/deliver\/etsi_es\/203100_203199\/20311901\/01.03.01_60\/es_20311901v010301p.pdf . http:\/\/www.etsi.org\/technologies-clusters\/technologies\/test-description-language"},{"key":"620_CR16","unstructured":"http:\/\/www.ttcn-3.org\/index.php\/downloads\/standards"},{"key":"620_CR17","unstructured":"http:\/\/xtext.com\/"},{"key":"620_CR18","unstructured":"http:\/\/www.rtca.org\/"},{"key":"620_CR19","unstructured":"http:\/\/jucmnav.softwareengineering.ca\/ucm\/pub\/UCM\/VirLibTutorial99\/UCMquickRef.pdf"},{"key":"620_CR20","unstructured":"http:\/\/www.etsi.org\/deliver\/etsi_es\/201800_201899\/20187301\/04.08.01_60\/es_20187301v040801p.pdf"},{"key":"620_CR21","unstructured":"https:\/\/standards.ieee.org\/findstds\/standard\/830-1998.html"},{"key":"620_CR22","unstructured":"Hovsepyan, A., Van Landuyt, D., Michiels, S., Joosen, W., Rangel, G., Fernandez Briones, J., Depauw, J.: Model-driven software development of safety-critical avionics systems: an experience report. In: 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), vol. 1249 (2014, September)"},{"key":"620_CR23","unstructured":"ITU-T Z.151: http:\/\/www.itu.int\/rec\/T-REC-Z.151\/en"},{"key":"620_CR24","doi-asserted-by":"crossref","unstructured":"Kealey, J., Amyot, D.: Enhanced use case map traversal semantics. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 133\u2013149. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-74984-4_9"},{"issue":"1","key":"620_CR25","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/PL00010342","volume":"5","author":"JCSP Leite","year":"2000","unstructured":"Leite, J.C.S.P., Hadad, G., Doorn, J., Kaplan, G.: A scenario construction process. Requir. Eng. J. 5(1), 38\u201361 (2000)","journal-title":"Requir. Eng. J."},{"key":"620_CR26","unstructured":"Makedonski, P., Adamis, G., K\u00e4\u00e4rik, M., Ulrich, A., Wendland, M.-F., Wiles, A.: Bringing TDL to users: a hands-on tutorial. In: User Conference on Advanced Automated Testing (UCAAT 2014), Munich"},{"issue":"6","key":"620_CR27","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1007\/s10009-014-0320-7","volume":"16","author":"S Marrone","year":"2014","unstructured":"Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V.: Towards model-driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6), 669\u2013683 (2014)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"3","key":"620_CR28","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1109\/TSE.2006.22","volume":"32","author":"C Nebut","year":"2006","unstructured":"Nebut, C., Fleurey, F., Le Traon, Y., Jezequel, J.M.: Automatic test generation: a use case driven approach. IEEE Trans. Softw. Eng. 32(3), 140\u2013155 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"620_CR29","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s00165-012-0258-z","volume":"26","author":"S Nogueira","year":"2014","unstructured":"Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Formal Asp. Comput. 26(3), 441\u2013490 (2014)","journal-title":"Formal Asp. Comput."},{"key":"620_CR30","unstructured":"Ryser, J., Glinz, M.: A scenario-based approach to validating and testing software systems using statecharts. In: Proceedings of 12th International Conference on Software and Systems Engineering and Their Applications (1999, December)"},{"key":"620_CR31","doi-asserted-by":"crossref","unstructured":"Sarmiento, E., Sampaio do Prado Leite, J. C., Almentero, E.: C&L: generating model based test cases from natural language requirements descriptions. In: 2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET), pp. 32\u201338. IEEE (2014, August)","DOI":"10.1109\/RET.2014.6908677"},{"key":"620_CR32","doi-asserted-by":"publisher","unstructured":"Schatz, Bernhard.: 10 years model-driven\u2014what did we achieve?. In: Proceedings of the 2011 Second Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC \u201911). IEEE Computer Society, Washington, DC, USA, 1-. (2011). doi: 10.1109\/ECBS-EERC.2011.42","DOI":"10.1109\/ECBS-EERC.2011.42"},{"key":"620_CR33","doi-asserted-by":"crossref","unstructured":"Som\u00e9, S. S., Cheng, X.: An approach for supporting system-level test scenarios generation from textual use cases. In: Proceedings of the 2008 ACM Symposium on Applied computing, pp. 724\u2013729. ACM (2008, March)","DOI":"10.1145\/1363686.1363857"},{"key":"620_CR34","doi-asserted-by":"crossref","unstructured":"Ulrich, A., Jell, S., Votintseva, A., Kull, A.: The ETSI Test Description Language TDL and its application. In: 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 601\u2013608. IEEE (2014, January)","DOI":"10.5220\/0004708706010608"},{"key":"620_CR35","doi-asserted-by":"publisher","unstructured":"What is the Benefit of a Model-Based Design of Embedded Software Systems in the Car Industry?Manfred Broy (Technical University Munich, Germany), Sascha Kirstan (Altran Technologies, Germany), Helmut Krcmar (Technical University Munich, Germany) and Bernhard Sch\u00e4tz (Technical University Munich, Germany). doi: 10.4018\/978-1-61350-438-3.ch013","DOI":"10.4018\/978-1-61350-438-3.ch013"},{"key":"620_CR36","doi-asserted-by":"crossref","unstructured":"Zhang, M., Yue, T., Ali, S., Zhang, H., Wu, J.: A systematic approach to automatically derive test cases from use cases specified in restricted natural languages. In: Proceedings of the 8th International Conference on System Analysis and Modeling: Models and Reusability (SAM\u201914) (2014)","DOI":"10.1007\/978-3-319-11743-0_10"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0620-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0620-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0620-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T12:03:42Z","timestamp":1750853022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0620-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,31]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["620"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0620-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,31]]},"assertion":[{"value":"23 June 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 July 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 August 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 August 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}