40 search results - page 2 / 8 » DSD-Crasher: a hybrid analysis tool for bug finding |
SAC
2010
ACM
13 years 11 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
HOTOS
2007
IEEE
13 years 8 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
IJCAI
2007
13 years 6 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 ...
CCS
2009
ACM
13 years 11 months ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...