Software Engineering White Papers
DARWIN: An Approach for Debugging Evolving Programs
Overview Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable version to a new, modified version. This paper proposes an automated approach for debugging evolving programs. Given two programs (a reference, stable program and a new, modified program) and an input that fails on the modified program, the approach uses concrete as well as symbolic execution to synthesize new inputs that differ marginally from the failing input in their control flow behavior. A comparison of the execution traces of the failing input and the new inputs provides critical clues to the root-cause of the failure.
| Publisher | Association for Computing Machinery | File Format | |
|---|---|---|---|
| Date Published | August 2009 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful?
White Paper RSSMarket-Leading Data-Modeling Tools: Research Report from the Burton Group
DownloadThe Burton Group provides an in-depth research report on Market-Leading Data-Modeling Tools. According to their research, basic data modeling tools have become commoditized - basic features are yesterday's...
TechRepublic Resource Guide: Software as a Service (SaaS) for Small and Midsize Businesses (SMBs)
Small and midsize businesses (SMBs) face the same challenges as larger companies when it comes to cutting costs and saving money in a difficult economy. Many are now turning...
Developing Something for Nothing with SQL Server
When looking for no-cost software development solutions, does "free" always mean "free?" Is the free solution scalable? What about support? How long will it be "in play?" Are there legal...
Software Self-Healing Using Collaborative Application Communities
Software monocultures are usually considered dangerous because their size and uniformity represent the potential for costly and widespread damage. The emerging concept of collaborative security provides the opportunity to re-examine...
Hosted Hosting: Should Service Providers Go Hosted?
No one can argue the fact that the IT industry, even in these troubled economic times, is continuously developing at astounding rates. This can be seen across all sectors of...
