{"id":"https://openalex.org/W1983849186","doi":"https://doi.org/10.1145/2693208.2693248","title":"The Dart, the Psyco, and the Doop","display_name":"The Dart, the Psyco, and the Doop","publication_year":2015,"publication_date":"2015-02-06","ids":{"openalex":"https://openalex.org/W1983849186","doi":"https://doi.org/10.1145/2693208.2693248","mag":"1983849186"},"language":"en","primary_location":{"id":"doi:10.1145/2693208.2693248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2693208.2693248","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075810064","display_name":"Marko Dimja\u0161evi\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Marko Dimja\u0161evi\u0107","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021558162","display_name":"Dimitra Giannakopoulou","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dimitra Giannakopoulou","raw_affiliation_strings":["NASA Ames Research Center, Moffett Field, CA"],"affiliations":[{"raw_affiliation_string":"NASA Ames Research Center, Moffett Field, CA","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037058130","display_name":"Falk Howar","orcid":"https://orcid.org/0000-0002-9524-4459"},"institutions":[{"id":"https://openalex.org/I43980791","display_name":"Clausthal University of Technology","ror":"https://ror.org/04qb8nc58","country_code":"DE","type":"education","lineage":["https://openalex.org/I43980791"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Falk Howar","raw_affiliation_strings":["IPSSE, TU Clausthal, Goslar, Germany"],"affiliations":[{"raw_affiliation_string":"IPSSE, TU Clausthal, Goslar, Germany","institution_ids":["https://openalex.org/I43980791"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015545914","display_name":"Malte Isberner","orcid":"https://orcid.org/0000-0002-7704-5173"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Malte Isberner","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany","Tu Dortmund University, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Tu Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021217615","display_name":"Zvonimir Rakamari\u0107","orcid":"https://orcid.org/0000-0001-7946-0162"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zvonimir Rakamari\u0107","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108517584","display_name":"Vishwanath Raman","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128452","display_name":"FireEye (United States)","ror":"https://ror.org/03dnqre85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210128452"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vishwanath Raman","raw_affiliation_strings":["FireEye Inc., USA","FireEye Inc., USA#TAB#"],"affiliations":[{"raw_affiliation_string":"FireEye Inc., USA","institution_ids":["https://openalex.org/I4210128452"]},{"raw_affiliation_string":"FireEye Inc., USA#TAB#","institution_ids":["https://openalex.org/I4210128452"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5075810064"],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":1.1061,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79053293,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"40","issue":"1","first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.9930899143218994},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.955409049987793},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7819664478302002},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6705043911933899},{"id":"https://openalex.org/keywords/dart","display_name":"Dart","score":0.6350440979003906},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5815869569778442},{"id":"https://openalex.org/keywords/pathfinder","display_name":"Pathfinder","score":0.5717397332191467},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5575277209281921},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47987452149391174},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2221277952194214}],"concepts":[{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.9930899143218994},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.955409049987793},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7819664478302002},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6705043911933899},{"id":"https://openalex.org/C2779417484","wikidata":"https://www.wikidata.org/wiki/Q406009","display_name":"Dart","level":2,"score":0.6350440979003906},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5815869569778442},{"id":"https://openalex.org/C2778940482","wikidata":"https://www.wikidata.org/wiki/Q7144753","display_name":"Pathfinder","level":2,"score":0.5717397332191467},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5575277209281921},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47987452149391174},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2221277952194214},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2693208.2693248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2693208.2693248","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W196342399","https://openalex.org/W197480570","https://openalex.org/W257963125","https://openalex.org/W1548806133","https://openalex.org/W1583869287","https://openalex.org/W1710734607","https://openalex.org/W1966151649","https://openalex.org/W1992105245","https://openalex.org/W2009113169","https://openalex.org/W2009489720","https://openalex.org/W2042033151","https://openalex.org/W2054018676","https://openalex.org/W2058064470","https://openalex.org/W2061548807","https://openalex.org/W2096449544","https://openalex.org/W2101512909","https://openalex.org/W2107709519","https://openalex.org/W2110311336","https://openalex.org/W2155539595","https://openalex.org/W2171480813","https://openalex.org/W2334987888","https://openalex.org/W3160978791","https://openalex.org/W4237492309"],"related_works":["https://openalex.org/W1983849186","https://openalex.org/W34311366","https://openalex.org/W2553223552","https://openalex.org/W2155539595","https://openalex.org/W844671342","https://openalex.org/W4285245777","https://openalex.org/W2406227170","https://openalex.org/W3134905881","https://openalex.org/W1976560018","https://openalex.org/W2568432792"],"abstract_inverted_index":{"JDart":[0,59,111],"is":[1,53],"a":[2,76],"concolic":[3,56],"execution":[4,10,57],"extension":[5],"for":[6,63],"Java":[7],"PathFinder.":[8],"Concolic":[9],"executes":[11],"programs":[12],"with":[13,31,55],"concrete":[14,29,37],"values":[15],"while":[16],"recording":[17],"symbolic":[18,41],"constraints.":[19],"In":[20,81],"this":[21,67,82],"way,":[22],"it":[23,70],"combines":[24],"the":[25,32,86],"benefits":[26],"of":[27,34,78,89,98],"fast":[28],"execution,":[30],"possibility":[33],"generating":[35],"new":[36],"values,":[38],"triggered":[39],"by":[40],"constraints,":[42],"in":[43],"order":[44],"to":[45,114],"exercise":[46],"additional,":[47],"potentially":[48],"rare,":[49],"program":[50],"behaviors.":[51],"As":[52],"typical":[54],"engines,":[58],"can":[60],"be":[61],"used":[62,74],"test-case":[64],"generation.":[65],"Beyond":[66],"basic":[68],"mode,":[69],"has":[71],"also":[72],"been":[73],"as":[75],"component":[77],"other":[79],"tools.":[80],"paper,":[83],"we":[84],"describe":[85],"main":[87],"features":[88],"JDart,":[90],"provide":[91],"usage":[92],"examples,":[93],"and":[94],"give":[95],"an":[96],"overview":[97],"applications":[99],"that":[100],"use":[101],"JDart.":[102],"We":[103],"particularly":[104],"concentrate":[105],"on":[106],"our":[107],"efforts":[108],"into":[109],"making":[110],"robust":[112],"enough":[113],"handle":[115],"large,":[116],"complex":[117],"systems.":[118]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}