{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:31:58Z","timestamp":1740720718331,"version":"3.38.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2010,11,6]],"date-time":"2010-11-06T00:00:00Z","timestamp":1289001600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s10836-010-5184-5","type":"journal-article","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T02:04:55Z","timestamp":1288922695000},"page":"689-697","source":"Crossref","is-referenced-by-count":8,"title":["A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes"],"prefix":"10.1007","volume":"26","author":[{"given":"Stefano","family":"Gandini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Ruzzarin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Sanchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Squillero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Tonda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,6]]},"reference":[{"key":"5184_CR1","doi-asserted-by":"crossref","unstructured":"Adrion WR, Branstad MA, Cherniavsky JC (1982) Validation, verification and testing of computer software. ACM Comput Surv (CSUR) 14(2)","DOI":"10.1145\/356876.356879"},{"key":"5184_CR2","doi-asserted-by":"crossref","unstructured":"Brause R, Langsdorf T, Hepp M (1999) Neural data mining for credit card fraud detection, ICTAI, pp 103, 11th IEEE International Conference on Tools with Artificial Intelligence","DOI":"10.1109\/TAI.1999.809773"},{"key":"5184_CR3","doi-asserted-by":"crossref","unstructured":"Cinque M, Cotroneo D, Kalbarczyk Z, Iyer RK (June, 2007) How do mobile phones fail? A failure data analysis of symbian OS smart phones. In: Dependable systems and networks, 2007. DSN \u201807. 37th Annual IEEE\/IFIP International Conference on, pp 585\u2013594","DOI":"10.1109\/DSN.2007.54"},{"key":"5184_CR4","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1109\/TEVC.2005.856207","volume":"9","author":"F Corno","year":"2005","unstructured":"Corno F, Sanchez E, Squillero G (2005) Evolving assembly programs: how games help microprocessor validation. IEEE Transactions on Evolutionary Computation, Special Issue on EC and Games 9:695\u2013706","journal-title":"IEEE Transactions on Evolutionary Computation, Special Issue on EC and Games"},{"key":"5184_CR5","unstructured":"Darwin C (1859) On the origin of species, Chapter IV"},{"issue":"7","key":"5184_CR6","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1109\/TCAD.2008.923410","volume":"27","author":"V D\u2019Silva","year":"2008","unstructured":"D\u2019Silva V, Kroening D, Weissenbacher G (2008) A survey of automated techniques for formal software verification. IEEE Trans Comput-Aided Des Integr Circuits Syst 27(7):1165\u20131178","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"5184_CR7","unstructured":"El-Far KI, Whittaker JA (1994) Model-based software testing, Encyclopedia of software engineering. John Wiley and Sons"},{"key":"5184_CR8","doi-asserted-by":"crossref","unstructured":"Flautner K, Patel DI (Sept. 2003) Intelligent energy management\u2122 for portable embedded systems, SOC Conference, 2003.Proceedings. IEEE International [Systems-on-Chip], pp 415","DOI":"10.1109\/SOC.2003.1241555"},{"key":"5184_CR9","doi-asserted-by":"crossref","unstructured":"Gandini S, Ravotto D, Ruzzarin W, Sanchez E, Squillero G, Tonda A (2009) Automatic detection of software defects: an industrial experience. In Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation (Montreal, Qu\u00e9bec, Canada, July 08\u201312, 2009). GECCO \u201809. ACM, New York, NY, pp 1921\u20131922","DOI":"10.1145\/1569901.1570238"},{"key":"5184_CR10","unstructured":"Gartner (2005) Forecast: mobile terminals, worldwide, 2000\u20132009"},{"key":"5184_CR11","unstructured":"Hamlet D (1994) Random testing, Encyclopedia of software engineering. John Wiley and Sons"},{"key":"5184_CR12","unstructured":"http:\/\/www.motorola.com"},{"key":"5184_CR13","unstructured":"Koza J (1992) Genetic programming: on the programming of computers by means of natural selection, Chapter 9, MIT Press"},{"key":"5184_CR14","unstructured":"Koza JR, Keane MA, Streeter MJ, Mydlowec W, Yu J, Lanza G (2003) Genetic programming IV: routine human-competitive machine intelligence, Springer. ISBN 1-4020-7446-8"},{"key":"5184_CR15","doi-asserted-by":"crossref","unstructured":"Krintz C, Ye Wen, Wolski R (Aug. 2004) Application-level prediction of battery dissipation, low power electronics and design, 2004. ISLPED \u201804. Proceedings of the 2004 International Symposium on, pp 224\u2013229","DOI":"10.1145\/1013235.1013292"},{"key":"5184_CR16","doi-asserted-by":"crossref","unstructured":"Lindsay W, Sanchez E, Sonza Reorda M, Squillero G. Automatic test programs generation driven by internal performance counters, MTV\u201804: 5th International Workshop on Microprocessor Test and Verification, pp 8\u201313","DOI":"10.1109\/MTV.2004.5"},{"issue":"12","key":"5184_CR17","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"CC Michael","year":"2001","unstructured":"Michael CC, McGraw G, Schatz MA (2001) Generating software test data by evolution. IEEE Trans Softw Eng 27(12):1085\u20131110","journal-title":"IEEE Trans Softw Eng"},{"key":"5184_CR18","doi-asserted-by":"crossref","unstructured":"Pacheco C, Lahiri SK, Ernst MD, Ball T (2007) Feedback-directed random test generation, Proceedings of the 29th international conference on Software Engineering, pp 75\u201384","DOI":"10.1109\/ICSE.2007.37"},{"key":"5184_CR19","unstructured":"Piziali A (2004) Functional verification coverage measurements and analysis. Kluwer Academic Publishers"},{"key":"5184_CR20","doi-asserted-by":"crossref","unstructured":"Ravotto D, Sanchez E, Schillaci M, Squillero G (March 26\u201328, 2008) An evolutionary methodology for test generation for DPeripheral cores via dynamic FSM extraction, 4th European Workshop on Bio-Inspired Heuristics for Design Automation (EvoHOT2008), Napoli, Italy, pp 214\u2013223","DOI":"10.1007\/978-3-540-78761-7_22"},{"key":"5184_CR21","doi-asserted-by":"crossref","unstructured":"Robion A, Sadarnac D, Lanzetta F, Marquet D, Rivera T (Sept.\u2013Oct. 2007) Breakthrough in energy generation for mobile or portable devices, Telecommunications Energy Conference, 2007. INTELEC 2007. 29th International, pp 460\u2013466","DOI":"10.1109\/INTLEC.2007.4448821"},{"issue":"10","key":"5184_CR22","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1109\/43.541447","volume":"15","author":"DG Saab","year":"1996","unstructured":"Saab DG, Saab Y, Abraham JA (1996) Automatic test vector cultivation for sequential VLSI circuits using genetic algorithms. IEEE Trans Comput-Aided Des Integr Circuits Syst 15(10):1278\u20131285","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"issue":"1","key":"5184_CR23","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s10766-005-0005-7","volume":"34","author":"E Sanchez","year":"2006","unstructured":"Sanchez E, Squillero G, Sonza Reorda M (2006) Efficient techniques for automatic verification-oriented test set optimization. Int J Parallel Program 34(1):93\u2013109, Ed. Springer Netherlands","journal-title":"Int J Parallel Program"},{"key":"5184_CR24","unstructured":"Sanchez E, Schillaci M, Squillero G (2010) Evolutionary optimization: the \u03bcGP toolkit, Approx. p 250, Hardcover ISBN: 978-0-387-09425-0"},{"key":"5184_CR25","unstructured":"SourceForge, host of ugp3, http:\/\/sourceforge.net\/projects\/ugp3\/"},{"issue":"3","key":"5184_CR26","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/s10710-005-2985-x","volume":"6","author":"G Squillero","year":"2005","unstructured":"Squillero G (2005) MicroGP - an evolutionary assembly program generator. Genet Program Evolvable Mach 6(3):247\u2013263","journal-title":"Genet Program Evolvable Mach"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-010-5184-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-010-5184-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-010-5184-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T16:14:15Z","timestamp":1740672855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-010-5184-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,6]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["5184"],"URL":"https:\/\/doi.org\/10.1007\/s10836-010-5184-5","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2010,11,6]]}}}