{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T09:37:41Z","timestamp":1781257061303,"version":"3.54.1"},"publisher-location":"Cham","reference-count":100,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031404351","type":"print"},{"value":"9783031404368","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-40436-8_10","type":"book-chapter","created":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T23:04:03Z","timestamp":1694127843000},"page":"257-293","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards Efficient Data-Flow Test Data Generation"],"prefix":"10.1007","author":[{"given":"Ting","family":"Su","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chengyu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yichen","family":"Yan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lingling","family":"Fan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhoulai","family":"Fu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,9,8]]},"reference":[{"key":"10_CR1","unstructured":"Cyclo. http:\/\/www.gentoogeek.org\/cyclo.html"},{"key":"10_CR2","unstructured":"ALDanial: cloc. GitHub (2018)"},{"issue":"4","key":"10_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1002\/stvr.417","volume":"20","author":"RT Alexander","year":"2010","unstructured":"Alexander, R.T., Offutt, J., Stefik, A.: Testing coupling relationships in object-oriented programs. Softw. Test. Verif. Reliab. 20(4), 291\u2013327 (2010)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"10_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008)","edition":"1"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, 16\u201318 January 2002, pp. 1\u20133 (2002)","DOI":"10.1145\/503272.503274"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Baluda, M., Braione, P., Denaro, G., Pezz\u00e8, M.: Structural coverage of feasible code. In: The 5th Workshop on Automation of Software Test, AST 2010, 3\u20134 May 2010, Cape Town, South Africa, pp. 59\u201366 (2010)","DOI":"10.1145\/1808266.1808275"},{"issue":"4","key":"10_CR7","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1007\/s11219-011-9150-y","volume":"19","author":"M Baluda","year":"2011","unstructured":"Baluda, M., Braione, P., Denaro, G., Pezz\u00e8, M.: Enhancing structural software coverage by incrementally computing branch executability. Software Qual. J. 19(4), 725\u2013751 (2011)","journal-title":"Software Qual. J."},{"issue":"5","key":"10_CR8","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/TSE.2015.2490067","volume":"42","author":"M Baluda","year":"2016","unstructured":"Baluda, M., Denaro, G., Pezz\u00e8, M.: Bidirectional symbolic analysis for effective branch testing. IEEE Trans. Software Eng. 42(5), 403\u2013426 (2016)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Bardin, S., et al.: Sound and quasi-complete detection of infeasible test requirements. In: 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, 13\u201317 April 2015, pp. 1\u201310 (2015)","DOI":"10.1109\/ICST.2015.7102607"},{"issue":"4","key":"10_CR10","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1109\/TSE.2010.49","volume":"36","author":"NE Beckman","year":"2010","unstructured":"Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J., Tetali, S., Thakur, A.V.: Proofs from tests. IEEE Trans. Software Eng. 36(4), 495\u2013508 (2010)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-642-28756-5_38","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D Beyer","year":"2012","unstructured":"Beyer, D.: Competition on software verification \u2013 (SV-COMP). In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 504\u2013524. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_38"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chlipala, A.J., Henzinger, T.A., Jhala, R., Majumdar, R.: Generating tests from counterexamples. In: Proceedings of the 26th International Conference on Software Engineering, ICSE 2004, pp. 326\u2013335. IEEE Computer Society, Washington, DC (2004)","DOI":"10.1109\/ICSE.2004.1317455"},{"issue":"5","key":"10_CR13","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/s10009-007-0044-z","volume":"9","author":"D Beyer","year":"2007","unstructured":"Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker BLAST: applications to software engineering. Int. J. Softw. Tools Technol. Transf. 9(5), 505\u2013525 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-22110-1_16","volume-title":"Computer Aided Verification","author":"D Beyer","year":"2011","unstructured":"Beyer, D., Keremoglu, M.E.: CPAchecker: a tool for configurable software verification. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 184\u2013190. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_16"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-70389-3_7","volume-title":"Hardware and Software: Verification and Testing","author":"D Beyer","year":"2017","unstructured":"Beyer, D., Lemberger, T.: Software verification: testing vs. model checking - a comparative evaluation of the state of the art. In: Strichman, O., Tzoref-Brill, R. (eds.) HVC 2017. LNCS, vol. 10629, pp. 99\u2013114. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70389-3_7"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Burnim, J., Sen, K.: Heuristics for scalable dynamic test generation. In: 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2008), 15\u201319 September 2008, L\u2019Aquila, Italy, pp. 443\u2013446 (2008)","DOI":"10.1109\/ASE.2008.69"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Buy, U.A., Orso, A., Pezz\u00e8, M.: Automated testing of classes. In: ISSTA, pp. 39\u201348 (2000)","DOI":"10.1145\/347636.348870"},{"key":"10_CR18","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: USENIX Symposium on Operating Systems Design and Implementation, pp. 209\u2013224 (2008)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: automatically generating inputs of death. In: Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, 30 October\u20133 November 2006, pp. 322\u2013335 (2006)","DOI":"10.1145\/1180405.1180445"},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun. ACM 56(2), 82\u201390 (2013)","journal-title":"Commun. ACM"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Chaki, S., Clarke, E.M., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. In: Proceedings of the 25th International Conference on Software Engineering, 3\u201310 May 2003, Portland, Oregon, USA, pp. 385\u2013395 (2003)","DOI":"10.1109\/ICSE.2003.1201217"},{"issue":"6","key":"10_CR22","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1109\/TSE.2004.22","volume":"30","author":"S Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E.M., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. IEEE Trans. Software Eng. 30(6), 388\u2013402 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR23","unstructured":"Chatterjee, B., Ryder, B.G.: Data-flow-based testing of object-oriented libraries. Technical report DCS-TR-382, Rutgers University (1999)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2004","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168\u2013176. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24730-2_15"},{"key":"10_CR25","unstructured":"Clarke, E.M., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, 29 March\u20132 April 2004, pp. 168\u2013176 (2004)"},{"key":"10_CR26","unstructured":"Clarke, L.A.: A program testing system. In: Proceedings of the 1976 Annual Conference, Houston, Texas, USA, 20\u201322 October 1976, pp. 488\u2013491 (1976)"},{"issue":"11","key":"10_CR27","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/32.41326","volume":"15","author":"LA Clarke","year":"1989","unstructured":"Clarke, L.A., Podgurski, A., Richardson, D.J., Zeil, S.J.: A formal evaluation of data flow path selection criteria. IEEE Trans. Software Eng. 15(11), 1318\u20131332 (1989)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-662-49122-5_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P Daca","year":"2016","unstructured":"Daca, P., Gupta, A., Henzinger, T.A.: Abstraction-driven Concolic testing. In: Jobstmann, B., Leino, K.R.M. (eds.) VMCAI 2016. LNCS, vol. 9583, pp. 328\u2013347. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49122-5_16"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Denaro, G., Margara, A., Pezz\u00e8, M., Vivanti, M.: Dynamic data flow testing of object oriented systems. In: 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, 16\u201324 May 2015, vol. 1, pp. 947\u2013958 (2015)","DOI":"10.1109\/ICSE.2015.104"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Denaro, G., Pezz\u00e8, M., Vivanti, M.: On the right objectives of data flow testing. In: IEEE Seventh International Conference on Software Testing, Verification and Validation, ICST 2014, 31 March\u20134 April 2014, Cleveland, Ohio, USA, pp. 71\u201380 (2014)","DOI":"10.1109\/ICST.2014.18"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Do, T., Fong, A.C.M., Pears, R.: Precise guidance to dynamic test generation. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 5\u201312 (2012)","DOI":"10.5220\/0003969000050012"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Eler, M.M., Endo, A.T., Durelli, V., Proc\u00f3pio-PR, C.: Covering user-defined data-flow test requirements using symbolic execution. In: Proceedings of the Thirteenth Brazilian Symposium On Software Quality (SBQS), pp. 16\u201330 (2014)","DOI":"10.5753\/sbqs.2014.15241"},{"key":"10_CR33","unstructured":"ETAPS: Competition on software verification (SV-COMP). ETAPS European Joint Conference on Theory & Practice of Software - TACAS 2017 (2017). https:\/\/sv-comp.sosy-lab.org\/2017\/"},{"issue":"3","key":"10_CR34","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0164-1212(93)90024-R","volume":"21","author":"LM Foreman","year":"1993","unstructured":"Foreman, L.M., Zweben, S.H.: A study of the effectiveness of control and data flow testing strategies. J. Syst. Softw. 21(3), 215\u2013228 (1993)","journal-title":"J. Syst. Softw."},{"issue":"8","key":"10_CR35","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1109\/32.238581","volume":"19","author":"PG Frankl","year":"1993","unstructured":"Frankl, P.G., Weiss, S.N.: An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Trans. Softw. Eng. 19(8), 774\u2013787 (1993)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Frankl, P.G., Iakounenko, O.: Further empirical studies of test effectiveness. In: SIGSOFT 1998, Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Lake Buena Vista, Florida, USA, 3\u20135 November 1998, pp. 153\u2013162 (1998)","DOI":"10.1145\/291252.288298"},{"issue":"3","key":"10_CR37","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.: Testing with model checkers: a survey. Softw. Test. Verification Reliab. 19(3), 215\u2013261 (2009)","journal-title":"Softw. Test. Verification Reliab."},{"issue":"1","key":"10_CR38","first-page":"64","volume":"1","author":"AS Ghiduk","year":"2010","unstructured":"Ghiduk, A.S.: A new software data-flow testing approach via ant colony algorithms. Univ. J. Comput. Sci. Eng. Technol. 1(1), 64\u201372 (2010)","journal-title":"Univ. J. Comput. Sci. Eng. Technol."},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Ghiduk, A.S., Harrold, M.J., Girgis, M.R.: Using genetic algorithms to aid test-data generation for data-flow coverage. In: APSEC, pp. 41\u201348 (2007)","DOI":"10.1109\/ASPEC.2007.73"},{"issue":"2","key":"10_CR40","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1002\/stvr.4370030205","volume":"3","author":"MR Girgis","year":"1993","unstructured":"Girgis, M.R.: Using symbolic execution and data flow criteria to aid test data selection. Softw. Test. Verif. Reliab. 3(2), 101\u2013112 (1993)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"6","key":"10_CR41","first-page":"898","volume":"11","author":"MR Girgis","year":"2005","unstructured":"Girgis, M.R.: Automatic test data generation for data flow testing using a genetic algorithm. J. UCS 11(6), 898\u2013915 (2005)","journal-title":"J. UCS"},{"issue":"12","key":"10_CR42","first-page":"29","volume":"89","author":"MR Girgis","year":"2014","unstructured":"Girgis, M.R., Ghiduk, A.S., Abd-elkawy, E.H.: Automatic generation of data flow test paths using a genetic algorithm. Int. J. Comput. Appl. 89(12), 29\u201336 (2014)","journal-title":"Int. J. Comput. Appl."},{"key":"10_CR43","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 213\u2013223. ACM, New York (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"10_CR44","doi-asserted-by":"crossref","unstructured":"Goldberg, A., Wang, T., Zimmerman, D.: Applications of feasible path analysis to program testing. In: Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, 17\u201319 August 1994, pp. 80\u201394 (1994)","DOI":"10.1145\/186258.186523"},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"Harman, M., Kim, S.G., Lakhotia, K., McMinn, P., Yoo, S.: Optimizing for the number of tests generated in search based test data generation with an application to the oracle cost problem. In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, 7\u20139 April 2010, Workshops Proceedings, pp. 182\u2013191 (2010)","DOI":"10.1109\/ICSTW.2010.31"},{"key":"10_CR46","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Rothermel, G.: Performing data flow testing on classes. In: SIGSOFT FSE, pp. 154\u2013163 (1994)","DOI":"10.1145\/195274.195402"},{"issue":"2","key":"10_CR47","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/174662.174663","volume":"16","author":"MJ Harrold","year":"1994","unstructured":"Harrold, M.J., Soffa, M.L.: Efficient computation of interprocedural definition-use chains. ACM Trans. Program. Lang. Syst. 16(2), 175\u2013204 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR48","doi-asserted-by":"crossref","unstructured":"Hassan, M.M., Andrews, J.H.: Comparing multi-point stride coverage and dataflow coverage. In: 35th International Conference on Software Engineering, ICSE 2013, San Francisco, CA, USA, 18\u201326 May 2013, pp. 172\u2013181 (2013)","DOI":"10.1109\/ICSE.2013.6606563"},{"key":"10_CR49","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, 16\u201318 January 2002, pp. 58\u201370 (2002)","DOI":"10.1145\/503272.503279"},{"issue":"2","key":"10_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"RM Hierons","year":"2009","unstructured":"Hierons, R.M., et al.: Using formal specifications to support testing. ACM Comput. Surv. 41(2), 1\u201376 (2009)","journal-title":"ACM Comput. Surv."},{"key":"10_CR51","doi-asserted-by":"crossref","unstructured":"Hong, H.S., Cha, S.D., Lee, I., Sokolsky, O., Ural, H.: Data flow testing as model checking. In: Proceedings of the 25th International Conference on Software Engineering, 3\u201310 May 2003, Portland, Oregon, USA, pp. 232\u2013243 (2003)","DOI":"10.1109\/ICSE.2003.1201203"},{"key":"10_CR52","doi-asserted-by":"crossref","unstructured":"Horgan, J.R., London, S.: ATAC: a data flow coverage testing tool for C. In: Proceedings of Symposium on Assessment of Quality Software Development Tools, pp. 2\u201310 (1992)","DOI":"10.1109\/AQSDT.1992.205829"},{"key":"10_CR53","doi-asserted-by":"crossref","unstructured":"Horgan, J.R., London, S.: Data flow coverage and the C language. In: Proceedings of the Symposium on Testing, Analysis, and Verification, pp. 87\u201397. TAV4, ACM, New York (1991)","DOI":"10.1145\/120807.120815"},{"key":"10_CR54","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.J.: Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In: ICSE, pp. 191\u2013200 (1994)"},{"key":"10_CR55","doi-asserted-by":"crossref","unstructured":"Jamrozik, K., Fraser, G., Tillmann, N., de Halleux, J.: Augmented dynamic symbolic execution. In: IEEE\/ACM International Conference on Automated Software Engineering, pp. 254\u2013257 (2012)","DOI":"10.1145\/2351676.2351716"},{"issue":"4","key":"10_CR56","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/1592434.1592438","volume":"41","author":"R Jhala","year":"2009","unstructured":"Jhala, R., Majumdar, R.: Software model checking. ACM Comput. Surv. (CSUR) 41(4), 21 (2009)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"10_CR57","doi-asserted-by":"publisher","first-page":"140","DOI":"10.31671\/dogus.2019.387","volume":"2","author":"A Khamis","year":"2011","unstructured":"Khamis, A., Bahgat, R., Abdelaziz, R.: Automatic test data generation using data flow information. Dogus Univ. J. 2, 140\u2013153 (2011)","journal-title":"Dogus Univ. J."},{"issue":"7","key":"10_CR58","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"issue":"3","key":"10_CR59","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/s00165-014-0326-7","volume":"27","author":"F Kirchner","year":"2015","unstructured":"Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C: a software analysis perspective. Formal Asp. Comput. 27(3), 573\u2013609 (2015). https:\/\/doi.org\/10.1007\/s00165-014-0326-7","journal-title":"Formal Asp. Comput."},{"key":"10_CR60","doi-asserted-by":"crossref","unstructured":"Lakhotia, K., McMinn, P., Harman, M.: Automated test data generation for coverage: haven\u2019t we solved this problem yet? In: Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques, pp. 95\u2013104. IEEE Computer Society, Washington (2009)","DOI":"10.1109\/TAICPART.2009.15"},{"key":"10_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-23702-7_11","volume-title":"Static Analysis","author":"K-K Ma","year":"2011","unstructured":"Ma, K.-K., Yit Phang, K., Foster, J.S., Hicks, M.: Directed symbolic execution. In: Yahav, E. (ed.) SAS 2011. LNCS, vol. 6887, pp. 95\u2013111. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23702-7_11"},{"issue":"8","key":"10_CR62","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1016\/j.infsof.2005.07.006","volume":"48","author":"N Malevris","year":"2006","unstructured":"Malevris, N., Yates, D.: The collateral coverage of data flow criteria when branch testing. Inf. Softw. Technol. 48(8), 676\u2013686 (2006)","journal-title":"Inf. Softw. Technol."},{"key":"10_CR63","doi-asserted-by":"crossref","unstructured":"Marcozzi, M., Bardin, S., Kosmatov, N., Papadakis, M., Prevosto, V., Correnson, L.: Time to clean your test objectives. In: 40th International Conference on Software Engineering, 27 May\u20133 June 2018, Gothenburg, Sweden (2018)","DOI":"10.1145\/3180155.3180191"},{"key":"10_CR64","doi-asserted-by":"crossref","unstructured":"Marinescu, P.D., Cadar, C.: KATCH: high-coverage testing of software patches. In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC\/FSE 2013, Saint Petersburg, Russian Federation, 18\u201326 August 2013, pp. 235\u2013245 (2013)","DOI":"10.1145\/2491411.2491438"},{"key":"10_CR65","doi-asserted-by":"crossref","unstructured":"Marr\u00e9, M., Bertolino, A.: Unconstrained duas and their use in achieving all-uses coverage. In: Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 147\u2013157. ISSTA 199. ACM, New York (1996)","DOI":"10.1145\/229000.226312"},{"issue":"11","key":"10_CR66","doi-asserted-by":"publisher","first-page":"974","DOI":"10.1109\/TSE.2003.1245299","volume":"29","author":"M Marr\u00e9","year":"2003","unstructured":"Marr\u00e9, M., Bertolino, A.: Using spanning sets for coverage testing. IEEE Trans. Softw. Eng. 29(11), 974\u2013984 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"10_CR67","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1002\/stvr.4370040104","volume":"4","author":"AP Mathur","year":"1994","unstructured":"Mathur, A.P., Wong, W.E.: An empirical comparison of data flow and mutation-based test adequacy criteria. Softw. Test. Verif. Reliab. 4(1), 9\u201331 (1994)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"10_CR68","unstructured":"Merlo, E., Antoniol, G.: A static measure of a subset of intra-procedural data flow testing coverage based on node coverage. In: CASCON, p. 7 (1999)"},{"key":"10_CR69","doi-asserted-by":"crossref","unstructured":"Nayak, N., Mohapatra, D.P.: Automatic test data generation for data flow testing using particle swarm optimization. In: IC3 (2), pp. 1\u201312 (2010)","DOI":"10.1007\/978-3-642-14825-5_1"},{"key":"10_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","volume-title":"Compiler Construction","author":"GC Necula","year":"2002","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: intermediate language and tools for analysis and transformation of C programs. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol. 2304, pp. 213\u2013228. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45937-5_16"},{"issue":"3","key":"10_CR71","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U","volume":"7","author":"AJ Offutt","year":"1997","unstructured":"Offutt, A.J., Pan, J.: Automatically detecting equivalent mutants and infeasible paths. Softw. Test. Verif. Reliab. 7(3), 165\u2013192 (1997)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"5","key":"10_CR72","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1109\/32.286418","volume":"20","author":"HD Pande","year":"1994","unstructured":"Pande, H.D., Landi, W.A., Ryder, B.G.: Interprocedural def-use associations for C systems with single level pointers. IEEE Trans. Softw. Eng. 20(5), 385\u2013403 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR73","doi-asserted-by":"crossref","unstructured":"Pandita, R., Xie, T., Tillmann, N., de Halleux, J.: Guided test generation for coverage criteria. In: Proceedings of the 2010 IEEE International Conference on Software Maintenance, pp. 1\u201310. IEEE Computer Society, Washington (2010)","DOI":"10.1109\/ICSM.2010.5609565"},{"key":"10_CR74","doi-asserted-by":"crossref","unstructured":"Peng, Y., Huang, Y., Su, T., Guo, J.: Modeling and verification of AUTOSAR OS and EMS application. In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1\u20133 July 2013, Birmingham, UK, pp. 37\u201344 (2013)","DOI":"10.1109\/TASE.2013.13"},{"key":"10_CR75","unstructured":"Rapps, S., Weyuker, E.J.: Data flow analysis techniques for test data selection. In: Proceedings of the 6th International Conference on Software Engineering, ICSE 1982, pp. 272\u2013278. IEEE Computer Society Press, Los Alamitos (1982)"},{"issue":"4","key":"10_CR76","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Trans. Software Eng. 11(4), 367\u2013375 (1985)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR77","doi-asserted-by":"crossref","unstructured":"Santelices, R., Harrold, M.J.: Efficiently monitoring data-flow test coverage. In: Proceedings of the twenty-second IEEE\/ACM International Conference on Automated Software Engineering, ASE 2007, pp. 343\u2013352. ACM, New York (2007)","DOI":"10.1145\/1321631.1321682"},{"key":"10_CR78","doi-asserted-by":"crossref","unstructured":"Santelices, R.A., Sinha, S., Harrold, M.J.: Subsumption of program entities for efficient coverage and monitoring. In: Third International Workshop on Software Quality Assurance, SOQUA 2006, Portland, Oregon, USA, 6 November 2006, pp. 2\u20135 (2006)","DOI":"10.1145\/1188895.1188899"},{"key":"10_CR79","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of software engineering, pp. 263\u2013272. ACM, New York (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"10_CR80","first-page":"15","volume":"37","author":"S Singla","year":"2011","unstructured":"Singla, S., Kumar, D., Rai, H.M., Singla, P.: A hybrid PSO approach to automate test data generation for data flow coverage with dominance concepts. J. Adv. Sci. Technol. 37, 15\u201326 (2011)","journal-title":"J. Adv. Sci. Technol."},{"issue":"2","key":"10_CR81","first-page":"265","volume":"2","author":"S Singla","year":"2011","unstructured":"Singla, S., Singla, P., Rai, H.M.: An automatic test data generation for data flow coverage using soft computing approach. IJRRCS 2(2), 265\u2013270 (2011)","journal-title":"IJRRCS"},{"key":"10_CR82","unstructured":"SIR Project: Software-artifact infrastructure repository. NC State University. http:\/\/sir.unl.edu\/php\/previewfiles.php. Accessed July 2016"},{"key":"10_CR83","unstructured":"Su, T.: A bibliography of papers and tools on data flow testing. GitHub (2017). https:\/\/tingsu.github.io\/files\/dftbib.html"},{"key":"10_CR84","doi-asserted-by":"crossref","unstructured":"Su, T., Fu, Z., Pu, G., He, J., Su, Z.: Combining symbolic execution and model checking for data flow testing. In: 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, 16\u201324 May 2015, vol. 1, pp. 654\u2013665 (2015)","DOI":"10.1109\/ICSE.2015.81"},{"key":"10_CR85","doi-asserted-by":"crossref","unstructured":"Su, T., et al.: Automated coverage-driven test data generation using dynamic symbolic execution. In: Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, 30 June\u20132 July 2014, pp. 98\u2013107 (2014)","DOI":"10.1109\/SERE.2014.23"},{"key":"10_CR86","doi-asserted-by":"crossref","unstructured":"Su, T., et al.: A survey on data-flow testing. ACM Comput. Surv. 50(1), 5:1\u20135:35 (2017)","DOI":"10.1145\/3020266"},{"key":"10_CR87","unstructured":"Su, T., Zhang, C., Yan, Y., Su, Z.: Towards efficient data-flow test data generation. GitHub (2019). https:\/\/tingsu.github.io\/files\/hybrid_dft.html"},{"key":"10_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2013white box test generation for .NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134\u2013153. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-79124-9_10"},{"key":"10_CR89","doi-asserted-by":"crossref","unstructured":"Vivanti, M., Mis, A., Gorla, A., Fraser, G.: Search-based data-flow test generation. In: IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, 4\u20137 November 2013, pp. 370\u2013379 (2013)","DOI":"10.1109\/ISSRE.2013.6698890"},{"issue":"3","key":"10_CR90","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1109\/TSE.2016.2584063","volume":"43","author":"H Wang","year":"2017","unstructured":"Wang, H., Liu, T., Guan, X., Shen, C., Zheng, Q., Yang, Z.: Dependence guided symbolic execution. IEEE Trans. Software Eng. 43(3), 252\u2013271 (2017)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR91","doi-asserted-by":"crossref","unstructured":"Wang, Z., Yu, X., Sun, T., Pu, G., Ding, Z., Hu, J.: Test data generation for derived types in C program. In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29\u201331 July 2009, Tianjin, China, pp. 155\u2013162 (2009)","DOI":"10.1109\/TASE.2009.10"},{"issue":"2","key":"10_CR92","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0020-0190(84)90106-6","volume":"19","author":"EJ Weyuker","year":"1984","unstructured":"Weyuker, E.J.: The complexity of data flow criteria for test data selection. Inf. Process. Lett. 19(2), 103\u2013109 (1984)","journal-title":"Inf. Process. Lett."},{"issue":"9","key":"10_CR93","doi-asserted-by":"publisher","first-page":"912","DOI":"10.1109\/32.241773","volume":"19","author":"EJ Weyuker","year":"1993","unstructured":"Weyuker, E.J.: More experience with data flow testing. IEEE Trans. Software Eng. 19(9), 912\u2013919 (1993)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10_CR94","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF00404650","volume":"4","author":"WE Wong","year":"1995","unstructured":"Wong, W.E., Mathur, A.P.: Fault detection effectiveness of mutation and data flow testing. Software Qual. J. 4(1), 69\u201383 (1995)","journal-title":"Software Qual. J."},{"key":"10_CR95","doi-asserted-by":"crossref","unstructured":"Xie, T., Tillmann, N., de Halleux, J., Schulte, W.: Fitness-guided path exploration in dynamic symbolic execution. In: Proceedings of the 2009 IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 359\u2013368 (2009)","DOI":"10.1109\/DSN.2009.5270315"},{"issue":"5","key":"10_CR96","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1093\/comjnl\/bxm021","volume":"52","author":"Q Yang","year":"2009","unstructured":"Yang, Q., Li, J.J., Weiss, D.M.: A survey of coverage-based testing tools. Comput. J. 52(5), 589\u2013597 (2009)","journal-title":"Comput. J."},{"key":"10_CR97","doi-asserted-by":"crossref","unstructured":"Zamfir, C., Candea, G.: Execution synthesis: a technique for automated software debugging. In: European Conference on Computer Systems, Proceedings of the 5th European Conference on Computer Systems, EuroSys 2010, Paris, France, 13\u201316 April 2010, pp. 321\u2013334 (2010)","DOI":"10.1145\/1755913.1755946"},{"key":"10_CR98","doi-asserted-by":"crossref","unstructured":"Zhang, C., et al.: SmartUnit: empirical evaluations for automated unit testing of embedded software in industry. In: 40th IEEE\/ACM International Conference on Software Engineering, Software Engineering in Practice Track, ICSE 2018, 27 May\u20133 June 2018, Gothenburg, Sweden (2018)","DOI":"10.1145\/3183519.3183554"},{"key":"10_CR99","doi-asserted-by":"crossref","unstructured":"Zhang, L., Xie, T., Zhang, L., Tillmann, N., de Halleux, J., Mei, H.: Test generation via dynamic symbolic execution for mutation testing. In: 26th IEEE International Conference on Software Maintenance (ICSM 2010), 12\u201318 September 2010, Timisoara, Romania, pp. 1\u201310 (2010)","DOI":"10.1109\/ICSM.2010.5609672"},{"issue":"4","key":"10_CR100","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv. 29(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Theories of Programming and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-40436-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T19:00:41Z","timestamp":1730055641000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-40436-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031404351","9783031404368"],"references-count":100,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-40436-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"8 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}