3547 search results - page 510 / 710 » Pseudo-Exhaustive Testing for Software |
176
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...
208
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
163
click to vote
ECOOP
2007
Springer
16 years 24 days ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
178
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
153
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...