3424 search results - page 564 / 685 » Automated Testing of Classes |
166
click to vote
ISDA
2008
IEEE
15 years 10 months ago
2008
IEEE
Due to their excellent performance in solving combinatorial optimization problems, metaheuristics algorithms such as Genetic Algorithms (GA), Simulated Annealing (SA) and Tabu Sea...
119
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
131
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Detecting the presence of buffer overflow attacks in network messages has been a major focus. Only knowing whether a message contains an attack, however, is not always enough to m...
107
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
To combat the rapid infection rate of today’s Internet worms, signatures for novel worms must be generated soon after an outbreak. This is especially critical in the case of pol...
125
Voted
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— AIRS (Artificial Immune Recognition System) has shown itself to be a competitive classifier. It has also proved to be the most popular immune inspired classifier. However, rath...