{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:40:05Z","timestamp":1749206405636,"version":"3.41.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Electronic Testing"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1023\/a:1020844805564","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T20:57:25Z","timestamp":1048021045000},"page":"583-594","source":"Crossref","is-referenced-by-count":7,"title":["Fast Anti-Random (FAR) Test Generation to Improve the Quality of Behavioral Model Verification"],"prefix":"10.1007","volume":"18","author":[{"given":"Tom","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Bai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amjad","family":"Hajjar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anneliese K. Amschler","family":"Andrews","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Anderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5100331_CR1","doi-asserted-by":"crossref","unstructured":"T.J. Bai, T. Cottrell, D.-Y. Hao, T. Te, and R.J. Brozka, \u201cMulti-Dimensional Sphere Model and Instantaneous Vegetation Trend Analysis,\u201d Ecological Modeling, vol. 97, no. 1\/2, pp. 75\u201386.","DOI":"10.1016\/S0304-3800(96)00075-0"},{"key":"5100331_CR2","doi-asserted-by":"crossref","unstructured":"F. Fallah, S. Devadas, and K. Keutzer, \u201cOCCOM: Efficient Computation of Observability-based Metrics for Functional Verification,\u201d in Proc. 35th Design Automation Conference, 1998, pp. 152\u2013157.","DOI":"10.1145\/277044.277078"},{"key":"5100331_CR3","doi-asserted-by":"crossref","unstructured":"R. Hamlet and R. Taylor, \u201cPartition Testing does not Inspire Confidence,\u201d IEEE Transactions on Software Engineering SE-16, vol. 12, pp. 1402\u20131411, December 1990.","DOI":"10.1109\/32.62448"},{"key":"5100331_CR4","doi-asserted-by":"crossref","unstructured":"W. Howden, \u201cSystems Testing and Statistical Test Data Coverage,\u201d in Proc. COMPSAC '97, Washington, DC, 1997, pp. 500\u2013504.","DOI":"10.1109\/CMPSAC.1997.625058"},{"issue":"8","key":"5100331_CR5","doi-asserted-by":"crossref","first-page":"1020","DOI":"10.1109\/43.511581","volume":"15","author":"R. Kapur","year":"1996","unstructured":"R. Kapur, S. Patil, T. Snethen, and T.W. Williams, \u201cA Weighted Random Pattern Test Generation System,\u201d IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 15, no. 8, pp. 1020\u20131025, August 1996.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"5100331_CR6","volume-title":"Linear Algebra with Applications","author":"S.J. Leon","year":"1994","unstructured":"S.J. Leon, Linear Algebra with Applications, 4th ed.,New Jersey: Prentice Hall, Inc., 1994.","edition":"4th ed"},{"key":"5100331_CR7","unstructured":"Y.K. Malaiya, \u201cAnti-random Testing: Getting the Most out of Black-Box Testing,\u201d in Proc. ISSRE'95, Toulouse, 1995, pp. 86\u201395."},{"key":"5100331_CR8","doi-asserted-by":"crossref","unstructured":"P.A. Thaker, V.D. Agrawal, and M.E. Zaghloul, \u201cValidationVector Grade (VVG): A New Coverage Metric for Validation and Test,\u201d in Proc. 17th IEEE VLSI Test Symp., 1999, pp. 182\u2013188.","DOI":"10.1109\/VTEST.1999.766663"},{"key":"5100331_CR9","doi-asserted-by":"crossref","unstructured":"M.Z. Tsoulakos, J.W. Duran, and S.-C. Ntafos, \u201cOn Some Reliability Estimation Problems in Random and Partition Testing,\u201d IEEE Transactions on Software Engineering SE-19, vol. 7, pp. 687\u2013697, July 1993.","DOI":"10.1109\/32.238569"},{"key":"5100331_CR10","unstructured":"A. von Mayrhauser, T. Chen, et al., \u201cOn Choosing Test Criteria for Behavioral Level Hardware Design Verification,\u201d in Proc. HLDVT'2000, Bekerley, CA, November 2000."},{"key":"5100331_CR11","doi-asserted-by":"crossref","unstructured":"H. Yin, Z. Lebnedengel, and Y.K. Malaiya, \u201cAutomaticTest Generation using Checkpoint Encoding and Anti-random Testing,\u201d in Proc. ISSRE'97, Albuquerque, NM, 1997, pp. 84\u201395.","DOI":"10.1109\/ISSRE.1997.630850"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020844805564.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020844805564\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020844805564.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:12:00Z","timestamp":1749204720000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020844805564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["5100331"],"URL":"https:\/\/doi.org\/10.1023\/a:1020844805564","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}