692 search results - page 112 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
110
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
109
click to vote
VIROLOGY
2010
14 years 10 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
125
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
FMCO
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...