4722 search results - page 412 / 945 » Encoding Program Executions |
181
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
168
click to vote
PLDI
1990
ACM
15 years 10 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
261
click to vote
PLDI
2005
ACM
16 years 4 days ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
203
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
202
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Profiling can effectively analyze program behavior and provide critical information for feedback-directed or dynamic optimizations. Based on memory profiling, reuse dista...