{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:04:44Z","timestamp":1725462284090},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/date.2008.4484714","type":"proceedings-article","created":{"date-parts":[[2008,4,15]],"date-time":"2008-04-15T22:15:51Z","timestamp":1208297751000},"page":"402-407","source":"Crossref","is-referenced-by-count":7,"title":["Efficient Design Validation Based on Cultural Algorithms"],"prefix":"10.1109","author":[{"given":"Weixin","family":"Wu","sequence":"first","affiliation":[]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244050"},{"key":"2","first-page":"599","article-title":"validation with guided search of the state space","author":"yang","year":"1998","journal-title":"Proc Design Automation Conf"},{"key":"10","first-page":"213","article-title":"knowledge discovery in databases: an overview","author":"frawley","year":"1992","journal-title":"AI Magazine"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113767"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1997.582325"},{"journal-title":"Adaptation in Natural and Artificial Systems","year":"1975","author":"holland","key":"6"},{"key":"5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/1278480.1278498","article-title":"an effective guidance strategy for abstraction-guided simulation","author":"de paula","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147097"},{"key":"9","first-page":"1465","article-title":"algorithms for approximate fsm traversal based on state space decomposition","author":"cho","year":"1996","journal-title":"IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"8","article-title":"an introduction to cultural algorithms","author":"reynolds","year":"1994","journal-title":"Proc Conf on Evolutionary Programming"},{"key":"11","first-page":"307","article-title":"fast discovery of association rules","author":"agrawal","year":"1996","journal-title":"Advances in Knowledge Discovery and Data Mining"},{"journal-title":"Sun Microsystems PicoJava technology","year":"0","key":"12"}],"event":{"name":"2008 Design, Automation and Test in Europe","start":{"date-parts":[[2008,3,10]]},"location":"Munich, Germany","end":{"date-parts":[[2008,3,14]]}},"container-title":["2008 Design, Automation and Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4475437\/4484624\/04484714.pdf?arnumber=4484714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T06:55:52Z","timestamp":1497768952000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4484714\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/date.2008.4484714","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}