2191 search results - page 350 / 439 » Evolutionary testing of classes |
110
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...
123
click to vote
ACSAC
2007
IEEE
15 years 9 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...
101
Voted
ACSAC
2007
IEEE
15 years 9 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...
120
Voted
CEC
2007
IEEE
15 years 9 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...
102
Voted
CIBCB
2007
IEEE
15 years 9 months ago
2007
IEEE
—Many dynamical processes can be represented as directed attributed graphs or Petri nets where relationships between various entities are explicitly expressed. Signaling networks...