40 search results - page 4 / 8 » DSD-Crasher: a hybrid analysis tool for bug finding |
ESOP
2006
Springer
13 years 9 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
MSR
2006
ACM
13 years 11 months 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...
IANDC
2008
13 years 5 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
VL
2006
IEEE
13 years 11 months ago
2006
IEEE
There is little understanding of how people describe software problems, but a variety of tools solicit, manage, and analyze these descriptions in order to streamline software deve...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...