{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:20:55Z","timestamp":1759033255778,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":30,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1145\/3287921.3287958","type":"proceedings-article","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T15:45:16Z","timestamp":1544715916000},"page":"375-381","source":"Crossref","is-referenced-by-count":1,"title":["Automated Large Program Repair based on Big Code"],"prefix":"10.1145","author":[{"given":"Hoang","family":"Van Thuy","sequence":"first","affiliation":[{"name":"Le Quy Don Technical University, Ha Noi, Viet Nam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phan Viet","family":"Anh","sequence":"additional","affiliation":[{"name":"Le Quy Don Technical University, Ha Noi, Viet Nam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nguyen Xuan","family":"Hoai","sequence":"additional","affiliation":[{"name":"AI Academy Vietnam, Ha Noi, Viet Nam"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"key-10.1145\/3287921.3287958-1","unstructured":"Rui Abreu, Peter Zoeteweij, and Arjan JC Van Gemund. 2007. On the accuracy of spectrum-based fault localization. In Testing: Academic and Industrial Conference Practice and Research Techniques-MUTATION, 2007. TAICPART-MUTATION 2007. IEEE, 89--98."},{"key":"key-10.1145\/3287921.3287958-2","unstructured":"Fatmah Yousef Assiri. 2015. Assessment and improvement of automated program repair mechanisms and components. Ph.D. Dissertation. Colorado State University."},{"key":"key-10.1145\/3287921.3287958-3","doi-asserted-by":"crossref","unstructured":"Fatmah Yousef Assiri and James M Bieman. 2015. The impact of search algorithms in automated program repair. Procedia Computer Science 62 (2015), 65--72.","DOI":"10.1016\/j.procs.2015.08.411"},{"key":"key-10.1145\/3287921.3287958-4","doi-asserted-by":"crossref","unstructured":"Favio DeMarco, Jifeng Xuan, Daniel Le Berre, and Martin Monperrus. 2014. Automatic repair of buggy if conditions and missing preconditions with SMT. In Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. ACM, 30--39.","DOI":"10.1145\/2593735.2593740"},{"key":"key-10.1145\/3287921.3287958-5","doi-asserted-by":"crossref","unstructured":"Ethan Fast, Claire Le Goues, Stephanie Forrest, and Westley Weimer. 2010. Designing better fitness functions for automated program repair. In Proceedings of the 12th annual conference on Genetic and evolutionary computation. ACM, 965--972.","DOI":"10.1145\/1830483.1830654"},{"key":"key-10.1145\/3287921.3287958-6","doi-asserted-by":"crossref","unstructured":"Stephanie Forrest, Thanh Vu Nguyen, Westley Weimer, and Claire Le Goues. 2009. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation. ACM, 947--954.","DOI":"10.1145\/1569901.1570031"},{"key":"key-10.1145\/3287921.3287958-7","doi-asserted-by":"crossref","unstructured":"Rahul Gupta, Soham Pal, Aditya Kanade, and Shirish Shevade. 2017. Deep Fix: Fixing Common C Language Errors by Deep Learning.. In AAAI. 1345--1351.","DOI":"10.1609\/aaai.v31i1.10742"},{"key":"key-10.1145\/3287921.3287958-8","unstructured":"James A Jones. 2004. Fault localization using visualization of test information. In Proceedings of the 26th International Conference on Software Engineering. IEEE Computer Society, 54--56."},{"key":"key-10.1145\/3287921.3287958-9","unstructured":"Yalin Ke, Kathryn T Stolee, Claire Le Goues, and Yuriy Brun. 2015. Repairing programs with semantic code search (t). In Automated Software Engineering(ASE), 2015 30th IEEE\/ACM International Conference on. IEEE, 295--306."},{"key":"key-10.1145\/3287921.3287958-10","unstructured":"Matt Lake. 2010. Epic failures: 11 infamous software bugs. Computer World, Sept (2010)."},{"key":"key-10.1145\/3287921.3287958-11","unstructured":"Chris Lattner. 2008. LLVM and Clang: Next generation compiler technology. In The BSD Conference. 1--2."},{"key":"key-10.1145\/3287921.3287958-12","unstructured":"Xuan-Bach D Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. 2017. S3: syntax-and semantic-guided repair synthesis via programming by examples. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. ACM, 593--604."},{"key":"key-10.1145\/3287921.3287958-13","unstructured":"Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. 2012. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In Software Engineering (ICSE), 2012 34th International Conference on. IEEE, 3--13."},{"key":"key-10.1145\/3287921.3287958-14","doi-asserted-by":"crossref","unstructured":"Claire Le Goues, Stephanie Forrest, and Westley Weimer. 2013. Current challenges in automatic software repair. Software quality journal 21, 3 (2013), 421--443.","DOI":"10.1007\/s11219-013-9208-0"},{"key":"key-10.1145\/3287921.3287958-15","doi-asserted-by":"crossref","unstructured":"Claire Le Goues, Neal Holtschulte, Edward K Smith, Yuriy Brun, Premkumar Devanbu, Stephanie Forrest, and Westley Weimer. 2015. The Many Bugs and Intro Class benchmarks for automated repair of C programs. IEEE Transactions on Software Engineering 41, 12 (2015), 1236--1256.","DOI":"10.1109\/TSE.2015.2454513"},{"key":"key-10.1145\/3287921.3287958-16","doi-asserted-by":"crossref","unstructured":"Claire Le Goues, Thanh Vu Nguyen, Stephanie Forrest, and Westley Weimer. 2012. Genprog: A generic method for automatic software repair. Ieee transactions on software engineering 38, 1 (2012), 54--72.","DOI":"10.1109\/TSE.2011.104"},{"key":"key-10.1145\/3287921.3287958-17","unstructured":"Fan Long et al. 2018. Automatic patch generation via learning from successful human patches. Ph.D. Dissertation. Massachusetts Institute of Technology."},{"key":"key-10.1145\/3287921.3287958-18","doi-asserted-by":"crossref","unstructured":"Fan Long and Martin Rinard. 2015. Staged program repair with condition synthesis. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. ACM, 166--178.","DOI":"10.1145\/2786805.2786811"},{"key":"key-10.1145\/3287921.3287958-19","doi-asserted-by":"crossref","unstructured":"Fan Long and Martin Rinard. 2016. An analysis of the search spaces for generate and validate patch generation systems. In Proceedings of the 38th International Conference on Software Engineering. ACM, 702--713.","DOI":"10.1145\/2884781.2884872"},{"key":"key-10.1145\/3287921.3287958-20","doi-asserted-by":"crossref","unstructured":"Fan Long and Martin Rinard. 2016. Automatic patch generation by learning correct code. ACM SIGPLAN Notices 51, 1 (2016), 298--312.","DOI":"10.1145\/2914770.2837617"},{"key":"key-10.1145\/3287921.3287958-21","doi-asserted-by":"crossref","unstructured":"Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury. 2018. Semantic Program Repair Using a Reference Implementation. In Proceedings of ICSE.","DOI":"10.1145\/3180155.3180247"},{"key":"key-10.1145\/3287921.3287958-22","doi-asserted-by":"crossref","unstructured":"Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2015. Directfix: Looking for simple program repairs. In Proceedings of the 37th International Conference on Software Engineering-Volume 1. IEEE Press, 448--458.","DOI":"10.1109\/ICSE.2015.63"},{"key":"key-10.1145\/3287921.3287958-23","unstructured":"Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2016. Angelix: Scalable multiline program patch synthesis via symbolic analysis. In Software Engineering (ICSE), 2016 IEEE\/ACM 38th International Conference on. IEEE, 691--701."},{"key":"key-10.1145\/3287921.3287958-24","doi-asserted-by":"crossref","unstructured":"Thanh Vu Nguyen, Westley Weimer, Deepak Kapur, and Stephanie Forrest. 2017. Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 301--318.","DOI":"10.1007\/978-3-662-54577-5_17"},{"key":"key-10.1145\/3287921.3287958-25","unstructured":"Vinicius Paulo L Oliveira, Eduardo Faria de Souza, Claire Le Goues, and Celso G Camilo-Junior. 2018. Improved representation and genetic operators for linear genetic programming for automated program repair. Empirical Software Engineering (2018), 1--27."},{"key":"key-10.1145\/3287921.3287958-26","doi-asserted-by":"crossref","unstructured":"Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. 2015. 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. ACM, 24--36.","DOI":"10.1145\/2771783.2771791"},{"key":"key-10.1145\/3287921.3287958-27","unstructured":"Veselin Raychev. 2016. Learning from large codebases. Ph.D. Dissertation. ETH Zurich."},{"key":"key-10.1145\/3287921.3287958-28","doi-asserted-by":"crossref","unstructured":"Liam Schramm. 2017. Improving performance of automatic program repair using learned heuristics. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. ACM, 1071--1073.","DOI":"10.1145\/3106237.3121281"},{"key":"key-10.1145\/3287921.3287958-29","unstructured":"Jonette M Stecklein, Jim Dabney, Brandon Dick, Bill Haskins, Randy Lovell, and Gregory Moroney. 2004. Error cost escalation through the project life cycle. (2004)."},{"key":"key-10.1145\/3287921.3287958-30","doi-asserted-by":"crossref","unstructured":"Westley Weimer, Thanh Vu Nguyen, Claire Le Goues, and Stephanie Forrest. 2009. Automatically finding patches using genetic programming. In Proceedings of the 31st International Conference on Software Engineering. IEEE Computer Society, 364--374.","DOI":"10.1109\/ICSE.2009.5070536"}],"event":{"number":"9","sponsor":["SOICT, School of Information and Communication Technology - HUST","NAFOSTED, The National Foundation for Science and Technology Development"],"acronym":"SoICT 2018","name":"the Ninth International Symposium","start":{"date-parts":[[2018,12,6]]},"location":"Danang City, Viet Nam","end":{"date-parts":[[2018,12,7]]}},"container-title":["Proceedings of the Ninth International Symposium on Information and Communication Technology - SoICT 2018"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3287921.3287958","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3287958&ftid=2025962&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:54Z","timestamp":1750208274000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=3287921.3287958"}},"subtitle":[],"proceedings-subject":"Information and Communication Technology","short-title":[],"issued":{"date-parts":[[2018]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1145\/3287921.3287958","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}