1023 search results - page 20 / 205 » A Formal Method for Program Slicing |
135
Voted
CAV
2004
Springer
15 years 11 months ago
2004
Springer
182
click to vote
WCRE
1995
IEEE
15 years 10 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
162
Voted
FPGA
2010
ACM
16 years 3 months ago
2010
ACM
Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...
132
Voted
FM
2009
Springer
16 years 28 days ago
2009
Springer
121
Voted
CAV
2007
Springer
16 years 16 days ago
2007
Springer