{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:24:20Z","timestamp":1742912660112,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031471117"},{"type":"electronic","value":"9783031471124"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-47112-4_26","type":"book-chapter","created":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T05:01:54Z","timestamp":1698296514000},"page":"274-283","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["FlowTGE: Automating Functional Testing of\u00a0Executable Business Process Models Based on\u00a0BPMN"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5454-2927","authenticated-orcid":false,"given":"Tom\u00e1s","family":"Lopes","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8627-3338","authenticated-orcid":false,"given":"S\u00e9rgio","family":"Guerreiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,26]]},"reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-01924-1_5","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2009","author":"D Buchs","year":"2009","unstructured":"Buchs, D., Lucio, L., Chen, A.: Model checking techniques for test generation from business process models. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 59\u201374. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01924-1_5"},{"issue":"2","key":"26_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.4186\/ej.2021.25.2.135","volume":"25","author":"C Dechsupa","year":"2021","unstructured":"Dechsupa, C., Vatanawood, W., Thongtak, A.: An automated framework for BPMN model verification achieving branch coverage. Eng. J. Thai. 25(2), 135\u2013150 (2021). https:\/\/doi.org\/10.4186\/ej.2021.25.2.135","journal-title":"Eng. J. Thai."},{"key":"26_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2018","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2018)"},{"key":"26_CR4","doi-asserted-by":"publisher","unstructured":"Jahan, H., Rao, S., Liu, D.: Test case generation for BPEL-based web service composition using colored Petri nets. In: 2016 International Conference on Progress in Informatics and Computing (PIC 2016), pp. 623\u2013628. IEEE, Shanghai, China (2016). https:\/\/doi.org\/10.1109\/PIC.2016.7949575","DOI":"10.1109\/PIC.2016.7949575"},{"issue":"8","key":"26_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1108\/BPMJ-11-2022-0557","volume":"29","author":"T Lopes","year":"2023","unstructured":"Lopes, T., Guerreiro, S.: Assessing business process models: a literature review on techniques for BPMN testing and formal verification. Bus. Process. Manag. J. 29(8), 133\u2013162 (2023). https:\/\/doi.org\/10.1108\/BPMJ-11-2022-0557","journal-title":"Bus. Process. Manag. J."},{"issue":"1","key":"26_CR6","doi-asserted-by":"publisher","first-page":"17","DOI":"10.4018\/IJSI.2020010102","volume":"8","author":"S Meghzili","year":"2020","unstructured":"Meghzili, S., Chaoui, A., Strecker, M., Kerkouche, E.: An approach for the transformation and verification of BPMN models to colored Petri nets models. Int. J. Softw. Innovation 8(1), 17\u201349 (2020). https:\/\/doi.org\/10.4018\/IJSI.2020010102","journal-title":"Int. J. Softw. Innovation"},{"key":"26_CR7","unstructured":"Moody, D.: The method evaluation model: a theoretical model for validating information systems design methods. In: Proceedings of the 11th European Conference on Information Systems, ECIS 2003, Naples, Italy 16\u201321 June 2003. Naples, Italy (2003). https:\/\/aisel.aisnet.org\/ecis2003\/79"},{"key":"26_CR8","doi-asserted-by":"publisher","unstructured":"de Moura, J.L., Char\u00e3o, A.S., Lima, J.C.D., de Oliveira Stein, B.: Test case generation from BPMN models for automated testing of web-based BPM applications. In: 2017 17th International Conference on Computational Science and Its Applications (ICCSA 2017), pp. 1\u20137. IEEE, Trieste, Italy (2017). https:\/\/doi.org\/10.1109\/ICCSA.2017.7999652","DOI":"10.1109\/ICCSA.2017.7999652"},{"key":"26_CR9","doi-asserted-by":"publisher","unstructured":"Nazaruka, E., Ovchinnikova, V., Alksnis, G., Sukovskis, U.: Verification of BPMN model functional completeness by using the topological functioning model. In: ENASE 2016: Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, pp. 349\u2013358. SciTePress, Rome, Italy (2016). https:\/\/doi.org\/10.5220\/0005930903490358","DOI":"10.5220\/0005930903490358"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1016\/j.procs.2018.04.104","volume":"130","author":"ACR Paiva","year":"2018","unstructured":"Paiva, A.C.R., Flores, N.H., Faria, J.P., Marques, J.M.G.: End-to-end automatic business process validation. Procedia Comput. Sci. 130, 999\u20131004 (2018). https:\/\/doi.org\/10.1016\/j.procs.2018.04.104","journal-title":"Procedia Comput. Sci."},{"key":"26_CR11","unstructured":"Rosemann, M.: Foreword, 2018. In M. Dumas, M. L. Rosa, J. Mendling, and H. A. Reijers, Fundamentals of Business Process Management. Springer, Berlin, pp. vii-viii (2018)"},{"key":"26_CR12","doi-asserted-by":"publisher","unstructured":"Schneid, K., Stapper, L., Th\u00f6ne, S., Kuchen, H.: Automated regression tests: a no-code approach for BPMN-based Process-Driven Applications. In: 2021 IEEE 25th International Enterprise Distributed Object Computing Conference (EDOC), pp. 31\u201340. IEEE, Gold Coast, Australia (2021). https:\/\/doi.org\/10.1109\/EDOC52215.2021.00014","DOI":"10.1109\/EDOC52215.2021.00014"},{"key":"26_CR13","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s00766-018-0304-3","volume":"24","author":"AY Seqerloo","year":"2019","unstructured":"Seqerloo, A.Y., Amiri, M.J., Parsa, S., Koupaee, M.: Automatic test cases generation from business process models. Requirements Eng. 24, 119\u2013132 (2019). https:\/\/doi.org\/10.1007\/s00766-018-0304-3","journal-title":"Requirements Eng."},{"key":"26_CR14","doi-asserted-by":"publisher","unstructured":"Yotyawilai, P., Suwannasart, T.: Design of a tool for generating test cases from BPMN. In: 2014 International Conference on Data and Software Engineering (ICODSE), pp. 1\u20136. IEEE, Bandung, Indonesia (2014). https:\/\/doi.org\/10.1109\/ICODSE.2014.7062692","DOI":"10.1109\/ICODSE.2014.7062692"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47112-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T16:16:45Z","timestamp":1710346605000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47112-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031471117","9783031471124"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47112-4_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"26 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"42","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/er2023.inesc-id.pt\/","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":"Easy Chair (Familiarity)","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"117","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":"21","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.09+1","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":"3.47+3.55","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":"Yes, additional reviewers listed in preface (subreviewers supervised by PC members)","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)"}}]}}