{"id":"https://openalex.org/W2132897303","doi":"https://doi.org/10.1145/1180405.1180445","title":"EXE","display_name":"EXE","publication_year":2006,"publication_date":"2006-10-30","ids":{"openalex":"https://openalex.org/W2132897303","doi":"https://doi.org/10.1145/1180405.1180445","mag":"2132897303"},"language":"en","primary_location":{"id":"doi:10.1145/1180405.1180445","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1180405.1180445","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th ACM conference on Computer and communications security","raw_type":"proceedings-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, Stanford, CA"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA","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, Stanford, CA"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA","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, Stanford, CA"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA","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, Stanford, CA"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA","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, Stanford, CA"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA","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":57.5423,"has_fulltext":false,"cited_by_count":787,"citation_normalized_percentile":{"value":0.99927007,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"322","last_page":"335"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7820517420768738},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7279212474822998},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5582938194274902},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.5559753775596619},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5225510001182556},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.507904589176178},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.43147027492523193},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3648832142353058},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.13187825679779053},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1203770637512207},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.09187600016593933}],"concepts":[{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7820517420768738},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7279212474822998},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5582938194274902},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.5559753775596619},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5225510001182556},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.507904589176178},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.43147027492523193},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3648832142353058},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.13187825679779053},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1203770637512207},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.09187600016593933}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1180405.1180445","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1180405.1180445","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th ACM conference on Computer and communications security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5799999833106995}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1514171102","https://openalex.org/W1515278398","https://openalex.org/W1518705996","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/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/W2124877509","https://openalex.org/W2135274583","https://openalex.org/W2156268601","https://openalex.org/W2162284942","https://openalex.org/W2164778826","https://openalex.org/W2171480813","https://openalex.org/W2238621239","https://openalex.org/W2914982603","https://openalex.org/W3145128584","https://openalex.org/W4237492309","https://openalex.org/W4242057943","https://openalex.org/W4285719527","https://openalex.org/W6630973549","https://openalex.org/W6632050797","https://openalex.org/W7029321148"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W1574842323","https://openalex.org/W3166784586","https://openalex.org/W2912813468"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"EXE,":[3],"an":[4,69,196],"effective":[5],"bug-finding":[6],"tool":[7],"that":[8,12,151,229],"automatically":[9,163],"generates":[10,164],"inputs":[11,228],"crash":[13],"real":[14,222],"code.":[15],"Instead":[16],"of":[17,199],"running":[18],"code":[19,39,78,202],"on":[20,29,45,93,99,109,221],"manually":[21],"or":[22,158],"randomly":[23],"constructed":[24],"input,":[25],"EXE":[26,41,59,84,103,162],"runs":[27],"it":[28,67,112,123,141,205],"symbolic":[30,47,57,82],"input":[31,194],"initially":[32],"allowed":[33],"to":[34,90,174,195,206],"be":[35,91],"\"anything.\"":[36],"As":[37],"checked":[38,201],"runs,":[40],"tracks":[42],"the":[43,88,94,100,144,170,200,208,213,233,240,244],"constraints":[44,147,173,187],"each":[46],"(i.e.,":[48],"input-derived)":[49],"memory":[50],"location.":[51],"If":[52,77],"a":[53,56,81,110,118,138,153,155,160,165],"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,247],"true":[92,95],"branch":[96],"and":[97,132,211,235,249],"false":[98],"other.":[101],"Because":[102,185],"reasons":[104],"about":[105],"possible":[107],"values":[108,177],"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,156,172,210],"(2)":[133],"at":[134],"dangerous":[135],"operations":[136],"(e.g.,":[137],"pointer":[139],"dereference),":[140],"detects":[142],"if":[143],"current":[145,171],"allow":[148],"value":[150],"causes":[152],"bug.When":[154],"terminates":[157],"hits":[159],"bug,":[161],"test":[166],"case":[167],"by":[168],"solving":[169],"find":[175],"concrete":[176,193],"using":[178],"its":[179],"own":[180],"co-designed":[181],"constraint":[182],"solver,":[183],"STP.":[184],"EXE's":[186],"have":[188],"no":[189],"approximations,":[190],"feeding":[191],"this":[192],"uninstrumented":[197],"version":[198],"will":[203],"cause":[204],"follow":[207],"same":[209,214],"hit":[212],"bug":[215],"(assuming":[216],"deterministic":[217],"code).EXE":[218],"works":[219],"well":[220],"code,":[223],"finding":[224],"bugs":[225],"along":[226],"with":[227],"trigger":[230],"them":[231],"in:":[232],"BSD":[234],"Linux":[236,251],"packet":[237],"filter":[238],"implementations,":[239],"udhcpd":[241],"DHCP":[242],"server,":[243],"pcre":[245],"regular":[246],"library,":[248],"three":[250],"file":[252],"systems.":[253]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":19},{"year":2020,"cited_by_count":28},{"year":2019,"cited_by_count":35},{"year":2018,"cited_by_count":40},{"year":2017,"cited_by_count":52},{"year":2016,"cited_by_count":46},{"year":2015,"cited_by_count":62},{"year":2014,"cited_by_count":53},{"year":2013,"cited_by_count":73},{"year":2012,"cited_by_count":61}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2016-06-24T00:00:00"}