2947 search results - page 82 / 590 » Analyzing Program Analyses |
131
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: It is common for the results of a microarray study to be analyzed in the context of biologically-motivated groups of genes such as pathways or Gene Ontology categories...
113
click to vote
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
119
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
115
click to vote
PASTE
1998
ACM
15 years 6 months ago
1998
ACM
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...