{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:33:15Z","timestamp":1773653595008,"version":"3.50.1"},"reference-count":11,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"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":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.3103\/s0146411612070115","type":"journal-article","created":{"date-parts":[[2013,1,6]],"date-time":"2013-01-06T01:10:54Z","timestamp":1357434654000},"page":"379-386","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A SPIN-based approach for detecting vulnerabilities in C programs"],"prefix":"10.3103","volume":"46","author":[{"given":"N. G.","family":"Kushik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mammar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Cavalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. V.","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Jimenez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Montes de Oca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2013,1,7]]},"reference":[{"key":"6225_CR1","unstructured":"Jimenez., W., Mammar., A., and Cavalli, A.R., Software Vulnerabilities, Prevention and Detection Methods. A Review, Proc. Europ. Workshop on Security in Model Driven Architecture (SEC-MDA-09), Enschede, 2009."},{"key":"6225_CR2","unstructured":"Kharitonova, E., Search of Vulnerabilities in Programs with the Help of Code Analyzers. http:\/\/www.codenet.ru\/progr\/other.codeanalysers.php?rss=1"},{"key":"6225_CR3","doi-asserted-by":"crossref","unstructured":"McMinn, P., Search-Based Software Test Data Generation: A Survey, Soft. Test., Verif. Reliab. Arch., 2004, vol. 14, no. 2.","DOI":"10.1002\/stvr.294"},{"key":"6225_CR4","unstructured":"JPF. The Swiss Army Knife of JavaTM Verification. http:\/\/javapathfinder.sourceforge.net"},{"key":"6225_CR5","unstructured":"SPIN. http:\/\/spinroot.com"},{"key":"6225_CR6","unstructured":"Holzmann, G.J., SPIN Model Checker: The Primer and Reference Manual, Addison-Wesley, 2003."},{"key":"6225_CR7","unstructured":"Sofrware Testify Glossary. www.aptest.com\/glossary.htm#bvatesting"},{"key":"6225_CR8","unstructured":"Kotlyarov, V.P. and Kolikova, T.V., Osnovy sovremennogo testirovaniya programmnogo obespecheniya, razrabotannogo na C#: Uchebnoe posobie (C# Software Contemporary Testing Fundamentals: The Tutorial Manual), Kotlyarov, V.P., Ed., St. Petersburg, 2004."},{"key":"6225_CR9","unstructured":"Ermakov, A. and Kushik, N., Detecting C Program Vulnerabilities, Proc. 5th Spring\/Summer Young Researchers Colloq. on Software Engineering, Yekaterinburg, pp. 61\u201364."},{"key":"6225_CR10","doi-asserted-by":"crossref","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., and Weimer, W., CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Proc. Int. Conf. on Compiler Construction, Grenoble, 2002, pp. 213\u2013228.","DOI":"10.1007\/3-540-45937-5_16"},{"key":"6225_CR11","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-78163-9_15","volume":"4905","author":"A. Groce","year":"2008","unstructured":"Groce, A. and Joshi, R., Extending Model Checking with Dynamic Analysis, Proc. Conf. on Verification, Model-Checking, and Abstract Interpretation (VMCAI-08), Lect. Notes Comput. Sci., 2008, vol. 4905, pp. 142\u2013156.","journal-title":"Proc. Conf. on Verification, Model-Checking, and Abstract Interpretation (VMCAI-08), Lect. Notes Comput. Sci."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411612070115.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411612070115","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411612070115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411612070115.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:59:15Z","timestamp":1773611955000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411612070115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":11,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["6225"],"URL":"https:\/\/doi.org\/10.3103\/s0146411612070115","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]},"assertion":[{"value":"20 September 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 January 2013","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}