89 search results - page 5 / 18 » Where the bugs are |
MSR
2006
ACM
14 years 26 days ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
SIGOPS
2011
13 years 1 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
CHI
2008
ACM
13 years 9 months ago
2008
ACM
In recent years, the software engineering community has begun to study program navigation and tools to support it. Some of these navigation tools are very useful, but they lack a ...
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
Escaped errors in released silicon are growing in number due to the increasing complexity of modern processor designs and shrinking production schedules. Worsening the problem are ...