1489 search results - page 56 / 298 » The First Bug Report |
121
click to vote
MSR
2005
ACM
15 years 9 months ago
2005
ACM
Software continually changes due to performance improvements, new requirements, bug fixes, and adaptation to a changing operational environment. Common changes include modificatio...
121
Voted
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
129
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
124
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
127
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...