1485 search results - page 190 / 297 » Whole Program Paths |
SP
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a new technique that enables software recovery in legacy applications by retrofitting exception-handling capabilities, error virtualization using rescue points. We int...
CC
2005
Springer
14 years 2 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...
PADS
1999
ACM
14 years 1 months ago
1999
ACM
We have developed a set of performance prediction tools which help to estimate the achievable speedups from parallelizing a sequential simulation. The tools focus on two important...
ISSTA
1998
ACM
14 years 1 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...