78 search results - page 16 / 16 » Inspecting Automated Test Code: A Preliminary Study |
SIAMCOMP
2010
13 years 3 months ago
2010
We propose a general model of local property reconstruction. Suppose we have a function f on domain Γ, which is supposed to have a particular property P, but may not have the pro...
SIGSOFT
2009
ACM
14 years 6 months ago
2009
ACM
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 ver...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...