{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T12:08:16Z","timestamp":1761998896027,"version":"build-2065373602"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T00:00:00Z","timestamp":1503532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Technology Agency of Czech Republic","award":["TH02010296"],"award-info":[{"award-number":["TH02010296"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cluster Comput"],"published-print":{"date-parts":[[2019,1]]},"DOI":"10.1007\/s10586-017-1118-7","type":"journal-article","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T12:44:31Z","timestamp":1503578671000},"page":"963-976","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Testing the consistency of business data objects using extended static testing of CRUD matrices"],"prefix":"10.1007","volume":"22","author":[{"given":"Miroslav","family":"Bures","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5882-5502","authenticated-orcid":false,"given":"Tomas","family":"Cerny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karel","family":"Frajtak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bestoun S.","family":"Ahmed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"key":"1118_CR1","doi-asserted-by":"crossref","unstructured":"Ar\u00e9valo, G., Falleri, J.R., Huchard, M., Nebut, C.: Building abstractions in class models: formal concept analysis in a model-driven approach. In: MoDELS, vol. 4199, pp. 513\u2013527. Springer, Berlin (2006)","DOI":"10.1007\/11880240_36"},{"key":"1118_CR2","doi-asserted-by":"publisher","unstructured":"Awad, A., Decker, G., Lohmann, N.: Diagnosing and Repairing Data Anomalies in Process Models, pp. 5\u201316. Springer, Berlin (2010). doi:\n                    10.1007\/978-3-642-12186-9-2","DOI":"10.1007\/978-3-642-12186-9-2"},{"key":"1118_CR3","doi-asserted-by":"publisher","unstructured":"Briand, L., Labiche, Y., Lin, Q.: Improving the coverage criteria of uml state machines using data flow analysis. Softw. Test. Verif. Reliab. 20(3), 177\u2013207 (2010). doi:\n                    10.1002\/stvr.v20:3","DOI":"10.1002\/stvr.v20:3"},{"key":"1118_CR4","doi-asserted-by":"publisher","unstructured":"Briand, L., Labiche, Y., Liu, Y.: Combining uml sequence and state machine diagrams for data-flow based integration testing. In: Proceedings of the 8th European Conference on Modelling Foundations and Applications, ECMFA\u201912, pp. 74\u201389. Springer, Berlin (2012). doi:\n                    10.1007\/978-3-642-31491-9-8","DOI":"10.1007\/978-3-642-31491-9-8"},{"key":"1118_CR5","doi-asserted-by":"publisher","unstructured":"Briand, L.C., Labiche, Y., Lin, Q.: Improving statechart testing criteria using data flow information. In: 16th IEEE International Symposium on Software Reliability Engineering (ISSRE\u201905), pp. 10\u2013104 (2005). doi:\n                    10.1109\/ISSRE.2005.24","DOI":"10.1109\/ISSRE.2005.24"},{"key":"1118_CR6","doi-asserted-by":"publisher","unstructured":"Bures, M., Cerny, T., Klima, M.: Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows, pp. 585\u2013593. Springer, Singapore (2017). doi:\n                    10.1007\/978-981-10-4154-9-67","DOI":"10.1007\/978-981-10-4154-9-67"},{"key":"1118_CR7","doi-asserted-by":"crossref","unstructured":"Carbonnel, J., Huchard, M., Miralles, A., Nebut, C.: Feature model composition assisted by formal concept analysis. In: 12th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 28\u201329 (2017)","DOI":"10.5220\/0006276600270037"},{"key":"1118_CR8","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-78137-0_20","volume":"4933","author":"P Cellier","year":"2008","unstructured":"Cellier, P., Ducass\u00e9, M., Ferr\u00e9, S., Ridoux, O.: Formal concept analysis enhances fault localization in software. Lect. Notes Comput. Sci. 4933, 273\u2013288 (2008)","journal-title":"Lect. Notes Comput. Sci."},{"key":"1118_CR9","doi-asserted-by":"crossref","unstructured":"Chandra, A., Singhal, A.: Study of unit and data flow testing in object-oriented and aspect-oriented programming. In: Innovation and Challenges in Cyber Security (ICICCS-INBUSH), 2016 International Conference on, pp. 245\u2013250. IEEE (2016)","DOI":"10.1109\/ICICCS.2016.7542313"},{"key":"1118_CR10","doi-asserted-by":"crossref","unstructured":"Denaro, G., Margara, A., Pezze, M., Vivanti, M.: Dynamic data flow testing of object oriented systems. In: Proceedings of the 37th International Conference on Software Engineering-Volume 1, pp. 947\u2013958. IEEE Press (2015)","DOI":"10.1109\/ICSE.2015.104"},{"key":"1118_CR11","doi-asserted-by":"crossref","unstructured":"Denaro, G., Pezze, M., Vivanti, M.: On the right objectives of data flow testing. In: Software Testing, Verification and Validation (ICST), 2014 IEEE Seventh International Conference on, pp. 71\u201380. IEEE (2014)","DOI":"10.1109\/ICST.2014.18"},{"key":"1118_CR12","doi-asserted-by":"publisher","unstructured":"Dwarakanath, A., Jankiti, A.: Minimum number of test paths for prime path and other structural coverage criteria. In: Proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems\u2014Volume 8763, ICTSS 2014, pp. 63\u201379. Springer, New York Inc., New York (2014). doi:\n                    10.1007\/978-3-662-44857-1-5","DOI":"10.1007\/978-3-662-44857-1-5"},{"key":"1118_CR13","doi-asserted-by":"publisher","unstructured":"Frajtak, K., Bures, M., Jelinek, I.: Exploratory testing supported by automated reengineering of model of the system under test. Clust. Comput. 20(1), 855\u2013865 (2017). doi:\n                    10.1007\/s10586-017-0773-z","DOI":"10.1007\/s10586-017-0773-z"},{"key":"1118_CR14","volume-title":"TestGoal: Result-Driven Testing","author":"DJD Grood","year":"2008","unstructured":"Grood, D.J.D.: TestGoal: Result-Driven Testing, 1st edn. Springer Publishing Company, Heidelberg (2008)","edition":"1"},{"key":"1118_CR15","unstructured":"Hema, M., Anup, S., Sen, K., Bagchi, A.: Detecting data flow errors in workflows: a systematic graph traversal approach (2007)"},{"key":"1118_CR16","volume-title":"Software testing: a craftsmans approach","author":"PC Jorgensen","year":"2016","unstructured":"Jorgensen, P.C.: Software testing: a craftsmans approach. CRC Press, Hoboken (2016)"},{"issue":"3","key":"1118_CR17","doi-asserted-by":"publisher","first-page":"161","DOI":"10.2498\/cit.1002192","volume":"21","author":"B Jukic","year":"2013","unstructured":"Jukic, B., Jukic, N., Nestorov, S.: Process and data logic integration: Logical links between uml use case narratives and er diagrams. J. Comput. Inf. Technol. 21(3), 161\u2013170 (2013)","journal-title":"J. Comput. Inf. Technol."},{"key":"1118_CR18","volume-title":"TMap Next, for Result-driven Testing","author":"T Koomen","year":"2013","unstructured":"Koomen, T., Aalst, L.V.D., Broekman, B., Vroon, M.: TMap Next, for Result-driven Testing. UTN Publishers, \u2019s-Hertogenbosch (2013)"},{"key":"1118_CR19","doi-asserted-by":"crossref","unstructured":"Kumar, S., Yadav, D., Khan, D.: Artificial bee colony based test data generation for data-flow testing. Indian J. Sci. Technol. 9(39) (2016)","DOI":"10.17485\/ijst\/2016\/v9i39\/100733"},{"key":"1118_CR20","unstructured":"K\u00fcster, J.M., Ryndina, K., Gall, H.: Generation of business process models for object life cycle compliance. In: Proceedings of the 5th International Conference on Business Process Management, BPM\u201907, pp. 165\u2013181. Springer, Berlin (2007). \n                    http:\/\/dl.acm.org\/citation.cfm?id=1793114.1793131"},{"key":"1118_CR21","doi-asserted-by":"publisher","unstructured":"Li, N., Li, F., Offutt, J.: Better algorithms to minimize the cost of test paths. In: Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, ICST \u201912, pp. 280\u2013289. IEEE Computer Society, Washington, DC (2012). doi:\n                    10.1109\/ICST.2012.108","DOI":"10.1109\/ICST.2012.108"},{"key":"1118_CR22","doi-asserted-by":"publisher","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: IEEE International Conference on Services Computing (SCC 2007), pp. 98\u2013105 (2007). doi:\n                    10.1109\/SCC.2007.22","DOI":"10.1109\/SCC.2007.22"},{"key":"1118_CR23","volume-title":"Principles of program analysis","author":"F Nielson","year":"2015","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of program analysis. Springer, Berlin (2015)"},{"key":"1118_CR24","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"},{"key":"1118_CR25","doi-asserted-by":"crossref","unstructured":"Prabu, M., Narasimhan, D., Raghuram, S.: An effective tool for optimizing the number of test paths in data flow testing for anomaly detection. In: Computational Intelligence, Cyber Security and Computational Models, pp. 505\u2013518. Springer, Berlin (2016)","DOI":"10.1007\/978-981-10-0251-9_47"},{"issue":"1","key":"1118_CR26","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/3020266","volume":"50","author":"T Su","year":"2017","unstructured":"Su, T., Wu, K., Miao, W., Pu, G., He, J., Chen, Y., Su, Z.: A survey on data-flow testing. ACM Comput. Surv. 50(1), 5 (2017)","journal-title":"ACM Comput. Surv."},{"key":"1118_CR27","doi-asserted-by":"publisher","unstructured":"Sun, S.X., Zhao, J.L., Nunamaker, J.F., Sheng, O.R.L.: Formulating the data-flow perspective for business process management. Inf. Syst. Res. 17(4), 374\u2013391 (2006). doi:\n                    10.1287\/isre.1060.0105","DOI":"10.1287\/isre.1060.0105"},{"key":"1118_CR28","unstructured":"Sundari, M.H., Sen, A.K., Bagchi, A.: Detecting data flow errors in workflows: a systematic graph traversal approach. In: WITS 2007\u2014Proceedings, 17th Annual Workshop on Information Technologies and Systems, pp. 133\u2013139 (2007). \n                    www.scopus.com"},{"key":"1118_CR29","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/11528784_13","volume":"3626","author":"T Tilley","year":"2005","unstructured":"Tilley, T., Cole, R., Becker, P., Eklund, P.: A survey of formal concept analysis support for software engineering activities. Formal Concept Anal. 3626, 250\u2013271 (2005)","journal-title":"Formal Concept Anal."},{"key":"1118_CR30","first-page":"425","volume-title":"Data-Flow Anti-Patterns: Discovering Data-Flow Errors in Workflows","author":"N Tr\u010dka","year":"2009","unstructured":"Tr\u010dka, N., van\u00a0der Aalst, W.M.P., Sidorova, N.: Data-Flow Anti-Patterns: Discovering Data-Flow Errors in Workflows, pp. 425\u2013439. Springer, Berlin (2009)"},{"key":"1118_CR31","doi-asserted-by":"crossref","unstructured":"Waheed, S.Z., Qamar, U.: Data flow based test case generation algorithm for object oriented integration testing. In: Software Engineering and Service Science (ICSESS), 2015 6th IEEE International Conference on, pp. 423\u2013427. IEEE (2015)","DOI":"10.1109\/ICSESS.2015.7339088"},{"key":"1118_CR32","doi-asserted-by":"publisher","unstructured":"Wedyan, F., Ghosh, S., Vijayasarathy, L.R.: An approach and tool for measurement of state variable based data-flow test coverage for aspect-oriented programs. Information and Software Technology 59, 233 \u2013 254 (2015). doi:\n                    10.1016\/j.infsof.2014.11.008\n                    \n                  . \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0950584914002547","DOI":"10.1016\/j.infsof.2014.11.008"}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-1118-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10586-017-1118-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-1118-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T12:06:19Z","timestamp":1568289979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10586-017-1118-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,24]]},"references-count":32,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["1118"],"URL":"https:\/\/doi.org\/10.1007\/s10586-017-1118-7","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"type":"print","value":"1386-7857"},{"type":"electronic","value":"1573-7543"}],"subject":[],"published":{"date-parts":[[2017,8,24]]},"assertion":[{"value":"3 May 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 August 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 August 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}