{"id":"https://openalex.org/W2228165877","doi":null,"title":"Multi-Platform Binary Program Testing Using Concolic Execution","display_name":"Multi-Platform Binary Program Testing Using Concolic Execution","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2228165877","mag":"2228165877"},"language":"en","primary_location":{"id":"mag:2228165877","doi":null,"is_oa":false,"landing_page_url":"https://odr.chalmers.se/bitstream/20.500.12380/228478/1/228478.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"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/A5059247420","display_name":"Eike Siewertsen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Eike Siewertsen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5059247420"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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/T11424","display_name":"Security and Verification in Computing","score":0.0,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0,"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/concolic-execution","display_name":"concolic execution","score":0.9850000143051147},{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.7730000019073486},{"id":"https://openalex.org/keywords/fuzzing","display_name":"fuzzing","score":0.8569999933242798},{"id":"https://openalex.org/keywords/embedded-devices","display_name":"embedded devices","score":0.6850000023841858},{"id":"https://openalex.org/keywords/software-vulnerabilities","display_name":"software vulnerabilities","score":0.48500001430511475},{"id":"https://openalex.org/keywords/resource-constrained-devices","display_name":"resource-constrained devices","score":0.5400000214576721}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6975612044334412},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5613954067230225},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5251878499984741},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46798205375671387},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4411110281944275},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.4261711537837982},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.41890838742256165},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3709917664527893},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2656049132347107},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2228165877","doi":null,"is_oa":false,"landing_page_url":"https://odr.chalmers.se/bitstream/20.500.12380/228478/1/228478.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7100299087","https://openalex.org/W1968929858","https://openalex.org/W2001565125","https://openalex.org/W3172606155","https://openalex.org/W3007193137","https://openalex.org/W49527103","https://openalex.org/W6921300763","https://openalex.org/W2092231696","https://openalex.org/W2278475716","https://openalex.org/W3105061167"],"abstract_inverted_index":{"In":[0,264],"today's":[1],"world,":[2],"computer":[3],"systems":[4],"have":[5,50],"long":[6],"since":[7],"made":[8],"the":[9,12,18,68,89,104,112,116,120,123,126,133,147,170,175,180,185,196,202,206,214,217,229,237,240,289,316,334,416,425,439,445],"move":[10],"from":[11,188],"desktop":[13],"to":[14,33,58,83,106,140,168,184,228,307,318,326,329,376,395,399],"numerous":[15],"locations":[16],"in":[17,60,75,132,146,151,174,360,407,415],"form":[19],"of":[20,44,70,88,93,125,135,149,165,172,198,205,216,239,248,333,418,427,444],"routers,":[21],"intelligent":[22,137],"light":[23,138],"bulbs,":[24],"electricity":[25],"meters":[26],"and":[27,53,118,143,195,295,346,432,448],"more.":[28],"These":[29,48],"devices":[30,150,167],"are":[31,38,358],"referred":[32],"as":[34],"\\embedded":[35],"devices,\r\nbecause":[36],"they":[37,362],"generally":[39],"smaller,":[40],"less":[41],"powerful":[42],"versions":[43],"their":[45],"PC":[46],"counterparts.":[47],"computers":[49],"lower":[51],"memory":[52],"CPU":[54],"performance":[55],"requirements,":[56],"leading":[57],"challenges":[59],"creating":[61],"software":[62,117,181],"for":[63,162,191,231,259,272,277,291],"such":[64,166,274],"devices:":[65],"resource":[66],"constraints\r\nencourage":[67],"use":[69,301],"unsafe":[71],"programming":[72,200],"languages,":[73,201],"which":[74],"turn":[76],"promotes":[77],"an":[78,136,269,412],"environment":[79],"that":[80,99,178,235,253,309,361,364,371,406,424,433],"can":[81,100,129,209,223,286,366,436],"lead":[82,130],"mistakes":[84],"or":[85,110,219],"unintended":[86,108],"side-effects":[87],"created":[90],"program.":[91,279],"Some":[92],"these":[94],"errors":[95,212],"open":[96],"up":[97],"vulnerabilities":[98],"be":[101,224,327],"abused,":[102],"causing":[103,391],"program":[105,193,218,317,336,375],"perform":[107],"actions":[109],"giving":[111],"actors":[113],"control":[114],"over":[115],"consequently":[119],"device.":[121,220],"For":[122,243],"owner":[124],"device,":[127],"this":[128,244,265],"to\r\nannoyances":[131],"case":[134,148,314,417],"bulb,":[139],"real,":[141],"economic":[142],"physical":[144],"damage":[145],"a":[152,163,246,278,302,374,385],"critical":[153,211],"infrastructure.":[154],"It":[158],"is":[159],"therefore":[160],"necessary":[161],"manufacturer":[164],"ensure":[169,179,308],"presence":[171],"steps":[173],"development":[176,189],"process":[177],"conforms":[182],"rigorously":[183],"speci\fcation.":[186],"Aside":[187],"guidelines":[190],"writing":[192],"code,":[194,294],"choice":[197],"safe":[199],"actual":[203],"testing":[204],"\fnished":[207],"application":[208],"discover":[210],"before":[213],"release":[215],"Testing":[221],"applications":[222,249],"time-intensive":[225],"work":[226,398,435],"due":[227],"need":[230,290],"proper":[232],"test":[233,257,275,313,344,369],"cases":[234,258,276,345,370],"elicit":[236],"entirety":[238],"program's":[241],"functionality.":[242],"reason,":[245],"suite":[247],"exists":[250],"called":[251,304],"\\fuzzers,":[252],"automatically":[254],"generate":[255],"exhaustive":[256,368],"programs.":[260,402],"thesis":[266],"we":[267,324,365],"present":[268],"automated":[270],"system":[271],"generating":[273],"Unlike":[280],"most":[281],"fuzzing":[282],"engines,":[283],"our":[284,392,409,428],"solution":[285,394,410],"function":[287],"without":[288],"its":[292],"source":[293],"it":[296],"supports":[297],"multiple":[298],"architectures.":[299],"We":[300,422],"technique":[303],"\\concolic":[305],"execution":[379,388],"each":[310],"newly":[311],"generated":[312,351],"causes":[315],"exhibit":[319],"new":[320],"behavior.":[321],"With":[322],"this,":[323],"intend":[325],"able":[328],"cover":[330],"all":[331],"parts":[332],"original":[335],"much":[337],"faster":[338],"than":[339,348],"humans":[340],"could":[341],"manually":[342],"write":[343],"better":[347],"completely":[349],"randomly":[350],"inputs.":[352],"Our":[356],"results":[357],"promising":[359,430],"show":[363,405],"produce":[367],"reliably":[372],"cause":[373],"follow":[377],"unique":[378],"paths.":[380],"This":[381],"accuracy":[382],"comes":[383],"with":[384],"greatly":[386,437],"increased":[387],"cost,":[389],"however,":[390],"current":[393,446],"require":[396],"further":[397],"handle":[400],"larger":[401],"Nevertheless,":[403],"we\r\ncan":[404],"isolation,":[408],"outperforms":[411],"advanced":[413],"fuzzer":[414],"complicated":[419],"branch":[420],"conditions.":[421],"conclude":[423],"area":[426],"thesis\r\nshows":[429],"results,":[431],"future":[434],"improve":[438],"result":[440],"by":[441],"removing":[442],"some":[443],"limitations":[447],"improving":[449],"performance.":[450]},"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}