{"id":"https://openalex.org/W2011367000","doi":"https://doi.org/10.1145/1455518.1455522","title":"EXE","display_name":"EXE","publication_year":2008,"publication_date":"2008-12-01","ids":{"openalex":"https://openalex.org/W2011367000","doi":"https://doi.org/10.1145/1455518.1455522","mag":"2011367000"},"language":"en","primary_location":{"id":"doi:10.1145/1455518.1455522","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1455518.1455522","pdf_url":null,"source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"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 Transactions on Information and System Security","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/A5053355200","display_name":"Cristian Cadar","orcid":"https://orcid.org/0000-0002-3599-7264"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Cristian Cadar","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052292970","display_name":"Vijay Ganesh","orcid":"https://orcid.org/0000-0002-6029-2047"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay Ganesh","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029570675","display_name":"Peter M. Pawlowski","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter M. Pawlowski","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009458897","display_name":"David L. Dill","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David L. Dill","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111537551","display_name":"Dawson Engler","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dawson R. Engler","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5053355200"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":19.1809,"has_fulltext":false,"cited_by_count":333,"citation_normalized_percentile":{"value":0.99393834,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"12","issue":"2","first_page":"1","last_page":"38"},"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.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8051776885986328},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7549484968185425},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5527146458625793},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5440070629119873},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.5338505506515503},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4998745918273926},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.43055835366249084},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3421335220336914},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.14021256566047668},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10748285055160522},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.09721997380256653}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8051776885986328},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7549484968185425},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5527146458625793},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5440070629119873},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.5338505506515503},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4998745918273926},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.43055835366249084},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3421335220336914},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.14021256566047668},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10748285055160522},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.09721997380256653}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1455518.1455522","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1455518.1455522","pdf_url":null,"source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"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 Transactions on Information and System Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1813541775","display_name":null,"funder_award_id":"CCR-0121403","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2645135192","display_name":null,"funder_award_id":"FA8750-05-2-0142","funder_id":"https://openalex.org/F4320306110","funder_display_name":"U.S. Department of Homeland Security"},{"id":"https://openalex.org/G8351409400","display_name":null,"funder_award_id":"CNS-0238570-001","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306110","display_name":"U.S. Department of Homeland Security","ror":"https://ror.org/00jyr0d86"},{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1514171102","https://openalex.org/W1518705996","https://openalex.org/W1531082202","https://openalex.org/W1535713556","https://openalex.org/W1565952674","https://openalex.org/W1578723138","https://openalex.org/W1579850852","https://openalex.org/W1592502301","https://openalex.org/W1720848645","https://openalex.org/W1836035163","https://openalex.org/W1966982815","https://openalex.org/W1971727464","https://openalex.org/W1993836075","https://openalex.org/W1997960810","https://openalex.org/W1998070736","https://openalex.org/W2002934700","https://openalex.org/W2009489720","https://openalex.org/W2025304834","https://openalex.org/W2033396863","https://openalex.org/W2059942119","https://openalex.org/W2065675749","https://openalex.org/W2084974764","https://openalex.org/W2089139117","https://openalex.org/W2091118580","https://openalex.org/W2094382938","https://openalex.org/W2096449544","https://openalex.org/W2096503829","https://openalex.org/W2100583963","https://openalex.org/W2103714221","https://openalex.org/W2104136059","https://openalex.org/W2107089133","https://openalex.org/W2109875364","https://openalex.org/W2115309705","https://openalex.org/W2117058582","https://openalex.org/W2120713211","https://openalex.org/W2132897303","https://openalex.org/W2135274583","https://openalex.org/W2156268601","https://openalex.org/W2162284942","https://openalex.org/W2164778826","https://openalex.org/W2171480813","https://openalex.org/W4237492309","https://openalex.org/W4242057943","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2480201319","https://openalex.org/W2387706296","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W1574842323","https://openalex.org/W2912813468"],"abstract_inverted_index":{"This":[0],"article":[1],"presents":[2],"EXE,":[3],"an":[4,69,197],"effective":[5],"bug-finding":[6],"tool":[7],"that":[8,12,151,231],"automatically":[9,164],"generates":[10,165],"inputs":[11,230],"crash":[13],"real":[14,224],"code.":[15],"Instead":[16],"of":[17,200],"running":[18],"code":[19,39,78,203],"on":[20,29,45,93,99,109,223],"manually":[21],"or":[22,159],"randomly":[23],"constructed":[24],"input,":[25],"EXE":[26,41,59,84,103,163,220],"runs":[27],"it":[28,67,112,123,141,206],"symbolic":[30,47,57,82],"input":[31,195],"initially":[32],"allowed":[33],"to":[34,90,175,196,207],"be":[35,91],"anything.":[36],"As":[37],"checked":[38,202],"runs,":[40],"tracks":[42],"the":[43,88,94,100,144,171,201,209,214,235,242,246],"constraints":[44,147,174,188],"each":[46],"(i.e.,":[48],"input-derived)":[49],"memory":[50],"location.":[51],"If":[52,77],"a":[53,56,81,110,118,138,153,156,161,166],"statement":[54],"uses":[55],"value,":[58],"does":[60],"not":[61],"run":[62,74],"it,":[63],"but":[64],"instead":[65],"adds":[66],"as":[68,75],"input-constraint;":[70],"all":[71,106],"other":[72],"statements":[73],"usual.":[76],"conditionally":[79],"checks":[80],"expression,":[83],"forks":[85],"execution,":[86],"constraining":[87],"expression":[89,249],"true":[92,95],"branch":[96],"and":[97,132,212,237,251],"false":[98],"other.":[101],"Because":[102,186],"reasons":[104],"about":[105],"possible":[107],"values":[108,178],"path,":[111],"has":[113],"much":[114],"more":[115],"power":[116],"than":[117],"traditional":[119],"runtime":[120],"tool:":[121],"(1)":[122],"can":[124],"force":[125],"execution":[126],"down":[127],"any":[128,149],"feasible":[129],"program":[130],"path":[131,146,157,173,211],"(2)":[133],"at":[134],"dangerous":[135],"operations":[136],"(e.g.,":[137],"pointer":[139],"dereference),":[140],"detects":[142],"if":[143],"current":[145,172],"allow":[148],"value":[150],"causes":[152],"bug.":[154],"When":[155],"terminates":[158],"hits":[160],"bug,":[162],"test":[167],"case":[168],"by":[169],"solving":[170],"find":[176],"concrete":[177,194],"using":[179],"its":[180],"own":[181],"co-designed":[182],"constraint":[183],"solver,":[184],"STP.":[185],"EXE\u2019s":[187],"have":[189],"no":[190],"approximations,":[191],"feeding":[192],"this":[193],"uninstrumented":[198],"version":[199],"will":[204],"cause":[205],"follow":[208],"same":[210,215],"hit":[213],"bug":[216],"(assuming":[217],"deterministic":[218],"code).":[219],"works":[221],"well":[222],"code,":[225],"finding":[226],"bugs":[227],"along":[228],"with":[229],"trigger":[232],"them":[233],"in:":[234],"BSD":[236],"Linux":[238,253],"packet":[239],"filter":[240],"implementations,":[241],"dhcpd":[243],"DHCP":[244],"server,":[245],"pcre":[247],"regular":[248],"library,":[250],"three":[252],"file":[254],"systems.":[255]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":13},{"year":2024,"cited_by_count":18},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":24},{"year":2021,"cited_by_count":21},{"year":2020,"cited_by_count":20},{"year":2019,"cited_by_count":32},{"year":2018,"cited_by_count":22},{"year":2017,"cited_by_count":18},{"year":2016,"cited_by_count":21},{"year":2015,"cited_by_count":27},{"year":2014,"cited_by_count":19},{"year":2013,"cited_by_count":24},{"year":2012,"cited_by_count":23}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2016-06-24T00:00:00"}