{"id":"https://openalex.org/W2401312886","doi":"https://doi.org/10.1145/2927924","title":"Enhancing symbolic execution with veritesting","display_name":"Enhancing symbolic execution with veritesting","publication_year":2016,"publication_date":"2016-05-23","ids":{"openalex":"https://openalex.org/W2401312886","doi":"https://doi.org/10.1145/2927924","mag":"2401312886"},"language":"en","primary_location":{"id":"doi:10.1145/2927924","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2927924","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2927924&type=pdf","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"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":"Communications of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2927924&type=pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049839987","display_name":"Thanassis Avgerinos","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Thanassis Avgerinos","raw_affiliation_strings":["AllSecure, Inc., Pittsburgh, PA"],"affiliations":[{"raw_affiliation_string":"AllSecure, Inc., Pittsburgh, PA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037888372","display_name":"Alexandre Rebert","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexandre Rebert","raw_affiliation_strings":["AllSecure, Inc., Pittsburgh, PA"],"affiliations":[{"raw_affiliation_string":"AllSecure, Inc., Pittsburgh, PA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031854438","display_name":"Sang Kil","orcid":"https://orcid.org/0000-0002-6012-7228"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sang Kil Cha","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016565332","display_name":"David Brumley","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Brumley","raw_affiliation_strings":["AllSecure, Inc., Pittsburgh, PA"],"affiliations":[{"raw_affiliation_string":"AllSecure, Inc., Pittsburgh, PA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5049839987"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3279372,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.86287362,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"59","issue":"6","first_page":"93","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.5817055106163025},{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.5088691711425781},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.3270794749259949}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5817055106163025},{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.5088691711425781},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.3270794749259949}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2927924","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2927924","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2927924&type=pdf","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"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":"Communications of the ACM","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/2927924","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2927924","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2927924&type=pdf","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"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":"Communications of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309085","display_name":"Center for Selective C-H Functionalization, National Science Foundation","ror":"https://ror.org/02h8v7m77"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2401312886.pdf","grobid_xml":"https://content.openalex.org/works/W2401312886.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1585877844","https://openalex.org/W1710734607","https://openalex.org/W1966982815","https://openalex.org/W1970005004","https://openalex.org/W1977902681","https://openalex.org/W1979693894","https://openalex.org/W1992431017","https://openalex.org/W2000414759","https://openalex.org/W2042033151","https://openalex.org/W2101430044","https://openalex.org/W2101512909","https://openalex.org/W2107147876","https://openalex.org/W2113864883","https://openalex.org/W2133612077","https://openalex.org/W2137351629","https://openalex.org/W2137530017","https://openalex.org/W2138788987","https://openalex.org/W2140311411","https://openalex.org/W2153185479","https://openalex.org/W2158798798","https://openalex.org/W2164419371","https://openalex.org/W4246385123"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"research-article":[0],"Public":[1],"Access":[2],"Share":[3],"on":[4,118],"Enhancing":[5],"symbolic":[6],"execution":[7],"with":[8],"veritesting":[9],"Authors:":[10],"Thanassis":[11],"Avgerinos":[12],"AllSecure,":[13,17,25,29,52,56],"Inc.,":[14,18,26,30,53,57],"Pittsburgh,":[15,19,27,31,41,46,54,58],"PA":[16,28,42,55],"PAView":[20,32,47,59],"Profile":[21,33,48,60],",":[22,34,49],"Alexandre":[23],"Rebert":[24],"Sang":[35],"Kil":[36],"Cha":[37],"Carnegie":[38,43],"Mellon":[39,44],"University,":[40,45],"David":[50],"Brumley":[51],"Authors":[61],"Info":[62],"&":[63],"Claims":[64],"Communications":[65],"of":[66],"the":[67,119],"ACMVolume":[68],"59Issue":[69],"6June":[70],"2016":[71],"pp":[72],"93\u2013100https://doi.org/10.1145/2927924Published:23":[73],"May":[74],"2016Publication":[75],"History":[76],"10citation11,135DownloadsMetricsTotal":[77],"Citations10Total":[78],"Downloads11,135Last":[79],"12":[80],"Months7,106Last":[81],"6":[82],"weeks394":[83],"Get":[84],"Citation":[85,87,124],"AlertsNew":[86,123],"Alert":[88],"added!This":[89],"alert":[90,115],"has":[91,110],"been":[92,111],"successfully":[93],"added":[94],"and":[95],"will":[96,100],"be":[97,101],"sent":[98],"to:You":[99],"notified":[102],"whenever":[103],"a":[104,136],"record":[105],"that":[106],"you":[107],"have":[108],"chosen":[109],"cited.To":[112],"manage":[113],"your":[114,129],"preferences,":[116],"click":[117],"button":[120],"below.Manage":[121],"my":[122],"Alert!Please":[125],"log":[126],"in":[127],"to":[128,132,134],"account":[130],"Save":[131],"BinderSave":[133],"BinderCreate":[135],"New":[137],"BinderNameCancelCreateExport":[138],"CitationPublisher":[139],"SiteView":[140],"all":[141],"FormatsPDF":[142]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}