1. Trang chủ
  2. » Luận Văn - Báo Cáo

Phương pháp tự động sửa lỗi cho các chương trình java

78 12 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Tiêu đề Phương Pháp Tự Động Sửa Lỗi Cho Các Chương Trình Java
Tác giả Bùi Quang Cường
Người hướng dẫn PGS. TS. Phạm Ngọc Hùng
Trường học Đại học Quốc gia Hà Nội
Chuyên ngành Khoa học máy tính
Thể loại luận văn thạc sĩ
Năm xuất bản 2020
Thành phố Hà Nội
Định dạng
Số trang 78
Dung lượng 1,36 MB

Nội dung

Ngày đăng: 20/07/2021, 09:31

Nguồn tham khảo

Tài liệu tham khảo Loại Chi tiết
[1] Rui Abreu, Peter Zoeteweij, and Arjan J. C. van Gemund. “An Evaluation of Similarity Coefficients for Software Fault Localization”. In: Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing. PRDC ’06.USA: IEEE Computer Society, 2006, 39–46. ISBN : 0769527248. DOI : 10.1109/PRDC.2006.18. URL : https://doi.org/10.1109/PRDC.2006.18 Sách, tạp chí
Tiêu đề: An Evaluation ofSimilarity Coefficients for Software Fault Localization”. In: "Proceedings of the12th Pacific Rim International Symposium on Dependable Computing
[2] Johannes Bader et al. “Getafix: Learning to Fix Bugs Automatically”. In: Proc.ACM Program. Lang. 3.OOPSLA (Oct. 2019). DOI : 10 . 1145 / 3360585. URL : https://doi.org/10.1145/3360585 Sách, tạp chí
Tiêu đề: Getafix: Learning to Fix Bugs Automatically”. In:"Proc."ACM Program. Lang
[3] Thomas Ball and Sriram K. Rajamani. “The SLAM Project: Debugging Sys- tem Software via Static Analysis”. In: Proceedings of the 29th ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages. POPL ’02. Port- land, Oregon: Association for Computing Machinery, 2002, 1–3. ISBN : 1581134509.DOI : 10 . 1145 / 503272 . 503274. URL : https : / / doi . org / 10 . 1145 / 503272 . 503274 Sách, tạp chí
Tiêu đề: The SLAM Project: Debugging Sys-tem Software via Static Analysis”. In: "Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
[4] Marcel B ¨ohme and Abhik Roychoudhury. “CoREBench: Studying Complexity of Regression Errors”. In: Proceedings of the 2014 International Symposium on Software Testing and Analysis. ISSTA 2014. San Jose, CA, USA: Association for Computing Machinery, 2014, 105–115. ISBN : 9781450326452. DOI : 10 . 1145 / 2610384.2628058. URL : https://doi.org/10.1145/2610384.2628058 Sách, tạp chí
Tiêu đề: CoREBench: Studying Complexityof Regression Errors”. In: "Proceedings of the 2014 International Symposium onSoftware Testing and Analysis
[5] Johannes Bohnet, Stefan Voigt, and J ¨urgen D ¨ollner. “Projecting code changes onto execution traces to support localization of recently introduced bugs”. In:Proceedings of the 24th Symposium on Applied Computing. Ed. by Sung Y. Shin and Sascha Ossowski. ACM, 2009, pp. 438–442. ISBN : 978-1-60558-166-8. DOI : 10.1145/1529282.1529378 Sách, tạp chí
Tiêu đề: Projecting code changesonto execution traces to support localization of recently introduced bugs”. In:"Proceedings of the 24th Symposium on Applied Computing
[6] William R. Bush, Jonathan D. Pincus, and David J. Sielaff. “A Static Analyzer for Finding Dynamic Programming Errors”. In: Softw. Pract. Exper. 30.7 (June 2000), 775–802. ISSN : 0038-0644. DOI : 10.1002/(SICI)1097-024X(200006)30:7 % 3C775 :: AID - SPE309% 3E3 . 0 . CO ; 2- H. URL : https : / /doi . org / 10 . 1002/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H Sách, tạp chí
Tiêu đề: A Static Analyzerfor Finding Dynamic Programming Errors”. In:"Softw. Pract. Exper
[7] Kung Chen and Ju-Bing Chen. “Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs”. In: Proceedings of the 31st Annual Interna- tional Computer Software and Applications Conference - Volume 02. COMPSAC ’07.USA: IEEE Computer Society, 2007, 23–28. ISBN : 0769528708. DOI : 10 . 1109 / COMPSAC.2007.79. URL : https://doi.org/10.1109/COMPSAC.2007.79 Sách, tạp chí
Tiêu đề: Aspect-Based Instrumentation for LocatingMemory Leaks in Java Programs”. In: "Proceedings of the 31st Annual Interna-tional Computer Software and Applications Conference - Volume 02
[9] Daniel Costa et al. “A Framework for Evaluating the Results of the SZZ Ap- proach for Identifying Bug-Introducing Changes”. In: IEEE Transactions on Software Engineering PP (Oct. 2016), pp. 1–1. DOI : 10.1109/TSE.2016.2616306 Sách, tạp chí
Tiêu đề: A Framework for Evaluating the Results of the SZZ Ap-proach for Identifying Bug-Introducing Changes”. In: "IEEE Transactions onSoftware Engineering
[10] Vidroha Debroy and W. Eric Wong. “Using Mutation to Automatically Suggest Fixes for Faulty Programs”. In: Proceedings of the 2010 Third International Con- ference on Software Testing, Verification and Validation. ICST ’10. USA: IEEE Com- puter Society, 2010, 65–74. ISBN : 9780769539904. DOI : 10.1109/ICST.2010.66.URL : https://doi.org/10.1109/ICST.2010.66 Sách, tạp chí
Tiêu đề: Using Mutation to Automatically SuggestFixes for Faulty Programs”. In:"Proceedings of the 2010 Third International Con-ference on Software Testing, Verification and Validation
[11] Emelie Engstr ¨om and Per Runeson. “A Qualitative Survey of Regression Test- ing Practices”. In: vol. 6156. June 2010, pp. 3–16. DOI : 10.1007/978- 3- 642- 13792-1_3 Sách, tạp chí
Tiêu đề: A Qualitative Survey of Regression Test-ing Practices
[12] Ali Ghanbari, Samuel Benton, and Lingming Zhang. “Practical Program Re- pair via Bytecode Mutation”. In: Proceedings of the 28th ACM SIGSOFT Interna- tional Symposium on Software Testing and Analysis. ISSTA 2019. Beijing, China:Association for Computing Machinery, 2019, 19–30. ISBN : 9781450362245. DOI : 10 . 1145 / 3293882 . 3330559. URL : https : / / doi . org / 10 . 1145 / 3293882 . 3330559 Sách, tạp chí
Tiêu đề: Practical Program Re-pair via Bytecode Mutation”. In:"Proceedings of the 28th ACM SIGSOFT Interna-tional Symposium on Software Testing and Analysis
[13] Liang Gong et al. “Interactive Fault Localization Leveraging Simple User Feed- back”. In: Proceedings of the 2012 IEEE International Conference on Software Main- tenance (ICSM). ICSM ’12. USA: IEEE Computer Society, 2012, 67–76. ISBN : 9781467323130. DOI : 10.1109/ICSM.2012.6405255. URL : https://doi.org/10.1109/ICSM.2012.6405255 Sách, tạp chí
Tiêu đề: Interactive Fault Localization Leveraging Simple User Feed-back”. In:"Proceedings of the 2012 IEEE International Conference on Software Main-tenance (ICSM)
[14] Claire Le Goues, Michael Pradel, and Abhik Roychoudhury. “Automated Pro- gram Repair”. In: Commun. ACM 62.12 (Nov. 2019), 56–65. ISSN : 0001-0782.DOI : 10.1145/3318162. URL : https://doi.org/10.1145/3318162 Sách, tạp chí
Tiêu đề: Automated Pro-gram Repair”. In: "Commun. ACM
[15] Hwa-You Hsu and Alessandro Orso. “MINTS: A General Framework and Tool for Supporting Test-Suite Minimization”. In: Proceedings of the 31st Interna- tional Conference on Software Engineering. ICSE ’09. USA: IEEE Computer So- ciety, 2009, 419–429. ISBN : 9781424434534. DOI : 10.1109/ICSE.2009.5070541.URL : https://doi.org/10.1109/ICSE.2009.5070541 Sách, tạp chí
Tiêu đề: MINTS: A General Framework and Toolfor Supporting Test-Suite Minimization”. In: "Proceedings of the 31st Interna-tional Conference on Software Engineering
[17] Jiajun Jiang et al. “Shaping Program Repair Space with Existing Patches and Similar Code”. In: Proceedings of the 27th ACM SIGSOFT International Sympo- sium on Software Testing and Analysis. ISSTA 2018. Amsterdam, Netherlands:Association for Computing Machinery, 2018, 298–309. ISBN : 9781450356992.DOI : 10.1145/3213846.3213871. URL : https://doi.org/10.1145/3213846.3213871 Sách, tạp chí
Tiêu đề: Shaping Program Repair Space with Existing Patches andSimilar Code”. In: "Proceedings of the 27th ACM SIGSOFT International Sympo-sium on Software Testing and Analysis
[18] James A. Jones and Mary Jean Harrold. “Empirical Evaluation of the Tarantula Automatic Fault-Localization Technique”. In: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering. ASE ’05. Long Beach, CA, USA: Association for Computing Machinery, 2005, 273–282. ISBN : 1581139934.DOI : 10.1145/1101908.1101949. URL : https://doi.org/10.1145/1101908 Sách, tạp chí
Tiêu đề: Empirical Evaluation of the TarantulaAutomatic Fault-Localization Technique”. In:"Proceedings of the 20th IEEE/ACMInternational Conference on Automated Software Engineering

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN