962 search results - page 51 / 193 » Input validation analysis and testing |
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
TSP
2008
13 years 9 months ago
2008
In a recent paper we introduced a modification of the adaptive beamformer orthogonal rejection test (ABORT) for adaptive detection of signals in unknown noise, by supposing under t...
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
CCS
2011
ACM
12 years 9 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
JLP
2010
13 years 3 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...