{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:18:46Z","timestamp":1743103126465,"version":"3.40.3"},"publisher-location":"Cham","reference-count":4,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031363931"},{"type":"electronic","value":"9783031363948"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-36394-8_50","type":"book-chapter","created":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T16:02:46Z","timestamp":1695052966000},"page":"305-309","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Unreachable Statements Are Inevitable in Software Testing: Theoretical Explanation"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Zapata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladik","family":"Kreinovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,19]]},"reference":[{"key":"50_CR1","unstructured":"G. Blokdyk, Software Modernization: A Complete Guide (The Art of Service, 2020)"},{"key":"50_CR2","volume-title":"Introduction to Algorithms","author":"TH Cormen","year":"2022","unstructured":"T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein, Introduction to Algorithms (MIT Press, Cambridge, Massachusetts, 2022)"},{"issue":"1","key":"50_CR3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.18576\/amis\/150102","volume":"15","author":"F Zapata","year":"2021","unstructured":"F. Zapata, O. Kosheleva, V. Kreinovich, How to estimate time needed for software migration. Appl. Math. Sci. 15(1), 9\u201314 (2021)","journal-title":"Appl. Math. Sci."},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"F. Zapata, O. Lerma, L. Valera, V. Kreinovich, How to speed up software migration and modernization: successful strategies developed by precisiating expert knowledge, in Proceedings of the Annual Conference of the North American Fuzzy Information Processing Society NAFIPS\u20192015 and 5th World Conference on Soft Computing (Redmond, Washington, 17\u201319 Aug 2015)","DOI":"10.1109\/NAFIPS-WConSC.2015.7284166"}],"container-title":["Studies in Systems, Decision and Control","Uncertainty, Constraints, and Decision Making"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-36394-8_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T16:10:38Z","timestamp":1695053438000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-36394-8_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031363931","9783031363948"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-36394-8_50","relation":{},"ISSN":["2198-4182","2198-4190"],"issn-type":[{"type":"print","value":"2198-4182"},{"type":"electronic","value":"2198-4190"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"19 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}