{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T16:32:40Z","timestamp":1772641960688,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T00:00:00Z","timestamp":1253059200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11219-009-9083-x","type":"journal-article","created":{"date-parts":[[2009,9,15]],"date-time":"2009-09-15T00:43:38Z","timestamp":1252975418000},"page":"109-144","source":"Crossref","is-referenced-by-count":20,"title":["Using program data-state scarcity to guide automatic test data generation"],"prefix":"10.1007","volume":"18","author":[{"given":"Mohammad","family":"Alshraideh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Bottaci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Basel A.","family":"Mahafzah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,9,16]]},"reference":[{"issue":"3","key":"9083_CR1","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1002\/stvr.354","volume":"16","author":"M. Alshraideh","year":"2006","unstructured":"Alshraideh, M., & Bottaci, L. (2006). Automatic software test data generation for string data using heuristic search with domain specific search operators. Software Testing, Verification and Reliability, 16(3), 175\u2013203.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9083_CR2","doi-asserted-by":"crossref","unstructured":"Baresel, A., Harman, M., Binkley, D., & Korel, B. (2004). Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In G. S. Avrunin & G. Rothermel (Eds.), Proceedings of 2004 ACM SIGSOFT international symposium on software testing and analysis, ISSTA 2004, (pp. 108\u2013118). New York: ACM.","DOI":"10.1145\/1007512.1007527"},{"key":"9083_CR3","unstructured":"Booker, L. B. (1982). Intelligent behavior as an adaptation to the task environment. PhD thesis, Ann Arbor, MI: The University of Michigan."},{"key":"9083_CR4","unstructured":"Bottaci, L. (2002). Instrumenting programs with flag variables for test data search by genetic algorithm. In Proceedings of genetic and evolutionary computation conference (GECCO 2002), (pp. 1337\u20131342). San Mateo, CA: Morgan Kaufmann."},{"key":"9083_CR5","doi-asserted-by":"crossref","unstructured":"Bottaci, L. (2003). Predicate expression cost functions to guide evolutionary search for test data. In Proceedings of genetic and evolutionary computation conference (GECCO 2003), (pp. 2455\u20132464). Chicago, IL: Springer Verlag.","DOI":"10.1007\/3-540-45110-2_149"},{"key":"9083_CR6","unstructured":"Bottaci, L. (2005). Use of branch cost functions to diversify the search for test data. In Proceedings of the UK software testing workshop (UKTest 2005), (pp. 151\u2013163). UK: University of Sheffield."},{"key":"9083_CR7","doi-asserted-by":"crossref","unstructured":"Bouchachia, A. (2007). An immune genetic algorithm for software test data generation. In Proceedings of the 7th international conference on hybrid intelligent systems (HIS 2007), (pp. 84\u201389). Washington, DC.","DOI":"10.1109\/HIS.2007.37"},{"key":"9083_CR8","doi-asserted-by":"crossref","unstructured":"Bueno, P., Paulo, M. S., Wong, W. E., & Jino, M. (2007). Improving random test sets using the diversity oriented test data generation. In Proceedings of the 2nd international workshop on random testing: co-located with the 22nd IEEE\/ACM international conference on automated software engineering (ASE 2007), (pp. 10\u201317). New York, NY: ACM.","DOI":"10.1145\/1292414.1292419"},{"key":"9083_CR9","unstructured":"Chen, T. Y., Kuo, F. C., Merkel, R. G., & Tse, T. (2009). Adaptive random testing: The art of test case diversity. Journal of Systems and Software (in press), Corrected Proof:\u2013, doi: 10.1016\/j.jss.2009.02.022 , http:\/\/www.sciencedirect.com\/science\/article\/B6V0N-4VRX633-1\/2\/50b8286d83d4352947ae21e1c6930c00"},{"key":"9083_CR10","unstructured":"Collins, R. J., & Jefferson, D. R. (1991). Selection in massively parallel genetic. In Belew, R. K., Booker, L. B. (Eds.), Proceedings of the fourth international on genetic algorithms, (pp. 249\u2013256). San Mateo, CA: Morgan Kaufmann."},{"issue":"1","key":"9083_CR11","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0950-5849(91)90024-6","volume":"33","author":"P.D. Coward","year":"1991","unstructured":"Coward, P. D. (1991). Symbolic execution and testing. Information and Software Technique, 33(1), 53\u201364.","journal-title":"Information and Software Technique"},{"key":"9083_CR12","volume-title":"Handbook of genetic algorithms","author":"L. Davis","year":"1996","unstructured":"Davis, L. (1991). Handbook of Genetic Algorithms. NY: International Thomson Computer Press."},{"key":"9083_CR21","doi-asserted-by":"crossref","unstructured":"de Halleux, J., & Tillmann, N. (2008). Parameterized unit testing with pex. In B. Beckert & R. H\u00e4hnle (Eds.), Tests and proofs, proceedings of the second international conference, TAP 2008, (Vol. 4966, pp. 171\u2013181). Springer, Lecture Notes in Computer Science.","DOI":"10.1007\/978-3-540-79124-9_12"},{"key":"9083_CR13","unstructured":"De Jong, L. A. (1975). An analysis of the behavior of a class of genetic adaptive systems. PhD thesis, Ann Arbor, MI: The University of Michigan."},{"key":"9083_CR14","unstructured":"De Jong, E. D., Watson, R., & Pollack, J. (2001). Reducing bloat and promoting diversity using multi-objective methods. In L. Spector et al. (Eds.), Proceedings of the genetic and evolutionary computation conference, (pp. 11\u201318). San Francisco, CA: Morgan Kaufmann."},{"key":"9083_CR15","unstructured":"Deb, K., & Goldberg, D. E. (1989). An investigation of niche and species formation in genetic function optimization. In Proceedings of the third international conference on genetic algorithms, (pp. 42\u201350). San Mateo, CA: Morgan Kaufmann."},{"issue":"4","key":"9083_CR16","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"10","author":"J. E. Duran","year":"1984","unstructured":"Duran, J. E., & Ntafos, S. C. (1984). An evaluation of random testing. IEEE Transactions on Software Engineering, 10(4), 438\u2013444.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9083_CR17","doi-asserted-by":"crossref","unstructured":"Feldt, R., Torkar, R., Gorschek, T., & Afzal, W. (2008). Searching for cognitively diverse tests: Towards universal test diversity metrics. In IEEE international conference on software testing verification and validation workshop, ICSTW \u201908, (pp. 178\u2013186).","DOI":"10.1109\/ICSTW.2008.36"},{"issue":"1","key":"9083_CR18","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson, R., & Korel, B. (1996). The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology, 5(1), 63\u201386.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"9083_CR19","unstructured":"Goldberg, D., & Richardson, J. (1987). Genetic algorithms with sharing for multimodal function optimization. In Proceedings of the second international conference on genetic algorithms, (pp. 148\u2013154). San Francisco, CA: Morgan Kaufmann."},{"key":"9083_CR20","volume-title":"Genetic Algorithms in Search Optimization and Machine Learning","author":"D. E. Goldberg","year":"1989","unstructured":"Goldberg, D. E. (1989). Genetic Algorithms in Search Optimization and Machine Learning. Reading, MA: Addison Wesley."},{"key":"9083_CR22","unstructured":"Harman, M., Hu, L., Hierons, R., Baresel, A., & Sthamer, H. (2002). Improving evolutionary testing by flag removal. In Proceedings of genetic and evolutionary computation conference GECCO 2002, New York, USA, pp. 1351\u20131358."},{"issue":"1","key":"9083_CR23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.2004.1265732","volume":"30","author":"M. Harman","year":"2004","unstructured":"Harman, M., Hu, L., Hierons, R., Wegener, J., Baresel, A., Sthamer, H., & Roper, M. (2004). Testability transformation. IEEE Transactions on Software Engineering, 30(1), 3\u201316.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"9083_CR24","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1049\/sej.1996.0040","volume":"11","author":"B. F. Jones","year":"1996","unstructured":"Jones, B.F., Sthamer, H., & Eyres, D. (1996). Automatic structural testing using genetic algorithms. Software Engineering Journal, 11(5), 299\u2013306.","journal-title":"Software Engineering Journal"},{"key":"9083_CR25","first-page":"259","volume-title":"Advances in genetic programming","author":"M. Keijzer","year":"1996","unstructured":"Keijzer, M. (1996). Efficiently representing populations in genetic programming. In Angeline, P., Kinnear, K. Jr. (Eds.), Advances in Genetic Programming, (Vol. 2, pp. 259\u2013278), Cambridge: MIT Press."},{"issue":"8","key":"9083_CR26","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B. (1990). Automated software test data generation. IEEE Transactions on Software Engineering, 16(8), 870\u2013879.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9083_CR27","doi-asserted-by":"crossref","unstructured":"Korel, B., Harman, M., Chung, S., Apirukvorapinit, P., Gupta, R., & Zhang, Q. (2005). Data dependence based testability transformation in automated test generation. In 16th IEEE international symposium on software reliability engineering (pp. 245\u2013254)","DOI":"10.1109\/ISSRE.2005.16"},{"key":"9083_CR28","volume-title":"Genetic programming: On the programming of computers by means of natural selection","author":"J. Koza","year":"1992","unstructured":"Koza, J. (1992). Genetic Programming: On the Programming of Computers by Means of Natural Selection. Cambridge, MA: MIT Press."},{"key":"9083_CR29","doi-asserted-by":"crossref","unstructured":"Langdon, W. B. (1998). Genetic programming and data structures: Genetic programming + data structures = automatic programming!, genetic programming, (Vol. 1). Boston: Kluwer.","DOI":"10.1007\/978-1-4615-5731-9"},{"key":"9083_CR30","unstructured":"MacQueen, J. B. (1967). Some methods for classification and analysis of multivariate observations. In Proceedings of fifth berkeley symposium on mathematical statistics and probability, (Vol. 1, pp. 281\u2013297). Berkeley: University of California Press."},{"key":"9083_CR31","doi-asserted-by":"crossref","unstructured":"Malaiya, Y. (1995). Antirandom testing: Getting the most out of black-box testing. In Proceeding of international symposium on software reliability engineering, (pp. 86\u201395). citeseer.ist.psu.edu\/article\/malaiya95antirandom.html.","DOI":"10.1109\/ISSRE.1995.497647"},{"issue":"4","key":"9083_CR32","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1162\/1063656043138923","volume":"12","author":"C. Mattiussi","year":"2004","unstructured":"Mattiussi, C., Waibel, M., & Floreano, D. (2004). Measures of diversity for populations and distances between individuals with highly reorganizable genomes. Evolutionary Computation, 12(4), 495\u2013515.","journal-title":"Evolutionary Computation"},{"issue":"2","key":"9083_CR33","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P. (2004). Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2), 105\u2013156.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9083_CR34","doi-asserted-by":"crossref","unstructured":"McMinn, P., Binkley, D., Harman, M., & Tonella, P. (2006). The species per path approach to searchbased test data generation. In proceedings of the international symposium on software testing and analysis (ISSTA 2006), (pp. 13\u201324). Portland, ME.","DOI":"10.1145\/1146238.1146241"},{"key":"9083_CR35","doi-asserted-by":"crossref","unstructured":"O\u2019Reilly, U. M. (1997). Using a distance metric on genetic programs to understand genetic operators. In IEEE international conference on systems, man, and cybernetics, computational cybernetics and simulation, 5, 4092\u20134097.","DOI":"10.1109\/ICSMC.1997.637337"},{"key":"9083_CR36","unstructured":"Roper, M. (1997). Computer aided software testing using genetic algorithms. In Proceeding of the 10th international software quality week conference, San Francisco, USA, pp. 27\u201330."},{"key":"9083_CR37","unstructured":"Rosca, J. (1995). Entropy-driven adaptive representation. In Rosca, J. (Ed.), Proceedings of the workshop on genetic programming: From theory to real-world applications, Tahoe City, CA, pp. 23\u201332."},{"issue":"3","key":"9083_CR38","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/52.382180","volume":"12","author":"J. Voas","year":"1995","unstructured":"Voas, J., & Miller, K. (1995). Software testability: The new verification. IEEE Software, 12(3), 17\u201328.","journal-title":"IEEE Software"},{"key":"9083_CR39","doi-asserted-by":"crossref","unstructured":"Wappler, S., Baresel, A., & Wegener, J. (2007). Improving evolutionary testing in the presence of function-assigned flags. In Proceedings of the testing: Academic and industrial conference practice and research techniques, (pp. 23\u201334). IEEE Digital Library.","DOI":"10.1109\/TAIC.PART.2007.25"},{"issue":"14","key":"9083_CR40","first-page":"841","volume":"43","author":"J. Wegener","year":"2001","unstructured":"Wegener, J., Baresel, A., & Sthamer, H. (2001). Evolutionary test environment for automatic structural testing. Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms, 43(14), 841\u2013854.","journal-title":"Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms"},{"issue":"2","key":"9083_CR41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1155\/2008\/165709","volume":"2008","author":"S. H. Wu","year":"2008","unstructured":"Wu, S. H., Jandhyala, S., Malaiya, Y. K., & Jayasumana, A. P. (2008). Antirandom testing: A distance-based approach. VLSI Design, 2008(2), 1\u20139.","journal-title":"VLSI Design"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-009-9083-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-009-9083-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-009-9083-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:10:37Z","timestamp":1559369437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-009-9083-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,16]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["9083"],"URL":"https:\/\/doi.org\/10.1007\/s11219-009-9083-x","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,16]]}}}