{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T17:23:17Z","timestamp":1769880197749,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,21]],"date-time":"2018-05-21T00:00:00Z","timestamp":1526860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,21]]},"DOI":"10.1145\/3234152.3234181","type":"proceedings-article","created":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T14:29:00Z","timestamp":1556893740000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Speed up BDD for safety verification in agile development"],"prefix":"10.1145","author":[{"given":"Yang","family":"Wang","sequence":"first","affiliation":[{"name":"University of Stuttgart"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel Ryan","family":"Degutis","sequence":"additional","affiliation":[{"name":"University of Stuttgart"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Wagner","sequence":"additional","affiliation":[{"name":"University of Stuttgart"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2017.7934770"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134393"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEET.2017.4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.01.014"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.01.006"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9523-3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57633-6_14"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9061-0"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9437-5"},{"key":"e_1_3_2_1_10_1","volume-title":"Engineering a safer world: Systems thinking applied to safety","author":"Leveson Nancy","unstructured":"Nancy Leveson . 2011. Engineering a safer world: Systems thinking applied to safety . MIT Press , Boston . Nancy Leveson. 2011. Engineering a safer world: Systems thinking applied to safety. MIT Press, Boston."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-64218-5_42"},{"key":"e_1_3_2_1_12_1","unstructured":"Seb Rose Matt Wynne and Aslak Helles\u00f8y. 2015. The cucumber for Java book: Behaviour-driven development for testers and developers. Pragmatic Bookshelf LLC.  Seb Rose Matt Wynne and Aslak Helles\u00f8y. 2015. The cucumber for Java book: Behaviour-driven development for testers and developers . Pragmatic Bookshelf LLC."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9060-1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.12.016"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference","author":"St\u00e5lhane Tor","year":"2012","unstructured":"Tor St\u00e5lhane , Thor Myklebust , and GK Hanssen . 2012 . The application of Safe Scrum to IEC 61508 certifiable software . In Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference . Curran Associates, New York, 6052--6061. Tor St\u00e5lhane, Thor Myklebust, and GK Hanssen. 2012. The application of Safe Scrum to IEC 61508 certifiable software. In Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference. Curran Associates, New York, 6052--6061."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/AGILE.2009.16"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69926-4_23"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3194973"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91602-6_3"},{"key":"e_1_3_2_1_20_1","volume-title":"Experimentation in software engineering","author":"Wohlin Claes","unstructured":"Claes Wohlin , Per Runeson , Martin H\u00f6st , Magnus C Ohlsson , Bj\u00f6rn Regnell , and Anders Wessl\u00e9n . 2012. Experimentation in software engineering . Springer Science & Business Media , Heidelberg . Claes Wohlin, Per Runeson, Martin H\u00f6st, Magnus C Ohlsson, Bj\u00f6rn Regnell, and Anders Wessl\u00e9n. 2012. Experimentation in software engineering. Springer Science & Business Media, Heidelberg."}],"event":{"name":"XP '18 Companion: 19th International Conference on Agile Software Development","location":"Porto Portugal","acronym":"XP '18 Companion"},"container-title":["Proceedings of the 19th International Conference on Agile Software Development: Companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3234152.3234181","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3234152.3234181","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:08:04Z","timestamp":1750212484000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3234152.3234181"}},"subtitle":["a partially replicated controlled experiment"],"short-title":[],"issued":{"date-parts":[[2018,5,21]]},"references-count":20,"alternative-id":["10.1145\/3234152.3234181","10.1145\/3234152"],"URL":"https:\/\/doi.org\/10.1145\/3234152.3234181","relation":{},"subject":[],"published":{"date-parts":[[2018,5,21]]},"assertion":[{"value":"2018-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}