{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T05:38:42Z","timestamp":1778218722450,"version":"3.51.4"},"reference-count":7,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T00:00:00Z","timestamp":1277942400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T00:00:00Z","timestamp":1277942400000},"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":[[2010,7]]},"DOI":"10.1134\/s0361768810040055","type":"journal-article","created":{"date-parts":[[2010,9,3]],"date-time":"2010-09-03T06:25:25Z","timestamp":1283495125000},"page":"225-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs"],"prefix":"10.1134","volume":"36","author":[{"given":"I. K.","family":"Isaev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. V.","family":"Sidorov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,9,4]]},"reference":[{"key":"6075_CR1","doi-asserted-by":"crossref","unstructured":"Nethercote, N. and Seward, J., Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation, Proc. of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), San Diego, California, 2007.","DOI":"10.1145\/1250734.1250746"},{"key":"6075_CR2","unstructured":"Godefroid, P., Levin, M., and Molnar, D., Automatic Whitebox Fuzz Testing, Network Distributed Security Symposium (NDSS), 2008."},{"key":"6075_CR3","first-page":"322","volume-title":"Proc. of the 13th ACM Conference on Computer and Communications Security, New York, 2006","author":"C. Cadar","year":"2006","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., and Engler, D.R., EXE: Automatically Generating Inputs of Death, Proc. of the 13th ACM Conference on Computer and Communications Security, New York, 2006, New York: ACM Press, 2006, pp. 322\u2013335."},{"key":"6075_CR4","unstructured":"Drewry, W. and Ormandy, T., Flayer: Exposing Application Internals, First Workshop on Offensive Technologies (WOOT), 2007."},{"key":"6075_CR5","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-73368-3_52","volume":"4590","author":"V. Ganesh","year":"2007","unstructured":"Ganesh, V. and Dill, D., A Decision Procedure for Bit-Vectors and Arrays, Lect. Notes Comput. Sci., vol. 4590, 2007, pp. 519\u2013531.","journal-title":"Lect. Notes Comput. Sci."},{"key":"6075_CR6","unstructured":"Molnar, D. and Wagner, D., Catchconv: Symbolic Execution and Run-Time Type Inference for Integer Conversion Errors, Technical report of the University of California, Berkeley, 2007, No. 2007\u201323."},{"key":"6075_CR7","doi-asserted-by":"crossref","unstructured":"Xie, Y. and Aiken, A., Scalable Error Detection Using Boolean Satisfiability, Proc. of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Long Beach, California, 2005, pp. 351\u2013363.","DOI":"10.1145\/1040305.1040334"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810040055.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768810040055","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810040055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810040055.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:10:17Z","timestamp":1775009417000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768810040055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["6075"],"URL":"https:\/\/doi.org\/10.1134\/s0361768810040055","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7]]},"assertion":[{"value":"28 December 2009","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 September 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}