2947 search results - page 150 / 590 » Analyzing Program Analyses |
147
click to vote
KBSE
2008
IEEE
16 years 16 days ago
2008
IEEE
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
160
Voted
WISA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Reverse engineering of executable programs, by disassembling them and then using program analyses to recover high level semantic information, plays an important role in a...
174
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
170
click to vote
PADO
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
164
click to vote
JAVA
1999
Springer
15 years 10 months ago
1999
Springer
Understanding the performance behaviour of Java Virtual Machines is important to Java systems developers and to applications developers. We review a range of Java benchmark progra...