Code-based Automated Program Fixing

Details Code-based Automated Program Fixing Code-based Automated Program Fixing

2011-02-05

arxiv.org/abs/1102.1059v2

Computer Science

Software Engineering

Scientific paper

Many programmers, when they encounter an error, would like to have the benefit of automatic fix suggestions---as long as they are, most of the time, adequate. Initial research in this direction has generally limited itself to specific areas, such as data structure classes with carefully designed interfaces, and relied on simple approaches. To provide high-quality fix suggestions in a broad area of applicability, the present work relies on the presence of contracts in the code, and on the availability of dynamic analysis to gather evidence on the values taken by expressions derived from the program text. The ideas have been built into the AutoFix-E2 automatic fix generator. Applications of AutoFix-E2 to general-purpose software, such as a library to manipulate documents, show that the approach provides an improvement over previous techniques, in particular purely model-based approaches.

Affiliated with

Also associated with

No associations

Rating

Code-based Automated Program Fixing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Code-based Automated Program Fixing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Code-based Automated Program Fixing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-52663