7 search results - page 2 / 2 » LOCKSMITH: context-sensitive correlation analysis for race d... |
SOSP
2007
ACM
14 years 1 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...
ICPPW
2002
IEEE
13 years 9 months ago
2002
IEEE
Incidents such as Solar Sunrise and Nimda demonstrate the need to expressively model distributed and complex network attacks. To protect information systems, system administrators...