4167 search results - page 614 / 834 » Evolutionary functional testing |
181
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
144
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Coevolutionary algorithms search for test cases as part of the search process. The resulting adaptive evaluation function takes away the need to define a fixed evaluation function...
162
click to vote
ECAL
1995
Springer
15 years 10 months ago
1995
Springer
Although recently there has been an increasing interest in studing genetically-based development using Artificial Life models, the mapping of the genetic information into the phen...
155
click to vote
AAAI
2008
15 years 8 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
163
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Intelligent systems need to store their experience so that it can be reused. A memory for such systems needs to efficiently organize and search previous experience and to retriev...