{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:40:04Z","timestamp":1749206404654,"version":"3.41.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"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":[[2000,2]]},"DOI":"10.1023\/a:1008396907842","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"83-90","source":"Crossref","is-referenced-by-count":0,"title":["Verification Simulation Acceleration Using Code-Perturbation"],"prefix":"10.1007","volume":"16","author":[{"given":"Byeong","family":"Min","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gwan","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"249831_CR1","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"SE-10","author":"J.W. Duran","year":"1984","unstructured":"J.W. Duran and S.C. Ntafos, \u201cAn Evaluation of Random Testing, \u201d IEEE Transactions on Software Engineering, Vol. SE-10, pp. 438\u2013444, July 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"249831_CR2","doi-asserted-by":"crossref","unstructured":"Li-C. Wang and M. Ray Mercer, \u201cA Better ATPG Algorithm and Its Design Principles, \u201d ICCD, 1996, pp. 248\u2013252.","DOI":"10.1109\/ICCD.1996.563564"},{"issue":"11","key":"249831_CR3","doi-asserted-by":"crossref","first-page":"1635","DOI":"10.1109\/43.248074","volume":"12","author":"D. Brand","year":"1993","unstructured":"D. Brand, \u201cExhaustive Simulation Need Not Require an Exponential Number of Tests, \u201d IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 12, No. 11, pp. 1635\u20131641, Nov. 1993.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"8","key":"249831_CR4","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1109\/32.536955","volume":"22","author":"G. Rothermel","year":"1996","unstructured":"G. Rothermel and M.J. Harrold, \u201cAnalyzing Regression Test Selection Techniques, \u201d IEEE Transactions on Software Engineering, Vol. 22, No. 8, pp. 529\u2013551, Aug. 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"249831_CR5","doi-asserted-by":"crossref","unstructured":"A. Evans, A. Silburt, G. Vrckovnik, T. Brown, M. Dufresne, G. Hall, Tung Ho, and Ying Liu, \u201cFunctional Verification of Large ASICs, \u201d Design Automation Conference, 1998, ACM, pp. 650\u2013655.","DOI":"10.1145\/277044.277210"},{"issue":"2","key":"249831_CR6","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1109\/92.386221","volume":"3","author":"R. Vemuri","year":"1995","unstructured":"R. Vemuri and R. Kalyanaraman, \u201cGeneration of Design Verification Tests from Behavioral VHDL Programs Using Path Enumeration and Constraint Programming, \u201d IEEE Trans on VLSI Systems, Vol. 3, No. 2, pp. 201\u2013214, June 1995.","journal-title":"IEEE Trans on VLSI Systems"},{"key":"249831_CR7","doi-asserted-by":"crossref","unstructured":"J.R. Wallack and R. Dandapani, \u201cCoverage Metrics for Functional Tests, \u201d VLSI Test Symposium, 1994, pp. 176\u2013181.","DOI":"10.1109\/VTEST.1994.292317"},{"key":"249831_CR8","doi-asserted-by":"crossref","unstructured":"F. Fallah, S. Devadas, and K. Keutzer, \u201cOCCOM: Efficient Computation of Obervability-Based Code Coverage Metrics for Functional Verification, \u201d DAC, pp. 152\u2013157, 1998.","DOI":"10.1145\/277044.277078"},{"key":"249831_CR9","doi-asserted-by":"crossref","unstructured":"R.C. Ho, C. Han Yang, M.A. Horowitz, and D.L. Dill, \u201cArchitecture Validation for Processors, \u201d Proceedings of the 22nd Annual International Symposium on Computer Architecture, Santa Margherita Ligure, Italy, June 22\u201324, 1995, ACM SIGARCH and IEEE Computer Society TCCA, pp. 404\u2013413.","DOI":"10.1145\/223982.224450"},{"key":"249831_CR10","doi-asserted-by":"crossref","unstructured":"D. Geist, M. Farkas, A. Landver, Y. Lichtenstein, S. Ur, and Y. Wolfsthal, \u201cCoverage-Directed Test Generation Using Symbolic Techniques, \u201d Proc. of Int. Conf. on Formal Method in CAD, Nov. 1996.","DOI":"10.1007\/BFb0031805"},{"key":"249831_CR11","unstructured":"The VIS Group, \u201cVIS: Verification Interacting with Synthesis, \u201d URL: http:\/\/www-cad.eecs.berkeley.edu\/Respep\/ Research\/vis."},{"key":"249831_CR12","unstructured":"G.S. Choi and K.J. Lee, \u201cA Simulation Environment for Fault-Tolerant Evaluation, \u201d Technical Report, Texas A&M University, 1996."},{"key":"249831_CR13","unstructured":"Myricom, \u201cLANai 3.0, \u201d URL: http:\/\/www.myri.com:80\/ scs\/L3."}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008396907842.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008396907842\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008396907842.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:05:28Z","timestamp":1749204328000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008396907842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,2]]},"references-count":13,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,2]]}},"alternative-id":["249831"],"URL":"https:\/\/doi.org\/10.1023\/a:1008396907842","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2000,2]]}}}