{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T21:42:51Z","timestamp":1775252571317,"version":"3.50.1"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030028510","type":"print"},{"value":"9783030028527","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02852-7_13","type":"book-chapter","created":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T13:41:45Z","timestamp":1539783705000},"page":"146-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios"],"prefix":"10.1007","author":[{"given":"Silvia","family":"Bonfanti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atif","family":"Mashkoor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,18]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, J.S., Durney, B.: Using scenarios in deficiency-driven requirements engineering. In: Proceedings of the International Symposium on Requirements Engineering, pp. 134\u2013141. IEEE (1993)","DOI":"10.1109\/ISRE.1993.324824"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/3-540-58113-8_164","volume-title":"Advanced Information Systems Engineering","author":"AI Ant\u00f3n","year":"1994","unstructured":"Ant\u00f3n, A.I., McCracken, W.M., Potts, C.: Goal decomposition and scenario analysis in business process reengineering. In: Wijers, G., Brinkkemper, S., Wasserman, T. (eds.) CAiSE 1994. LNCS, vol. 811, pp. 94\u2013104. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58113-8_164"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/spe.1019","volume":"41","author":"P Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41, 155\u2013166 (2011)","journal-title":"Softw. Pract. Exp."},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-319-57288-8_21","volume-title":"NASA Formal Methods","author":"S Bonfanti","year":"2017","unstructured":"Bonfanti, S., Carissoni, M., Gargantini, A., Mashkoor, A.: Asm2C++: a tool for code generation from abstract state machines to Arduino. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 295\u2013301. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_21"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Generation of C++ unit tests from abstract state machines specifications. In: 14th Workshop on Advances in Model Based Testing (A-MOST) @ICST 2018, V\u00e4ster\u00e5s, Sweden (2018)","DOI":"10.1109\/ICSTW.2018.00049"},{"key":"13_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-87603-8_7","volume-title":"Abstract State Machines, B and Z","author":"A Carioni","year":"2008","unstructured":"Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A scenario-based validation language for ASMs. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 71\u201384. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87603-8_7"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0953-5438(00)00023-0","volume":"13","author":"JM Carroll","year":"2000","unstructured":"Carroll, J.M.: Five reasons for scenario-based design. Interact. Comput. 13(1), 43\u201360 (2000)","journal-title":"Interact. Comput."},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/146802.146834","volume":"10","author":"JM Carroll","year":"1992","unstructured":"Carroll, J.M., Rosson, M.B.: Getting around the task-artifact cycle: how to make claims and design by scenario. ACM Trans. Inf. Syst. 10(2), 181\u2013212 (1992)","journal-title":"ACM Trans. Inf. Syst."},{"issue":"2","key":"13_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/52.268952","volume":"11","author":"C Potts","year":"1994","unstructured":"Potts, C., Takahashi, K., Ant\u00f3n, A.I.: Inquiry-based requirements analysis. IEEE Softw. 11(2), 21\u201332 (1994)","journal-title":"IEEE Softw."},{"issue":"2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. Computer 39(2), 25\u201331 (2006). https:\/\/doi.org\/10.1109\/MC.2006.58","journal-title":"Computer"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Solis, C., Wang, X.: A study of the characteristics of behaviour driven development. In: 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 383\u2013387. IEEE, August 2011","DOI":"10.1109\/SEAA.2011.76"},{"key":"13_CR13","volume-title":"The Cucumber Book Behaviour-Driven Development for Testers and Developers","author":"M Wynne","year":"2012","unstructured":"Wynne, M., Helles\u00f8y, A.: The Cucumber Book Behaviour-Driven Development for Testers and Developers. The Pragmatic Programmers, LLC, Raleigh (2012)"}],"container-title":["Communications in Computer and Information Science","New Trends in Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02852-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T20:29:04Z","timestamp":1775248144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02852-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030028510","9783030028527"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02852-7_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marrakesh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/medi2018.uca.ma\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}