{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:13:20Z","timestamp":1743102800931,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319686899"},{"type":"electronic","value":"9783319686905"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68690-5_25","type":"book-chapter","created":{"date-parts":[[2017,10,9]],"date-time":"2017-10-09T21:14:51Z","timestamp":1507583691000},"page":"413-429","source":"Crossref","is-referenced-by-count":1,"title":["Integration of Metamorphic Testing with\u00a0Program Repair Methods Based on\u00a0Adaptive Search Strategies and Program Equivalence"],"prefix":"10.1007","author":[{"given":"Tingting","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunwei","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsong Yueh","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingyue","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Man","family":"Lau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei-Ching","family":"Kuo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Arcuri, A.: On the automation of fixing software bugs. In: Companion of the 30th International Conference on Software Engineering, pp. 1003\u20131006. ACM (2008)","DOI":"10.1145\/1370175.1370223"},{"issue":"5","key":"25_CR2","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"ET Barr","year":"2015","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Softw. Eng. 41(5), 507\u2013525 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Cao, Y., Zhou, Z.Q., Chen, T.Y.: On the correlation between the effectiveness of metamorphic relations and dissimilarities of test case executions. In: 2013 13th International Conference on Quality Software (QSIC), pp. 153\u2013162. IEEE (2013)","DOI":"10.1109\/QSIC.2013.43"},{"key":"25_CR4","unstructured":"Chan, F., Chen, T., Cheung, S.C., Lau, M., Yiu, S.: Application of metamorphic testing in numerical analysis. In: Proceedings of the IASTED International Conference on Software Engineering (SE98) (1998)"},{"key":"25_CR5","unstructured":"Chen, T.Y., Cheung, S.C., Yiu, S.M.: Metamorphic testing: a new approach for generating next test cases. Department of Computer Science, Hong Kong University of Science and Technology, Technical report HKUST-CS98-01 (1998)"},{"key":"25_CR6","unstructured":"Chen, T.Y., Huang, D., Tse, T., Zhou, Z.Q.: Case studies on the selection of useful relations in metamorphic testing. In: Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004), pp. 569\u2013583. Polytechnic University of Madrid (2004)"},{"issue":"1","key":"25_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/TSE.2010.23","volume":"37","author":"TY Chen","year":"2011","unstructured":"Chen, T.Y., Tse, T., Zhou, Z.Q.: Semi-proving: an integrated method for program proving, testing, and debugging. IEEE Trans. Softw. Eng. 37(1), 109\u2013125 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Forrest, S., Nguyen, T., Weimer, W., Le Goues, C.: A genetic programming approach to automated software repair. In: Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pp. 947\u2013954. ACM (2009)","DOI":"10.1145\/1569901.1570031"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Gotlieb, A., Botella, B.: Automated metamorphic testing. In: 2003 27th Annual International Computer Software and Applications Conference (COMPSAC), pp. 34\u201340. IEEE (2003)","DOI":"10.1109\/CMPSAC.2003.1245319"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: 2011 33rd International Conference on Software Engineering (ICSE), pp. 1\u201310. IEEE (2011)","DOI":"10.1145\/1985793.1985795"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Jiang, M., Chen, T.Y., Kuo, F.C., Ding, Z., Choi, E.H., Mizuno, O.: A revisit of the integration of metamorphic testing and test suite based automated program repair. In: The 2nd International Workshop on Metamorphic Testing, pp. 14\u201320. IEEE (2017)","DOI":"10.1109\/MET.2017.5"},{"key":"25_CR12","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.jss.2016.04.002","volume":"126","author":"M Jiang","year":"2016","unstructured":"Jiang, M., Chen, T.Y., Kuo, F.C., Towey, D., Ding, Z.: A metamorphic testing approach for supporting program repair without the need for a test oracle. J. Syst. Softw. 126, 127\u2013140 (2016)","journal-title":"J. Syst. Softw."},{"key":"25_CR13","unstructured":"Jiang, M., Chen, T.Y., Kuo, F.C., Zhou, Z., Ding, Z.: Testing model transformation programs using metamorphic testing. In: The 26th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 94\u201399 (2014)"},{"issue":"12","key":"25_CR14","doi-asserted-by":"crossref","first-page":"1236","DOI":"10.1109\/TSE.2015.2454513","volume":"41","author":"C Goues Le","year":"2015","unstructured":"Le Goues, C., Holtschulte, N., Smith, E.K., Brun, Y., Devanbu, P., Forrest, S., Weimer, W.: The manybugs and introclass benchmarks for automated repair of c programs. IEEE Trans. Softw. Eng. 41(12), 1236\u20131256 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"25_CR15","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/TSE.2013.46","volume":"40","author":"H Liu","year":"2014","unstructured":"Liu, H., Kuo, F.C., Towey, D., Chen, T.Y.: How effectively does metamorphic testing alleviate the oracle problem? IEEE Trans. Softw. Eng. 40(1), 4\u201322 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Mechtaev, S., Yi, J., Roychoudhury, A.: Angelix: scalable multiline program patch synthesis via symbolic analysis. In: Proceedings of the 38th International Conference on Software Engineering, pp. 691\u2013701. ACM (2016)","DOI":"10.1145\/2884781.2884807"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Murphy, C., Shen, K., Kaiser, G.: Automatic system testing of programs without test oracles. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, pp. 189\u2013200. ACM (2009)","DOI":"10.1145\/1572272.1572295"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D.T., Qi, D., Roychoudhury, A., Chandra, S.: Semfix: program repair via semantic analysis. In: Proceedings of the 2013 International Conference on Software Engineering, pp. 772\u2013781. IEEE Press (2013)","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"25_CR19","unstructured":"Nguyen, T.: Automating program verification and repair using invariant analysis and test input generation. Ph.D. thesis (2014)"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Qi, Y., Mao, X., Lei, Y.: Efficient automated program repair through fault-recorded testing prioritization. In: 2013 29th IEEE International Conference on Software Maintenance (ICSM), pp. 180\u2013189. IEEE (2013)","DOI":"10.1109\/ICSM.2013.29"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Qi, Z., Long, F., Achour, S., Rinard, M.: An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, pp. 24\u201336. ACM (2015)","DOI":"10.1145\/2771783.2771791"},{"issue":"9","key":"25_CR22","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1109\/TSE.2016.2532875","volume":"42","author":"S Segura","year":"2016","unstructured":"Segura, S., Fraser, G., Sanchez, A.B., Ruiz-Cort\u00e9s, A.: A survey on metamorphic testing. IEEE Trans. Softw. Eng. 42(9), 805\u2013824 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR23","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/2813885.2737988","volume":"50","author":"S Sidiroglou-Douskos","year":"2015","unstructured":"Sidiroglou-Douskos, S., Lahtinen, E., Long, F., Rinard, M.: Automatic error elimination by horizontal code transfer across multiple applications. ACM SIGPLAN Not. 50, 43\u201354 (2015). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Weimer, W., Fry, Z.P., Forrest, S.: Leveraging program equivalence for adaptive program repair: models and first results. In: 2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE), pp. 356\u2013366. IEEE (2013)","DOI":"10.1109\/ASE.2013.6693094"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T., Le Goues, C., Forrest, S.: Automatically finding patches using genetic programming. In: Proceedings of the 31st International Conference on Software Engineering, pp. 364\u2013374. IEEE Computer Society (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"issue":"6","key":"25_CR26","doi-asserted-by":"crossref","first-page":"80","DOI":"10.2307\/3001968","volume":"1","author":"F Wilcoxon","year":"1945","unstructured":"Wilcoxon, F.: Individual comparisons by ranking methods. Biometrics Bull. 1(6), 80\u201383 (1945)","journal-title":"Biometrics Bull."},{"issue":"5","key":"25_CR27","doi-asserted-by":"crossref","first-page":"866","DOI":"10.1016\/j.infsof.2012.08.008","volume":"55","author":"X Xie","year":"2013","unstructured":"Xie, X., Wong, W.E., Chen, T.Y., Xu, B.: Metamorphic slice: an application in spectrum-based fault localization. Inf. Softw. Technol. 55(5), 866\u2013879 (2013)","journal-title":"Inf. Softw. Technol."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68690-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:21:50Z","timestamp":1507796510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68690-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319686899","9783319686905"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68690-5_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}