{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:39:38Z","timestamp":1725748778512},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_20","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T23:18:35Z","timestamp":1379546315000},"page":"328-333","source":"Crossref","is-referenced-by-count":1,"title":["A Late Treatment of C\u00a0Precondition in Dynamic Symbolic Execution Testing Tools"],"prefix":"10.1007","author":[{"given":"Micka\u00ebl","family":"Delahaye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolai","family":"Kosmatov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Botella, B., Delahaye, M., Hong-Tuan-Ha, S., Kosmatov, N., Mouy, P., Roger, M., Williams, N.: Automating structural testing of C programs: Experience with PathCrawler. In: AST 2009 (2009)","key":"20_CR1","DOI":"10.1109\/IWAST.2009.5069043"},{"doi-asserted-by":"crossref","unstructured":"Milicevic, A., Misailovic, S., Marinov, D., Khurshid, S.: Korat: A tool for generating structurally complex test inputs. In: ICSE 2007 (2007)","key":"20_CR2","DOI":"10.1109\/ICSE.2007.48"},{"doi-asserted-by":"crossref","unstructured":"Visser, W., P\u01ces\u01cereanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: ISSTA 2004 (2004)","key":"20_CR3","DOI":"10.1145\/1007512.1007526"},{"unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: ESEC\/ FSE 2013 (2013)","key":"20_CR4"},{"doi-asserted-by":"crossref","unstructured":"Barnett, M., Fahndrich, M., de Halleux, P., Logozzo, F., Tillmann, N.: Exploiting the synergy between automated-test-generation and programming-by-contract. In: ICSE 2009 (2009)","key":"20_CR5","DOI":"10.1109\/ICSE-COMPANION.2009.5071032"},{"doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Compositional dynamic test generation. In: POPL 2007 (2007)","key":"20_CR6","DOI":"10.1145\/1190216.1190226"},{"doi-asserted-by":"crossref","unstructured":"Kosmatov, N.: All-paths test generation for programs with internal aliases. In: ISSRE 2008 (2008)","key":"20_CR7","DOI":"10.1109\/ISSRE.2008.25"},{"unstructured":"Kosmatov, N.: Online version of PathCrawler (2010\u20132013), \n                    \n                      http:\/\/pathcrawler-online.com\/","key":"20_CR8"},{"doi-asserted-by":"crossref","unstructured":"Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J.: Program slicing enhances a verification technique combining static and dynamic analysis. In: SAC 2012 (2012)","key":"20_CR9","DOI":"10.1145\/2245276.2231980"},{"doi-asserted-by":"crossref","unstructured":"Delahaye, M., Kosmatov, N., Signoles, J.: Common specification language for static and dynamic analysis of C programs. In: SAC 2013 (2013)","key":"20_CR10","DOI":"10.1145\/2480362.2480593"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:39:02Z","timestamp":1558093142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}