1489 search results - page 13 / 298 » The First Bug Report |
128
Voted
LPNMR
2011
Springer
14 years 9 days ago
2011
Springer
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The public nature of discussion in open source projects provides a valuable resource for understanding the mechanisms of open source software development. In this paper we explore...
79
Voted
SOSP
2007
ACM
15 years 6 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...
ECLIPSE
2005
ACM
14 years 11 months ago
2005
ACM
Most open source software development projects include an open bug repository—one to which users of the software can gain full access—that is used to report and track problems...
NDSS
2000
IEEE
15 years 1 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...