{"id":"https://openalex.org/W2169227623","doi":"https://doi.org/10.1109/micro.2006.40","title":"PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection","display_name":"PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection","publication_year":2006,"publication_date":"2006-12-01","ids":{"openalex":"https://openalex.org/W2169227623","doi":"https://doi.org/10.1109/micro.2006.40","mag":"2169227623"},"language":"en","primary_location":{"id":"doi:10.1109/micro.2006.40","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2006.40","pdf_url":null,"source":{"id":"https://openalex.org/S4210171338","display_name":"Proceedings of the ... annual International Symposium on Microarchitecture/Proceedings of the annual International Symposium on Microarchitecture","issn_l":"1072-4451","issn":["1072-4451","2379-3155"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06)","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/A5061448314","display_name":"Shan Lu","orcid":"https://orcid.org/0000-0002-0757-4600"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Shan Lu","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078710627","display_name":"Pin Zhou","orcid":"https://orcid.org/0000-0002-5047-3637"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pin Zhou","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100431860","display_name":"Wei Liu","orcid":"https://orcid.org/0000-0002-7825-4399"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wei Liu","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044337890","display_name":"Yuanyuan Zhou","orcid":"https://orcid.org/0000-0002-8703-219X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuanyuan Zhou","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055909708","display_name":"Josep Torrellas","orcid":"https://orcid.org/0000-0003-2595-5228"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Josep Torrellas","raw_affiliation_strings":["Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois, Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5061448314"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":2.8007,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.91333333,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"38","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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":0.9998000264167786,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9973000288009644,"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/computer-science","display_name":"Computer science","score":0.858687162399292},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7489636540412903},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.622371256351471},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6005354523658752},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5108956694602966},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.49228158593177795},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.469139039516449},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4319206476211548},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3280388116836548},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2858796715736389}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.858687162399292},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7489636540412903},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.622371256351471},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6005354523658752},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5108956694602966},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.49228158593177795},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.469139039516449},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4319206476211548},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3280388116836548},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2858796715736389},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/micro.2006.40","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2006.40","pdf_url":null,"source":{"id":"https://openalex.org/S4210171338","display_name":"Proceedings of the ... annual International Symposium on Microarchitecture/Proceedings of the annual International Symposium on Microarchitecture","issn_l":"1072-4451","issn":["1072-4451","2379-3155"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W96426722","https://openalex.org/W1514171102","https://openalex.org/W1565952674","https://openalex.org/W1583850579","https://openalex.org/W1971727464","https://openalex.org/W1973326708","https://openalex.org/W1986913310","https://openalex.org/W2009489720","https://openalex.org/W2015341324","https://openalex.org/W2032204694","https://openalex.org/W2044062670","https://openalex.org/W2063639637","https://openalex.org/W2096449544","https://openalex.org/W2099537990","https://openalex.org/W2106887144","https://openalex.org/W2108200978","https://openalex.org/W2108806129","https://openalex.org/W2114881958","https://openalex.org/W2116409384","https://openalex.org/W2117009500","https://openalex.org/W2117058582","https://openalex.org/W2118896605","https://openalex.org/W2120518487","https://openalex.org/W2121081915","https://openalex.org/W2127532866","https://openalex.org/W2129663982","https://openalex.org/W2134633067","https://openalex.org/W2137081678","https://openalex.org/W2140611647","https://openalex.org/W2141094479","https://openalex.org/W2144495364","https://openalex.org/W2146804254","https://openalex.org/W2149984854","https://openalex.org/W2153948266","https://openalex.org/W2155479707","https://openalex.org/W2160510992","https://openalex.org/W2160730704","https://openalex.org/W2166293939","https://openalex.org/W2168291305","https://openalex.org/W2912111225","https://openalex.org/W4205283737","https://openalex.org/W4233399214","https://openalex.org/W4234020632","https://openalex.org/W4235261014","https://openalex.org/W4236787594","https://openalex.org/W4237492309","https://openalex.org/W4239813889","https://openalex.org/W4244763500","https://openalex.org/W4246906397","https://openalex.org/W4250893082","https://openalex.org/W4251167975","https://openalex.org/W4254296432","https://openalex.org/W4255079701","https://openalex.org/W4256028745","https://openalex.org/W6634811903","https://openalex.org/W6677271875","https://openalex.org/W6677676173","https://openalex.org/W6677956811","https://openalex.org/W6683485974","https://openalex.org/W6684034536","https://openalex.org/W6684478320","https://openalex.org/W6759124397","https://openalex.org/W6828184322"],"related_works":["https://openalex.org/W2379153735","https://openalex.org/W2046172023","https://openalex.org/W2972896947","https://openalex.org/W2170146914","https://openalex.org/W2355105570","https://openalex.org/W2083974823","https://openalex.org/W2072751097","https://openalex.org/W4237177615","https://openalex.org/W2289257917","https://openalex.org/W2015567081"],"abstract_inverted_index":{"Dynamic":[0],"software":[1,142,199],"bug":[2,83,108,179],"detection":[3,84,109,180],"tools":[4,85,110,225],"are":[5,115,234,263],"commonly":[6],"used":[7],"because":[8,239],"they":[9,14,24,39],"leverage":[10],"run-time":[11],"information.":[12],"However,":[13],"suffer":[15],"from":[16,249],"a":[17,63,71,91,100,130,145],"fundamental":[18,60],"limitation,":[19],"the":[20,46,54,77,136,214,242,257,268,306],"path":[21,79],"coverage":[22,80,244,259,270],"problem:":[23],"detect":[25,226],"bugs":[26,41,113,216,232],"only":[27],"in":[28,33,45,99,117,139,164,309],"taken":[29],"paths":[30,98,120,160],"but":[31],"not":[32,124,212],"non-taken":[34,97,119,159],"paths.":[35],"In":[36],"other":[37],"words,":[38],"require":[40],"to":[42,57,111,134,144,157,222,251],"be":[43,125],"exposed":[44],"monitored":[47],"execution.":[48,171],"This":[49,105,237],"paper":[50],"makes":[51],"one":[52],"of":[53,81,229,245,296],"first":[55],"attempts":[56],"address":[58],"this":[59],"problem":[61],"with":[62,86,196,203,265,301],"simple":[64,131],"hardware":[65,132,307],"extension.":[66],"First,":[67],"we":[68,128,175],"propose":[69,129],"PathExpander,":[70,174],"novel":[72],"design":[73,308],"that":[74,114,168,210,218,233,279],"dynamically":[75],"increases":[76,241],"code":[78,243],"dynamic":[82,107,178,182,186],"no":[87],"programmer":[88],"involvement.":[89],"As":[90],"program":[92],"executes,":[93],"PathExpander":[94,152,219,240,280,310],"selectively":[95],"executes":[96],"sandbox":[101],"without":[102],"side":[103],"effects.":[104],"enables":[106],"find":[112],"present":[116],"these":[118,224],"and":[121,190,192,288],"would":[122],"otherwise":[123,235],"detected.":[126],"Second,":[127],"extension":[133],"control":[135],"huge":[137],"overhead":[138,289,299],"its":[140],"pure":[141],"implementation":[143,303],"moderate":[146],"level.":[147],"To":[148,172],"further":[149,304],"minimize":[150],"overhead,":[151],"provides":[153],"an":[154],"optimization":[155],"option":[156],"execute":[158],"on":[161,253,256,286],"idle":[162],"cores":[163],"chip":[165],"multi-processor":[166],"architectures":[167],"support":[169],"speculative":[170],"evaluate":[173],"use":[176],"three":[177],"methods:":[181],"software-only":[183],"checker":[184,188],"(CCured),":[185],"hardware-assisted":[187],"(iWatcher)":[189],"assertions;":[191],"conduct":[193],"side-by-side":[194],"comparison":[195],"PathExpander's":[197],"counterpart":[198],"implementation.":[200],"Our":[201],"experiments":[202],"seven":[204],"buggy":[205],"programs":[206],"using":[207],"general":[208],"inputs":[209],"do":[211],"expose":[213],"tested":[215,231,264],"show":[217,278],"is":[220,238],"able":[221],"help":[223],"21":[227],"(out":[228],"38)":[230],"missed.":[236],"each":[246],"test":[247],"case":[248],"40%":[250],"65%":[252],"average,":[254],"based":[255],"branch":[258],"metric.":[260],"When":[261],"applications":[262],"multiple":[266],"inputs,":[267],"cumulative":[269],"also":[271,277],"significantly":[272],"improves":[273],"by":[274],"19%.":[275],"We":[276],"introduces":[281],"modest":[282],"false":[283],"positives":[284],"(4":[285],"average)":[287],"(less":[290],"than":[291],"9.9%).":[292],"The":[293],"3-4":[294],"orders":[295],"magnitude":[297],"lower":[298],"compared":[300],"pure-software":[302],"justifies":[305]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}