{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T11:43:16Z","timestamp":1725882196937},"publisher-location":"Singapore","reference-count":11,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811041532"},{"type":"electronic","value":"9789811041549"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-981-10-4154-9_68","type":"book-chapter","created":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T04:29:21Z","timestamp":1489724961000},"page":"594-602","source":"Crossref","is-referenced-by-count":0,"title":["Static Testing Using Different Types of CRUD Matrices"],"prefix":"10.1007","author":[{"given":"Miroslav","family":"Bures","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Cerny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,18]]},"reference":[{"key":"68_CR1","unstructured":"Koomen, T., van der Aalst, B., Brokeman, M., Vroon, M.: TMap Next, for Result-Driven Testing, pp. 625\u2013627. UTN Publishers, Den Bosch (2013)"},{"key":"68_CR2","volume-title":"Information Engineering","author":"J Martin","year":"1990","unstructured":"Martin, J.: Information Engineering. Prentice Hall, Englewood Cliffs (1990)"},{"key":"68_CR3","unstructured":"De Grood, D.: TestGoal: Result-Driven Testing, pp. 208\u2013210. Springer, Heidelberg (2008)"},{"key":"68_CR4","unstructured":"Van Veenendall, E.L.: The Testing Practitioner, pp. 241\u2013243. UTN Publishers, Den Bosch (2002)"},{"key":"68_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-02144-2_34","volume-title":"Advanced Information Systems Engineering","author":"N Tr\u010dka","year":"2009","unstructured":"Tr\u010dka, N., Aalst, Wil, M.,P., Sidorova, N.: Data-flow anti-patterns: discovering data-flow errors in workflows. In: Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 425\u2013439. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02144-2_34"},{"key":"68_CR6","unstructured":"Sundari, M.H., et al.: Detecting data flow errors in workflows: a systematic graph traversal approach. In: 17th Workshop on Information Technology and Systems (2007)"},{"key":"68_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-69489-2_11","volume-title":"Models in Software Engineering","author":"K Ryndina","year":"2007","unstructured":"Ryndina, K., K\u00fcster, Jochen, M., Gall, H.: Consistency of business process models and object life cycles. In: K\u00fchne, T. (ed.) MODELS 2006. LNCS, vol. 4364, pp. 80\u201390. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-69489-2_11"},{"key":"68_CR8","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-12186-9_2","volume-title":"Business Process Management Workshops","author":"A Awad","year":"2010","unstructured":"Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 5\u201316. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12186-9_2"},{"key":"68_CR9","doi-asserted-by":"crossref","unstructured":"Moser, S., Martens, A., Gorlach, K., Amme, W., Godlinski, A.: Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. In: International Conference on Services Computing, pp. 98\u2013105. IEEE (2007)","DOI":"10.1109\/SCC.2007.22"},{"key":"68_CR10","doi-asserted-by":"crossref","unstructured":"Poelmans, J., Dedene, G., Snoeck, M., Viaene, S.: Using formal concept analysis for the verification of process-data matrices in conceptual domain models. In: Proceedings of the IASTED International Conference on Software Engineering, pp. 79\u201386. Acta Press (2010)","DOI":"10.2316\/P.2010.677-021"},{"issue":"4","key":"68_CR11","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1287\/isre.1060.0105","volume":"17","author":"SX Sun","year":"2006","unstructured":"Sun, S.X., et al.: Formulating the data flow perspective for business process management. Inf. Syst. Res. 17(4), 374\u2013391 (2006)","journal-title":"Inf. Syst. Res."}],"container-title":["Lecture Notes in Electrical Engineering","Information Science and Applications 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-4154-9_68","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T12:49:10Z","timestamp":1498394950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-4154-9_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811041532","9789811041549"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-4154-9_68","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2017]]}}}