612 search results - page 70 / 123 » Using Static Analysis to Improve Automatic Test Generation |
113
click to vote
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
DGO
2003
15 years 1 months ago
2003
Shoreline mapping and shoreline change detection are critical in many coastal zone applications. This paper presents results of the semi-automatic mapping of a coastal area of Lak...
TAP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
LREC
2008
15 years 1 months ago
2008
The aim of this paper is to present the design of a multimodal database suitable for research on new possibilities for automatic diagnosis of patients with severe obstructive slee...
121
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...