{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:58:13Z","timestamp":1773615493964,"version":"3.50.1"},"reference-count":5,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"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. Conrol Comp. Sci."],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.3103\/s0146411611070030","type":"journal-article","created":{"date-parts":[[2012,1,5]],"date-time":"2012-01-05T17:57:59Z","timestamp":1325786279000},"page":"373-379","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Test data generation based on a formal analysis of the project configuration data"],"prefix":"10.3103","volume":"45","author":[{"given":"A. V.","family":"Bataev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Davydov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. Yu.","family":"Nalutin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. V.","family":"Sinitsyn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2012,1,6]]},"reference":[{"key":"6162_CR1","volume-title":"Verifikatsiya programmnogo obespecheniya","author":"S.V. Sinitsyn","year":"2008","unstructured":"Sinitsyn, S.V. and Nalyutin, N.Yu., Verifikatsiya programmnogo obespecheniya (Software Verification), Moscow: Binom, 2008."},{"key":"6162_CR2","unstructured":"GOST (State Standard) R 51904-2002: Software of Built-in Systems. General Requirements to Development and Documentation, 2002."},{"key":"6162_CR3","unstructured":"Nalyutin, N.Yu. and Sinitsyn, S.V., Problems of Configuration Management in the Process of Software Development for Built-in Systems, Program. Prod. Sistem, 2008, no. 1, pp. 26\u201329."},{"key":"6162_CR4","unstructured":"Sommerville, I., Software Engineering, Available from: http:\/\/www.comp.lancs.ac.uk\/computing\/resources\/IanS\/SE7"},{"key":"6162_CR5","unstructured":"Hayhurst, K.J., Veerhusen, D.S., et al., A Practical Tutorial on Modified Condition, Decision Coverage: Technical Memorandum, NASA, 2001."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070030.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411611070030","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411611070030.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:00:38Z","timestamp":1773612038000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411611070030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":5,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["6162"],"URL":"https:\/\/doi.org\/10.3103\/s0146411611070030","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12]]},"assertion":[{"value":"20 November 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 January 2012","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}