76 search results - page 3 / 16 » Automatic Bug Detection in Microcontroller Software by Stati... |
IJCAI
2007
13 years 8 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
SOSP
2007
ACM
14 years 3 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...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...