S E ] 2 9 A ug 2 01 8 Precise Condition Synthesis for Program Repair
暂无分享,去创建一个
Jiachen Zhang | Yingfei Xiong | Shi Han | Lu Zhang | Runfa Yan | Jie Wang | Gang Huang
[1] Fan Long,et al. Automatic patch generation by learning correct code , 2016, POPL.
[2] Jaechang Nam,et al. Automatic patch generation learned from human-written patches , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[3] Fan Long,et al. Staged program repair with condition synthesis , 2015, ESEC/SIGSOFT FSE.
[4] Yuriy Brun,et al. Is the cure worse than the disease? overfitting in automated program repair , 2015, ESEC/SIGSOFT FSE.
[5] Shan Lu,et al. Fixing, preventing, and recovering from concurrency bugs , 2015, Science China Information Sciences.
[6] Jie Wang,et al. Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T) , 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
[7] Bin Gu,et al. More efficient automatic repair of large-scale programs using weak recompilation , 2012, Science China Information Sciences.
[8] Martin Monperrus,et al. Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs , 2018, IEEE Transactions on Software Engineering.
[9] Name M. Lastname. Automatically Finding Patches Using Genetic Programming , 2013 .
[10] Yuhua Qi,et al. The strength of random search on automated program repair , 2014, ICSE.
[11] Alessandro Orso,et al. MintHint: automated synthesis of repair hints , 2013, ICSE.
[12] Sandeep S. Kulkarni,et al. Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability , 2014, ISSTA 2014.
[13] Emanuel Kitzelmann,et al. Inductive Programming: A Survey of Program Synthesis Techniques , 2009, AAIP.
[14] Fan Long,et al. An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
[15] Rahul Gupta,et al. DeepFix: Fixing Common C Language Errors by Deep Learning , 2017, AAAI.
[16] Martin Monperrus,et al. Learning to Combine Multiple Ranking Metrics for Fault Localization , 2014, 2014 IEEE International Conference on Software Maintenance and Evolution.
[17] Krzysztof Czarnecki,et al. Range Fixes: Interactive Error Resolution for Software Configuration , 2015, IEEE Transactions on Software Engineering.
[18] Lars Grunske,et al. A learning-to-rank based fault localization approach using likely invariants , 2016, ISSTA.
[19] Sunghun Kim,et al. Automatically generated patches as debugging aids: a human study , 2014, SIGSOFT FSE.
[20] Xiangyu Zhang,et al. Locating faults through automated predicate switching , 2006, ICSE.
[21] James R. Larus,et al. The use of program profiling for software maintenance with applications to the year 2000 problem , 1997, ESEC '97/FSE-5.
[22] Claire Le Goues,et al. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each , 2012, 2012 34th International Conference on Software Engineering (ICSE).
[23] Matias Martinez,et al. Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset , 2016, Empirical Software Engineering.
[24] Hiroaki Yoshida,et al. Anti-patterns in search-based program repair , 2016, SIGSOFT FSE.
[25] Abhik Roychoudhury,et al. Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
[26] Rishabh Singh,et al. Qlose: Program Repair with Quantitative Objectives , 2016, CAV.
[27] Claire Le Goues,et al. GenProg: A Generic Method for Automatic Software Repair , 2012, IEEE Transactions on Software Engineering.
[28] Xiangyu Zhang,et al. Automatic Model Generation from Documentation for Java API Functions , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
[29] Abhik Roychoudhury,et al. DirectFix: Looking for Simple Program Repairs , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
[30] Chen Liu,et al. R2Fix: Automatically Generating Bug Fixes from Bug Reports , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
[31] Martin Monperrus,et al. DynaMoth: dynamic code synthesis for automatic program repair , 2016, AST@ICSE.
[32] Baowen Xu,et al. A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization , 2013, TSEM.
[33] Rui Abreu,et al. GZoltar: an eclipse plug-in for testing and debugging , 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
[34] Lu Zhang,et al. Safe Memory-Leak Fixing for C Programs , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
[35] A.J.C. van Gemund,et al. On the Accuracy of Spectrum-based Fault Localization , 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).
[36] Michael D. Ernst,et al. Defects4J: a database of existing faults to enable controlled testing studies for Java programs , 2014, ISSTA 2014.
[37] Martin Monperrus,et al. A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair , 2014, ICSE.
[38] Yan Cai,et al. Fixing Deadlocks via Lock Pre-Acquisitions , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
[39] Kathryn T. Stolee,et al. Repairing Programs with Semantic Code Search , 2015 .
[40] David Lo,et al. History Driven Program Repair , 2016, 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER).
[41] John T. Stasko,et al. Visualization of test information to assist fault localization , 2002, ICSE '02.
[42] Dawei Qi,et al. SemFix: Program repair via semantic analysis , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[43] Rui Abreu,et al. Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators , 2013, ISSTA.
[44] Andreas Zeller,et al. Automated Fixing of Programs with Contracts , 2014 .
[45] M. Rinard,et al. Automatic Inference of Code Transforms and Search Spaces for Automatic Patch Generation Systems , 2016 .