{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:37:48Z","timestamp":1742996268976,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_51","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T14:18:43Z","timestamp":1225808323000},"page":"709-723","source":"Crossref","is-referenced-by-count":0,"title":["Workflow Testing"],"prefix":"10.1007","author":[{"given":"R.","family":"Breu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Lechner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Willburger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Katt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"51_CR1","unstructured":"Microsoft: Microsoft. NET Framework 3.0 (2007) (Accessed on 2007-03-01) , http:\/\/www.netfx3.com\/"},{"key":"51_CR2","first-page":"78","volume":"1","author":"K. Aschenbrenner","year":"2006","unstructured":"Aschenbrenner, K.: Windows Workflow Foundation - Designer f\u00fcr effektive Workflows. dotnetpro\u00a01, 78\u201385 (2006)","journal-title":"dotnetpro"},{"key":"51_CR3","unstructured":"Kanjilal, J.: An Introduction to Windows Workflow Foundation (2006) (Accessed on 2008-01-21), http:\/\/aspalliance.com\/1074_An_Introduction_to_Windows_Workflow_Foundation"},{"key":"51_CR4","unstructured":"Allen, S.: Windows Workflow Foundation - Practical WF Techniques and Examples using XAML and C#. Packt Publishing (2006)"},{"key":"51_CR5","volume-title":"Software Engineering: A Practitioner\u2019s Approach","author":"R.S. Pressman","year":"2004","unstructured":"Pressman, R.S.: Software Engineering: A Practitioner\u2019s Approach, 6th edn. McGraw-Hill Higher Education, New York (2004)","edition":"6"},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"Li, Z., Sun, W., Jiang, Z.B., Zhang, X.: BPEL4WS Unit Testing: Framework and Implementation. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2005), vol.\u00a01, pp. 103\u2013110. IBM China Research Lab (2005)","DOI":"10.1109\/ICWS.2005.31"},{"key":"51_CR7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/1145718.1145723","volume-title":"Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, Portland, Maine, University of Hannover, FG Software Engineering","author":"P. Mayer","year":"2006","unstructured":"Mayer, P., L\u00fcbke, D.: Towards a BPEL unit testing framework. In: Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, Portland, Maine, University of Hannover, FG Software Engineering, pp. 33\u201342. ACM Press, New York (2006)"},{"key":"51_CR8","unstructured":"Microsoft: The Official Microsoft ASP.NET Site (2008) (Accessed on 2008-01-29), http:\/\/www.asp.net\/"},{"key":"51_CR9","unstructured":"NUnit.org: NUnit (2007) (Accessed on 2008-01-21), http:\/\/www.nunit.org"},{"key":"51_CR10","unstructured":"Koordinierung und Beratungsstelle der Bundesregierung f\u00fcr Informationstechnik in der Bundesverwaltung: V-Modell XT 1.2.1 Dokumentation. Technical report, Bundesminsterium des Innern (2007)"},{"key":"51_CR11","volume-title":"Java Extreme Programming Cookbook","author":"E.M. Burke","year":"2003","unstructured":"Burke, E.M., Coyner, B.M.: Java Extreme Programming Cookbook, 1st edn. O\u2019Reilly, Sebastopol (2003)","edition":"1"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T13:53:37Z","timestamp":1738504417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_51","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}