Papers Read for FAULT REPARE_codestorm_新浪博客

1.  An Assessment of the Quality of Automated Program Operator Repair

2.  The Art of Testing Less without Sacrificing Quality

3.  SMT求解器理论组合技术研究

4.  Z3: An Efficient SMT Solver

5.  CARAMEL: Detecting and Fixing Performance Problems That Have Non-instrusive Fixes

6.  Static Control Flow Analysis of User-Driven Callbacks in Android Applications

7.  Cause Clue Clause: Error Localization using Maximum Satisfiability

8.  Symbolic Execution for Software Testing in Practice Preliminary Assessment

9.  Simplifying and Isolating Failure-Inducing Input

10.  Symbolic for software Testing: Three Decades Later

11.  Ask the Mutants: Mutating Faulty Programs for Fault Localization

12.  Oracle-guided Component-based Program Systhesis

13.  A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair

14.  Vejovis: Suggesting Fix for Javascript Faults

15.  Extracting Static and Dynamic Structural Information from Java Concurrent programs for Coverage Tesing

16.  The Strength of Random Search on Automatic Software Repair

17.  A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each

18.  Does bug prediction support human developers? findings from a google case study

19.  Data-guided repair of selection statements

20.  Automated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving

21. Coverage is not strongly correlated with test suite effectiveness

22.  Automatic patch generation learned from human-written patches ( my experiment rf)

23.  Automatically Finding Patches Using Genetic Programming

24.  SemFix: Program Repair via Semantic Analysis

25.  DirectFix: Looking for Simple Program Repairs

26.  An Empirical Study on Real Bug Fixes

27.  Current Challenges in automatic software repair

28.  GenProg: A Generic Method for Automatic Software Repair

29.  Survey of Software Fault Localization for Web Application 

30.  The Current State and Future of Search Based Software Engineering

31.  A Novel Co-evolutionary Approach to Automatic Software Bug Fixing

32.  Software mutational robustness 

33.  A Human Study of Patch Maintainability 

34.  A Genetic Programming Approach to Automated Software Repair

35.  A Novel Co-evolutionary Approach to Automatic Software Bug Fixing

36.  Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results

37.  Patches as Better Bug Reports

38.  Using Execution Paths to Evolve Software Patches

39.  Automatically Patching Errors in Deployed Software

40.  Axis Automatically Fixing Atomicity Violations through Solving Control  

41.  Automatic Program Repair by Fixing Contracts (AutoFix)

42.  Automated Program Repair in an Integrated Development Environment(AutoFix)

43.  Using Mutation to Automatically Suggest Fixes for Faulty Programs

44.  Program Repair as a Game

45.  Automated Error Localization and Correction for Imperative Programs (Template)

46.  Mining Repair Actions for Guiding Automated Program Fixing (template)

47.  A survey of fault localization techniques in computer networks

48.  A survey of new trends in symbolic execution for software testing and analysis

49.  BugFix: A learning-based tool to assist developers in fixing bugs ( my experiment rf)

50.  Mining Repair Actions for Guiding Automated Program Fixing

51.  Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing

53.  A Systematic Survey of Program Comprehension through Dynamic Analysis

54.  Some Factors Affecting Program Repair Maintenance: An Empirical Study

55.  A Genetic Programming Approach to Automated Software Repair

56.  Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

57.  Automated Fixing of Programs with Contracts

58.  A Tool for Checking ANSI-C Programs

59.  Coping with an Open Bug Repository

60.  Data Structure Repair Using Goal-Directed Reasoning

61.  A Survey of Software Fault Tolerance Techniques

62.  Data Structure Repair Using Goal-Directed Reasoning

63.  Elements of the Self-Healing System Problem Space

64.  Recent Developments in the Field Of Bug Fixing

65.  5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing

66.  Finding and Fixing Faults

67.  Software that Learns from its Own Failures-----2015

68.  Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset--------2015

69.  Toward an understanding of bug fix patterns

70.  Detecting and escaping infinite loops with Jolt

71.  Mining Object Behavior with ADABU

72.  Mining Specifications

73.  Automatically Recommending Test Code Examples to Inexperience Developers

74.  Crash Reproduction via Test Case Mutation

75.   Fault Localization for Client Side Scripting of Web Application

76.   Static Analysis of JavaScript Insights and Challenges

77.  ZoomIn: Discovering Failures by Detecting Wrong

78.  自动程序修复方法研究进展