9 search results - page 1 / 2 » Leveraging domain-expert knowledge in a genetic algorithm fo... |
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
107
Voted
IEEEVAST
2010
14 years 10 months ago
2010
Optimization problems are typically addressed by purely automatic approaches. For multi-objective problems, however, a single best solution often does not exist. In this case, it ...
164
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...
132
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
114
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...