{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T15:38:48Z","timestamp":1761061128066,"version":"3.44.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030581343"},{"type":"electronic","value":"9783030581350"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-58135-0_6","type":"book-chapter","created":{"date-parts":[[2020,8,27]],"date-time":"2020-08-27T10:02:47Z","timestamp":1598522567000},"page":"64-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Seed Model Synthesis for Testing Model-Based Mutation Operators"],"prefix":"10.1007","author":[{"given":"Pablo","family":"G\u00f3mez-Abajo","sequence":"first","affiliation":[]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,28]]},"reference":[{"key":"6_CR1","unstructured":"Alhwikem, F., Paige, R.F., Rose, L., Alexander, R.: A systematic approach for designing mutation operators for MDE languages. In: MODEVA, CEUR Workshop Proceedings, vol. 1713, pp. 54\u201359 (2016). CEUR-WS.org"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Burdusel, A., Zschaler, S., John, S.: Automatic generation of atomic consistency preserving search operators for search-based model engineering. In: MODELS, pp. 106\u2013116. IEEE (2019)","DOI":"10.1109\/MODELS.2019.00-10"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.jss.2018.05.010","volume":"143","author":"PC Ca\u00f1izares","year":"2018","unstructured":"Ca\u00f1izares, P.C., N\u00fa\u00f1ez, A., Merayo, M.G.: Mutomvo: mutation testing framework for simulated cloud and HPC environments. J. Syst. Softw. 143, 187\u2013207 (2018)","journal-title":"J. Syst. Softw."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J., Claris\u00f3, R., Cabot, J.: Translating target to source constraints in model-to-model transformations. In: MODELS, pp. 12\u201322. IEEE Computer Society (2017)","DOI":"10.1109\/MODELS.2017.12"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. IEEE Comput. 11(4), 34\u201341 (1978)","journal-title":"IEEE Comput."},{"key":"6_CR6","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-319-15895-2_25","volume-title":"Business Process Management Workshops","author":"ML van Eck","year":"2015","unstructured":"van Eck, M.L., Buijs, J.C.A.M., van Dongen, B.F.: Genetic process mining: alignment-based process model mutation. In: Fournier, F., Mendling, J. (eds.) BPM 2014. LNBIP, vol. 202, pp. 291\u2013303. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15895-2_25"},{"issue":"5\u20137","key":"6_CR7","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1002\/stvr.1528","volume":"25","author":"A Estero-Botaro","year":"2015","unstructured":"Estero-Botaro, A., Palomo-Lozano, F., Medina-Bulo, I., Dom\u00ednguez-Jim\u00e9nez, J.J., Garc\u00eda-Dom\u00ednguez, A.: Quality metrics for mutation testing with applications to WS-BPEL compositions. Softw. Test. Verif. Reliab. 25(5\u20137), 536\u2013571 (2015)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de Lara, J.: Wodel: a domain-specific language for model mutation. In: SAC, pp. 1968\u20131973. ACM (2016)","DOI":"10.1145\/2851613.2851751"},{"key":"6_CR9","first-page":"152","volume":"49","author":"P G\u00f3mez-Abajo","year":"2017","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de Lara, J.: A domain-specific language for model mutation and its application to the automated generation of exercises. Comput. Lang. Syst. Struct. 49, 152\u2013173 (2017)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.scico.2018.01.008","volume":"163","author":"P G\u00f3mez-Abajo","year":"2018","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de Lara, J., Merayo, M.G.: A tool for domain-independent model mutation. Sci. Comput. Program. 163, 85\u201392 (2018)","journal-title":"Sci. Comput. Program."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Abajo, P., Guerra, E., de Lara, J., Merayo, M.G.: Mutation testing for DSLs (tool demo). In: DSM, pp. 60\u201362. ACM (2019)","DOI":"10.1145\/3358501.3361234"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, A., Luna, C., Bressan, G.: Mutation testing for Java based on model-driven development. In: CLEI-SLISW (2018). (in Spanish)","DOI":"10.1109\/CLEI.2018.00011"},{"issue":"2","key":"6_CR13","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/s10270-013-0369-x","volume":"14","author":"E Guerra","year":"2015","unstructured":"Guerra, E., Soeken, M.: Specification-driven model transformation testing. Softw. Syst. Model. 14(2), 623\u2013644 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"6_CR14","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TSE.1977.231145","volume":"3","author":"RG Hamlet","year":"1977","unstructured":"Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Trans. Software Eng. 3(4), 279\u2013290 (1977)","journal-title":"IEEE Trans. Software Eng."},{"issue":"14","key":"6_CR15","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Inf. Softw. Technol. 43(14), 833\u2013839 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.procir.2014.10.010","volume":"25","author":"L Herbert","year":"2014","unstructured":"Herbert, L., Hansen, Z., Jacobsen, P., Cunha, P.: Evolutionary optimization of production materials workflow processes. Procedia CIRP 25, 53\u201360 (2014)","journal-title":"Procedia CIRP"},{"issue":"9","key":"6_CR17","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/3338843","volume":"62","author":"D Jackson","year":"2019","unstructured":"Jackson, D.: Alloy: a language and tool for exploring software designs. Commun. ACM 62(9), 66\u201376 (2019)","journal-title":"Commun. ACM"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Jia, Y., Harman, M.: MILU: a customizable, runtime-optimized higher order mutation testing tool for the full C language. In: TAICPART, pp. 94\u201398 (2008)","DOI":"10.1109\/TAIC-PART.2008.18"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Just, R.: The major mutation framework: efficient and scalable mutation analysis for Java. In: ISSTA, pp. 433\u2013436. ACM (2014)","DOI":"10.1145\/2610384.2628053"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-642-33666-9_27","volume-title":"Model Driven Engineering Languages and Systems","author":"M Kuhlmann","year":"2012","unstructured":"Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 415\u2013431. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33666-9_27"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-87877-3_19","volume-title":"Conceptual Modeling - ER 2008","author":"C Li","year":"2008","unstructured":"Li, C., Reichert, M., Wombacher, A.: On measuring process model similarity based on high-level change operations. In: Li, Q., Spaccapietra, S., Yu, E., Oliv\u00e9, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 248\u2013264. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87877-3_19"},{"issue":"2","key":"6_CR22","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10618-006-0061-7","volume":"14","author":"A de Medeiros","year":"2007","unstructured":"de Medeiros, A., Weijters, A., van der Aalst, W.: Genetic process mining: an experimental evaluation. Data Min. Knowl. Discov. 14(2), 245\u2013304 (2007)","journal-title":"Data Min. Knowl. Discov."},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-662-54494-5_2","volume-title":"Fundamental Approaches to Software Engineering","author":"V Montaghami","year":"2017","unstructured":"Montaghami, V., Rayside, D.: Bordeaux: a tool for thinking outside the box. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 22\u201339. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_2"},{"key":"6_CR24","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Boston (2008)","edition":"2"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Troya, J., Bergmayr, A., Burgue\u00f1o, L., Wimmer, M.: Towards systematic mutations for and with ATL model transformations. In: ICST Workshops, pp. 1\u201310 (2015)","DOI":"10.1109\/ICSTW.2015.7107455"},{"key":"6_CR26","unstructured":"Zeller, A., Gopinath, R., B\u00f6hme, M., Fraser, G., Holler, C.: Mutation-based fuzzing. In: The Fuzzing Book. Saarland University (2019). https:\/\/www.fuzzingbook.org\/html\/MutationFuzzer.html. Accessed Oct 2019"}],"container-title":["Lecture Notes in Business Information Processing","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58135-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T22:05:27Z","timestamp":1756245927000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58135-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030581343","9783030581350"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58135-0_6","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"28 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Grenoble","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","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":"8 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/caise20.imag.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"185","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":"33","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":"18% - 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":"5","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, 11 papers were published from the CAiSE 2020 workshops, and 12 papers out of 19 submissions in the CAiSE 2020 Forum. The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}