{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:47:00Z","timestamp":1762271220082},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789161"},{"type":"electronic","value":"9783540789178"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78917-8_11","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T07:38:34Z","timestamp":1207985914000},"page":"320-344","source":"Crossref","is-referenced-by-count":20,"title":["Testability Transformation \u2013 Program Transformation to Improve Testability"],"prefix":"10.1007","author":[{"given":"Mark","family":"Harman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Baresel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Binkley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Hierons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan","family":"Korel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"McMinn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Roper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Practical Statistics for Medical Research","author":"D.G. Altman","year":"1997","unstructured":"Altman, D.G.: Practical Statistics for Medical Research. Chapman and Hall, Boca Raton (1997)"},{"key":"11_CR2","first-page":"43","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004)","author":"A. Baresel","year":"2004","unstructured":"Baresel, A., Binkley, D., Harman, M., Korel, B.: Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004), Boston, Massachusetts, USA, pp. 43\u201352. ACM, New York (2004)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2428","DOI":"10.1007\/3-540-45110-2_147","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"A. Baresel","year":"2003","unstructured":"Baresel, A., Pohlheim, H., Sadeghipour, S.: Structural and functional sequence test of dynamic and state-based software with evolutionary algorithms. In: Cant\u00fa-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O\u2019Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol.\u00a02724, pp. 2428\u20132441. Springer, Heidelberg (2003)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2442","DOI":"10.1007\/3-540-45110-2_148","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"A. Baresel","year":"2003","unstructured":"Baresel, A., Sthamer, H.: Evolutionary testing of flag conditions. In: Cant\u00fa-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O\u2019Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol.\u00a02724, pp. 2442\u20132454. Springer, Heidelberg (2003)"},{"key":"11_CR5","first-page":"1329","volume-title":"GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference","author":"A. Baresel","year":"2002","unstructured":"Baresel, A., Sthamer, H., Schmidt, M.: Fitness function design to improve evolutionary structural testing. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, San Francisco, CA, July 2002, pp. 1329\u20131336. Morgan Kaufmann Publishers, San Francisco (2002)"},{"key":"11_CR6","first-page":"1","volume-title":"Advances in Computing","author":"D.W. Binkley","year":"1996","unstructured":"Binkley, D.W., Gallagher, K.B.: Program slicing. In: Zelkowitz, M. (ed.) Advances in Computing, 43th edn., pp. 1\u201350. Academic Press, London (1996)","edition":"43"},{"key":"11_CR7","first-page":"1337","volume-title":"GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference","author":"L. Bottaci","year":"2002","unstructured":"Bottaci, L.: Instrumenting programs with flag variables for test data search by genetic algorithms. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, New York, July 9\u201313, 2002, pp. 1337\u20131342. Morgan Kaufmann, San Francisco (2002)"},{"key":"11_CR8","unstructured":"British Standards Institute. BS 7925-1 vocabulary of terms in software testing (1998)"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"2","author":"L.A. Clarke","year":"1976","unstructured":"Clarke, L.A.: A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering\u00a02(3), 215\u2013222 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"11_CR10","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic and Computation\u00a02(4), 511\u2013547 (1992)","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"11_CR11","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1049\/sej.1988.0029","volume":"3","author":"P.D. Coward","year":"1988","unstructured":"Coward, P.D.: Symbolic execution systems \u2013 a review. Software Engineering Journal\u00a03(6), 229\u2013239 (1988)","journal-title":"Software Engineering Journal"},{"issue":"1","key":"11_CR12","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"J. Darlington","year":"1977","unstructured":"Darlington, J., Burstall, R.M.: A tranformation system for developing recursive programs. Journal of the ACM\u00a024(1), 44\u201367 (1977)","journal-title":"Journal of the ACM"},{"issue":"2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/151257.151258","volume":"2","author":"R.A. DeMillo","year":"1993","unstructured":"Richard\u00a0A DeMillo and A.J. Offutt. Experimental results from an automatic test generator. ACM Transactions of Software Engineering and Methodology, 2(2):109\u2013127, March 1993.","journal-title":"ACM Transactions of Software Engineering and Methodology"},{"key":"11_CR14","series-title":"ACM SIGACT and SIGPLAN","first-page":"144","volume-title":"Conference Record of the Fourth Annual Symposium on Principles of Programming Languages","author":"N. Dershowitz","year":"1977","unstructured":"Dershowitz, N., Manna, Z.: The evolution of programs: A system for automatic program modification. In: Conference Record of the Fourth Annual Symposium on Principles of Programming Languages. ACM SIGACT and SIGPLAN, pp. 144\u2013154. ACM Press, New York (1977)"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357153.357154","volume":"4","author":"M.S. Feather","year":"1982","unstructured":"Feather, M.S.: A system for assisting program transformation. ACM Transactions on Programming Languages and Systems\u00a04(1), 1\u201320 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"11_CR16","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson, R., Korel, B.: The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology\u00a05(1), 63\u201386 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems\u00a09(3), 319\u2013349 (1987)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/ICSE.1998.671115","volume-title":"Proceedings of the \u00a020th\u00a0 International Conference on Software Engineering","author":"T. Graves","year":"1998","unstructured":"Graves, T., Harrold, M.J., Kim, J.-M., Porter, A., Rothermel, G.: An empirical study of regression test selection techniques. In: Proceedings of the \u00a020th\u00a0 International Conference on Software Engineering, April 1998, pp. 188\u2013197. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"11_CR19","first-page":"1359","volume-title":"GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference","author":"M. Harman","year":"2002","unstructured":"Harman, M., Hu, L., Hierons, R., Baresel, A., Sthamer, H.: Improving evolutionary testing by flag removal (\u2018best at GECCO\u2019 award winner). In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, July 9\u201313, 2002, pp. 1359\u20131366. Kaufmann Publishers, San Francisco (2002)"},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TSE.2004.1265732","volume":"30","author":"M. Harman","year":"2004","unstructured":"Harman, M., Hu, L., Hierons, R.M., Wegener, J., Sthamer, H., Baresel, A., Roper, M.: Testability transformation. IEEE Transactions on Software Engineering\u00a030(1), 3\u201316 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"11_CR21","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1093\/comjnl\/bxh093","volume":"48","author":"R. Hierons","year":"2005","unstructured":"Hierons, R., Harman, M., Fox, C.: Branch-coverage testability transformation for unstructured programs. The Computer Journal\u00a048(4), 421\u2013436 (2005)","journal-title":"The Computer Journal"},{"key":"11_CR22","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.-H., Eyres, D.E.: Automatic structural testing using genetic algorithms. The Software Engineering Journal\u00a011, 299\u2013306 (1996)","journal-title":"The Software Engineering Journal"},{"issue":"7","key":"11_CR23","doi-asserted-by":"publisher","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\u00a019(7), 385\u2013394 (1976)","journal-title":"Communications of the ACM"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1002\/spe.4380210704","volume":"21","author":"K.N. King","year":"1991","unstructured":"King, K.N., Offutt, A.J.: A FORTRAN language system for mutation-based software testing. Software Practice and Experience\u00a021, 686\u2013718 (1991)","journal-title":"Software Practice and Experience"},{"issue":"8","key":"11_CR25","doi-asserted-by":"publisher","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\u00a016(8), 870\u2013879 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR26","unstructured":"Korel, B., Chung, S., Apirukvorapinit, P.: Data dependence analysis in automated test generation. In: Proceedings: 7th IASTED International Conference on Software Engineering and Applications, pp. 476\u2013481 (2003)"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Korel, B., Harman, M., Chung, S., Apirukvorapinit, P., Gupta, R.: Data dependence based testability transformation in automated test generation. In: 16th International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, Illinios, USA, pp. 245\u2013254, November 2005 (2005)","DOI":"10.1109\/ISSRE.2005.16"},{"issue":"2","key":"11_CR28","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. Software Testing, Verification and Reliability\u00a014(2), 105\u2013156 (2004)","journal-title":"Software Testing, Verification and Reliability"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2488","DOI":"10.1007\/3-540-45110-2_152","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"P. McMinn","year":"2003","unstructured":"McMinn, P., Holcombe, M.: The state problem for evolutionary testing. In: Cant\u00fa-Paz, E., Foster, J.A., Deb, K., Davis, L., Roy, R., O\u2019Reilly, U.-M., Beyer, H.-G., Kendall, G., Wilson, S.W., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A., Dowsland, K.A., Jonoska, N., Miller, J., Standish, R.K. (eds.) GECCO 2003. LNCS, vol.\u00a02724, pp. 2488\u20132497. Springer, Heidelberg (2003)"},{"key":"11_CR30","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1145\/1068009.1068182","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2005)","author":"P. McMinn","year":"2005","unstructured":"McMinn, P., Holcombe, M.: Evolutionary testing of state-based programs. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2005), Washington DC, USA, pp. 1013\u20131020. ACM Press, New York (2005)"},{"key":"11_CR31","unstructured":"McMinn, P., Binkley, D., Harman, M.: Testability transformation for efficient automated test data search in the presence of nesting. In: UK Software Testing Workshop (UK Test 2005), Sheffield, UK (September 2005)"},{"key":"11_CR32","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1109\/32.988709","volume":"12","author":"C.C. Michael","year":"2001","unstructured":"Michael, C.C., McGraw, G., Schatz, M.A.: Generating software test data by evolution. IEEE Transactions on Software Engineering\u00a012, 1085\u20131110 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR33","first-page":"144","volume-title":"4th IEEE Real-Time Technology and Applications Symposium RTAS 1998","author":"F. Mueller","year":"1998","unstructured":"Mueller, F., Wegener, J.: A comparison of static analysis and evolutionary testing for the verification of timing constraints. In: 4th IEEE Real-Time Technology and Applications Symposium RTAS 1998, Washington, Brussels, Tokyo, June 1998, pp. 144\u2013154. IEEE, Los Alamitos (1998)"},{"key":"11_CR34","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1109\/ICSI.1990.138735","volume-title":"Proceedings of the First International Conference on Systems Integration","author":"A.J. Offutt","year":"1990","unstructured":"Offutt, A.J.: An integrated system for automatically generating test data. In: Raymond, T., Ng, P.A., Ramamoorthy, C.V., Seifert, L.C., Yeh (eds.) Proceedings of the First International Conference on Systems Integration, Morristown, NJ, April 1990, pp. 694\u2013701. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"11_CR35","doi-asserted-by":"publisher","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.R.: Test-data generation using genetic algorithms. The Journal of Software Testing, Verification and Reliability\u00a09, 263\u2013282 (1999)","journal-title":"The Journal of Software Testing, Verification and Reliability"},{"key":"11_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61512-2","volume-title":"The Specification and Transformation of Programs: A Formal Approach to Software Development","author":"H.A. Partsch","year":"1990","unstructured":"Partsch, H.A.: The Specification and Transformation of Programs: A Formal Approach to Software Development. Springer, Heidelberg (1990)"},{"key":"11_CR37","first-page":"1795","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference","author":"H. Pohlheim","year":"1999","unstructured":"Pohlheim, H., Wegener, J.: Testing the temporal behavior of real-time software modules using extended evolutionary algorithms. In: Banzhaf, W., Daida, J., Eiben, A.E., Garzon, M.H., Honavar, V., Jakiela, M., Smith, R.E. (eds.) Proceedings of the Genetic and Evolutionary Computation Conference, July 13\u201317, 1999, vol.\u00a02, p. 1795. Morgan Kaufmann, San Francisco (1999)"},{"key":"11_CR38","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1109\/REAL.1998.739738","volume-title":"19th IEEE Real-Time Systems Symposium (RTSS 1998)","author":"P. Puschner","year":"1998","unstructured":"Puschner, P., Nossal, R.: Testing the results of static worst\u2013case execution-time analysis. In: 19th IEEE Real-Time Systems Symposium (RTSS 1998), pp. 134\u2013143. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"11_CR39","unstructured":"Radio Technical Commission for Aeronautics. RTCA DO178-B Software considerations in airborne systems and equipment certification (1992)"},{"issue":"5","key":"11_CR40","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/64.236476","volume":"8","author":"A. Schultz","year":"1993","unstructured":"Schultz, A., Grefenstette, J., Jong, K.: Test and evaluation by genetic algorithms. IEEE Expert\u00a08(5), 9\u201314 (1993)","journal-title":"IEEE Expert"},{"key":"11_CR41","first-page":"73","volume-title":"International Symposium on Software Testing and Analysis","author":"N. Tracey","year":"1998","unstructured":"Tracey, N., Clark, J., Mander, K.: Automated program flaw finding using simulated annealing. In: International Symposium on Software Testing and Analysis, March 1998, pp. 73\u201381. ACM\/SIGSOFT, New York (1998)"},{"key":"11_CR42","unstructured":"Tracey, N., Clark, J., Mander, K.: The way forward for unifying dynamic test-case generation: The optimisation-based approach. In: International Workshop on Dependable Computing and Its Applications (DCIA), IFIP, January 1998, pp. 169\u2013180 (1998)"},{"key":"11_CR43","doi-asserted-by":"crossref","unstructured":"Ward, M.: Reverse engineering through formal transformation. The Computer Journal\u00a037(5) (1994)","DOI":"10.1093\/comjnl\/37.9.795"},{"issue":"14","key":"11_CR44","first-page":"841","volume":"43","author":"J. Wegener","year":"2001","unstructured":"Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms\u00a043(14), 841\u2013854 (2001)","journal-title":"Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms"},{"issue":"3","key":"11_CR45","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1011132221066","volume":"21","author":"J. Wegener","year":"2001","unstructured":"Wegener, J., Mueller, F.: A comparison of static analysis and evolutionary testing for the verification of timing constraints. Real-Time Systems\u00a021(3), 241\u2013268 (2001)","journal-title":"Real-Time Systems"},{"key":"11_CR46","unstructured":"Weiser, M.: Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI (1979)"},{"issue":"4","key":"11_CR47","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1109\/32.491648","volume":"22","author":"H. Zhu","year":"1996","unstructured":"Zhu, H.: A formal analysis of the subsume relation between software test adequacy criteria. IEEE Transactions on Software Engineering\u00a022(4), 248\u2013255 (1996)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78917-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:03:52Z","timestamp":1619521432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78917-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789161","9783540789178"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78917-8_11","relation":{},"subject":[]}}