4719 search results - page 533 / 944 » Newtonian program analysis |
192
click to vote
ICPP
2005
IEEE
16 years 15 days ago
2005
IEEE
Empirical performance evaluation of parallel systems and applications can generate significant amounts of performance data and analysis results from multiple experiments as perfo...
191
click to vote
ISSRE
2005
IEEE
16 years 14 days ago
2005
IEEE
Code prioritization for testing promises to achieve the maximum testing coverage with the least cost. This paper presents an innovative method to provide hints on which part of co...
175
click to vote
ISSRE
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
203
click to vote
WORM
2003
15 years 8 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
176
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...