{"id":"https://openalex.org/W7117253325","doi":"https://doi.org/10.1109/vl-hcc65237.2025.00021","title":"Debugging into Existence with Program Synthesis","display_name":"Debugging into Existence with Program Synthesis","publication_year":2025,"publication_date":"2025-10-07","ids":{"openalex":"https://openalex.org/W7117253325","doi":"https://doi.org/10.1109/vl-hcc65237.2025.00021"},"language":null,"primary_location":{"id":"doi:10.1109/vl-hcc65237.2025.00021","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vl-hcc65237.2025.00021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)","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/A5083075081","display_name":"Guy Frankel","orcid":"https://orcid.org/0000-0001-5809-3455"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Guy Frankel","raw_affiliation_strings":["University of Edinburgh,United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh,United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067101486","display_name":"Shay Segal","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Shay Segal","raw_affiliation_strings":["Technion,Haifa,Israel"],"affiliations":[{"raw_affiliation_string":"Technion,Haifa,Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079058381","display_name":"Hila Peleg","orcid":"https://orcid.org/0000-0002-0107-5659"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Hila Peleg","raw_affiliation_strings":["Technion,Haifa,Israel"],"affiliations":[{"raw_affiliation_string":"Technion,Haifa,Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5083075081"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.70833333,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"116","last_page":"127"},"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.3792000114917755,"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.3792000114917755,"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/T10260","display_name":"Software Engineering Research","score":0.20509999990463257,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.10920000076293945,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/debugging","display_name":"Debugging","score":0.9269999861717224},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.8788999915122986},{"id":"https://openalex.org/keywords/debugger","display_name":"Debugger","score":0.8392999768257141},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7505000233650208},{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.58160001039505},{"id":"https://openalex.org/keywords/nexus","display_name":"Nexus (standard)","score":0.4778999984264374},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.46799999475479126},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4650000035762787}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9269999861717224},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.8788999915122986},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.840499997138977},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.8392999768257141},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7505000233650208},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7080000042915344},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.58160001039505},{"id":"https://openalex.org/C148609458","wikidata":"https://www.wikidata.org/wiki/Q7021281","display_name":"Nexus (standard)","level":2,"score":0.4778999984264374},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46799999475479126},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4650000035762787},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.427700012922287},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.41780000925064087},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.382099986076355},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.3312999904155731},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.3239000141620636},{"id":"https://openalex.org/C2780154230","wikidata":"https://www.wikidata.org/wiki/Q513420","display_name":"Undo","level":2,"score":0.3107999861240387},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.2939000129699707},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.28949999809265137},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2840000092983246},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25859999656677246}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vl-hcc65237.2025.00021","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vl-hcc65237.2025.00021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1905591175","https://openalex.org/W1992154356","https://openalex.org/W2018220852","https://openalex.org/W2088505585","https://openalex.org/W2093535699","https://openalex.org/W2115733813","https://openalex.org/W2132525863","https://openalex.org/W2146105230","https://openalex.org/W2157922094","https://openalex.org/W2164372721","https://openalex.org/W2561055248","https://openalex.org/W2603957037","https://openalex.org/W2610517421","https://openalex.org/W2617064411","https://openalex.org/W2731197199","https://openalex.org/W2761958682","https://openalex.org/W2768736423","https://openalex.org/W2770408320","https://openalex.org/W2795260929","https://openalex.org/W2913258080","https://openalex.org/W2963218353","https://openalex.org/W3033889389","https://openalex.org/W3046985528","https://openalex.org/W3094252362","https://openalex.org/W3094268141","https://openalex.org/W3107416527","https://openalex.org/W3109017117","https://openalex.org/W3161042817","https://openalex.org/W3192343331","https://openalex.org/W3195067072","https://openalex.org/W4226185774","https://openalex.org/W4229675450","https://openalex.org/W4242239856","https://openalex.org/W4307472488","https://openalex.org/W4313563465","https://openalex.org/W4315605888","https://openalex.org/W4362659486","https://openalex.org/W4387801079","https://openalex.org/W4396832255","https://openalex.org/W4403334275","https://openalex.org/W4403447207","https://openalex.org/W4403447505","https://openalex.org/W4408108907"],"related_works":[],"abstract_inverted_index":{"When":[0],"modifying":[1],"an":[2],"existing":[3],"codebase":[4],"to":[5,50,110,130,135,180],"handle":[6],"new":[7,21],"functionality,":[8],"programmers":[9,30,120],"will":[10],"often":[11],"debug":[12],"the":[13,16,20,34,48,55,58,67,85,112,136,141,145],"program":[14,108,132],"until":[15],"insertion":[17],"point":[18],"for":[19,88,212],"code.":[22],"This":[23],"method,":[24],"termed":[25],"Debugging":[26,113,209],"into":[27,114,186,210],"Existence,":[28],"helps":[29],"familiarize":[31],"themselves":[32],"with":[33,82],"surrounding":[35],"code":[36,53,188],"and":[37,107,165,182],"runtime":[38,122],"state.":[39],"Despite":[40],"its":[41],"realworld":[42],"usage,":[43],"it":[44,71],"is":[45,60],"limited":[46],"by":[47,90,92,127,144],"inability":[49],"test":[51],"potential":[52],"past":[54],"first":[56],"time":[57,179,204],"location":[59],"called,":[61],"since":[62],"added":[63],"functionality":[64],"would":[65],"change":[66],"future":[68],"state":[69,133,142],"making":[70],"irrelevant.":[72],"Prior":[73],"work":[74],"has":[75],"pioneered":[76],"Live":[77],"Execution":[78],"over":[79],"partial":[80],"programs,":[81],"extensions":[83],"using":[84],"provided":[86,143],"values":[87],"synthesis":[89,109],"Programming":[91],"Example.":[93],"In":[94,190],"this":[95,153],"work,":[96],"we":[97,192],"present":[98],"DeSynt,":[99],"a":[100,159],"debugger":[101],"extension":[102],"that":[103,151,167,170,194,196,214],"integrates":[104],"live":[105],"execution":[106],"extend":[111],"Existence":[115,211],"interaction":[116],"model.":[117],"DeSynt":[118,147,157,198,207],"grants":[119],"meaningful":[121],"information":[123],"across":[124],"many":[125],"executions,":[126],"allowing":[128],"them":[129],"manipulate":[131],"according":[134],"desired":[137],"functionality.":[138,154],"Based":[139],"on":[140,162],"programmer,":[146],"then":[148],"synthesizes":[149],"programs":[150],"capture":[152],"We":[155],"evaluated":[156],"in":[158,168],"between-subjects":[160],"study":[161],"10":[163],"users,":[164],"found":[166,193],"tasks":[169],"do":[171],"not":[172],"involve":[173],"complex":[174],"fault":[175],"localization,":[176],"deSynt":[177],"reduces":[178],"completion":[181],"concentrates":[183],"programmer":[184],"effort":[185],"fewer":[187],"locations.":[189],"addition,":[191],"users":[195],"used":[197],"spent":[199],"more":[200],"of":[201],"their":[202],"task":[203],"debugging,":[205],"indicating":[206],"supports":[208],"those":[213],"already":[215],"use":[216],"it.":[217]},"counts_by_year":[],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-12-25T00:00:00"}