{"id":"https://openalex.org/W2735107749","doi":"https://doi.org/10.1145/3092703.3098225","title":"JFIX: semantics-based repair of Java programs via symbolic PathFinder","display_name":"JFIX: semantics-based repair of Java programs via symbolic PathFinder","publication_year":2017,"publication_date":"2017-07-10","ids":{"openalex":"https://openalex.org/W2735107749","doi":"https://doi.org/10.1145/3092703.3098225","mag":"2735107749"},"language":"en","primary_location":{"id":"doi:10.1145/3092703.3098225","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098225","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ink.library.smu.edu.sg/sis_research/3690","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075260906","display_name":"Xuan-Bach D. Le","orcid":"https://orcid.org/0000-0001-5044-1582"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Xuan-Bach D. Le","raw_affiliation_strings":["Singapore Management University, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042378793","display_name":"Duc-Hiep Chu","orcid":null},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Duc-Hiep Chu","raw_affiliation_strings":["IST, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081036622","display_name":"David Lo","orcid":"https://orcid.org/0000-0002-4367-7201"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"David Lo","raw_affiliation_strings":["Singapore Management University, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032356672","display_name":"Claire Le Goues","orcid":"https://orcid.org/0000-0002-3931-060X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Claire Le Goues","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088454541","display_name":"Willem Visser","orcid":"https://orcid.org/0000-0002-0913-3091"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Willem Visser","raw_affiliation_strings":["Stellenbosch University, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stellenbosch University, South Africa","institution_ids":["https://openalex.org/I26092322"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.3336,"has_fulltext":false,"cited_by_count":69,"citation_normalized_percentile":{"value":0.98513011,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"376","last_page":"379"},"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.9998999834060669,"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.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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.9991999864578247,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8511093854904175},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7971140146255493},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6977957487106323},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6447715759277344},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6446678042411804},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.5097848773002625},{"id":"https://openalex.org/keywords/pathfinder","display_name":"Pathfinder","score":0.4718252122402191},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18088296055793762},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.1086597740650177}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8511093854904175},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7971140146255493},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6977957487106323},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6447715759277344},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6446678042411804},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.5097848773002625},{"id":"https://openalex.org/C2778940482","wikidata":"https://www.wikidata.org/wiki/Q7144753","display_name":"Pathfinder","level":2,"score":0.4718252122402191},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18088296055793762},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.1086597740650177}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3092703.3098225","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098225","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-4692","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/3690","pdf_url":null,"source":{"id":"https://openalex.org/S4306401925","display_name":"Singapore Management University Institutional Knowledge (InK) (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://doi.org./10.1145/3092703.3098225","raw_type":"Conference Proceeding Article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-4920","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/3918","pdf_url":null,"source":{"id":"https://openalex.org/S4306401925","display_name":"Singapore Management University Institutional Knowledge (InK) (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://doi.org/10.1145/3092703.3098225","raw_type":"Conference Proceeding Article"}],"best_oa_location":{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-4692","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/3690","pdf_url":null,"source":{"id":"https://openalex.org/S4306401925","display_name":"Singapore Management University Institutional Knowledge (InK) (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://doi.org./10.1145/3092703.3098225","raw_type":"Conference Proceeding Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W841012168","https://openalex.org/W2060333670","https://openalex.org/W2061575154","https://openalex.org/W2076719273","https://openalex.org/W2078988604","https://openalex.org/W2096003418","https://openalex.org/W2144575244","https://openalex.org/W2145373440","https://openalex.org/W2149321161","https://openalex.org/W2153418968","https://openalex.org/W2171480813","https://openalex.org/W2172154252","https://openalex.org/W2240307463","https://openalex.org/W2248392824","https://openalex.org/W2272835211","https://openalex.org/W2274071363","https://openalex.org/W2373227884","https://openalex.org/W2400994325","https://openalex.org/W2465133314","https://openalex.org/W2571744281","https://openalex.org/W2574841074","https://openalex.org/W4240808027"],"related_works":["https://openalex.org/W2465291283","https://openalex.org/W179718899","https://openalex.org/W3187329742","https://openalex.org/W3101579177","https://openalex.org/W1498248384","https://openalex.org/W1955019684","https://openalex.org/W2315997511","https://openalex.org/W2568432792","https://openalex.org/W4306251929","https://openalex.org/W2924735795"],"abstract_inverted_index":{"Recently":[0],"there":[1],"has":[2],"been":[3,57],"a":[4,93,101,119,143,159],"proliferation":[5],"of":[6,83,145,161,163,184,206],"automated":[7],"program":[8,44],"repair":[9,158,183],"(APR)":[10],"techniques,":[11],"targeting":[12,202],"various":[13],"programming":[14],"languages.":[15],"Such":[16],"techniques":[17,55,74],"can":[18,153,177],"be":[19,138],"generally":[20],"classified":[21],"into":[22],"two":[23],"families:":[24],"syntactic-":[25,198],"and":[26,42,70,90,108,134,156,199],"semantics-based.":[27],"Semantics-based":[28],"APR,":[29],"on":[30,61],"which":[31],"we":[32],"focus,":[33],"typically":[34],"uses":[35],"symbolic":[36,121],"execution":[37,122],"to":[38,46,50,137,141],"infer":[39],"semantic":[40],"constraints":[41],"then":[43],"synthesis":[45],"construct":[47],"repairs":[48],"conforming":[49],"them.":[51],"While":[52],"syntactic-based":[53],"APR":[54,73,85,96,103,131,152,201],"have":[56],"shown":[58],"success-":[59],"ful":[60],"bugs":[62,164,185],"in":[63,67,165,186],"real-world":[64,167],"programs":[65],"written":[66],"both":[68,178],"C":[69,77],"Java,":[71,107],"semantics-based":[72,102,151,182,200],"mostly":[75],"target":[76],"programs.":[78,126,169],"This":[79,170],"leaves":[80],"empirical":[81,195],"comparisons":[82],"the":[84,175,212],"families":[86],"not":[87],"fully":[88],"explored,":[89],"developers":[91,180],"without":[92],"Java-based":[94],"semantics":[95],"technique.":[97],"We":[98,148],"present":[99],"JFix,":[100],"framework":[104,176],"that":[105,150,174],"targets":[106],"an":[109],"associated":[110],"Eclipse":[111],"plugin.":[112],"JFix":[113],"is":[114,135,209],"implemented":[115],"atop":[116],"Symbolic":[117],"PathFinder,":[118],"well-known":[120],"engine":[123],"for":[124],"Java":[125,168,187],"It":[127],"extends":[128],"one":[129],"particular":[130],"technique":[132],"(Angelix),":[133],"designed":[136],"sufficiently":[139],"generic":[140],"support":[142,179],"variety":[144,160],"such":[146],"techniques.":[147],"demonstrate":[149],"indeed":[154],"efficiently":[155],"effectively":[157],"classes":[162],"large":[166],"supports":[171],"our":[172,207],"claim":[173],"seeking":[181],"programs,":[188],"as":[189,191],"well":[190],"enable":[192],"larger":[193],"scale":[194],"studies":[196],"comparing":[197],"Java.":[203],"The":[204],"demonstration":[205],"tool":[208],"available":[210],"via":[211],"project":[213],"website":[214],"at:":[215],"https://xuanbachle.github.io/semanticsrepair/":[216]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":13},{"year":2019,"cited_by_count":16},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}