{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T05:17:19Z","timestamp":1731388639548,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T00:00:00Z","timestamp":1367366400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T00:00:00Z","timestamp":1367366400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/iwast.2013.6595796","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:56:19Z","timestamp":1379606179000},"page":"82-88","source":"Crossref","is-referenced-by-count":1,"title":["Towards automatic scenario generation from coverage information"],"prefix":"10.1109","author":[{"given":"Melanie","family":"Diepenbeck","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"Solvertec GmbH, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/HLDVT.2012.6418237"},{"year":"2010","author":"chelimsky","journal-title":"The RSpec Book Behaviour Driven Development with Rspec","key":"17"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/ESEM.2007.35"},{"year":"2008","author":"flanagan","journal-title":"The Ruby programming language","key":"15"},{"year":"2012","author":"wynne","journal-title":"The Cucumber Book Behaviour-Driven Development for Testers and Developers","key":"16"},{"key":"13","first-page":"146","article-title":"Using model checking to generate tests from requirements specifications","author":"gargantini","year":"1999","journal-title":"European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering"},{"key":"14","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-48234-2_11","article-title":"Java pathfinder, a translator from java to promela","author":"havelund","year":"1999","journal-title":"5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/ICSE.2007.37"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"3","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/j.infsof.2003.09.011","article-title":"A structured experiment of test-driven development","volume":"46","author":"george","year":"2004","journal-title":"Information & Software Technology"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1145\/1159733.1159787"},{"year":"2003","author":"beck","journal-title":"Test Driven Development By Example","key":"1"},{"key":"10","article-title":"Tool support for improving test coverage","author":"horwitz","year":"2002","journal-title":"European Symposium on Programming"},{"key":"7","first-page":"296","article-title":"Automated-generating test case using uml statechart diagrams","author":"kansomkeat","year":"2003","journal-title":"Annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology"},{"key":"6","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","article-title":"Generating tests from uml specifications","author":"offutt","year":"1999","journal-title":"International Conference on The Unified Modeling Language"},{"key":"5","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-642-33654-6_3","article-title":"Completeness-driven development","author":"drechsler","year":"2012","journal-title":"International Conference on Graph Transformations"},{"key":"4","article-title":"Behavior modification: The evolution of behavior-driven development","volume":"8","author":"north","year":"2006","journal-title":"Better Software"},{"key":"9","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/j.infsof.2006.04.001","article-title":"Automatic test case generation from UML communication diagrams","volume":"49","author":"samuel","year":"2007","journal-title":"Information and Software Technology"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/ICSEA.2007.70"}],"event":{"name":"2013 8th International Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 8th International Workshop on Automation of Software Test (AST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588690\/6595779\/06595796.pdf?arnumber=6595796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,11]],"date-time":"2024-11-11T18:38:42Z","timestamp":1731350322000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6595796\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iwast.2013.6595796","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}