197 search results - page 38 / 40 » Model-Checking Plus Testing: From Software Architecture Anal... |
177
Voted
POPL
2007
ACM
15 years 12 months ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
107
Voted
HPCA
2005
IEEE
16 years 1 days ago
2005
IEEE
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
95
Voted
PAM
2004
Springer
15 years 5 months ago
2004
Springer
Given that the global DNS system, especially at the higher root and top-levels, experiences significant query loads, we seek to answer the following questions: (1) How does the ch...
87
Voted
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...