{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:14Z","timestamp":1750306574064,"version":"3.41.0"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2015,2,6]],"date-time":"2015-02-06T00:00:00Z","timestamp":1423180800000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2015,2,6]]},"abstract":"<jats:p>JDart is a concolic execution extension for Java PathFinder. Concolic execution executes programs with concrete values while recording symbolic constraints. In this way, it combines the benefits of fast concrete execution, with the possibility of generating new concrete values, triggered by symbolic constraints, in order to exercise additional, potentially rare, program behaviors. As is typical with concolic execution engines, JDart can be used for test-case generation. Beyond this basic mode, it has also been used as a component of other tools. In this paper, we describe the main features of JDart, provide usage examples, and give an overview of applications that use JDart. We particularly concentrate on our efforts into making JDart robust enough to handle large, complex systems.<\/jats:p>","DOI":"10.1145\/2693208.2693248","type":"journal-article","created":{"date-parts":[[2015,2,10]],"date-time":"2015-02-10T13:19:47Z","timestamp":1423574387000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["The Dart, the Psyco, and the Doop"],"prefix":"10.1145","volume":"40","author":[{"given":"Marko","family":"Dimja\u0161evi\u0107","sequence":"first","affiliation":[{"name":"University of Utah, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitra","family":"Giannakopoulou","sequence":"additional","affiliation":[{"name":"NASA Ames Research Center, Moffett Field, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falk","family":"Howar","sequence":"additional","affiliation":[{"name":"IPSSE, TU Clausthal, Goslar, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Isberner","sequence":"additional","affiliation":[{"name":"TU Dortmund University, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zvonimir","family":"Rakamari\u0107","sequence":"additional","affiliation":[{"name":"University of Utah, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vishwanath","family":"Raman","sequence":"additional","affiliation":[{"name":"FireEye Inc., USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,2,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"e_1_2_1_3_1","first-page":"209","volume-title":"OSDI","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. Engler . KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs . In OSDI , pages 209 -- 224 , 2008 . C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, pages 209--224, 2008."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_2_1_5_1","volume-title":"JPF Workshop","author":"Dimja\u0161evi\u0107 M.","year":"2013","unstructured":"M. Dimja\u0161evi\u0107 and Z. Rakamari\u0107 . JPF-Doop: Combining concolic and random testing for Java . In JPF Workshop , 2013 . Extended abstract. M. Dimja\u0161evi\u0107 and Z. Rakamari\u0107. JPF-Doop: Combining concolic and random testing for Java. In JPF Workshop, 2013. Extended abstract."},{"key":"e_1_2_1_6_1","volume-title":"International Congress of the Aeronautical Sciences","author":"Erzberger H.","year":"2010","unstructured":"H. Erzberger , T. A. Lauderdale , and Y.-C. Chu . Automated conflict resolution, arrival management and weather avoidance for ATM . In International Congress of the Aeronautical Sciences , 2010 . H. Erzberger, T. A. Lauderdale, and Y.-C. Chu. Automated conflict resolution, arrival management and weather avoidance for ATM. In International Congress of the Aeronautical Sciences, 2010."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486807"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642940"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_18"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483783"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558622"},{"key":"e_1_2_1_14_1","volume-title":"NFM","author":"Jayaraman K.","year":"2009","unstructured":"K. Jayaraman , D. Harvison , and V. Ganesh . jFuzz: A concolic whitebox fuzzer for Java . In NFM , 2009 . K. Jayaraman, D. Harvison, and V. Ganesh. jFuzz: A concolic whitebox fuzzer for Java. In NFM, 2009."},{"key":"e_1_2_1_15_1","first-page":"75","volume-title":"Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE)","author":"K\u00e1hk\u00f3nen K.","year":"2011","unstructured":"K. K\u00e1hk\u00f3nen , T. Launiainen , O. Saarikivi , J. Kauttio , K. Heljanko , and I. Niemel\u00e1 . LCT: An open source concolic testing tool for Java programs . In Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE) , pages 75 -- 80 , 2011 . K. K\u00e1hk\u00f3nen, T. Launiainen, O. Saarikivi, J. Kauttio, K. Heljanko, and I. Niemel\u00e1. LCT: An open source concolic testing tool for Java programs. In Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE), pages 75--80, 2011."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001425"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_2_1_22_1","first-page":"134","volume-title":"TAP","author":"Tillmann N.","year":"2008","unstructured":"N. Tillmann and J. d. Halleux . Pex|white box test generation for .NET . In TAP , pages 134 -- 153 , 2008 . N. Tillmann and J. d. Halleux. Pex|white box test generation for .NET. In TAP, pages 134--153, 2008."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2693208.2693248","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2693208.2693248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:31Z","timestamp":1750227211000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2693208.2693248"}},"subtitle":["Concolic Execution in Java PathFinder and its Applications"],"short-title":[],"issued":{"date-parts":[[2015,2,6]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2,6]]}},"alternative-id":["10.1145\/2693208.2693248"],"URL":"https:\/\/doi.org\/10.1145\/2693208.2693248","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2015,2,6]]},"assertion":[{"value":"2015-02-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}