{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T13:39:12Z","timestamp":1725370752328},"reference-count":93,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,11,11]],"date-time":"2022-11-11T00:00:00Z","timestamp":1668124800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,11,11]],"date-time":"2022-11-11T00:00:00Z","timestamp":1668124800000},"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":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s11432-020-3403-2","type":"journal-article","created":{"date-parts":[[2022,11,17]],"date-time":"2022-11-17T03:04:03Z","timestamp":1668654243000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Baton: symphony of random testing and concolic testing through machine learning and taint analysis"],"prefix":"10.1007","volume":"66","author":[{"given":"Bihuan","family":"Chen","sequence":"first","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Xin","family":"Peng","sequence":"additional","affiliation":[]},{"given":"Yijian","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,11,11]]},"reference":[{"key":"3403_CR1","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1016\/0950-5849(88)90037-7","volume":"30","author":"P Loo","year":"1988","unstructured":"Loo P, Tsai W. Random testing revisited. Inf Softw Tech, 1988, 30: 402\u2013417","journal-title":"Inf Softw Tech"},{"key":"3403_CR2","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/TSE.2011.121","volume":"38","author":"A Arcuri","year":"2012","unstructured":"Arcuri A, Iqbal M Z, Briand L. Random testing: theoretical results and practical implications. IEEE Trans Softw Eng, 2012, 38: 258\u2013277","journal-title":"IEEE Trans Softw Eng"},{"key":"3403_CR3","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.jss.2009.02.022","volume":"83","author":"T Y Chen","year":"2010","unstructured":"Chen T Y, Kuo F C, Merkel R G, et al. Adaptive random testing: the ART of test case diversity. J Syst Softw, 2010, 83: 60\u201366","journal-title":"J Syst Softw"},{"key":"3403_CR4","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1109\/TR.2009.2034288","volume":"58","author":"A F Tappenden","year":"2009","unstructured":"Tappenden A F, Miller J. A novel evolutionary approach for adaptive random testing. IEEE Trans Rel, 2009, 58: 619\u2013633","journal-title":"IEEE Trans Rel"},{"key":"3403_CR5","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1109\/TR.2007.903293","volume":"56","author":"T Y Chen","year":"2007","unstructured":"Chen T Y, Merkel R. Quasi-random testing. IEEE Trans Rel, 2007, 56: 562\u2013568","journal-title":"IEEE Trans Rel"},{"key":"3403_CR6","doi-asserted-by":"publisher","first-page":"1896","DOI":"10.1109\/TC.2015.2455981","volume":"65","author":"H Liu","year":"2016","unstructured":"Liu H, Chen T Y. Randomized quasi-random testing. IEEE Trans Comput, 2016, 65: 1896\u20131909","journal-title":"IEEE Trans Comput"},{"key":"3403_CR7","doi-asserted-by":"crossref","unstructured":"B\u00f6hme M, Paul S. On the efficiency of automated testing. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014. 632\u2013642","DOI":"10.1145\/2635868.2635923"},{"key":"3403_CR8","doi-asserted-by":"crossref","unstructured":"Xie T, Marinov D, Schulte W, et al. Symstra: a framework for generating object-oriented unit tests using symbolic execution. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005. 365\u2013381","DOI":"10.1007\/978-3-540-31980-1_24"},{"key":"3403_CR9","unstructured":"Cadar C, Dunbar D, Engler D. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, 2008. 209\u2013224"},{"key":"3403_CR10","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10515-013-0122-2","volume":"20","author":"C S P\u0103s\u0103reanu","year":"2013","unstructured":"P\u0103s\u0103reanu C S, Visser W, Bushnell D, et al. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom Softw Eng, 2013, 20: 391\u2013425","journal-title":"Autom Softw Eng"},{"key":"3403_CR11","doi-asserted-by":"crossref","unstructured":"Godefroid P, Klarlund N, Sen K. DART: directed automated random testing. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2005. 213\u2013223","DOI":"10.1145\/1064978.1065036"},{"key":"3403_CR12","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 the 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005. 263\u2013272","DOI":"10.1145\/1081706.1081750"},{"key":"3403_CR13","doi-asserted-by":"crossref","unstructured":"Majumdar R, Sen K. Hybrid concolic testing. In: Proceedings of the 29th International Conference on Software Engineering, 2007. 416\u2013426","DOI":"10.1109\/ICSE.2007.41"},{"key":"3403_CR14","doi-asserted-by":"crossref","unstructured":"Stephens N, Grosen J, Salls C, et al. Driller: augmenting fuzzing through selective symbolic execution. In: Proceedings of Network and Distributed System Security Symposium, 2016","DOI":"10.14722\/ndss.2016.23368"},{"key":"3403_CR15","doi-asserted-by":"crossref","unstructured":"Inkumsah K, Xie T. Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering, 2008. 297\u2013306","DOI":"10.1109\/ASE.2008.40"},{"key":"3403_CR16","doi-asserted-by":"crossref","unstructured":"Galeotti J P, Fraser G, Arcuri A. Improving search-based test suite generation with dynamic symbolic execution. In: Proceedings of the 24th International Symposium on Software Reliability Engineering, 2013. 360\u2013369","DOI":"10.1109\/ISSRE.2013.6698889"},{"key":"3403_CR17","doi-asserted-by":"crossref","unstructured":"Garg P, Ivancic F, Balakrishnan G, et al. Feedback-directed unit test generation for c\/c++ using concolic execution. In: Proceedings of the 35th International Conference on Software Engineering, 2013. 132\u2013141","DOI":"10.1109\/ICSE.2013.6606559"},{"key":"3403_CR18","doi-asserted-by":"crossref","unstructured":"Arcuri A, Briand L. Adaptive random testing: an illusion of effectiveness? In: Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011. 265\u2013275","DOI":"10.1145\/2001420.2001452"},{"key":"3403_CR19","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1109\/TSE.2012.18","volume":"39","author":"A Shahbazi","year":"2013","unstructured":"Shahbazi A, Tappenden A F, Miller J. Centroidal voronoi tessellations \u2014 a new approach to random testing. IEEE Trans Softw Eng, 2013, 39: 163\u2013183","journal-title":"IEEE Trans Softw Eng"},{"key":"3403_CR20","doi-asserted-by":"crossref","unstructured":"Luckow K, Giannakopoulou D, Howar F, et al. JDart: a dynamic symbolic analysis framework. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2016. 442\u2013459","DOI":"10.1007\/978-3-662-49674-9_26"},{"key":"3403_CR21","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1109\/TSE.2016.2584063","volume":"43","author":"H J Wang","year":"2017","unstructured":"Wang H J, Liu T, Guan X H, et al. Dependence guided symbolic execution. IEEE Trans Softw Eng, 2017, 43: 252\u2013271","journal-title":"IEEE Trans Softw Eng"},{"key":"3403_CR22","unstructured":"Hutchins M, Foster H, Goradia T, et al. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In: Proceedings of the 16th International Conference on Software Engineering, 1994. 191\u2013200"},{"key":"3403_CR23","doi-asserted-by":"crossref","unstructured":"Borges M, d\u2019Amorim M, Anand S, et al. Symbolic execution with interval solving and meta-heuristic search. In: Proceedings of the 5th International Conference on Software Testing, Verification and Validation, 2012. 111\u2013120","DOI":"10.1109\/ICST.2012.91"},{"key":"3403_CR24","doi-asserted-by":"crossref","unstructured":"Bell J, Kaiser G. Phosphor: illuminating dynamic data flow in commodity JVMs. In: Proceedings of ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014. 83\u2013101","DOI":"10.1145\/2714064.2660212"},{"key":"3403_CR25","volume-title":"Data Mining: Practical Machine Learning Tools and Techniques","author":"E Frank","year":"2016","unstructured":"Frank E, Hall M A, Witten I H. Data Mining: Practical Machine Learning Tools and Techniques. 4th ed. San Francisco: Morgan Kaufmann 2016","edition":"4th ed."},{"key":"3403_CR26","unstructured":"Hoffmann M R, Janiczak B, Mandrikov E. Eclemma 2.3.3. 2017. http:\/\/www.eclemma.org\/"},{"key":"3403_CR27","doi-asserted-by":"crossref","unstructured":"Just R, Jalali D, Inozemtseva L, et al. Are mutants a valid substitute for real faults in software testing? In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014. 654\u2013665","DOI":"10.1145\/2635868.2635929"},{"key":"3403_CR28","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"Y S Ma","year":"2005","unstructured":"Ma Y S, Offutt J, Kwon Y R. MuJava: an automated class mutation system. Softw Test Verif Reliab, 2005, 15: 97\u2013133","journal-title":"Softw Test Verif Reliab"},{"key":"3403_CR29","doi-asserted-by":"crossref","unstructured":"Mayer J, Schneckenburger C. An empirical analysis and comparison of random testing techniques. In: Proceedings of International Symposium on Empirical Software Engineering, 2006. 105\u2013114","DOI":"10.1145\/1159733.1159751"},{"key":"3403_CR30","doi-asserted-by":"crossref","unstructured":"Chen T, Leung H, Mak I. Adaptive random testing. In: Proceedings of Annual Asian Computing Science Conference, 2005. 320\u2013329","DOI":"10.1007\/978-3-540-30502-6_23"},{"key":"3403_CR31","doi-asserted-by":"crossref","unstructured":"Chan K P, Chen T, Towey D. Restricted random testing. In: Proceedings of European Conference on Software Quality, 2002. 321\u2013330","DOI":"10.1007\/3-540-47984-8_35"},{"key":"3403_CR32","unstructured":"Jayaraman K, Harvison D, Ganesh V, et al. JFUZZ: a concolic whitebox fuzzer for java. In: Proceedings of the 1st NASA Formal Methods Symposium, 2009. 121\u2013125"},{"key":"3403_CR33","doi-asserted-by":"crossref","unstructured":"de Moura L, Bj\u00f8rner N. Z3: an efficient smt solver. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2008. 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"3403_CR34","doi-asserted-by":"crossref","unstructured":"Pacheco C, Lahiri S K, Ernst M D, et al. Feedback-directed random test generation. In: Proceedings of International Conference on Software Engineering, 2007. 75\u201384","DOI":"10.1109\/ICSE.2007.37"},{"key":"3403_CR35","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSE.2012.14","volume":"39","author":"G Fraser","year":"2013","unstructured":"Fraser G, Arcuri A. Whole test suite generation. IEEE Trans Softw Eng, 2013, 39: 276\u2013291","journal-title":"IEEE Trans Softw Eng"},{"key":"3403_CR36","first-page":"37","volume":"2","author":"D M W Powers","year":"2011","unstructured":"Powers D M W. Evaluation: from precision, recall and F-measure to ROC, informedness, markedness and correlation. Int J Mach Learn Technol, 2011, 2: 37\u201363","journal-title":"Int J Mach Learn Technol"},{"key":"3403_CR37","volume-title":"Handbook of Parametric and Nonparametric Statistical Procedures","author":"D J Sheskin","year":"2007","unstructured":"Sheskin D J. Handbook of Parametric and Nonparametric Statistical Procedures. 4th ed. Boca Raton: Chapman & Hall\/CRC, 2007","edition":"4th ed."},{"key":"3403_CR38","doi-asserted-by":"crossref","unstructured":"Forman G, Cohen I. Learning from little: comparison of classifiers given little training. In: Proceedings of European Conference on Principles of Data Mining and Knowledge Discovery, 2004. 161\u2013172","DOI":"10.1007\/978-3-540-30116-5_17"},{"key":"3403_CR39","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1109\/TR.2018.2834476","volume":"67","author":"H L Liang","year":"2018","unstructured":"Liang H L, Pei X X, Jia X D, et al. Fuzzing: state of the art. IEEE Trans Rel, 2018, 67: 1199\u20131218","journal-title":"IEEE Trans Rel"},{"key":"3403_CR40","doi-asserted-by":"crossref","unstructured":"Wang J J, Chen B H, Wei L, et al. Skyfire: data-driven seed generation for fuzzing. In: Proceedings of IEEE Symposium on Security and Privacy, 2017. 579\u2013594","DOI":"10.1109\/SP.2017.23"},{"key":"3403_CR41","doi-asserted-by":"crossref","unstructured":"Wang J J, Chen B H, Wei L, et al. Superion: grammar-aware greybox fuzzing. In: Proceedings of the 41st International Conference on Software Engineering, 2019. 724\u2013735","DOI":"10.1109\/ICSE.2019.00081"},{"key":"3403_CR42","doi-asserted-by":"crossref","unstructured":"Orso A, Rothermel G. Software testing: a research travelogue (2000\u20142014). In: Proceedings of Future of Software Engineering Proceedings, 2014. 117\u2013132","DOI":"10.1145\/2593882.2593885"},{"key":"3403_CR43","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand S, Burke E K, Chen T Y, et al. An orchestrated survey of methodologies for automated software test case generation. J Syst Softw, 2013, 86: 1978\u20132001","journal-title":"J Syst Softw"},{"key":"3403_CR44","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/s10009-009-0118-1","volume":"11","author":"C S P\u0103s\u0103reanu","year":"2009","unstructured":"P\u0103s\u0103reanu C S, Visser W. A survey of new trends in symbolic execution for software testing and analysis. Int J Softw Tools Technol Transfer, 2009, 11: 339\u2013353","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"3403_CR45","doi-asserted-by":"crossref","unstructured":"McMinn P. Search-based software testing: past, present and future. In: Proceedings of the 4th International Conference on Software Testing, Verification and Validation Workshops, 2011. 153\u2013163","DOI":"10.1109\/ICSTW.2011.100"},{"key":"3403_CR46","doi-asserted-by":"publisher","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. Softw Test Verif Reliab, 2004, 14: 105\u2013156","journal-title":"Softw Test Verif Reliab"},{"key":"3403_CR47","unstructured":"Hamlet R. Random testing. In: Encyclopedia of Software Engineering. Hoboken: Wiley & Sons, 1994. 970\u2013978"},{"key":"3403_CR48","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"10","author":"J W Duran","year":"1984","unstructured":"Duran J W, Ntafos S C. An evaluation of random testing. IEEE Trans Softw Eng, 1984, 10: 438\u2013444","journal-title":"IEEE Trans Softw Eng"},{"key":"3403_CR49","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0164-1212(01)00028-0","volume":"58","author":"T Y Chen","year":"2001","unstructured":"Chen T Y, Tse T H, Yu Y T. Proportional sampling strategy: a compendium and some insights. J Syst Softw, 2001, 58: 65\u201381","journal-title":"J Syst Softw"},{"key":"3403_CR50","doi-asserted-by":"crossref","unstructured":"Chen T Y, Kuo F C, Merkel R G, et al. Mirror adaptive random testing. In: Proceedings of the 3rd International Conference on Quality Software, 2003. 4\u201311","DOI":"10.1109\/QSIC.2003.1319079"},{"key":"3403_CR51","unstructured":"Chen T Y, Merkel R, Wong P K, et al. Adaptive random testing through dynamic partitioning. In: Proceedings of the 4th International Conference on Quality Software, 2004. 79\u201386"},{"key":"3403_CR52","doi-asserted-by":"crossref","unstructured":"Mayer J. Adaptive random testing by bisection and localization. In: Proceedings of International Workshop on Formal Approaches to Software Testing, 2006. 72\u201386","DOI":"10.1007\/11759744_6"},{"key":"3403_CR53","doi-asserted-by":"crossref","unstructured":"Mayer J. Lattice-based adaptive random testing. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering, 2005. 333\u2013336","DOI":"10.1145\/1101908.1101963"},{"key":"3403_CR54","doi-asserted-by":"publisher","first-page":"1419","DOI":"10.1016\/j.jss.2009.05.017","volume":"82","author":"T Y Chen","year":"2009","unstructured":"Chen T Y, Kuo F C, Liu H. Adaptive random testing based on distribution metrics. J Syst Softw, 2009, 82: 1419\u20131433","journal-title":"J Syst Softw"},{"key":"3403_CR55","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1109\/TSE.2017.2785841","volume":"45","author":"M Bohme","year":"2019","unstructured":"Bohme M, Pham V T, Roychoudhury A. Coverage-based greybox fuzzing as Markov chain. IEEE Trans Softw Eng, 2019, 45: 489\u2013506","journal-title":"IEEE Trans Softw Eng"},{"key":"3403_CR56","doi-asserted-by":"crossref","unstructured":"Li Y K, Chen B H, Chandramohan M, et al. Steelix: program-state based binary fuzzing. In: Proceedings of the 11th Joint Meeting on Foundations of Software Engineering, 2017. 627\u2013637","DOI":"10.1145\/3106237.3106295"},{"key":"3403_CR57","unstructured":"Leek T R, Baker G Z, Brown R E, et al. Coverage Maximization Using Dynamic Taint Tracing. Massachusetts Inst Of Tech Lexington Lincoln Lab Technical Report, 2007"},{"key":"3403_CR58","doi-asserted-by":"crossref","unstructured":"Ganesh V, Leek T, Rinard M. Taint-based directed whitebox fuzzing. In: Proceedings of the 31st International Conference on Software Engineering, 2009. 474\u2013484","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"3403_CR59","doi-asserted-by":"crossref","unstructured":"Pacheco C, Ernst M D. Eclat: automatic generation and classification of test inputs. In: Proceedings of European Conference on Object-Oriented Programming, 2005. 504\u2013527","DOI":"10.1007\/11531142_22"},{"key":"3403_CR60","unstructured":"Artzi S, Ernst M D, Zun A K, et al. Finding the needles in the haystack: generating legal test inputs for object-oriented programs. In: Proceedings of the 1st Workshop on Model-Based Testing for Object-Oriented Systems (M-TOOS), 2006"},{"key":"3403_CR61","doi-asserted-by":"crossref","unstructured":"Pacheco C, Lahiri S K, Ball T. Finding errors in.Net with feedback-directed random testing. In: Proceedings of International Symposium on Software Testing and Analysis, 2008. 87\u201396","DOI":"10.1145\/1390630.1390643"},{"key":"3403_CR62","doi-asserted-by":"crossref","unstructured":"Yatoh K, Sakamoto K, Ishikawa F, et al. Feedback-controlled random test generation. In: Proceedings of International Symposium on Software Testing and Analysis, 2015. 316\u2013326","DOI":"10.1145\/2771783.2771805"},{"key":"3403_CR63","doi-asserted-by":"crossref","unstructured":"Ma L, Artho C, Zhang C, et al. GRT: program-analysis-guided random testing. In: Proceedings of the 30th IEEE\/ACM International Conference on Automated Software Engineering, 2015. 212\u2013223","DOI":"10.1109\/ASE.2015.49"},{"key":"3403_CR64","doi-asserted-by":"crossref","unstructured":"Thummalapenta S, Xie T, Tillmann N, et al. MSeqGen: object-oriented unit-test generation via mining source code. In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009. 193\u2013202","DOI":"10.1145\/1595696.1595725"},{"key":"3403_CR65","doi-asserted-by":"crossref","unstructured":"Zheng W J, Zhang Q R, Lyu M, et al. Random unit-test generation with MUT-aware sequence recommendation. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering, 2010. 293\u2013296","DOI":"10.1145\/1858996.1859054"},{"key":"3403_CR66","doi-asserted-by":"crossref","unstructured":"Zhang S, Saff D, Bu Y Y, et al. Combined static and dynamic automated test generation. In: Proceedings of International Symposium on Software Testing and Analysis, 2011. 353\u2013363","DOI":"10.1145\/2001420.2001463"},{"key":"3403_CR67","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/2076021.2048083","volume":"46","author":"S Thummalapenta","year":"2011","unstructured":"Thummalapenta S, Xie T, Tillmann N, et al. Synthesizing method sequences for high-coverage testing. SIGPLAN Not, 2011, 46: 189\u2013206","journal-title":"SIGPLAN Not"},{"key":"3403_CR68","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/TSE.2009.52","volume":"36","author":"S Ali","year":"2010","unstructured":"Ali S, Briand L C, Hemmati H, et al. A systematic review of the application and empirical investigation of search-based test case generation. IEEE Trans Softw Eng, 2010, 36: 742\u2013762","journal-title":"IEEE Trans Softw Eng"},{"key":"3403_CR69","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/TSE.2009.71","volume":"36","author":"M Harman","year":"2010","unstructured":"Harman M, McMinn P. A theoretical and empirical study of search-based testing: local, global, and hybrid search. IEEE Trans Softw Eng, 2010, 36: 226\u2013247","journal-title":"IEEE Trans Softw Eng"},{"key":"3403_CR70","doi-asserted-by":"crossref","unstructured":"Harman M, Jia Y, Zhang Y Y. Achievements, open problems and challenges for search based software testing. In: Proceedings of the 8th International Conference on Software Testing, Verification and Validation (ICST), 2015. 1\u201312","DOI":"10.1109\/ICST.2015.7102580"},{"key":"3403_CR71","doi-asserted-by":"crossref","unstructured":"Tonella P. Evolutionary testing of classes. In: Proceedings of ACM\/SIGSOFT International Symposium on Software Testing and Analysis, 2004. 119\u2013128","DOI":"10.1145\/1013886.1007528"},{"key":"3403_CR72","doi-asserted-by":"publisher","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. Inf Sci, 2008, 178: 3075\u20133095","journal-title":"Inf Sci"},{"key":"3403_CR73","doi-asserted-by":"crossref","unstructured":"Baresi L, Miraz M. Testful: automatic unit-test generation for java classes. In: Proceedings of the 32nd International Conference on Software Engineering, 2010. 281\u2013284","DOI":"10.1145\/1810295.1810353"},{"key":"3403_CR74","doi-asserted-by":"crossref","unstructured":"Baars A, Harman M, Hassoun Y, et al. Symbolic search-based testing. In: Proceedings of the 26th IEEE\/ACM International Conference on Automated Software Engineering, 2011. 53\u201362","DOI":"10.1109\/ASE.2011.6100119"},{"key":"3403_CR75","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.infsof.2012.03.009","volume":"55","author":"K Lakhotia","year":"2013","unstructured":"Lakhotia K, Harman M, Gross H. AUSTIN: an open source tool for search based software testing of C programs. Inf Softw Tech, 2013, 55: 112\u2013125","journal-title":"Inf Softw Tech"},{"key":"3403_CR76","doi-asserted-by":"crossref","unstructured":"Fraser G, Arcuri A. Evosuite: automatic test suite generation for object-oriented software. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, 2011. 416\u2013419","DOI":"10.1145\/2025113.2025179"},{"key":"3403_CR77","doi-asserted-by":"crossref","unstructured":"Fraser G, Arcuri A. Sound empirical evidence in software testing. In: Proceedings of the 34th International Conference on Software Engineering, 2012. 178\u2013188","DOI":"10.1109\/ICSE.2012.6227195"},{"key":"3403_CR78","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2685612","volume":"24","author":"G Fraser","year":"2014","unstructured":"Fraser G, Arcuri A. A large-scale evaluation of automated unit test generation using evosuite. ACM Trans Softw Eng Methodol, 2014, 24: 1\u201342","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"3403_CR79","doi-asserted-by":"crossref","unstructured":"Fraser G, Arcuri A. The seed is strong: seeding strategies in search-based software testing. In: Proceedings of the 5th International Conference on Software Testing, Verification and Validation, 2012. 121\u2013130","DOI":"10.1109\/ICST.2012.92"},{"key":"3403_CR80","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1002\/stvr.1601","volume":"26","author":"J M Rojas","year":"2016","unstructured":"Rojas J M, Fraser G, Arcuri A. Seeding strategies in search-based unit test generation. Softw Test Verif Reliab, 2016, 26: 366\u2013401","journal-title":"Softw Test Verif Reliab"},{"key":"3403_CR81","doi-asserted-by":"crossref","unstructured":"Gross F, Fraser G, Zeller A. Search-based system testing: high coverage, no false alarms. In: Proceedings of International Symposium on Software Testing and Analysis, 2012. 67\u201377","DOI":"10.1145\/2338965.2336762"},{"key":"3403_CR82","unstructured":"Abdessalem R B, Nejati S, Briand L C, et al. Testing advanced driver assistance systems using multi-objective search and neural networks. In: Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, 2016. 63\u201374"},{"key":"3403_CR83","doi-asserted-by":"crossref","unstructured":"Arcuri A. Evomaster: evolutionary multi-context automated system test generation. In: Proceedings of the 11th International Conference on Software Testing, Verification and Validation, 2018. 394\u2013397","DOI":"10.1109\/ICST.2018.00046"},{"key":"3403_CR84","doi-asserted-by":"crossref","unstructured":"Sen K, Agha G. CUTE and jCUTE: concolic unit testing and explicit path model-checking tools. In: Proceedings of International Conference on Computer Aided Verification, 2006. 419\u2013423","DOI":"10.1007\/11817963_38"},{"key":"3403_CR85","doi-asserted-by":"crossref","unstructured":"Cadar C, Ganesh V, Pawlowski P M, et al. EXE: automatically generating inputs of death. In: Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006. 322\u2013335","DOI":"10.1145\/1180405.1180445"},{"key":"3403_CR86","doi-asserted-by":"crossref","unstructured":"Tillmann N, de Halleux J. Pex: white box test generation for.Net. In: Proceedings of International Conference on Tests and Proofs, 2008. 134\u2013153","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"3403_CR87","doi-asserted-by":"crossref","unstructured":"Burnim J, Sen K. Heuristics for scalable dynamic test generation. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering, 2008. 443\u2013446","DOI":"10.1109\/ASE.2008.69"},{"key":"3403_CR88","doi-asserted-by":"crossref","unstructured":"Xie T, Tillmann N, de Halleux J, et al. Fitness-guided path exploration in dynamic symbolic execution. In: Proceedings of IEEE\/IFIP International Conference on Dependable Systems & Networks, 2009. 359\u2013368","DOI":"10.1109\/DSN.2009.5270315"},{"key":"3403_CR89","unstructured":"Godefroid P, Levin M Y, Molnar D A. Automated whitebox fuzz testing. In: Proceedings of the Network and Distributed System Security (NDSS) Symposium, 2008"},{"key":"3403_CR90","doi-asserted-by":"crossref","unstructured":"Godefroid P. Compositional dynamic test generation. In: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007. 47\u201354","DOI":"10.1145\/1190216.1190226"},{"key":"3403_CR91","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/1379022.1375607","volume":"43","author":"P Godefroid","year":"2008","unstructured":"Godefroid P, Kiezun A, Levin M Y. Grammar-based whitebox fuzzing. SIGPLAN Not, 2008, 43: 206\u2013215","journal-title":"SIGPLAN Not"},{"key":"3403_CR92","doi-asserted-by":"crossref","unstructured":"Qi D W, Nguyen H D, Roychoudhury A. Path exploration based on symbolic output. In: Proceedings of Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2011. 278\u2013288","DOI":"10.1145\/2025113.2025152"},{"key":"3403_CR93","doi-asserted-by":"crossref","unstructured":"Wang X Y, Sun J, Chen Z B, et al. Towards optimal concolic testing. In: Proceedings of the 40th International Conference on Software Engineering, 2018. 291\u2013302","DOI":"10.1145\/3180155.3180177"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-020-3403-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-020-3403-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-020-3403-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T20:29:51Z","timestamp":1713472191000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-020-3403-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,11]]},"references-count":93,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["3403"],"URL":"https:\/\/doi.org\/10.1007\/s11432-020-3403-2","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,11]]},"assertion":[{"value":"22 July 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 October 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 December 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 November 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"132101"}}