{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:26:26Z","timestamp":1757312786610,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"R&D programme of Madrid","award":["P2018\/TCS-4314"],"award-info":[{"award-number":["P2018\/TCS-4314"]}]},{"name":"Spanish Ministry of Science","award":["PID2021-122270OB-I00"],"award-info":[{"award-number":["PID2021-122270OB-I00"]}]},{"name":"European Union?s Horizon 2020 research and innovation programme under the Marie Sk?odowska-Curie grant agreement","award":["813884"],"award-info":[{"award-number":["813884"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550355.3552451","type":"proceedings-article","created":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T22:44:57Z","timestamp":1666651497000},"page":"109-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Automatic test amplification for executable models"],"prefix":"10.1145","author":[{"given":"Faezeh","family":"Khorram","sequence":"first","affiliation":[{"name":"Nantes Universit\u00e9, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erwan","family":"Bousse","sequence":"additional","affiliation":[{"name":"Nantes Universit\u00e9, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marie","family":"Mottu","sequence":"additional","affiliation":[{"name":"Nantes Universit\u00e9, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerson","family":"Suny\u00e9","sequence":"additional","affiliation":[{"name":"Nantes Universit\u00e9, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"G\u00f3mez-Abajo","sequence":"additional","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo C.","family":"Ca\u00f1izares","sequence":"additional","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings IWST 2019 International Workshop on Smalltalk Technologies. ESUG.","author":"Abdi Mehrdad","year":"2019","unstructured":"Mehrdad Abdi , Henrique Rocha , and Serge Demeyer . 2019 . Test amplification in the pharo smalltalk ecosystem . In Proceedings IWST 2019 International Workshop on Smalltalk Technologies. ESUG. Mehrdad Abdi, Henrique Rocha, and Serge Demeyer. 2019. Test amplification in the pharo smalltalk ecosystem. In Proceedings IWST 2019 International Workshop on Smalltalk Technologies. ESUG."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2019.07.001"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92997-2_10"},{"key":"e_1_3_2_1_4_1","volume-title":"A Framework for the Regression Testing of Model-to-Model Transformations. e-Informatica Software Engineering Journal 15, 1","author":"Al-Azzoni Issam","year":"2021","unstructured":"Issam Al-Azzoni and Saqib Iqbal . 2021. A Framework for the Regression Testing of Model-to-Model Transformations. e-Informatica Software Engineering Journal 15, 1 ( 2021 ), 65--84. Issam Al-Azzoni and Saqib Iqbal. 2021. A Framework for the Regression Testing of Model-to-Model Transformations. e-Informatica Software Engineering Journal 15, 1 (2021), 65--84."},{"volume-title":"43rd IEEE Annual Computer Software and Applications Conference (COMPSAC). IEEE, 350--355","author":"Allala Sai Chaithra","key":"e_1_3_2_1_5_1","unstructured":"Sai Chaithra Allala , Juan P. Sotomayor , Dionny Santiago , Tariq M. King , and Peter J. Clarke . 2019. Towards Transforming User Requirements to Test Cases Using MDE and NLP . In 43rd IEEE Annual Computer Software and Applications Conference (COMPSAC). IEEE, 350--355 . Sai Chaithra Allala, Juan P. Sotomayor, Dionny Santiago, Tariq M. King, and Peter J. Clarke. 2019. Towards Transforming User Requirements to Test Cases Using MDE and NLP. In 43rd IEEE Annual Computer Software and Applications Conference (COMPSAC). IEEE, 350--355."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2007.38"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0644-3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997384"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3486608.3486904"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948707"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.110398"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09692-y"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2019-076"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.08.007"},{"volume-title":"Proceedings. SCCC'99 XIX International Conference of the Chilean Computer Science Society. 96--104","author":"Fabbri S.C.P.F.","key":"e_1_3_2_1_17_1","unstructured":"S.C.P.F. Fabbri , J.C. Maldonado , and M.E. Delamaro . 1999. Proteum\/FSM: a tool to support finite state machine validation based on mutation testing . In Proceedings. SCCC'99 XIX International Conference of the Chilean Computer Science Society. 96--104 . S.C.P.F. Fabbri, J.C. Maldonado, and M.E. Delamaro. 1999. Proteum\/FSM: a tool to support finite state machine validation based on mutation testing. In Proceedings. SCCC'99 XIX International Conference of the Chilean Computer Science Society. 96--104."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45102-1_23"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3844\/jcssp.2018.108.121"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.01.008"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2020.19.3.a5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00827-0"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0369-x"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231145"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21290-2_7"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985875"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2021.20.3.a6"},{"key":"e_1_3_2_1_28_1","volume-title":"Advanced Testing and Debugging Support for Reactive Executable DSLs. Software and Systems Modeling","author":"Khorram Faezeh","year":"2022","unstructured":"Faezeh Khorram , Erwan Bousse , Jean-Marie Mottu , and Gerson Suny\u00e9 . 2022. Advanced Testing and Debugging Support for Reactive Executable DSLs. Software and Systems Modeling ( 2022 ). https:\/\/hal.archives-ouvertes.fr\/hal-03723920 Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, and Gerson Suny\u00e9. 2022. Advanced Testing and Debugging Support for Reactive Executable DSLs. Software and Systems Modeling (2022). https:\/\/hal.archives-ouvertes.fr\/hal-03723920"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.09.002"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183533"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00798-2"},{"volume-title":"Mutation Analysis for Testing Finite State Machines. In 2009 Second International Symposium on Electronic Commerce and Security. 620--624","year":"2009","key":"e_1_3_2_1_32_1","unstructured":"Jin-hua Li, Geng-xin Dai, and Huan-huan Li. 2009 . Mutation Analysis for Testing Finite State Machines. In 2009 Second International Symposium on Electronic Commerce and Security. 620--624 . Jin-hua Li, Geng-xin Dai, and Huan-huan Li. 2009. Mutation Analysis for Testing Finite State Machines. In 2009 Second International Symposium on Electronic Commerce and Security. 620--624."},{"volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"L\u00fcbke Daniel","key":"e_1_3_2_1_33_1","unstructured":"Daniel L\u00fcbke and Tammo van Lessen . 2017. BPMN-Based Model-Driven Testing of Service-Based Processes . In Enterprise, Business-Process and Information Systems Modeling . Springer , 119--133. Daniel L\u00fcbke and Tammo van Lessen. 2017. BPMN-Based Model-Driven Testing of Service-Based Processes. In Enterprise, Business-Process and Information Systems Modeling. Springer, 119--133."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-018-9423-9"},{"volume-title":"Software Technologies: Applications and Foundations","author":"Mayerhofer Tanja","key":"e_1_3_2_1_35_1","unstructured":"Tanja Mayerhofer and Benoit Combemale . 2018. The Tool Generation Challenge for Executable Domain-Specific Modeling Languages . In Software Technologies: Applications and Foundations , Martina Seidl and Steffen Zschaler (Eds.). Springer International Publishing , Cham , 193--199. Tanja Mayerhofer and Benoit Combemale. 2018. The Tool Generation Challenge for Executable Domain-Specific Modeling Languages. In Software Technologies: Applications and Foundations, Martina Seidl and Steffen Zschaler (Eds.). Springer International Publishing, Cham, 193--199."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997367"},{"volume-title":"Testing Functional Requirements in UML Activity Diagrams","author":"Mijatov Stefan","key":"e_1_3_2_1_37_1","unstructured":"Stefan Mijatov , Tanja Mayerhofer , Philip Langer , and Gerti Kappel . 2015. Testing Functional Requirements in UML Activity Diagrams . In Tests and Proofs, Jasmin Christian Blanchette and Nikolai Kosmatov (Eds.). Springer International Publishing , Cham , 173--190. Stefan Mijatov, Tanja Mayerhofer, Philip Langer, and Gerti Kappel. 2015. Testing Functional Requirements in UML Activity Diagrams. In Tests and Proofs, Jasmin Christian Blanchette and Nikolai Kosmatov (Eds.). Springer International Publishing, Cham, 173--190."},{"key":"e_1_3_2_1_38_1","unstructured":"OASIS. 2007. Web Services Business Process Execution Language Version 2.0.  OASIS. 2007. Web Services Business Process Execution Language Version 2.0."},{"key":"e_1_3_2_1_39_1","volume-title":"Precise Semantics of UML State Machines. https:\/\/www.omg.org\/spec\/PSSM\/1.0\/About-PSSM\/. (last accessed","author":"Object Management Group (OMG). 2019.","year":"2022","unstructured":"Object Management Group (OMG). 2019. Precise Semantics of UML State Machines. https:\/\/www.omg.org\/spec\/PSSM\/1.0\/About-PSSM\/. (last accessed in April 2022 ). Object Management Group (OMG). 2019. Precise Semantics of UML State Machines. https:\/\/www.omg.org\/spec\/PSSM\/1.0\/About-PSSM\/. (last accessed in April 2022)."},{"key":"e_1_3_2_1_40_1","volume-title":"Semantics of a Foundational Subset for Executable UML Models. https:\/\/www.omg.org\/spec\/FUML\/. (last accessed","author":"Object Management Group (OMG). 2021.","year":"2022","unstructured":"Object Management Group (OMG). 2021. Semantics of a Foundational Subset for Executable UML Models. https:\/\/www.omg.org\/spec\/FUML\/. (last accessed in April 2022 ). Object Management Group (OMG). 2021. Semantics of a Foundational Subset for Executable UML Models. https:\/\/www.omg.org\/spec\/FUML\/. (last accessed in April 2022)."},{"volume-title":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering. 220--229","author":"Pinto Ferraz Fabbri S.C.","key":"e_1_3_2_1_41_1","unstructured":"S.C. Pinto Ferraz Fabbri , M.E. Delamaro , J.C. Maldonado , and P.C. Masiero . 1994. Mutation analysis testing for finite state machines . In Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering. 220--229 . S.C. Pinto Ferraz Fabbri, M.E. Delamaro, J.C. Maldonado, and P.C. Masiero. 1994. Mutation analysis testing for finite state machines. In Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering. 220--229."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-020-09531-0"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.08.001"},{"key":"e_1_3_2_1_44_1","volume-title":"AmPyfier: Test Amplification in Python. CoRR abs\/2112.11155","author":"Schoofs Ebert","year":"2021","unstructured":"Ebert Schoofs , Mehrdad Abdi , and Serge Demeyer . 2021. AmPyfier: Test Amplification in Python. CoRR abs\/2112.11155 ( 2021 ). arXiv:2112.11155 https:\/\/arxiv.org\/abs\/2112.11155 Ebert Schoofs, Mehrdad Abdi, and Serge Demeyer. 2021. AmPyfier: Test Amplification in Python. CoRR abs\/2112.11155 (2021). arXiv:2112.11155 https:\/\/arxiv.org\/abs\/2112.11155"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm043"},{"key":"e_1_3_2_1_46_1","volume-title":"Vulnerability Assessment of Web Services with Model-Based Mutation Testing. In 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). 301--312","author":"Siavashi Faezeh","year":"2018","unstructured":"Faezeh Siavashi , Dragos Truscan , and J\u00fcri Vain . 2018 . Vulnerability Assessment of Web Services with Model-Based Mutation Testing. In 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). 301--312 . Faezeh Siavashi, Dragos Truscan, and J\u00fcri Vain. 2018. Vulnerability Assessment of Web Services with Model-Based Mutation Testing. In 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). 301--312."},{"key":"e_1_3_2_1_47_1","volume-title":"On guiding the augmentation of an automated test suite via mutation analysis. Empirical software engineering 14, 3","author":"Smith Ben H","year":"2009","unstructured":"Ben H Smith and Laurie Williams . 2009. On guiding the augmentation of an automated test suite via mutation analysis. Empirical software engineering 14, 3 ( 2009 ), 341--369. Ben H Smith and Laurie Williams. 2009. On guiding the augmentation of an automated test suite via mutation analysis. Empirical software engineering 14, 3 (2009), 341--369."},{"key":"e_1_3_2_1_48_1","volume-title":"Merks, and Marcelo Paternostro","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg , Frank Budinsky , Ed Merks, and Marcelo Paternostro . 2008 . EMF: eclipse modeling framework. Pearson Education . Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. 2008. EMF: eclipse modeling framework. Pearson Education."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896971.2896974"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.05.043"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138932"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"volume-title":"Unit Testing for Domain-Specific Languages","author":"Wu Hui","key":"e_1_3_2_1_54_1","unstructured":"Hui Wu , Jeff Gray , and Marjan Mernik . 2009. Unit Testing for Domain-Specific Languages . In Domain-Specific Languages, Walid Mohamed Taha (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 125--147. Hui Wu, Jeff Gray, and Marjan Mernik. 2009. Unit Testing for Domain-Specific Languages. In Domain-Specific Languages, Walid Mohamed Taha (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 125--147."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_23"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803206"},{"key":"e_1_3_2_1_57_1","volume-title":"The Fuzzing Book","author":"Zeller Andreas","year":"2021","unstructured":"Andreas Zeller , Rahul Gopinath , Marcel B\u00f6hme , Gordon Fraser , and Christian Holler . 2021. The Fuzzing Book . CISPA Helmholtz Center for Information Security . https:\/\/www.fuzzingbook.org\/ Retrieved 2021 -10-26 15:30:20+02:00. Andreas Zeller, Rahul Gopinath, Marcel B\u00f6hme, Gordon Fraser, and Christian Holler. 2021. The Fuzzing Book. CISPA Helmholtz Center for Information Security. https:\/\/www.fuzzingbook.org\/ Retrieved 2021-10-26 15:30:20+02:00."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSA.2015.13"}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"],"location":"Montreal Quebec Canada","acronym":"MODELS '22"},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552451","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550355.3552451","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:08Z","timestamp":1750183688000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552451"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":58,"alternative-id":["10.1145\/3550355.3552451","10.1145\/3550355"],"URL":"https:\/\/doi.org\/10.1145\/3550355.3552451","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}