20 search results - page 3 / 4 » Lightweight Techniques for Tracking Unique Program Statement... |
IWPC
2009
IEEE
14 years 2 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
CASCON
2003
13 years 9 months ago
2003
Any attempt at automated software analysis or modification must be preceded by a comprehension step, i.e. parsing. This task, while often considered straightforward, can in fact ...
WSDM
2009
ACM
14 years 2 months ago
2009
ACM
With the overwhelming number of reports on similar events originating from different sources on the web, it is often hard, using existing web search paradigms, to find the origi...
CGO
2009
IEEE
14 years 2 months ago
2009
IEEE
Debugging programs at the source level is essential in the software development cycle. With the growing importance of dynamic optimization, there is a clear need for debugging sup...