3424 search results - page 564 / 685 » Automated Testing of Classes |
154
Voted
ISDA
2008
IEEE
15 years 9 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...
100
click to vote
KBSE
2008
IEEE
15 years 9 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...
114
Voted
ACSAC
2007
IEEE
15 years 8 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...
95
Voted
ACSAC
2007
IEEE
15 years 8 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...
113
Voted
CEC
2007
IEEE
15 years 8 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...