Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/69978
Citations | ||
Scopus | Web of Science® | Altmetric |
---|---|---|
?
|
?
|
Type: | Journal article |
Title: | Markov modelling and parameterisation of genetic evolutionary test generations |
Author: | Cheng, A. Lim, C. |
Citation: | Journal of Global Optimization, 2011; 51(4):743-751 |
Publisher: | Kluwer Academic Publ |
Issue Date: | 2011 |
ISSN: | 0925-5001 1573-2916 |
Statement of Responsibility: | Adriel Cheng and Cheng-Chew Lim |
Abstract: | Genetic evolutionary algorithms are effective and optimal test generation methods. However, the methods to select the algorithm parameters are often ad hoc, relying on empirical data. We used a Markov-based method to model the genetic evolutionary test generation process, parameterise the process characteristics, and derive analytical solutions for selecting the optimisation parameters. The method eliminates preliminary test generation calibration and experimentation effort needed to select these parameters, which are used in current practice. |
Keywords: | Genetic algorithm Parameter selection Markov model Hardware design verification |
Rights: | © Springer Science+Business Media, LLC. 2011 |
DOI: | 10.1007/s10898-011-9682-5 |
Grant ID: | http://purl.org/au-research/grants/arc/LP0454838 |
Published version: | http://dx.doi.org/10.1007/s10898-011-9682-5 |
Appears in Collections: | Aurora harvest 5 Electrical and Electronic Engineering publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.