{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:12:49Z","timestamp":1743001969999,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_26","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T14:51:44Z","timestamp":1315407104000},"page":"355-368","source":"Crossref","is-referenced-by-count":0,"title":["Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System"],"prefix":"10.1007","author":[{"given":"Federico","family":"Cruciani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"International Electrotechnical Commission: Medical device software - Software life-cycle processes, IEC62304:2006 (2006)","DOI":"10.1049\/ic:20060141"},{"issue":"2","key":"26_CR2","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D. Georgakopoulos","year":"1995","unstructured":"Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases\u00a03(2), 119\u2013153 (1995)","journal-title":"Distributed and Parallel Databases"},{"key":"26_CR3","volume-title":"UML distilled (3rd ed.): a brief guide to the standard object modeling language","author":"M. Fowler","year":"2003","unstructured":"Fowler, M., Scott, K.: UML distilled (3rd ed.): a brief guide to the standard object modeling language, 3rd edn. Addison-Wesley Professional, Reading (September 25, 2003) ISBN:978-0321193681","edition":"3"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45441-1_7","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M. Dumas","year":"2001","unstructured":"Dumas, M., ter Hofstede, A.H.M.: UML activity diagrams as a workflow specification language. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 76\u201390. Springer, Heidelberg (2001)"},{"issue":"1","key":"26_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M. Aalst Van Der","year":"2003","unstructured":"Van Der Aalst, W.M., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Mei, L., Chan, W.K., Tse, T.H.: Data flow testing of service oriented workflow applications. In: ICSE 2008 Proceedings of the 30th International Conference on Software Engineering (2008)","DOI":"10.1145\/1368088.1368139"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Mei, L., Chan, W.K., Tse, T.H.: An empirical study of the use of Frankl-Weyuker data flow testing criteria to test BPEL Web services. In: 33rd Annual IEEE International Computer Software and Applications Conference (2009)","DOI":"10.1109\/COMPSAC.2009.21"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Rapps, S., Weyuker, E.J.: Selecting test data using data flow information. IEEE Transactions on Software Engineering\u00a0SE-11(4) (April 1985)","DOI":"10.1109\/TSE.1985.232226"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Frankl, P.G., Weiss, S.N.: An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Transactions on Software Engineering\u00a019(8) (August 1993)","DOI":"10.1109\/32.238581"},{"issue":"5","key":"26_CR11","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S.W. Sadiq","year":"2005","unstructured":"Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems\u00a030(5), 349\u2013378 (2005), doi:10.1016\/j.is.2004.05.002, ISSN 0306-4379","journal-title":"Information Systems"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Sadiq, S.W., Orlowska, M.E., Lin, J., Sadiq, W.: Quality of Service in flexible workflows through process constraints. In: Enterprise Information Systems, vol.\u00a0VII, part 3, pp. 187\u2013195 (2006)","DOI":"10.1007\/978-1-4020-5347-4_21"},{"issue":"4","key":"26_CR13","first-page":"299","volume":"34","author":"N.W.L. Schep","year":"2003","unstructured":"Schep, N.W.L., Broeders, I.A.M.J., van der Werken, C.: Computer assisted orthopaedic and trauma surgery: State of the art and future perspectives. Original Research Article Injury\u00a034(4), 299\u2013306 (2003)","journal-title":"Original Research Article Injury"},{"issue":"1","key":"26_CR14","first-page":"18","volume":"87","author":"D. Saragaglia","year":"2001","unstructured":"Saragaglia, D., Picard, F., Chaussard, C., Montbarbon, E., Leitner, F., Cinquin, P.: Computer-assisted knee arthroplasty: comparison with a conventional procedure. Results of 50 cases in a prospective randomized study. Rev Chir Orthop Reparatrice Appar Mot.\u00a087(1), 18\u201328 (2001)","journal-title":"Results of 50 cases in a prospective randomized study. Rev Chir Orthop Reparatrice Appar Mot."},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Bathis, H., Perlick, L., Tingart, M., Luring, C., Zurakowski, D., Grifka, J.: Alignment in total knee arthroplasty, A Comparison of Computer-Assisted Surgery with the Conventional Technique. Journal of Bone and Joint Surgery - British\u00a086-B(5), 682\u2013687","DOI":"10.1302\/0301-620X.86B5.14927"},{"key":"26_CR16","unstructured":"Sadiq, S.W., Orlowska, M.E., Sadiq, W., Foulger, C.: Data Flow and Validation in Workflow Modelling. In: ADC 2004, Proceedings of the 15th Australasian Database Conference, vol.\u00a027 (2004)"},{"key":"26_CR17","first-page":"1","volume-title":"Program Slicing, Advances in Computers","author":"D. Binkley","year":"1996","unstructured":"Binkley, D., Gallagher, K.B.: Program Slicing, Advances in Computers, vol.\u00a043, pp. 1\u201350. Academic Press, London (1996)"},{"issue":"9","key":"26_CR18","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/182987.184077","volume":"37","author":"R.V. Binder","year":"1994","unstructured":"Binder, R.V.: Design for testability in object-oriented systems. Commun. ACM\u00a037(9), 87\u2013101 (1994), R 10.1145\/182987.184077","journal-title":"Commun. ACM"},{"key":"26_CR19","volume-title":"Proceeding ISSRE 2001 Proceedings of the 12th International Symposium on Software Reliability Engineering","author":"B. Baudry","year":"2001","unstructured":"Baudry, B., Le Suny\u00e9, Y., J\u00e9z\u00e9quel, J.-M.: Towards a \u2019Safe\u2019 Use of Design Patterns to Improve OO Software Testability. In: Proceeding ISSRE 2001 Proceedings of the 12th International Symposium on Software Reliability Engineering. IEEE Computer Society, Washington, DC, USA (2001), table of contents ISBN:0-7695-1306-9"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Baudry, B., Le Traon, Y., Suny\u00e9, G.: Testability Analysis of a UML Class Diagram Software Metrics. In: IEEE International Symposium on Eighth IEEE International Symposium on Software Metrics (METRICS 2002), p. 54 (2002)","DOI":"10.1109\/METRIC.2002.1011325"},{"key":"26_CR21","volume-title":"Design Patterns, Element of Reusable Object-Oriented Software","author":"Gamma","year":"1995","unstructured":"Gamma, Helm, Johnson, Vlissides: Design Patterns, Element of Reusable Object-Oriented Software, 1st edn. Addison-Wesley, Reading (1995)","edition":"1"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24270-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T23:26:55Z","timestamp":1741562815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}