{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:03:02Z","timestamp":1743120182352,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030674441"},{"type":"electronic","value":"9783030674458"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-67445-8_12","type":"book-chapter","created":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T04:28:24Z","timestamp":1612153704000},"page":"273-297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3979-5483","authenticated-orcid":false,"given":"Reinhard","family":"Pr\u00f6ll","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9441-9889","authenticated-orcid":false,"given":"No\u00ebl","family":"Hagemann","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7931-1105","authenticated-orcid":false,"given":"Bernhard","family":"Bauer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,2]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-44518-8_6","volume-title":"Abstract State Machines - Theory and Applications","author":"M Anlauff","year":"2000","unstructured":"Anlauff, M.: XASM-an extensible, component-based abstract state machines language. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, pp. 69\u201390. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44518-8_6"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-319-11617-4_19","volume-title":"Complex Systems Design & Management","author":"M Arnaud","year":"2015","unstructured":"Arnaud, M., Bannour, B., Cuccuru, A., Gaston, C., Gerard, S., Lapitre, A.: Timed symbolic testing framework for executable models using high-level scenarios. In: Boulanger, F., Krob, D., Morel, G., Roussel, J.-C. (eds.) Complex Systems Design & Management, pp. 269\u2013282. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-11617-4_19"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-319-11737-9_25","volume-title":"Formal Methods and Software Engineering","author":"C Braunstein","year":"2014","unstructured":"Braunstein, C., et al.: Complete model-based equivalence class testing for the ETCS ceiling speed monitor. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 380\u2013395. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11737-9_25"},{"issue":"4","key":"12_CR4","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"A Cimatti","year":"2000","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model checker. Int. J. Softw. Tools Technol. Transf. 2(4), 410\u2013425 (2000)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"12_CR5","unstructured":"Galin, D.: Software Quality Assurance: From Theory to Implementation. Pearson Education India (2004)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"2896","DOI":"10.1016\/j.egypro.2019.01.944","volume":"158","author":"A Gambarotta","year":"2019","unstructured":"Gambarotta, A., Morini, M., Saletti, C.: Development of a model-based predictive controller for a heat distribution network. Energy Proc. 158, 2896\u20132901 (2019)","journal-title":"Energy Proc."},{"key":"12_CR7","unstructured":"GmbH, I.: radCase - Model-Driven Generation (2020). http:\/\/www.radcase.com\/"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Grossmann, J., Serbanescu, D.A., Schieferdecker, I.: Testing embedded real time systems with TTCN-3. In: ICST, pp. 81\u201390. IEEE Computer Society (2009)","DOI":"10.1109\/ICST.2009.37"},{"key":"12_CR9","first-page":"12","volume":"11","author":"S Guermazi","year":"2015","unstructured":"Guermazi, S., Tatibouet, J., Cuccuru, A., Dhouib, S., G\u00e9rard, S., Seidewitz, E.: Executable modeling with fUML and alf in papyrus: tooling and experiments. Strategies 11, 12 (2015)","journal-title":"Strategies"},{"key":"12_CR10","unstructured":"Hagemann, N., Pr\u00f6ll, R., Bauer, B.: Towards abstract test execution in early stages of model-driven software development. In: Hammoudi, S., Pires, L.F., Seli\u0107, B. (eds.) Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 25\u201327 February 2020, Valletta, Malta (2020). DOIurl10.5220\/0008934802160226"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","volume-title":"Computer Aided Verification","author":"TA Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: a model checker for hybrid systems. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 460\u2013463. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63166-6_48"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-319-47166-2_17","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"MU Iftikhar","year":"2016","unstructured":"Iftikhar, M.U., Lundberg, J., Weyns, D.: A model interpreter for timed automata. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 243\u2013258. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_17"},{"key":"12_CR13","volume-title":"Applied Software Measurement: Global Analysis of Productivity and Quality","author":"C Jones","year":"2008","unstructured":"Jones, C.: Applied Software Measurement: Global Analysis of Productivity and Quality, 3rd edn. McGraw-Hill Education Group, New York (2008)","edition":"3"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Khalesi, M.H., Salarieh, H., Foumani, M.S.: Dynamic modeling, control system design and MIL-HIL tests of an unmanned rotorcraft using novel low-cost flight control system. Iran. J. Sci. Technol. Trans. Mech. Eng. 44, 707\u2013726 (2020). https:\/\/doi.org\/10.1007\/s40997-019-00288-x","DOI":"10.1007\/s40997-019-00288-x"},{"key":"12_CR15","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"AG Kleppe","year":"2003","unstructured":"Kleppe, A.G., Warmer, J., Warmer, J.B., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Professional, Boston (2003)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Krenn, W., Schlick, R., Tiran, S., Aichernig, B., Jobstl, E., Brandl, H.: MoMuT: UML model-based mutation testing for UML. In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u20138. IEEE (2015)","DOI":"10.1109\/ICST.2015.7102627"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/3-540-61474-5_93","volume-title":"Computer Aided Verification","author":"E Clarke","year":"1996","unstructured":"Clarke, E., McMillan, K., Campos, S., Hartonas-Garmhausen, V.: Symbolic model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 419\u2013422. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61474-5_93"},{"key":"12_CR18","volume-title":"Executable UML: A Foundation for Model-driven Architecture","author":"SJ Mellor","year":"2002","unstructured":"Mellor, S.J., Mellor, S., Balcer, M.J.: Executable UML: A Foundation for Model-driven Architecture. Addison-Wesley Professional, Boston (2002)"},{"key":"12_CR19","unstructured":"OMG: OMG Systems Modeling Language (OMG SysML), Version 1.3 (2012). http:\/\/www.omg.org\/spec\/SysML\/1.3\/"},{"key":"12_CR20","unstructured":"OMG: About the Semantics of a Foundational Subset for Executable UML Models Specification Version 1.4 (2018). https:\/\/www.omg.org\/spec\/FUML\/About-FUML\/"},{"key":"12_CR21","unstructured":"(OMG), O.M.G.: UML Testing Profile 2 (UTP 2), Version 2.0, December 2018. https:\/\/www.omg.org\/spec\/UTP2\/2.0\/PDF"},{"key":"12_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-24580-0_11","volume-title":"Testing Software and Systems","author":"J Peleska","year":"2011","unstructured":"Peleska, J., et al.: A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 146\u2013161. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24580-0_11"},{"key":"12_CR23","unstructured":"Planning, S.: The economic impacts of inadequate infrastructure for software testing. National Institute of Standards and Technology (2002)"},{"issue":"3","key":"12_CR24","first-page":"183","volume":"220","author":"AR Plummer","year":"2006","unstructured":"Plummer, A.R.: Model-in-the-loop testing. Proc. Inst. Mech. Eng. Part I: J. Syst. Control Eng. 220(3), 183\u2013199 (2006)","journal-title":"Proc. Inst. Mech. Eng. Part I: J. Syst. Control Eng."},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11498490_13","volume-title":"Model-Based Testing of Reactive Systems","author":"A Pretschner","year":"2005","unstructured":"Pretschner, A., Philipps, J.: 10 methodological issues in model-based testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 281\u2013291. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11498490_13"},{"key":"12_CR26","doi-asserted-by":"publisher","unstructured":"Pr\u00f6ll, R., Bauer, B.: A model-based test case management approach for integrated sets of domain-specific models. In: O\u2019Conner, L., Feldt, R., Yoo, S. (eds.) Proceedings of the 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), ICSTW 2018, 9\u201313 April 2018, V\u00e4ster\u00e5s, Sweden (2018). https:\/\/doi.org\/10.1109\/icstw.2018.00048","DOI":"10.1109\/icstw.2018.00048"},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-94764-8_11","volume":"880","author":"R Pr\u00f6ll","year":"2018","unstructured":"Pr\u00f6ll, R., Rumpold, A., Bauer, B.: Applying integrated domain-specific modeling for multi-concerns development of complex systems. Commun. Comput. Inf. Sci. 880, 247\u2013271 (2018). https:\/\/doi.org\/10.1007\/978-3-319-94764-8_11","journal-title":"Commun. Comput. Inf. Sci."},{"key":"12_CR28","doi-asserted-by":"publisher","unstructured":"Rumpold, A., Pr\u00f6ll, R., Bauer, B.: A domain-aware framework for integrated model-based system analysis and design. In: Pires, L.F., Hammoudi, S., Selic, B. (eds.) Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 19\u201321 February 2017, in Porto, Portugal (2017). https:\/\/doi.org\/10.5220\/0006206301570168","DOI":"10.5220\/0006206301570168"},{"key":"12_CR29","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-319-27869-8_22","volume-title":"Model-Driven Engineering and Software Development","author":"F Scippacercola","year":"2015","unstructured":"Scippacercola, F., Pietrantuono, R., Russo, S., Zentai, A.: Model-in-the-loop testing of a railway interlocking system. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L.F. (eds.) MODELSWARD 2015. CCIS, vol. 580, pp. 375\u2013389. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-27869-8_22"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67445-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T04:34:42Z","timestamp":1612154082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-67445-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030674441","9783030674458"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67445-8_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"2 February 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MODELSWARD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model-Driven Engineering and Software Development","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Valletta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malta","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 February 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 February 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.modelsward.org\/?y=2020","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"66","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}