904 search results - page 81 / 181 » The State Problem for Evolutionary Testing |
ISSRE
2002
IEEE
15 years 3 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
DM
2006
14 years 10 months ago
2006
Within a large family of crossover designs this paper characterizes the mathematical structures of A-optimal and A-efficient crossover designs for the purpose of statistical compa...
RECOMB
2007
Springer
15 years 10 months ago
2007
Springer
It is often impossible to sequence all descendent genomes to reconstruct an ancestral genome. In addition, more genomes do not necessarily give a higher accuracy for the reconstruc...
AAAI
2011
13 years 10 months ago
2011
We consider a new class of planning problems involving a set of non-negative real variables, and a set of non-deterministic actions that increase or decrease the values of these v...
102
click to vote
GECCO
2003
Springer
15 years 3 months ago
2003
Springer
This paper discusses a new model of parallel evolutionary algorithms (EAs) called the specialized island model (SIM) that can be used to generate a set of diverse non-dominated sol...