{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T14:05:17Z","timestamp":1762956317529,"version":"build-2065373602"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T00:00:00Z","timestamp":1589760000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T00:00:00Z","timestamp":1589760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s10009-020-00573-0","type":"journal-article","created":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T12:06:45Z","timestamp":1589803605000},"page":"875-877","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Symbiotic \u00a06: generating test cases by slicing and symbolic execution"],"prefix":"10.1007","volume":"23","author":[{"given":"Marek","family":"Chalupa","sequence":"first","affiliation":[]},{"given":"Martina","family":"Vitovsk\u00e1","sequence":"additional","affiliation":[]},{"given":"Tom\u00e1\u0161","family":"Ja\u0161ek","sequence":"additional","affiliation":[]},{"given":"Michael","family":"\u0160im\u00e1\u010dek","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Strej\u010dek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,5,18]]},"reference":[{"key":"573_CR1","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209\u2013224. USENIX Association (2008)"},{"key":"573_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10009-019-00526-2","volume":"22","author":"M Chalupa","year":"2020","unstructured":"Chalupa, M., Strej\u010dek, J., Vitovsk\u00e1, M.: Joint forces for memory safety checking revisited. Int. J. Softw. Tools Technol. Transf. 22, 115\u2013133 (2020). https:\/\/doi.org\/10.1007\/s10009-019-00526-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"573_CR3","first-page":"442","volume-title":"TACAS, volume 10806 of Lecture Notes in Computer Science","author":"M Chalupa","year":"2018","unstructured":"Chalupa, M., Vitovsk\u00e1, M., Strej\u010dek, J.: Symbiotic 5: Boosted instrumentation-(competition contribution). In: Beyer, D., Huisman, M. (eds.) TACAS, volume 10806 of Lecture Notes in Computer Science, pp. 442\u2013446. Springer, Berlin (2018)"},{"key":"573_CR4","doi-asserted-by":"crossref","unstructured":"De\u00a0Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: TACAS, volume 4963 of LNCS, pp. 337\u2013340. Springer (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"573_CR5","doi-asserted-by":"crossref","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. In: International Symposium on Programming, volume 167 of Lecture Notes in Computer Science, pp. 125\u2013132. Springer (1984)","DOI":"10.1007\/3-540-12925-1_33"},{"key":"573_CR6","doi-asserted-by":"crossref","unstructured":"Ganesh, V., Dill, D.L.: A decision procedure for bit-vectors and arrays. In: CAV, volume 4590 of Lecture Notes in Computer Science, pp. 519\u2013531. Springer (2007)","DOI":"10.1007\/978-3-540-73368-3_52"},{"issue":"1","key":"573_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S Horwitz","year":"1990","unstructured":"Horwitz, S., Reps, T.W., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12(1), 26\u201360 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"7","key":"573_CR8","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"573_CR9","unstructured":"LLVM. http:\/\/llvm.org\/"},{"key":"573_CR10","doi-asserted-by":"crossref","unstructured":"Slaby, J., Strej\u010dek, J., Trt\u00edk, M.: Symbiotic: synergy of instrumentation, slicing, and symbolic execution-(competition contribution). In: TACAS, volume 7795 of Lecture Notes in Computer Science, pp. 630\u2013632. Springer (2013)","DOI":"10.1007\/978-3-642-36742-7_50"},{"key":"573_CR11","unstructured":"Vitovsk\u00e1, M., Chalupa, M., Strej\u010dek, J.: SBT-instrumentation: a tool for configurable instrumentation of LLVM bitcode. CoRR, arXiv:1810.12617 (2018)"},{"key":"573_CR12","unstructured":"Weiser, M.: Program slicing. In: ICSE, pp. 439\u2013449. IEEE (1981)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00573-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-020-00573-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00573-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,26]],"date-time":"2021-12-26T12:02:22Z","timestamp":1640520142000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-020-00573-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,18]]},"references-count":12,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["573"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00573-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2020,5,18]]},"assertion":[{"value":"18 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}