Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.entcs.2010.08.045
Title: Debugging as a science, that too, when your program is changing
Authors: Roychoudhury, A. 
Keywords: Software Debugging
Symbolic Execution
Issue Date: 2010
Citation: Roychoudhury, A. (2010). Debugging as a science, that too, when your program is changing. Electronic Notes in Theoretical Computer Science 266 (C) : 3-15. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2010.08.045
Abstract: Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with the developer painstakingly going through volumes of execution traces to locate the actual cause of an observable error. In this work, we discuss recent advances in debugging which makes it systematic scientific activity in its own right. We explore the delicate connections between debugging and formal methods (such as model checking) in the overall task of validating software. Moreover, since any deployed software undergoes changes in its lifetime, we need debugging methods which can take the software evolution into account. We show how symbolic execution and Satisfiability Modulo Theories (SMT) solvers can be gainfully employed to greatly automate software debugging of evolving programs. © 2010 Elsevier B.V.
Source Title: Electronic Notes in Theoretical Computer Science
URI: http://scholarbank.nus.edu.sg/handle/10635/41942
ISSN: 15710661
DOI: 10.1016/j.entcs.2010.08.045
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

1
checked on Aug 18, 2018

WEB OF SCIENCETM
Citations

1
checked on Jul 17, 2018

Page view(s)

43
checked on May 26, 2018

Google ScholarTM

Check

Altmetric


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