86 search results - page 4 / 18 » Automatic generation of suggestions for program investigatio... |
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
AAIM
2006
Springer
14 years 9 days ago
2006
Springer
We investigate LP-polytopes generated by mean payoff games and their properties, including the existence of tight feasible solutions of bounded size. We suggest a new associated al...
WAC
2005
Springer
14 years 2 months ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
ITS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Faded examples have been investigated in pedagogical psychology. The experiments suggest that a learner can benefit from faded examples. For these experiments a few exam...
KBSE
1998
IEEE
14 years 24 days ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...