231 search results - page 2 / 47 » Adaptive bug isolation |
OOPSLA
2010
Springer
13 years 4 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
VMCAI
2009
Springer
14 years 16 days ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
SIGMOD
2011
ACM
12 years 8 months ago
2011
ACM
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
PLDI
2003
ACM
13 years 11 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
AADEBUG
2005
Springer
13 years 11 months ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...