Please use this identifier to cite or link to this item: https://doi.org/10.1145/2211616.2211622
Title: DARWIN: An approach to debugging evolving programs
Authors: Qi, D.
Roychoudhury, A. 
Liang, Z. 
Issue Date: 2012
Source: Qi, D., Roychoudhury, A., Liang, Z. (2012). DARWIN: An approach to debugging evolving programs. ACM Transactions on Software Engineering and Methodology 21 (3). ScholarBank@NUS Repository. https://doi.org/10.1145/2211616.2211622
Abstract: Bugs in programs are often introduced when programs evolve from a stable version to a new version. In this article, we propose a new approach called DARWIN for automatically finding potential root causes of such bugs. Given two programs-A reference program and a modified program-And an input that fails on the modified program, our approach uses symbolic execution to automatically synthesize a new input that (a) is very similar to the failing input and (b) does not fail. We find the potential cause(s) of failure by comparing control-flow behavior of the passing and failing inputs and identifying code fragments where the control flows diverge. A notable feature of our approach is that it handles hard-To-explain bugs, like code missing errors, by pointing to code in the reference program. We have implemented this approach and conducted experiments using several real-world applications, such as the Apache Web server, libPNG (a library for manipulating PNG images), and TCPflow (a program for displaying data sent through TCP connections). In each of these applications, DARWIN was able to localize bugs with high accuracy. Even though these applications contain several thousands of lines of code, DARWIN could usually narrow down the potential root cause(s) to less than ten lines. In addition, we find that the inputs synthesized by DARWIN provide additional value by revealing other undiscovered errors. © 2012 ACM.
Source Title: ACM Transactions on Software Engineering and Methodology
URI: http://scholarbank.nus.edu.sg/handle/10635/39014
ISSN: 1049331X
DOI: 10.1145/2211616.2211622
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

19
checked on Dec 19, 2017

WEB OF SCIENCETM
Citations

2
checked on Nov 22, 2017

Page view(s)

75
checked on Dec 18, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.