2673 search results - page 271 / 535 » Guided Static Analysis |
202
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
153
click to vote
FUIN
2010
15 years 5 months ago
2010
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
208
click to vote
SMI
2010
IEEE
15 years 4 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
197
click to vote
USS
2010
15 years 4 months ago
2010
The browser has become the de facto platform for everyday computation. Among the many potential attacks that target or exploit browsers, vulnerabilities in browser extensions have...
276
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...