{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:52:14Z","timestamp":1762271534164},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2011,4,1]],"date-time":"2011-04-01T00:00:00Z","timestamp":1301616000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Neural Comput & Applic"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1007\/s00521-011-0568-8","type":"journal-article","created":{"date-parts":[[2011,3,31]],"date-time":"2011-03-31T00:35:46Z","timestamp":1301531746000},"page":"1871-1882","source":"Crossref","is-referenced-by-count":15,"title":["Testability transformation based on equivalence of target statements"],"prefix":"10.1007","volume":"21","author":[{"given":"Dunwei","family":"Gong","sequence":"first","affiliation":[]},{"given":"Xiangjuan","family":"Yao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,4,1]]},"reference":[{"issue":"2","key":"568_CR1","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 (2006) Symbolic execution of floating-point computations. Softw Test Verif Reliab 16(2):97\u2013121","journal-title":"Softw Test Verif Reliab"},{"issue":"11","key":"568_CR2","doi-asserted-by":"crossref","first-page":"1534","DOI":"10.1016\/j.infsof.2009.06.009","volume":"51","author":"JCB Ribeiro","year":"2009","unstructured":"Ribeiro JCB, Zenha-Rela MA, de Vega FF (2009) Test case evaluation and input domain reduction strategies for the evolutionary testing of object-oriented software. Inf Softw Technol 51(11):1534\u20131548","journal-title":"Inf Softw Technol"},{"issue":"3","key":"568_CR3","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSE.1976.233818","volume":"2","author":"W Miller","year":"1976","unstructured":"Miller W, Spooner DL (1976) Automatic generation of floating point test data. IEEE Trans Softw Eng 2(3):223\u2013226","journal-title":"IEEE Trans Softw Eng"},{"issue":"8","key":"568_CR4","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 Trans Softw Eng 16(8):870\u2013879","journal-title":"IEEE Trans Softw Eng"},{"key":"568_CR5","doi-asserted-by":"crossref","first-page":"708","DOI":"10.1016\/j.infsof.2008.11.001","volume":"51","author":"R Blanco","year":"2009","unstructured":"Blanco R, Tuya J, Adenso-D\u0142az B (2009) Automated test data generation using a scatter search approach. Inf Softw Technol 51:708\u2013720","journal-title":"Inf Softw Technol"},{"key":"568_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 (2006) Automatic test data generation using genetic algorithm and program dependence graphs. Inf Softw Technol 48:586\u2013605","journal-title":"Inf Softw Technol"},{"key":"568_CR7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1002\/spe.684","volume":"36","author":"A Watkins","year":"2006","unstructured":"Watkins A, Hufnagel EM (2006) Evolutionary test data generation: a comparison of fitness functions. Softw Pract Exp 36:95\u2013116","journal-title":"Softw Pract Exp"},{"issue":"10","key":"568_CR8","doi-asserted-by":"crossref","first-page":"3144","DOI":"10.1016\/j.cor.2007.01.015","volume":"35","author":"O B\u00fchler","year":"2008","unstructured":"B\u00fchler O, Wegener J (2008) Evolutionary functional testing. Comput Oper Res 35(10):3144\u20133160","journal-title":"Comput Oper Res"},{"key":"568_CR9","unstructured":"McMinn P (2005) Evolutionary search for test data in the presence of state behaviour. Ph.D Thesis"},{"key":"568_CR10","unstructured":"Harman M, Hu L, Hierons R, Baresel A, Sthamer H (2002) Improving evolutionary testing by flag removal. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO). pp 1359\u20131366"},{"key":"568_CR11","doi-asserted-by":"crossref","unstructured":"Baresel A, Sthamer H (2003) Evolutionary testing of flag conditions. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO). pp 2442\u20132454","DOI":"10.1007\/3-540-45110-2_148"},{"issue":"4","key":"568_CR12","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s10664-005-3861-2","volume":"10","author":"H Do","year":"2005","unstructured":"Do H, Elbaum S, Rothermel G (2005) Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact. Empir Softw Eng 10(4):405\u2013435","journal-title":"Empir Softw Eng"},{"issue":"1","key":"568_CR13","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 et\u00a0al (2004) Testability transformation. IEEE Trans Softw Eng 30(1):3\u201316","journal-title":"IEEE Trans Softw Eng"},{"key":"568_CR14","unstructured":"Bottaci L (2002) Instrumenting programs with flag variables for test data search by genetic algorithms. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO). pp 1337\u20131342"},{"key":"568_CR15","doi-asserted-by":"crossref","unstructured":"Liu X, Liu H, Wang B, Chen P, Cai X (2005) A unified fitness function calculation rule for flag conditions to improve evolutionary testing. In: Proceedings of the 20th IEEE\/ACM international conference on Automated Software Engineering (ASE). pp 337\u2013341","DOI":"10.1145\/1101908.1101964"},{"issue":"1","key":"568_CR16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1162\/evco.2006.14.1.41","volume":"14","author":"P McMinn","year":"2006","unstructured":"McMinn P, Holcombe M (2006) Evolutionary testing using an extended chaining approach. Evol Comput 14(1):41\u201364","journal-title":"Evol Comput"},{"key":"568_CR17","doi-asserted-by":"crossref","first-page":"1767","DOI":"10.1016\/j.jss.2009.06.037","volume":"82","author":"S Wappler","year":"2009","unstructured":"Wappler S, Wegener J, Baresel A (2009) Evolutionary testing of software with function-assigned flags. J Syst Softw 82:1767\u20131779","journal-title":"J Syst Softw"},{"issue":"3","key":"568_CR18","first-page":"110","volume":"2","author":"DW Binkley","year":"2009","unstructured":"Binkley DW, Harman M, Lakhotia K (2009) FlagRemover: a testability transformation for transforming loop assigned flags. ACM Trans Softw Eng Methodol 2(3):110\u2013146","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"568_CR19","doi-asserted-by":"crossref","unstructured":"Jiang S, Lu Y (2008) Evolutionary testing of unstructured programs using a testability transformation approach. In: Proceedings of Japan-China joint workshop on frontier of computer science and technology. pp 59\u201366","DOI":"10.1109\/FCST.2008.21"},{"issue":"3","key":"568_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1525880.1525884","volume":"18","author":"P McMinn","year":"2009","unstructured":"McMinn P, Binkley D, Harman M (2009) Empirical evaluation of a nesting testability transformation for evolutionary testing. ACM Trans Softw Eng Methodol 18(3):1\u201326","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"2","key":"568_CR21","doi-asserted-by":"crossref","first-page":"1018","DOI":"10.1016\/j.asoc.2006.06.010","volume":"8","author":"F Lammermann","year":"2008","unstructured":"Lammermann F, Baresel A, Wegener J (2008) Evaluating evolutionary testability for structure-oriented testing with software measurements. Appl Soft Comput 8(2):1018\u20131028","journal-title":"Appl Soft Comput"},{"key":"568_CR22","volume-title":"Elements of software science","author":"M Halstead","year":"1977","unstructured":"Halstead M (1977) Elements of software science. Prentice Hall, New York"},{"key":"568_CR23","doi-asserted-by":"crossref","unstructured":"Gong DW, Yao XJ, Xia M (2009) Automatic determination of branch correlations in software test. In: Proceedings of the 2009 world congress on software engineering. pp 211\u2013215","DOI":"10.1109\/WCSE.2009.328"}],"container-title":["Neural Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-011-0568-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00521-011-0568-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00521-011-0568-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,9]],"date-time":"2019-06-09T11:09:26Z","timestamp":1560078566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00521-011-0568-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,1]]},"references-count":23,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["568"],"URL":"https:\/\/doi.org\/10.1007\/s00521-011-0568-8","relation":{},"ISSN":["0941-0643","1433-3058"],"issn-type":[{"value":"0941-0643","type":"print"},{"value":"1433-3058","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,1]]}}}