A novel co-evolutionary approach to automatic software bug fixing

13 years 10 months ago

Download www.cs.bham.ac.uk

— Many tasks in Software Engineering are very expensive, and that has led the investigation to how to automate them. In particular, Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, ﬁxing a bug after its presence has been discovered is still a duty of the programmers. In this paper we propose an evolutionary approach to automate the task of ﬁxing bugs. This novel evolutionary approach is based on Co-evolution, in which programs and test cases co-evolve, inﬂuencing each other with the aim of ﬁxing the bugs of the programs. This competitive co-evolution is similar to what happens in nature for predators and prey. The user needs only to provide a buggy program and a formal speciﬁcation of it. No other information is required. Hence, the approach may work for any implementable software. We show some preliminary experiments in which bugs in an implementation of a sortin...

Andrea Arcuri, Xin Yao

Real-time Traffic