{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:40:57Z","timestamp":1775054457751,"version":"3.50.1"},"reference-count":23,"publisher":"Pleiades Publishing Ltd","issue":"1","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1134\/s0361768814010046","type":"journal-article","created":{"date-parts":[[2014,1,27]],"date-time":"2014-01-27T08:11:18Z","timestamp":1390810278000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Extensible environment for test program generation for microprocessors"],"prefix":"10.1134","volume":"40","author":[{"given":"A. S.","family":"Kamkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. I.","family":"Sergeeva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. A.","family":"Smolov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. D.","family":"Tatarnikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. M.","family":"Chupilko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2014,1,28]]},"reference":[{"issue":"4","key":"6195_CR1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/MDT.2000.895000","volume":"17","author":"MS Abadir","year":"2000","unstructured":"M.S. Abadir and S. Dasgupta, Guest editors\u2019 introduction: Microprocessor test and verification, IEEE Design & Test Comput., 2000, vol. 17, no. 4, pp. 4\u20135.","journal-title":"IEEE Design & Test Comput."},{"issue":"part2","key":"6195_CR2","first-page":"23","volume":"14","author":"AS Kamkin","year":"2008","unstructured":"Kamkin, A.S., Test program generation for microprocessors, in Trudy Instituta Sistemnogo Programmirovaniya Ross. Akad. Nauk, 2008, vol. 14, part 2, pp. 23\u201363.","journal-title":"Trudy Instituta Sistemnogo Programmirovaniya Ross. Akad. Nauk"},{"key":"6195_CR3","unstructured":"http:\/\/www.arm.com\/community\/partners\/displayproduct\/rw\/ProductId\/5171\/"},{"issue":"2","key":"6195_CR4","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MDT.2004.1277900","volume":"21","author":"A Adir","year":"2004","unstructured":"Adir, A., Almog, E., Fournier, L., Marcus, E., Rimon, M., Vinov, M., and Ziv. A., Genesys-Pro: Innovations in test program generation for functional processor verification, IEEE Design & Test Comput., 2004, vol. 21, no. 2, pp. 84\u201393.","journal-title":"IEEE Design & Test Comput."},{"issue":"3","key":"6195_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1367045.1367051","volume":"13","author":"P Mishra","year":"2008","unstructured":"Mishra, P. and Dutt, N., Specification-driven directed test generation for validation of pipelined processors, ACM Trans. Design Autom. Electron. Syst. (TODAES), 2008, vol. 13, no. 3, pp. 1\u201336.","journal-title":"ACM Trans. Design Autom. Electron. Syst. (TODAES)"},{"key":"6195_CR6","unstructured":"http:\/\/forge.ispras.ru\/projects\/microtesk"},{"key":"6195_CR7","first-page":"129","volume":"18","author":"AS Kamkin","year":"2010","unstructured":"Kamkin, A.S., Some issues of automation of test program generation for branch units of microprocessors, in Trudy Instituta Sistemnogo Programmirovaniya Ross. Akad. Nauk, 2010, vol. 18, pp. 129\u2013150.","journal-title":"Trudy Instituta Sistemnogo Programmirovaniya Ross. Akad. Nauk"},{"issue":"3","key":"6195_CR8","first-page":"13","volume":"28","author":"Y Naveh","year":"2007","unstructured":"Naveh, Y., Rimon, M., Jaeger, I., Katz, Y., Vinov, M., Marcus, E., and Shurek, G., Constraint-based random stimuli generation for hardware verification, AI Magazine, 2007, vol. 28, no. 3, pp. 13\u201330.","journal-title":"AI Magazine"},{"key":"6195_CR9","volume-title":"Technical Report 1998-29","author":"P Grun","year":"1998","unstructured":"Grun, P., Halambi, A., Khare, A., Ganesh, V., Dutt, N., and Nicolau, A., EXPRESSION: An ADL for system level design exploration, Technical Report 1998-29, Univ. of California, Irvine, 1998."},{"key":"6195_CR10","unstructured":"http:\/\/www.cs.cmu.edu\/~modelcheck\/smv.html"},{"key":"6195_CR11","first-page":"142","volume-title":"Design Automation Conference (DAC)","author":"TN Dang","year":"2009","unstructured":"Dang, T.N., Roychoudhury, A., Mitra, T., and Mishra, P., Generating test programs to cover pipeline interactions, in Design Automation Conference (DAC), 2009, pp. 142\u2013147."},{"key":"6195_CR12","first-page":"47","volume-title":"Software Testing, Verification, and Validation Workshops (ICSTW)","author":"A Kamkin","year":"2011","unstructured":"Kamkin, A., Kornykhin, E., and Vorobyev, D., Reconfigurable model-based test program generator for microprocessors, in Software Testing, Verification, and Validation Workshops (ICSTW), 2011, pp. 47\u201354."},{"key":"6195_CR13","volume-title":"The YICES SMT solver","author":"B Dutertre","year":"2006","unstructured":"Dutertre, B. and Moura, L., The YICES SMT solver, 2006. http:\/\/yices.csl.sri.com\/tool-paper.pdf"},{"key":"6195_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"L Moura","year":"2008","unstructured":"Moura, L. and Bjoslashrner, N., Z3: An efficient SMT solver, in Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008, pp. 337\u2013340."},{"key":"6195_CR15","volume-title":"The SMT-LIBv2 Language and Tools: A Tutorial, GrammaTech, Inc.","author":"DR Cok","year":"2011","unstructured":"Cok, D.R., The SMT-LIBv2 Language and Tools: A Tutorial, GrammaTech, Inc., 2011, Version 1.1."},{"key":"6195_CR16","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/HLDVT.2003.1252469","volume-title":"High Level Design Validation and Test Workshop (HLDVT)","author":"M Aharoni","year":"2003","unstructured":"Aharoni, M., Asaf, S., Fournier, L., Koifman, A., and Nagel, R., FPgen-A test generation framework for datapath floating-point verification, in High Level Design Validation and Test Workshop (HLDVT), 2003, pp. 17\u201322."},{"key":"6195_CR17","volume-title":"Technical Report, Bericht 1991\/15","author":"M Freericks","year":"1991","unstructured":"Freericks, M., The nML machine description formalism, Technical Report, Bericht 1991\/15, Technische Universitaumlautt Berlin, 1991."},{"key":"6195_CR18","first-page":"34","volume-title":"Int. Workshop on Rapid Systems Prototyping (RSP)","author":"R Moona","year":"2000","unstructured":"Moona, R., Processor models for retargetable tools, in Int. Workshop on Rapid Systems Prototyping (RSP), 2000, pp. 34\u201339."},{"key":"6195_CR19","unstructured":"MIPS64TM Architecture for Programmers, Vol. II: The MIPS64TM Instruction Set, Document Number: MD00087, Revision 2.00, June 9, 2003."},{"key":"6195_CR20","unstructured":"http:\/\/forge.ispras.ru\/projects\/solver-api."},{"key":"6195_CR21","unstructured":"http:\/\/www.ruby-lang.org."},{"key":"6195_CR22","first-page":"7","volume-title":"Trudy Instituta Sistemnogo Programmirovaniya Ross. Akad. Nauk","author":"AS Kamkin","year":"2008","unstructured":"Kamkin, A.S. and Chupilko, M.M., Testing microprocessor floating point arithmetic modules for conformity to the IEEE 754 standard, in Trudy Instituta Sistemnogo Programmirovaniya Ross. Akad. Nauk, 2008, no. 2, pp. 7\u201322."},{"issue":"1","key":"6195_CR23","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1134\/S0361768810010056","volume":"36","author":"EV Kornykhin","year":"2010","unstructured":"Kornykhin, E.V., Generation of test data for verification of caching mechanisms and address translation in microprocessors, Program. Comput. Software, 2010, vol. 36, no. 1, pp 28\u201335.","journal-title":"Program. Comput. Software"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814010046.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768814010046","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814010046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768814010046.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:21:24Z","timestamp":1775010084000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768814010046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,1]]}},"alternative-id":["6195"],"URL":"https:\/\/doi.org\/10.1134\/s0361768814010046","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1]]},"assertion":[{"value":"10 August 2013","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 January 2014","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}