{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:48:42Z","timestamp":1747892922533},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100071","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T18:30:08Z","timestamp":1324060208000},"source":"Crossref","is-referenced-by-count":5,"title":["Heap cloning: Enabling dynamic symbolic execution of java programs"],"prefix":"10.1109","author":[{"given":"Saswat","family":"Anand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mary Jean","family":"Harrold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101927"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001425"},{"key":"15","first-page":"278","article-title":"A new approach to program testing","author":"king","year":"1974","journal-title":"Programming Methodology"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_4"},{"key":"13","first-page":"75","article-title":"LCT: An open source concolic testing tool for Java programs","author":"kahkonen","year":"2011","journal-title":"BYTECODE"},{"key":"14","first-page":"553","article-title":"Generalized symbolic execution for model checking and testing","author":"khurshid","year":"2003","journal-title":"TACAS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"12","first-page":"121","article-title":"A concolic whitebox fuzzer for Java","author":"jayaraman","year":"2009","journal-title":"NFM"},{"key":"21","first-page":"419","article-title":"CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools","author":"sen","year":"2006","journal-title":"CAV"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.32"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173720"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273478"},{"key":"25","first-page":"125","article-title":"Soot - A Java optimization framework","author":"valle?e-rai","year":"1999","journal-title":"CASCON"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2006.302745"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.13"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_11"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029000"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.26"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985797"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1294325.1294344"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"8","author":"garci?a","year":"2005","journal-title":"Enabling Symbolic Execution of Java Programs Using Bytecode Instrumentation"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Lawrence, KS, USA","start":{"date-parts":[[2011,11,6]]},"end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100071.pdf?arnumber=6100071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T12:59:48Z","timestamp":1490101188000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100071","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}