{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,12]],"date-time":"2025-04-12T22:37:49Z","timestamp":1744497469136,"version":"3.37.3"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,5,16]],"date-time":"2010-05-16T00:00:00Z","timestamp":1273968000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s10009-010-0160-z","type":"journal-article","created":{"date-parts":[[2010,5,15]],"date-time":"2010-05-15T00:16:08Z","timestamp":1273882568000},"page":"247-261","source":"Crossref","is-referenced-by-count":8,"title":["Automatic boosting of cross-product coverage using Bayesian networks"],"prefix":"10.1007","volume":"13","author":[{"given":"Dorit","family":"Baras","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shai","family":"Fine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Fournier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Geiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avi","family":"Ziv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,5,16]]},"reference":[{"key":"160_CR1","volume-title":"Comprehensive Functional Verification: The Complete Industry Cycle","author":"B. Wile","year":"2005","unstructured":"Wile B., Goss J.C., Roesner W.: Comprehensive Functional Verification: The Complete Industry Cycle. Elsevier, Amsterdam (2005)"},{"key":"160_CR2","volume-title":"Functional Verification Coverage Measurement and Analysis","author":"A. Piziali","year":"2004","unstructured":"Piziali A.: Functional Verification Coverage Measurement and Analysis. Springer, Berlin (2004)"},{"key":"160_CR3","doi-asserted-by":"crossref","unstructured":"Fine, S., Ziv, A.: Coverage directed test generation for functional verification using Bayesian networks. In: Proceedings of the 40th Design Automation Conference, pp. 286\u2013291 (2003)","DOI":"10.1145\/775905.775907"},{"key":"160_CR4","doi-asserted-by":"crossref","unstructured":"Fournier, L., Ziv, A.: Using virtual coverage to hit hard-to-reach events. In: Proceedings of the 3rd Haifa Verification Conference, pp. 104\u2013119 (2007)","DOI":"10.1007\/978-3-540-77966-7_11"},{"issue":"6","key":"160_CR5","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.: Microprocessor verification via feedback-adjusted Markov models. IEEE Trans. Computer-Aided Des. Integrated Circuits Syst 26(6), 1126\u20131138 (2007)","journal-title":"IEEE Trans. Computer-Aided Des. Integrated Circuits Syst"},{"key":"160_CR6","doi-asserted-by":"crossref","unstructured":"Bose, M., Shin, J., Rudnick, E.M., Dukes, T., Abadir, M.: A genetic approach to automatic bias generation for biased random instruction generation. In: Proceedings of the 2001 Congress on Evolutionary Computation CEC2001, pp. 442\u2013448 (2001)","DOI":"10.1109\/CEC.2001.934425"},{"key":"160_CR7","doi-asserted-by":"crossref","unstructured":"Hsiou-Wen, H., Eder, K.: Test directive generation for functional coverage closure using inductive logic programming. In: Proceedings of the High-Level Design Validation and Test Workshop, pp. 11\u201318 (2006)","DOI":"10.1109\/HLDVT.2006.320005"},{"key":"160_CR8","volume-title":"Probabilistic Reasoning in Intelligent Systems: Network of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl J.: Probabilistic Reasoning in Intelligent Systems: Network of Plausible Inference. Morgan Kaufmann, San Francisco (1988)"},{"key":"160_CR9","doi-asserted-by":"crossref","unstructured":"Fine, S., Ziv, A.: Enhancing the control and efficiency of the covering process. In: Proceedings of the High-Level Design Validation and Test Workshop, pp. 96\u2013101 (2003)","DOI":"10.1109\/HLDVT.2003.1252481"},{"issue":"11","key":"160_CR10","doi-asserted-by":"crossref","first-page":"1344","DOI":"10.1109\/TC.2006.183","volume":"55","author":"S. Fine","year":"2006","unstructured":"Fine S., Freund A., Jaeger I., Mansour Y., Naveh Y., Ziv A.: Harnessing machine learning to improve the success rate of stimuli generation. IEEE Trans. Comput. 55(11), 1344\u20131355 (2006)","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"160_CR11","first-page":"309","volume":"9","author":"G.F. Cooper","year":"1992","unstructured":"Cooper G.F., Herskovits E.: A Bayesian method for the induction of probabilistic networks from data. J. Mach. Learning 9(4), 309\u2013347 (1992)","journal-title":"J. Mach. Learning"},{"issue":"1\u20132","key":"160_CR12","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1023\/A:1020206129842","volume":"50","author":"K.B. Laskey","year":"2003","unstructured":"Laskey K.B., Myers J.W.: Population markov chain Monte Carlo. J. Mach. Learning 50(1\u20132), 175\u2013196 (2003)","journal-title":"J. Mach. Learning"},{"key":"160_CR13","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1162\/153244303321897717","volume":"3","author":"D. Chickering","year":"2002","unstructured":"Chickering D.: Optimal structure identification with greedy search. J. Mach. Learning Res. 3, 507\u2013554 (2002)","journal-title":"J. Mach. Learning Res."},{"key":"160_CR14","unstructured":"Friedman., N.: The Bayesian structural EM algorithm. In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence, pp. 129\u2013138 (1998)"},{"key":"160_CR15","doi-asserted-by":"crossref","unstructured":"Ur, S., Yadin, Y.: Micro-architecture coverage directed generation of test programs. In: Proceedings of the 36th Design Automation Conference, pp. 175\u2013180 (1999)","DOI":"10.1145\/309847.309909"},{"key":"160_CR16","volume-title":"Probabilistic Networks and Expert Systems","author":"R.G. Cowell","year":"1999","unstructured":"Cowell R.G., Dawid A.P., Lauritzen S.L., Spiegelhalter D.J.: Probabilistic Networks and Expert Systems. Springer, Berlin (1999)"},{"key":"160_CR17","volume-title":"A tutorial on learning with Bayesian networks, Technical report, Microsoft Research","author":"D. Heckerman","year":"1996","unstructured":"Heckerman D.: A tutorial on learning with Bayesian networks, Technical report, Microsoft Research. Redmond, Washington (1996)"},{"key":"160_CR18","first-page":"1","volume":"6","author":"D. Rusakov","year":"2005","unstructured":"Rusakov D., Geiger D.: Asymptotic model selection for naive Bayesian networks. J. Mach. Learning Res. 6, 1\u201335 (2005)","journal-title":"J. Mach. Learning Res."},{"key":"160_CR19","unstructured":"http:\/\/en.wikipedia.org\/wiki\/IBM_z6"},{"key":"160_CR20","doi-asserted-by":"crossref","first-page":"1157","DOI":"10.1162\/153244303322753616","volume":"3","author":"I. Guyon","year":"2003","unstructured":"Guyon I., Elisseeff A.: An introduction to variable and feature selection. J. Mach. Learning Res. 3, 1157\u20131182 (2003)","journal-title":"J. Mach. Learning Res."},{"issue":"1-2","key":"160_CR21","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/S0004-3702(97)00043-X","volume":"97","author":"R. Kohavi","year":"1997","unstructured":"Kohavi R., John G.H.: Wrappers for feature subset selection. Artif. Intell. 97(1-2), 273\u2013324 (1997)","journal-title":"Artif. Intell."},{"key":"160_CR22","volume-title":"Principal Component Analysis. Springer Series in Statistics","author":"I.T. Jolliffe","year":"2002","unstructured":"Jolliffe I.T.: Principal Component Analysis. Springer Series in Statistics. Springer, Berlin (2002)"},{"key":"160_CR23","doi-asserted-by":"crossref","DOI":"10.1002\/0471200611","volume-title":"Elements of Information Theory","author":"T.M. Cover","year":"1991","unstructured":"Cover T.M., Thomas J.A.: Elements of Information Theory. Wiley, New York (1991)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0160-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-010-0160-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0160-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T21:58:18Z","timestamp":1740088698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-010-0160-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,16]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["160"],"URL":"https:\/\/doi.org\/10.1007\/s10009-010-0160-z","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2010,5,16]]}}}