{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:11:14Z","timestamp":1725790274718},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,2]]},"DOI":"10.23919\/icac50006.2021.9594142","type":"proceedings-article","created":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T17:53:16Z","timestamp":1636998796000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["Program Slicing Analysis with KLEE, DIVINE and Frama-C"],"prefix":"10.23919","author":[{"given":"Nitin","family":"Kumar","sequence":"first","affiliation":[]},{"given":"Shreya","family":"Neema","sequence":"additional","affiliation":[]},{"given":"Madhusmita","family":"Das","sequence":"additional","affiliation":[]},{"given":"Biju R.","family":"Mohan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"1","article-title":"Program Slicing","author":"binkley","year":"1996","journal-title":"Advances in Computers"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1016\/j.jss.2018.04.026","article-title":"DiVM: Model checking with LLVM and graph memory","author":"ro?kai","year":"2018","journal-title":"Journal of Systems and Software"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02508-3_17"},{"article-title":"Evaluation of Program Slicing tools","year":"0","author":"hoffner","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026599015809"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2231980"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"year":"0","key":"ref2"},{"key":"ref9","first-page":"73","article-title":"Evaluating the effectiveness of slicing for model reduction of concurrent objectoriented programs","author":"dwyer","year":"2006","journal-title":"TACAS 2006"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-34968-4_6"}],"event":{"name":"2021 26th International Conference on Automation and Computing (ICAC)","start":{"date-parts":[[2021,9,2]]},"location":"Portsmouth, United Kingdom","end":{"date-parts":[[2021,9,4]]}},"container-title":["2021 26th International Conference on Automation and Computing (ICAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9594055\/9594061\/09594142.pdf?arnumber=9594142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T16:01:57Z","timestamp":1646668917000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9594142\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,2]]},"references-count":10,"URL":"https:\/\/doi.org\/10.23919\/icac50006.2021.9594142","relation":{},"subject":[],"published":{"date-parts":[[2021,9,2]]}}}