{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T21:40:51Z","timestamp":1755034851234,"version":"3.40.4"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T00:00:00Z","timestamp":1411084800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s11704-014-3372-7","type":"journal-article","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T15:15:40Z","timestamp":1411139740000},"page":"726-740","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Generating test data for both paths coverage and faults detection using genetic algorithms: multi-path case"],"prefix":"10.1007","volume":"8","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Dunwei","family":"Gong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,19]]},"reference":[{"issue":"10","key":"3372_CR1","doi-asserted-by":"crossref","first-page":"3107","DOI":"10.1016\/j.cor.2007.01.012","volume":"35","author":"M A Ahmed","year":"2008","unstructured":"Ahmed M A, Hermadi I. GA-based multiple paths test data generator. Computer & Operations Research, 2008, 35(10): 3107\u20133124","journal-title":"Computer & Operations Research"},{"key":"3372_CR2","first-page":"325","volume-title":"Proceedings of the 3rd International Conference on Artificial Neural Networks and Genetic Algorithms","author":"J T Alander","year":"1997","unstructured":"Alander J T, Mantere T, Turunen P. Genetic algorithm based software testing. In: Proceedings of the 3rd International Conference on Artificial Neural Networks and Genetic Algorithms. 1997, 325\u2013328"},{"issue":"4","key":"3372_CR3","first-page":"87","volume":"3","author":"P R Srivastava","year":"2009","unstructured":"Srivastava P R, Kim T. Application of genetic algorithm in software testing. International Journal of Software Engineering and Its Applications, 2009, 3(4): 87\u201395","journal-title":"International Journal of Software Engineering and Its Applications"},{"issue":"1\u20134","key":"3372_CR4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0020-0255(00)00093-1","volume":"131","author":"J C Lin","year":"2001","unstructured":"Lin J C, Yeh P L. Automatic test data generation for path testing using GAs. Information Sciences, 2001, 131(1\u20134): 47\u201364","journal-title":"Information Sciences"},{"issue":"11","key":"3372_CR5","doi-asserted-by":"crossref","first-page":"2531","DOI":"10.1016\/j.jss.2012.05.071","volume":"85","author":"D W Gong","year":"2012","unstructured":"Gong D W, Tian T, Yao X J. Grouping target paths for evolutionary generation of test data in parallel. The Journal of Systems and Software, 2012, 85(11): 2531\u20132540","journal-title":"The Journal of Systems and Software"},{"issue":"7","key":"3372_CR6","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1016\/j.infsof.2005.06.006","volume":"48","author":"J Miller","year":"2006","unstructured":"Miller J, Reformat M, Zhang H. Automatic test data generation using genetic algorithm and program dependence graphs. Information and Software Technology, 2006, 48(7): 586\u2013605","journal-title":"Information and Software Technology"},{"issue":"12","key":"3372_CR7","doi-asserted-by":"crossref","first-page":"2222","DOI":"10.1016\/j.jss.2011.06.028","volume":"84","author":"D W Gong","year":"2011","unstructured":"Gong D W, Zhang W Q, Yao X J. Evolutionary generation of test data for many paths coverage based on grouping. The Journal of Systems and Software, 2011, 84(12): 2222\u20132233","journal-title":"The Journal of Systems and Software"},{"key":"3372_CR8","first-page":"13","volume-title":"Proceedings of International Symposium on Software Testing and Analysis","author":"P McMinn","year":"2006","unstructured":"McMinn P, Harman M, Binkley D, Tonella P. The species per path approach to searchbased test data generation. In: Proceedings of International Symposium on Software Testing and Analysis. 2006, 13\u201324"},{"key":"3372_CR9","volume-title":"Proceedings of the 8th International Symposium on Future Software Technology","author":"Z Q Zhou","year":"2004","unstructured":"Zhou Z Q, Huang D H, Tse T H, Yang Z Y, Huang H, Chen T Y. Metamorphic testing and its applications. In: Proceedings of the 8th International Symposium on Future Software Technology. 2004"},{"issue":"1","key":"3372_CR10","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/52.819971","volume":"17","author":"J A Whittaker","year":"2000","unstructured":"Whittaker J A. What is software testing? and why is it so hard? IEEE Software, 2000, 17(1): 70\u201379","journal-title":"IEEE Software"},{"issue":"6","key":"3372_CR11","doi-asserted-by":"crossref","first-page":"822","DOI":"10.1007\/s11704-013-3024-3","volume":"7","author":"D W Gong","year":"2013","unstructured":"Gong D W, Zhang Y. Generating test data for both path coverage and faults detection using genetic algorithms. Frontiers of Computer Science, 2013, 7(6): 822\u2013837","journal-title":"Frontiers of Computer Science"},{"issue":"5","key":"3372_CR12","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.1987.231413","volume":"4","author":"H D Mills","year":"1987","unstructured":"Mills H D, Dyer M D, Linger R C. Cleanroom software engineering. IEEE Software, 1987, 4(5): 19\u201325","journal-title":"IEEE Software"},{"issue":"2","key":"3372_CR13","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/52.73748","volume":"8","author":"J M Voas","year":"1991","unstructured":"Voas J M, Morell L, Miller KW. Predicting where faults can hide from testing. IEEE Software, 1991, 8(2): 41\u201348","journal-title":"IEEE Software"},{"key":"3372_CR14","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/154183.154262","volume-title":"Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"P Th\u00e9venod-Fosse","year":"1993","unstructured":"Th\u00e9venod-Fosse P, Waeselynck H. Statemate: applied to statistical software testing. In: Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis. 1993, 99\u2013109"},{"issue":"7","key":"3372_CR15","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J C King","year":"1976","unstructured":"King J C. Symbolic execution and program testing. Communications of the ACM, 1976, 19(7): 385\u2013394","journal-title":"Communications of the ACM"},{"issue":"2","key":"3372_CR16","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/stvr.333","volume":"16","author":"B Botella","year":"2006","unstructured":"Botella B, Gotlieb A, Michel C. Symbolic execution of floating-point computations. Software Testing, Verification & Reliability, 2006, 16(2): 97\u2013121","journal-title":"Software Testing, Verification & Reliability"},{"key":"3372_CR17","unstructured":"Zhang J. Symbolic execution of program paths involving pointer structure variables. In: Proceedings of the 4th Intemational Conference on Quality Software. 2004, 87-92"},{"key":"3372_CR18","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume":"2619","author":"S Khurshid","year":"2003","unstructured":"Khurshid S, P\u0103s\u0103reanu C S, Visser W. G Generalized symbolic execution for model checking and testing. Lecture Notes in Computer Science, 2003, 2619: 553\u201356","journal-title":"Lecture Notes in Computer Science"},{"issue":"8","key":"3372_CR19","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B Korel","year":"1990","unstructured":"Korel B. Automated software test data generation. IEEE Transactions on Software Engineering, 1990, 16(8): 870\u2013879","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3372_CR20","volume-title":"Technical Report TR-09-03: Department of Computer Science, King\u2019s College London","author":"M Harman","year":"2009","unstructured":"Harman M, Mansouri A, Zhang Y. Search-based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications. Technical Report TR-09-03: Department of Computer Science, King\u2019s College London. 2009"},{"key":"3372_CR21","volume-title":"Adaptation in Natural and Artificial Systems","author":"J H Holland","year":"1975","unstructured":"Holland J H. Adaptation in Natural and Artificial Systems. Michigan: The University of Michigan, 1975"},{"key":"3372_CR22","first-page":"625","volume-title":"Proceedings of the 5th International Conference on Software Engineering","author":"S Xanthakis","year":"1992","unstructured":"Xanthakis S, Ellis C, Skourlas C, Le Gall A, Katsikas S, Karapoulios K. Application of genetic algorithms to software testing. In: Proceedings of the 5th International Conference on Software Engineering. 1992, 625\u2013636"},{"issue":"2","key":"3372_CR23","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn P. Search-based software test data generation: a survey. Software Testing, Verification and Reliability, 2004, 14(2): 105\u2013156","journal-title":"Software Testing, Verification and Reliability"},{"key":"3372_CR24","doi-asserted-by":"crossref","unstructured":"Michael C C, McGraw G E, Schatz M A. Opportunism and diversity in automated software test data generation. In: Proceedings of Automated Software Engineer. 1998, 136-146","DOI":"10.1109\/ASE.1998.732605"},{"issue":"1","key":"3372_CR25","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","volume":"9","author":"R P Pargas","year":"1999","unstructured":"Pargas R P, Harrold M J, Peck R. Test-data generation using genetic algorithms. Software Testing, Verification and Reliability, 1999, 9(1): 263\u2013282","journal-title":"Software Testing, Verification and Reliability"},{"issue":"14","key":"3372_CR26","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"J Wegener","year":"2001","unstructured":"Wegener J, Baresel A, Sthamer H. Evolutionary test environment for automatic structural testing. Journal of Information and Software Technology, 2001, 43(14): 841\u2013854","journal-title":"Journal of Information and Software Technology"},{"issue":"12","key":"3372_CR27","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"C C Michael","year":"2001","unstructured":"Michael C C, McGraw G, Schatz MA. Generating software test data by evolution. IEEE Transactions on Software Engineering, 2001, 27(12): 1085\u20131110","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"3372_CR28","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10664-006-9026-0","volume":"12","author":"M Xiao","year":"2007","unstructured":"Xiao M, Mohamed E A, Reformat M, Miller J. Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques. Empirical Software Engineering, 2007, 12(2): 183\u2013239","journal-title":"Empirical Software Engineering"},{"issue":"15","key":"3372_CR29","doi-asserted-by":"crossref","first-page":"3075","DOI":"10.1016\/j.ins.2007.11.024","volume":"178","author":"A Arcuri","year":"2008","unstructured":"Arcuri A, Yao X. Search based software testing of object-oriented containers. Information Sciences, 2008, 178(15): 3075\u20133095","journal-title":"Information Sciences"},{"issue":"10","key":"3372_CR30","doi-asserted-by":"crossref","first-page":"3144","DOI":"10.1016\/j.cor.2007.01.015","volume":"35","author":"O Buhler","year":"2008","unstructured":"Buhler O, Wegener J. Evolutionary functional testing. Computers & Operations Research, 2008, 35(10): 3144\u20133160","journal-title":"Computers & Operations Research"},{"key":"3372_CR31","first-page":"232","volume-title":"Proceedings of IEEE International Conference on Software Testing Verification and Validation Workshop","author":"R Sagarna","year":"2008","unstructured":"Sagarna R, Yao X. Handling constraints for search based software test data generation. In: Proceedings of IEEE International Conference on Software Testing Verification and Validation Workshop. 2008, 232\u2013240"},{"key":"3372_CR32","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/ASPEC.2007.73","volume-title":"Proceedings of the 14th Asia-Pacific Software Engineering Conference","author":"A S Ghiduk","year":"2007","unstructured":"Ghiduk A S, Harrold MJ. Using genetic algorithms to aid test data generation for data flow coverage. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference. 2007, 41\u201348"},{"key":"3372_CR33","first-page":"1098","volume-title":"Proceedings of Genetic and Evolutionary Computation Conference","author":"M Harman","year":"2007","unstructured":"Harman M, Lakhotia K, McMinn P. A multi-objective approach to search-based test data generation. In: Proceedings of Genetic and Evolutionary Computation Conference. 2007, 1098\u20131105"},{"key":"3372_CR34","first-page":"140","volume-title":"Proceedings of International Symposium on Software Testing and Analysis","author":"S Yoo","year":"2007","unstructured":"Yoo S, Harman M. Pareto efficient multi-objective test case selection. In: Proceedings of International Symposium on Software Testing and Analysis. 2007, 140\u2013150"},{"issue":"8","key":"3372_CR35","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1109\/32.57623","volume":"16","author":"L J Morell","year":"1990","unstructured":"Morell L J. A theory of fault-based testing. IEEE Transactions on Software Engineering, 1990, 16(8): 844\u2013857","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"3372_CR36","first-page":"1","volume":"31","author":"Z H Yang","year":"2008","unstructured":"Yang Z H, Gong Y Z, Xiao Q, Wang Y W. A defect model based testing system. Journal of Beijing University of Posts and Telecommunications, 2008, 31(5): 1\u20134","journal-title":"Journal of Beijing University of Posts and Telecommunications"},{"key":"3372_CR37","first-page":"160","volume-title":"Proceedings of the International Conference on Software Testing, Verification and Validation","author":"D Romano","year":"2011","unstructured":"Romano D, Penta M D, Antoniol G. An approach for search based testing of null pointer exceptions. In: Proceedings of the International Conference on Software Testing, Verification and Validation. 2011, 160\u2013169"},{"key":"3372_CR38","first-page":"133","volume-title":"Proceedings of the 31st International Conference on Software Engineering","author":"M G Nanda","year":"2009","unstructured":"Nanda M G, Sinha S. Accurate interprocedural nulldereference analysis for java. In: Proceedings of the 31st International Conference on Software Engineering. 2009, 133\u2013143"},{"key":"3372_CR39","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-642-23716-4_19","volume-title":"Proceedings of the 3rd International Conference on Search based Software Engineering, ICSSE\u201911","author":"N Bhattacharya","year":"2011","unstructured":"Bhattacharya N, Sakti A, Antoniol G, Gu\u00e9h\u00e9neuc Y G, Pesant G. Divide-by-zero exception raising via branch coverage. In: Proceedings of the 3rd International Conference on Search based Software Engineering, ICSSE\u201911. 2011, 204\u2013218"},{"key":"3372_CR40","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/1450058.1450087","volume-title":"Proceedings of the 8th ACM International Conference on Embedded software","author":"P Godefroid","year":"2008","unstructured":"Godefroid P, Levin M Y, Molnar D. Active property checking. In: Proceedings of the 8th ACM International Conference on Embedded software. 2008, 207\u2013216"},{"issue":"6","key":"3372_CR41","doi-asserted-by":"crossref","first-page":"953","DOI":"10.3724\/SP.J.1016.2011.00953","volume":"34","author":"Z Q Cui","year":"2011","unstructured":"Cui Z Q, Z. W L, Li X D. Target-directed concolic testing. Chinese Journal of Computers, 2011, 34(6): 953\u2013964","journal-title":"Chinese Journal of Computers"},{"key":"3372_CR42","first-page":"1689","volume-title":"Proceedings of the 19th international symposium on Software testing and analysis","author":"G Fraser","year":"2010","unstructured":"Fraser G, Zeller A. Mutation-driven generation of unit tests and oracles. In: Proceedings of the 19th international symposium on Software testing and analysis. 2010, 1689\u20131696"},{"issue":"5","key":"3372_CR43","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia Y, Harman M. An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering, 2011, 37(5): 649\u2013678","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"3372_CR44","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1016\/j.infsof.2007.06.003","volume":"50","author":"H Zhong","year":"2008","unstructured":"Zhong H, Zhang L, Mei H. An experimental study of four typical test suite reduction techniques. Information and Software Technology, 2008, 50(6): 534\u2013546","journal-title":"Information and Software Technology"},{"key":"3372_CR45","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/ICSE.1994.296778","volume-title":"Proceedings of the 16th International Conference on Software Engineering","author":"M Hutchins","year":"1994","unstructured":"Hutchins M, Foster H, Goradia T, Ostrand T. Experiments of the effectiveness of data flow and control flow-based test adequacy criteria. In: Proceedings of the 16th International Conference on Software Engineering. 1994, 191\u2013200"},{"issue":"2","key":"3372_CR46","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1016\/j.jss.2009.09.041","volume":"83","author":"Z Y Zhang","year":"2010","unstructured":"Zhang Z Y, Jiang B, Chan WK, Tse T H, Wang XM. Fault localization through evaluation sequences. Journal of Systems and Software, 2010, 83(2): 174\u2013187","journal-title":"Journal of Systems and Software"},{"key":"3372_CR47","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/1145735.1145740","volume-title":"Proceedings of the 1st International Workshop on Random Testing","author":"A Gotlieb","year":"2006","unstructured":"Gotlieb A, Petit M. Path-oriented random testing. In: Proceedings of the 1st International Workshop on Random Testing. 2006, 28\u201335"},{"issue":"4","key":"3372_CR48","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s10664-005-3861-2","volume":"10","author":"D Hyunsook","year":"2005","unstructured":"Hyunsook D, Sebastian E, Gregg R. Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact. Empirical Software Engineering, 2005, 10(4): 405\u2013435","journal-title":"Empirical Software Engineering"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3372-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-014-3372-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3372-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T18:44:17Z","timestamp":1746384257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-014-3372-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,19]]},"references-count":48,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["3372"],"URL":"https:\/\/doi.org\/10.1007\/s11704-014-3372-7","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"type":"print","value":"2095-2228"},{"type":"electronic","value":"2095-2236"}],"subject":[],"published":{"date-parts":[[2014,9,19]]}}}