{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:05:41Z","timestamp":1746331541275,"version":"3.40.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319090986"},{"type":"electronic","value":"9783319090993"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09099-3_5","type":"book-chapter","created":{"date-parts":[[2014,7,7]],"date-time":"2014-07-07T11:41:03Z","timestamp":1404733263000},"page":"61-77","source":"Crossref","is-referenced-by-count":5,"title":["Behaviour Driven Development for Tests and Verification"],"prefix":"10.1007","author":[{"given":"Melanie","family":"Diepenbeck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"K\u00fchne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Test Driven Development. By Example","author":"K. Beck","year":"2003","unstructured":"Beck, K.: Test Driven Development. By Example. Addison-Wesley Longman, Amsterdam (2003)"},{"key":"5_CR2","unstructured":"Wynne, M., Helles\u00f8y, A.: The Cucumber Book: Behaviour-Driven Development for Testers and Developers. The Pragmatic Bookshelf (January 2012)"},{"key":"5_CR3","unstructured":"Morris, B., Saxe, R.: svunit: Bringing Test Driven Design Into Functional Verification. In: SNUG (2009)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","first-page":"332","volume-title":"Verification: Theory and Practice","author":"T.A. Henzinger","year":"2004","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sanvido, M.A.A.: Extreme model checking. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 332\u2013358. Springer, Heidelberg (2004)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Suhaib, S., Mathaikutty, D., Shukla, S., Berner, D.: Extreme formal modeling (XFM) for hardware models. In: Fifth International Workshop on Microprocessor Test and Verification, MTV 2004, pp. 30\u201335 (2004)","DOI":"10.1109\/MTV.2004.8"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolic Model Checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-40922-X_8","volume-title":"Formal Methods in Computer-Aided Design","author":"M. Sheeran","year":"2000","unstructured":"Sheeran, M., Singh, S., St\u00e5lmarck, G.: Checking safety properties using induction and a SAT-solver. In: Johnson, S.D., Hunt Jr., W.A. (eds.) FMCAD 2000. LNCS, vol.\u00a01954, pp. 108\u2013125. Springer, Heidelberg (2000)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-18275-4_7","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A.R. Bradley","year":"2011","unstructured":"Bradley, A.R.: SAT-based model checking without unrolling. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 70\u201387. Springer, Heidelberg (2011)"},{"key":"5_CR9","unstructured":"Accellera: Accellera property specification language reference manual, version 1.1 (2005), http:\/\/www.pslsugar.org"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46\u201357. IEEE Computer Society (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR11","series-title":"Integrated Circuits and Systems","volume-title":"A Practical Introduction to PSL","author":"C. Eisner","year":"2006","unstructured":"Eisner, C., Fisman, D.: A Practical Introduction to PSL. Integrated Circuits and Systems. Springer, Secaucus (2006)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-642-30561-0_19","volume-title":"Objects, Models, Components, Patterns","author":"M. Soeken","year":"2012","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Assisted behavior driven development using natural language processing. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol.\u00a07304, pp. 269\u2013287. Springer, Heidelberg (2012)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Diepenbeck, M., Soeken, M., Grosse, D., Drechsler, R.: Behavior driven development for circuit design and verification. In: Int\u2019l Workshop on High Level Design Validation and Test Workshop (HLDVT), pp. 9\u201316 (November 2012)","DOI":"10.1109\/HLDVT.2012.6418237"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"S\u00fclflow, A., K\u00fchne, U., Fey, G., Grosse, D., Drechsler, R.: WoLFram \u2013 A word level framework for formal verification. In: Proceedings of the IEEE\/IFIP International Symposium on Rapid System Prototyping, RSP 2009, pp. 11\u201317. IEEE (2009)","DOI":"10.1109\/RSP.2009.21"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-27777-4_1","volume-title":"Extreme Programming and Agile Methods - XP\/Agile Universe 2004","author":"H. Baumeister","year":"2004","unstructured":"Baumeister, H.: Combining formal specifications with test driven development. In: Zannier, C., Erdogmus, H., Lindstrom, L. (eds.) XP\/Agile Universe 2004. LNCS, vol.\u00a03134, pp. 1\u201312. Springer, Heidelberg (2004)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Baumeister, H., Knapp, A., Wirsing, M.: Property-driven development. In: Proceedings of the Second International Conference on Software Engineering and Formal Methods, SEFM 2004, pp. 96\u2013102. IEEE (2004)","DOI":"10.1109\/SEFM.2004.1347507"},{"key":"5_CR17","unstructured":"Johnson, N., Morris, B.: AgileSoC (2012), http:\/\/www.agilesoc.com\/"},{"issue":"4","key":"5_CR18","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1145\/1109118.1109120","volume":"10","author":"S.M. Suhaib","year":"2005","unstructured":"Suhaib, S.M., Mathaikutty, D.A., Shukla, S.K., Berner, D.: XFM: an incremental methodology for developing formal models. ACM Trans. Des. Autom. Electron. Syst.\u00a010(4), 589\u2013609 (2005)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-33654-6_3","volume-title":"Graph Transformations","author":"R. Drechsler","year":"2012","unstructured":"Drechsler, R., Diepenbeck, M., Gro\u00dfe, D., K\u00fchne, U., Le, H.M., Seiter, J., Soeken, M., Wille, R.: Completeness-driven development. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 38\u201350. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09099-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:56:19Z","timestamp":1746294979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09099-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319090986","9783319090993"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09099-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}