{"id":"https://openalex.org/W2768029227","doi":"https://doi.org/10.1109/ase.2017.8115677","title":"Boosting complete-code tool for partial program","display_name":"Boosting complete-code tool for partial program","publication_year":2017,"publication_date":"2017-10-01","ids":{"openalex":"https://openalex.org/W2768029227","doi":"https://doi.org/10.1109/ase.2017.8115677","mag":"2768029227"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2017.8115677","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2017.8115677","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5002503342","display_name":"Hao Zhong","orcid":"https://orcid.org/0000-0002-4302-9183"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Zhong","raw_affiliation_strings":["Department of Computer Science and Engineering, Shanghai Jiao Tong University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Shanghai Jiao Tong University, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101558050","display_name":"Xiaoyin Wang","orcid":"https://orcid.org/0000-0002-9079-5534"},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaoyin Wang","raw_affiliation_strings":["Department of Computer Science, University of Texas at San Antonio, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Texas at San Antonio, USA","institution_ids":["https://openalex.org/I45438204"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5893,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.92444747,"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":"671","last_page":"681"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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":1.0,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"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.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/computer-science","display_name":"Computer science","score":0.8417705297470093},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"Partial evaluation","score":0.6988117694854736},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6702540516853333},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6536916494369507},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.636901319026947},{"id":"https://openalex.org/keywords/code-review","display_name":"Code review","score":0.6183585524559021},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.5779755711555481},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5636218786239624},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5367722511291504},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5041896104812622},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4981670379638672},{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.455625057220459},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.44312477111816406},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3488277196884155},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.20313960313796997},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.13720539212226868}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8417705297470093},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.6988117694854736},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6702540516853333},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6536916494369507},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.636901319026947},{"id":"https://openalex.org/C150292731","wikidata":"https://www.wikidata.org/wiki/Q1342704","display_name":"Code review","level":5,"score":0.6183585524559021},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.5779755711555481},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5636218786239624},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5367722511291504},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5041896104812622},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4981670379638672},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.455625057220459},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.44312477111816406},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3488277196884155},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.20313960313796997},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.13720539212226868},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase.2017.8115677","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2017.8115677","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)","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":54,"referenced_works":["https://openalex.org/W90447038","https://openalex.org/W136770712","https://openalex.org/W1494768888","https://openalex.org/W1570533264","https://openalex.org/W1575900732","https://openalex.org/W1977971855","https://openalex.org/W1999987361","https://openalex.org/W2000473405","https://openalex.org/W2011458734","https://openalex.org/W2022090474","https://openalex.org/W2024920205","https://openalex.org/W2028806953","https://openalex.org/W2038899190","https://openalex.org/W2039168567","https://openalex.org/W2039536418","https://openalex.org/W2055542752","https://openalex.org/W2057049321","https://openalex.org/W2072684419","https://openalex.org/W2074888021","https://openalex.org/W2076719273","https://openalex.org/W2080579313","https://openalex.org/W2091543666","https://openalex.org/W2107294940","https://openalex.org/W2108395261","https://openalex.org/W2109612250","https://openalex.org/W2110498832","https://openalex.org/W2117160785","https://openalex.org/W2130308071","https://openalex.org/W2144344516","https://openalex.org/W2147105902","https://openalex.org/W2147130904","https://openalex.org/W2148469619","https://openalex.org/W2151135920","https://openalex.org/W2151553346","https://openalex.org/W2153031028","https://openalex.org/W2153150125","https://openalex.org/W2154021641","https://openalex.org/W2165795967","https://openalex.org/W2166069603","https://openalex.org/W2222512263","https://openalex.org/W2463123136","https://openalex.org/W2561301563","https://openalex.org/W2620960751","https://openalex.org/W3148654751","https://openalex.org/W4213182250","https://openalex.org/W4229558641","https://openalex.org/W4237700877","https://openalex.org/W4244051999","https://openalex.org/W4248355651","https://openalex.org/W4255632703","https://openalex.org/W4255771497","https://openalex.org/W6603641824","https://openalex.org/W6676396137","https://openalex.org/W6730330013"],"related_works":["https://openalex.org/W4286331409","https://openalex.org/W2969257295","https://openalex.org/W2159712408","https://openalex.org/W2034209539","https://openalex.org/W2591877226","https://openalex.org/W2021976477","https://openalex.org/W2740795878","https://openalex.org/W2097696338","https://openalex.org/W2336938009","https://openalex.org/W2768029227"],"abstract_inverted_index":{"To":[0,190],"improve":[1],"software":[2],"quality,":[3],"researchers":[4,47],"and":[5,19,68,105,115,179],"practitioners":[6],"have":[7,48],"proposed":[8],"static":[9],"analysis":[10,116],"tools":[11,24,100,108,137,156,283],"for":[12,123,138,157,222,252],"various":[13],"purposes":[14],"(e.g.,":[15,37],"detecting":[16],"bugs,":[17],"anomalies,":[18],"vulnerabilities).":[20],"Although":[21],"many":[22,45,83],"such":[23],"are":[25,42,89,109,154],"powerful,":[26],"they":[27],"typically":[28],"need":[29],"complete":[30,81,139,158],"programs":[31,52,88,140,159,163],"where":[32],"all":[33],"the":[34,181,199,211,267],"code":[35,69,84,152,177,184,188,250],"names":[36,85,153,185,251],"class":[38],"names,":[39,178],"method":[40],"names)":[41],"resolved.":[43],"In":[44,167],"scenarios,":[46],"to":[49,141,174,203,217,278,284],"analyze":[50,102,142,161,204,285],"partial":[51,65,74,87,103,125,143,162,206,223,286],"in":[53,86,111,261],"bug":[54,254],"fixes":[55],"(the":[56],"revised":[57],"source":[58,240],"files":[59,173],"can":[60,160],"be":[61],"viewed":[62],"as":[63],"a":[64,73,77,80,92,129,195],"program),":[66],"tutorials,":[67],"search":[70],"results.":[71],"As":[72,91],"program":[75],"is":[76,148,215],"subset":[78],"of":[79,119,259,269],"program,":[82],"unknown.":[90],"result,":[93],"despite":[94],"their":[95,113],"syntactical":[96],"correctness,":[97],"existing":[98,106,136,226],"complete-code":[99,282],"cannot":[101],"programs,":[104,126,224],"partial-code":[107,234],"limited":[110],"both":[112],"number":[114],"capability.":[117],"Instead":[118],"proposing":[120],"another":[121],"tool":[122,196,213],"analyzing":[124],"we":[127,193],"propose":[128],"general":[130],"approach,":[131],"called":[132],"GRAPA,":[133,192],"that":[134,149,197,214,245],"boosts":[135],"programs.":[144,207,287],"Our":[145,242],"major":[146],"insight":[147],"after":[150],"unknown":[151,176,183,249],"resolved,":[155],"with":[164,256,280],"minor":[165],"modifications.":[166],"particular,":[168],"GRAPA":[169,246],"locates":[170],"Java":[171,205],"archive":[172],"resolve":[175],"resolves":[180],"remaining":[182],"from":[186,236],"resolved":[187,248],"names.":[189],"illustrate":[191],"implement":[194],"leverages":[198],"state-of-the-art":[200],"tool,":[201],"WALA,":[202],"We":[208,228],"thus":[209],"implemented":[210],"first":[212],"able":[216],"build":[218],"system":[219],"dependency":[220],"graphs":[221],"complementing":[225],"tools.":[227],"conduct":[229],"an":[230,257],"evaluation":[231],"on":[232,276],"8,198":[233],"commits":[235],"four":[237],"popular":[238],"open":[239],"projects.":[241],"results":[243,265],"show":[244,266],"fully":[247],"98.5%":[253],"fixes,":[255],"accuracy":[258],"96.1%":[260],"total.":[262],"Furthermore,":[263],"our":[264],"significance":[268],"GRAPA's":[270],"internal":[271],"techniques,":[272],"which":[273],"provides":[274],"insights":[275],"how":[277],"integrate":[279],"more":[281]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}