{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T14:50:32Z","timestamp":1774277432520,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,8,1]],"date-time":"2015-08-01T00:00:00Z","timestamp":1438387200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s10836-015-5540-6","type":"journal-article","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T02:31:45Z","timestamp":1443061905000},"page":"361-380","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Automated Functional Test Generation for Digital Systems Through a Compact Binary Differential Evolution Algorithm"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1968-0785","authenticated-orcid":false,"given":"Alfonso Martinez","family":"Cruz","sequence":"first","affiliation":[]},{"given":"Ricardo Barr\u00f3n","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[]},{"given":"Her\u00f3n Molina","family":"Lozano","sequence":"additional","affiliation":[]},{"given":"Marco Antonio","family":"Ram\u00edrez Salinas","sequence":"additional","affiliation":[]},{"given":"Luis Alfonso","family":"Villa Vargas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,24]]},"reference":[{"issue":"4","key":"5540_CR1","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TEVC.2003.814633","volume":"7","author":"CW Ahn","year":"2003","unstructured":"Ahn CW, Ramakrishna RS (2003) Elitism-based compact genetic algorithms. IEEE Trans Evol Comput 7(4):367\u2013385","journal-title":"IEEE Trans Evol Comput"},{"key":"5540_CR2","unstructured":"Amer S, Ali H, Sofiene T, Nawwaf K (2006) Automated coverage directed test generation using a cell-based genetic algorithm. In: Proc. IEEE high-level design validation and test workshop, pp 19\u201326"},{"key":"5540_CR3","unstructured":"Armin B (2001) Verifying sequential behavior with model checking. In: Proc. IEEE international ASIC conference, pp 29\u201332"},{"key":"5540_CR4","doi-asserted-by":"crossref","unstructured":"Bayazit AA, Sharad M (2005) Complementary use of runtime validation and model checking. In: Proc. International Conf. Computer-Aided Design (ICCAD-2005), pp 1049\u20131056","DOI":"10.1109\/ICCAD.2005.1560217"},{"key":"5540_CR5","first-page":"442","volume":"2","author":"M Bose","year":"2001","unstructured":"Bose M, Shin J, Rudnick EM, Dukes T, Abadir M (2001) A genetic approach to automatic bias generation for biased random instruction generation. Evol Comput 2:442\u2013448","journal-title":"Evol Comput"},{"key":"5540_CR6","unstructured":"Changshou D, Zhao B, Yang Y, Peng H, Wei Q (2011) Novel binary encoding differential evolution algorithm. In: Proc. 2nd international conference: on swarm intelligence, advances in Swarm Intelligence (Springer), pp 416\u2013423"},{"key":"5540_CR7","unstructured":"Chen M, Mishra P (2011) Decision ordering based property decomposition for functional test generation. In: Proc. IEEE Design, Automation & Test in Europe (DATE), pp 1\u20136"},{"key":"5540_CR8","doi-asserted-by":"crossref","unstructured":"Chen W, Wang LC, Bhadra J, Abadir M (2013) Simulation knowledge extraction and reuse in constrained random processor verification. In: Proc. 50th Des Autom Conf (DAC), pp 1\u20136","DOI":"10.1145\/2463209.2488881"},{"issue":"4\/5","key":"5540_CR9","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s10009-004-0175-4","volume":"8","author":"H Chockler","year":"2006","unstructured":"Chockler H, Kupferman O, Moshe V (2006) Coverage metrics for formal verification. Int J Softw Tools Technol Transfer 8(4\/5):373\u2013386","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"5540_CR10","doi-asserted-by":"crossref","unstructured":"Corno F, Reorda M, Squillero G, Manzone A, Pincetti A (2000) Automatic test bench generation for validation of RTL-level descriptions: an industrial experience. In: Proc. IEEE Conference on Design, Automation and Test in Europe (DATE), pp 385\u2013389","DOI":"10.1145\/343647.343802"},{"key":"5540_CR11","doi-asserted-by":"crossref","unstructured":"Cruz AM, Fernandez RB, Lozano HM (2013) Automated functional coverage for a digital system based on a binary differential evolution algorithm. In: Proc. IEEE congress on computational intelligence & 11th Brazilian Congress on Computational Intelligence, pp 92\u201397","DOI":"10.1109\/BRICS-CCI-CBIC.2013.26"},{"issue":"1","key":"5540_CR12","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/TEVC.2010.2059031","volume":"15","author":"S Das","year":"2011","unstructured":"Das S, Suganthan PN (2011) Differential evolution: A survey of the state-of-the-art. IEEE Trans on Evol Comput 15(1):4\u201331","journal-title":"IEEE Trans on Evol Comput"},{"issue":"4","key":"5540_CR13","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/TC.2007.1012","volume":"56","author":"A Fedeli","year":"2007","unstructured":"Fedeli A, Fummi F, Pravadelli G (2007) Properties incompleteness evaluation by functional verification. IEEE Trans Comput 56(4):528\u2013544","journal-title":"IEEE Trans Comput"},{"issue":"5","key":"5540_CR14","first-page":"286","volume":"15","author":"S Fine","year":"2003","unstructured":"Fine S, Avi Z (2003) Coverage directed test generation for functional verification using bayesian networks. Proc. Des Autom Conf 15(5):286\u2013291","journal-title":"Proc. Des Autom Conf"},{"key":"5540_CR15","doi-asserted-by":"crossref","unstructured":"Gent K, Hsiao MS (2013) Functional test generation at the RTL using swarm intelligence and bounded model checking. In: Proc. 22nd Asian test symposium, pp 233\u2013238","DOI":"10.1109\/ATS.2013.51"},{"issue":"7","key":"5540_CR16","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/TCAD.2008.925790","volume":"27","author":"U Kuhne","year":"2008","unstructured":"Grosse D, Kuhne U, Drechsler R (2008) Analyzing functional coverage in bounded model checking. IEEE Trans Comput Aided Des Integr Circuits Systs 27(7):1305\u20131314","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Systs"},{"issue":"4","key":"5540_CR17","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/4235.797971","volume":"3","author":"GR Harik","year":"1999","unstructured":"Harik GR, Lobo FG, Goldberg DE (1999) The compact genetic algorithm. IEEE Trans Evolutionary Computation 3(4): 287\u2013297","journal-title":"IEEE Trans Evolutionary Computation"},{"key":"5540_CR18","unstructured":"He X, Han L (2007) A novel binary differential evolution algorithm based on artificial immune system. In: Proc. IEEE Congress on Evolutionary Computation, pp 2267\u20132272"},{"issue":"6","key":"5540_CR19","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1109\/TCAD.2013.2241176","volume":"32","author":"S Hertz","year":"2013","unstructured":"Hertz S, Sheridan D, Vasudevan S (2013) Mining hardware assertions with guidance from static analysis. IEEE Trans Comput Aided Des Integr Circuits Syst 32(6):952\u2013965","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"5540_CR20","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Nicollin X, Sifakis J, Yovine S (1992) Symbolic model checking for real-time systems. In: Proc. 7th Annual IEEE Symp Logic in Comput Sci, pp 394\u2013406","DOI":"10.1109\/LICS.1992.185551"},{"key":"5540_CR21","doi-asserted-by":"crossref","unstructured":"Hocine R, Kalla H, Kalla S, Arar C (2012) A methodology for verification of embedded systems based on systemc. In: Proc. IEEE International conference on Complex Systems (ICCS), pp 1\u20136","DOI":"10.1109\/ICoCS.2012.6458557"},{"key":"5540_CR22","doi-asserted-by":"crossref","unstructured":"Jain J, Narayan A, F\u00fajita M, Sangiovanni-Vincentelli A (1997) A survey of techniques for formal verification of combinational circuits. In: Proc. IEEE International Conf Computer Design, pp 445\u2013454","DOI":"10.1109\/ICCD.1997.628907"},{"key":"5540_CR23","doi-asserted-by":"crossref","unstructured":"Jerinic V, Langer J, Heinkel U, Muller D (2006) New methods and coverage metrics for functional verification. In: Proc. IEEE Design, Automation and Test in Europe (DATE), pp 1\u20136","DOI":"10.1109\/DATE.2006.243901"},{"key":"5540_CR24","doi-asserted-by":"crossref","unstructured":"Kang J, Seth SC, Chang Y-S, Gangaram V (2008) Efficient selection of observation points for functional tests. In: Proc. IEEE 9th international symposium on quality electronic design, pp 236\u2013 241","DOI":"10.1109\/ISQED.2008.4479732"},{"key":"5540_CR25","doi-asserted-by":"crossref","unstructured":"Kumar JA, Vasudevan S (2012) Verifying dynamic power management schemes using statistical model checking. In: Proc. IEEE Design Automation Conference, pp 574\u2013584","DOI":"10.1109\/ASPDAC.2012.6165023"},{"key":"5540_CR26","doi-asserted-by":"crossref","unstructured":"Lachish O, Marcus E, Ur S, Ziv A (2002) Hole Analysis for functional coverage data. In: Proc. 39th Design Automation Conference, pp 807\u2013812","DOI":"10.1109\/DAC.2002.1012733"},{"key":"5540_CR27","doi-asserted-by":"crossref","unstructured":"Lefticaru R, Ipate F, Tudose C (2009) Automated model design using genetic algorithms and model checking. In: Proc. IEEE Fourth Balkan Conference in Informatics, pp 79\u201384","DOI":"10.1109\/BCI.2009.15"},{"key":"5540_CR28","doi-asserted-by":"crossref","unstructured":"Li M, Hsiao MS (2009) An ant colony optimization technique for abstraction-guided state justification. In: Proc. IEEE International Test Conf., pp 1\u201310","DOI":"10.1109\/TEST.2009.5355676"},{"issue":"1","key":"5540_CR29","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/TEVC.2010.2058120","volume":"15","author":"E Mininno","year":"2010","unstructured":"Mininno E, Neri F, Cupertino F, Naso D (2010) Compact differential evolution. IEEE Trans Evol Comput 15(1):32\u201354","journal-title":"IEEE Trans Evol Comput"},{"issue":"2","key":"5540_CR30","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/MCI.2010.936305","volume":"5","author":"F Neri","year":"2010","unstructured":"Neri F, Mininno E (2010) Memetic compact differential evolution for cartesian robot control. IEEE Comput Intell Mag 5 (2):54\u201365","journal-title":"IEEE Comput Intell Mag"},{"key":"5540_CR31","doi-asserted-by":"crossref","unstructured":"Oh Y-J, Song G-Y (2011) Simple hardware verification platform using SystemVerilog. In: Proc. IEEE Region 10 Conf., pp 1414\u20131417","DOI":"10.1109\/TENCON.2011.6129042"},{"key":"5540_CR32","doi-asserted-by":"crossref","unstructured":"Onwubolu GC, Davendra D (2009) Differential evolution: A handbook for global permutation-based combinatorial optimization. Studies in Computational Intelligence, vol 175, pp 1\u2013226","DOI":"10.1007\/978-3-540-92151-6_1"},{"key":"5540_CR33","doi-asserted-by":"crossref","unstructured":"Pampar\u00e1 G, Engelbrecht AP, Franken N (2006) Binary differential evolution algorithm. In: Proc. IEEE congress on Evolutionary computation, pp 1873\u20131879","DOI":"10.1109\/CEC.2006.1688535"},{"key":"5540_CR34","volume-title":"Functional verification coverage measurement and analysis. First edition","author":"A Piziali","year":"2008","unstructured":"Piziali A (2008) Functional verification coverage measurement and analysis. First edition. Springer, New York"},{"key":"5540_CR35","doi-asserted-by":"crossref","unstructured":"Qin X, Mishra P (2011) Efficient directed test generation for validation of multicore architectures. In: Proc. 12th International Symp Qual Electron Des, pp 1\u20138","DOI":"10.1109\/ISQED.2011.5770737"},{"key":"5540_CR36","doi-asserted-by":"crossref","unstructured":"Rancea I, Sgarciu V (2008) Functional verification of digital circuits using a software system. In: IEEE international conference on Automation, quality and testing, Robotics (AQTR), pp 152\u2013157. AQTR:152\u2013157","DOI":"10.1109\/AQTR.2008.4588725"},{"issue":"4-5","key":"5540_CR37","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1016\/j.micpro.2012.11.004","volume":"37","author":"J Raik","year":"2013","unstructured":"Raik J, Repinski U, Chepurov A, Hantson H, Ubar R, Jenihhin M (2013) Automated design error debug using high-level decision diagrams and mutation operators. Microprocess Microsyst 37 (4-5):505\u2013513","journal-title":"Microprocess Microsyst"},{"issue":"2","key":"5540_CR38","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s10836-013-5372-1","volume":"29","author":"EL Romero","year":"2013","unstructured":"Romero EL, Strum M, Chau WJ (2013) Manipulation of training sets for improving data mining coverage driven verification. Journal of Electronic Testing, Theory and Applications (JETTA) 29(2):223\u2013236","journal-title":"Journal of Electronic Testing, Theory and Applications (JETTA)"},{"key":"5540_CR39","doi-asserted-by":"crossref","unstructured":"Shen H, Wei W, Chen Y, Chen B, Guo Q (2008) Coverage directed test generation godson experience. In: Proc. 17th Asian Test Symp, pp 321\u2013326","DOI":"10.1109\/ATS.2008.42"},{"key":"5540_CR40","doi-asserted-by":"crossref","unstructured":"Serrstou Y, Beroulle V, Robach C (2007) Functional verification of RTL designs driven by mutation testing metrics. In: Proc. 10th Euromicro Conf Digit Syst Des Archit, Methods and Tools, pp 222\u2013227","DOI":"10.1109\/DSD.2007.4341472"},{"key":"5540_CR41","doi-asserted-by":"crossref","unstructured":"Storn R, Price K (1997) Differential evolution - A simple and efficient adaptive scheme for global optimization over continuous spaces. J Glob Optim 11(4):341\u2013359","DOI":"10.1023\/A:1008202821328"},{"key":"5540_CR42","doi-asserted-by":"crossref","unstructured":"Storn R, Price K (1996) Minimizing the real functions of the ICEC\u201996 contest by differential evolution. In: Proc. IEEE International Conf Evolutionary computation, pp 842\u2013844","DOI":"10.1109\/ICEC.1996.542711"},{"issue":"4","key":"5540_CR43","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/54.936247","volume":"18","author":"S Tasiran","year":"2001","unstructured":"Tasiran S, Keutzer K (2001) Coverage metrics for functional validation of hardware designs. IEEE Des Test Comput 18(4):36\u201345","journal-title":"IEEE Des Test Comput"},{"key":"5540_CR44","doi-asserted-by":"crossref","unstructured":"Vado P, Savaria Y, Zoccarato Y, Robach C (2000) A methodology for validating digital circuits with mutation testing. In: Proc. international symposium on circuits and systems, vol 1, pp 343\u2013346","DOI":"10.1109\/ISCAS.2000.857100"},{"key":"5540_CR45","doi-asserted-by":"crossref","unstructured":"Vasudevan S, Sheridan D, Patel S, Tcheng D, Tuohy B, Daniel J (2010) GoldMine: automatic assertion generation using data mining and static analysis. In: Proc. IEEE Design, Automation & Test in Europe Conference & Exhibition (DATE), pp 1530\u20131591","DOI":"10.1109\/DATE.2010.5457129"},{"key":"5540_CR46","doi-asserted-by":"crossref","unstructured":"Vasudevan S, Sheridan D, Patel S, Tcheng D, Tuohy B, Johnson D (2010) GoldMine: automatic assertion generation using data mining and static analysis. In: Proc. Design, Automation and Test in Europe Conf, pp 626\u2013629","DOI":"10.1109\/DATE.2010.5457129"},{"issue":"4","key":"5540_CR47","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TCAD.1983.1270039","volume":"2","author":"MP Vecchi","year":"1983","unstructured":"Vecchi MP, Kirkpatrick S (1983) Global wiring by simulated annealing. IEEE Trans Comput Aided Des Integr Circuits Syst 2(4):215\u2013222","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"issue":"6","key":"5540_CR48","doi-asserted-by":"crossref","first-page":"1126","DOI":"10.1109\/TCAD.2006.884494","volume":"26","author":"I Wagner","year":"2007","unstructured":"Wagner I, Bertacco V, Austin T (2007) Microprocessor verification via feedback-adjusted Markov models. Comput Aided Des Integr Circuits Syst 26(6):1126\u20131138","journal-title":"Comput Aided Des Integr Circuits Syst"},{"key":"5540_CR49","doi-asserted-by":"crossref","unstructured":"Wallack JR, Dandapani R (1994) Coverage metrics for functional tests. In: Proc. 12th IEEE VLSI Test Symp, pp 176\u2013181","DOI":"10.1109\/VTEST.1994.292317"},{"key":"5540_CR50","doi-asserted-by":"crossref","unstructured":"Xie T, Mueller W, Letombe F (2012) Mutation-analysis driven functional verification of a soft microprocessor. In: Proc. IEEE International SOC Conference (SOCC), pp 283\u2013288","DOI":"10.1109\/SOCC.2012.6398362"},{"key":"5540_CR51","unstructured":"Yu X, Fin A, Fummi F, Rudnick EM (2002) A genetic testing framework for digital integrated circuits. In: Proc. 14th IEEE International Conf on Tools with Artificial Intelligence, (ICTAI), pp 521\u2013526"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-015-5540-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-015-5540-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-015-5540-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T05:34:34Z","timestamp":1653197674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-015-5540-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":51,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["5540"],"URL":"https:\/\/doi.org\/10.1007\/s10836-015-5540-6","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8]]}}}