{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:52Z","timestamp":1750306492175,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,9,28]],"date-time":"2015-09-28T00:00:00Z","timestamp":1443398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,9,28]]},"DOI":"10.1145\/2811681.2817758","type":"proceedings-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T20:49:20Z","timestamp":1446756560000},"page":"138-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Looking Closer at Compositional Symbolic Execution"],"prefix":"10.1145","author":[{"given":"Yude","family":"Lin","sequence":"first","affiliation":[{"name":"Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia"}]},{"given":"Tim","family":"Miller","sequence":"additional","affiliation":[{"name":"Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia"}]}],"member":"320","published-online":{"date-parts":[[2015,9,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"S.\n       \n      Anand P.\n       \n      Godefroid and \n      \n      \n      N.\n       \n      Tillmann\n      \n  \n  . \n  Demand-driven compositional symbolic execution. In C. R. Ramakrishnan and J. Rehof editors Tools and Algorithms for the Construction and Analysis of Systems (TACAS) volume \n  4963\n   of \n  LNCS pages \n  367\n  --\n  381\n  . \n  Springer 2008\n  .   S. Anand P. Godefroid and N. Tillmann. Demand-driven compositional symbolic execution. In C. R. Ramakrishnan and J. Rehof editors Tools and Algorithms for the Construction and Analysis of Systems (TACAS) volume 4963 of LNCS pages 367--381. Springer 2008.","DOI":"10.1007\/978-3-540-78800-3_28"},{"key":"e_1_3_2_1_2_1","first-page":"209","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI)","volume":"8","author":"Cadar C.","year":"2008"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190215.1190226"}],"event":{"name":"ASWEC ' 15 Vol. II: ASWEC 2015 24th Australasian Software Engineering Conference","sponsor":["Australian Comp Soc Australian Computer Society"],"location":"Adelaide SA Australia","acronym":"ASWEC ' 15 Vol. II"},"container-title":["Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2811681.2817758","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2811681.2817758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:39Z","timestamp":1750225719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2811681.2817758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,28]]},"references-count":3,"alternative-id":["10.1145\/2811681.2817758","10.1145\/2811681"],"URL":"https:\/\/doi.org\/10.1145\/2811681.2817758","relation":{},"subject":[],"published":{"date-parts":[[2015,9,28]]},"assertion":[{"value":"2015-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}