{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:31:52Z","timestamp":1757626312606,"version":"3.44.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031954962"},{"type":"electronic","value":"9783031954979"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-95497-9_3","type":"book-chapter","created":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T13:15:47Z","timestamp":1749906947000},"page":"36-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Sequential Composition of\u00a0BDD Transition Systems for\u00a0Model-Based Testing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6733-5612","authenticated-orcid":false,"given":"Tannaz","family":"Zameni","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9212-1525","authenticated-orcid":false,"given":"Petra","family":"van den Bos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0009-7999-5365","authenticated-orcid":false,"given":"Johan","family":"Foederer","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1714-6319","authenticated-orcid":false,"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,11]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Bene\u0161, N., Daca, P., Henzinger, T.A., K\u0159et\u00ednsk\u00fd, J., Ni\u010dkovi\u0107, D.: Complete composition operators for IOCO-testing theory. In: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE \u201915, pp. 101\u2013110. Association for Computing Machinery, New York (2015). https:\/\/doi.org\/10.1145\/2737166.2737175","DOI":"10.1145\/2737166.2737175"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M van der Bijl","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with IOCO. In: Petrenko, A., Ulrich, A. (eds.) Formal Approaches to Software Testing, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-030-31157-5_5","volume-title":"Tests and Proofs","author":"P Van den Bos","year":"2019","unstructured":"Van den Bos, P., Tretmans, J.: Coverage-based testing with symbolic transition systems. In: Beyer, D., Keller, C. (eds.) Tests and Proofs, pp. 64\u201382. Springer, Cham (2019)"},{"key":"3_CR4","unstructured":"Chelimsky, D., Astels, D., Helmkamp, B., North, D., Dennis, Z., Hellesoy, A.: The RSpec Book: Behaviour Driven Development with Rspec, Cucumber, and Friends. Pragmatic Bookshelf, 1st edn. (2010). https:\/\/dl.acm.org\/doi\/10.5555\/1965448"},{"key":"3_CR5","unstructured":"Cucumber. https:\/\/cucumber.io\/docs\/guides\/overview\/"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-031-43240-8_13","volume-title":"Testing Software and Systems","author":"G van Cuyck","year":"2023","unstructured":"van Cuyck, G., van Arragon, L., Tretmans, J.: Compositionality in model-based testing. In: Bonfanti, S., Gargantini, A., Salvaneschi, P. (eds.) Testing Software and Systems, pp. 202\u2013218. Springer, Cham (2023)"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Daca, P., Henzinger, T.A., Krenn, W., Nickovic, D.: Compositional specifications for IOCO testing. In: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp. 373\u2013382 (2014). https:\/\/doi.org\/10.1109\/ICST.2014.50","DOI":"10.1109\/ICST.2014.50"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/978-3-030-45234-6_23","volume-title":"Fundamental Approaches to Software Engineering","author":"R Janssen","year":"2020","unstructured":"Janssen, R.: Combining partial specifications using alternating interface automata. In: Wehrheim, H., Cabot, J. (eds.) Fundamental Approaches to Software Engineering, pp. 462\u2013481. Springer, Cham (2020)"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Kang, E.Y., Silva, T.R.: Towards formal verification of behaviour-driven development scenarios using timed automata. In: 2023 30th Asia-Pacific Software Engineering Conference (APSEC), pp. 612\u2013616 (2023). https:\/\/doi.org\/10.1109\/APSEC60848.2023.00081","DOI":"10.1109\/APSEC60848.2023.00081"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Kannengiesser, U., Krenn, F., Stary, C.: A behaviour-driven development approach for cyber-physical production systems. In: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), vol.\u00a01, pp. 179\u2013184 (2020). https:\/\/doi.org\/10.1109\/ICPS48405.2020.9274755","DOI":"10.1109\/ICPS48405.2020.9274755"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Li, N., Escalona, A., Kamal, T.: Skyfire: model-based testing with cucumber. In: 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 393\u2013400 (2016). https:\/\/doi.org\/10.1109\/ICST.2016.41","DOI":"10.1109\/ICST.2016.41"},{"key":"3_CR12","unstructured":"Nagy, G., Rose, S.: The BDD Books - Formulation. Document examples with Given\/When\/Then. Leanpub (2021). https:\/\/leanpub.com\/bddbooks-formulation"},{"key":"3_CR13","unstructured":"Robot framework. https:\/\/robotframework.org\/"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Silva, T.R.: Towards a domain-specific language for behaviour-driven development. In: 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), pp. 283\u2013286 (2023). https:\/\/doi.org\/10.1109\/VL-HCC57772.2023.00054","DOI":"10.1109\/VL-HCC57772.2023.00054"},{"key":"3_CR15","unstructured":"Specflow. https:\/\/docs.specflow.org\/en\/latest\/"},{"key":"3_CR16","doi-asserted-by":"publisher","unstructured":"Tretmans, J.: Model-based testing with labelled transition systems, pp. 1\u201338. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78917-8_1","DOI":"10.1007\/978-3-540-78917-8_1"},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Zameni, T.: Executable BDD scenario models for robotframeworkmbt. https:\/\/doi.org\/10.5281\/zenodo.14892704","DOI":"10.5281\/zenodo.14892704"},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Zameni, T., van\u00a0den Bos, P., Rensink, A., Tretmans, J.: An intermediate language to integrate behavior-driven development scenarios and model-based testing. In: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C), pp. 199\u2013206 (2024). https:\/\/doi.org\/10.1109\/SANER-C62648.2024.00033","DOI":"10.1109\/SANER-C62648.2024.00033"},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"Zameni, T., van Den\u00a0Bos, P., Tretmans, J., Foederer, J., Rensink, A.: From BDD scenarios to test case generation. In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 36\u201344 (2023). https:\/\/doi.org\/10.1109\/ICSTW58534.2023.00019","DOI":"10.1109\/ICSTW58534.2023.00019"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-95497-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:43:45Z","timestamp":1757454225000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-95497-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031954962","9783031954979"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-95497-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"11 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lille","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":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}