{"id":"https://openalex.org/W7166686145","doi":"https://doi.org/10.1145/3797135","title":"PROGnosticator: Testing Source-to-Source Code Translators via Construct-Oriented Fuzzing","display_name":"PROGnosticator: Testing Source-to-Source Code Translators via Construct-Oriented Fuzzing","publication_year":2026,"publication_date":"2026-06-30","ids":{"openalex":"https://openalex.org/W7166686145","doi":"https://doi.org/10.1145/3797135"},"language":"en","primary_location":{"id":"doi:10.1145/3797135","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797135","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3797135","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019412193","display_name":"Yeaseen Arafat","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yeaseen Arafat","raw_affiliation_strings":["University of Utah, Salt Lake City, USA"],"raw_orcid":"https://orcid.org/0009-0006-6029-8357","affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088758050","display_name":"Stefan Nagy","orcid":"https://orcid.org/0000-0003-0220-1706"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stefan Nagy","raw_affiliation_strings":["University of Utah, Salt Lake City, USA"],"raw_orcid":"https://orcid.org/0000-0003-0220-1706","affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, USA","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.83347176,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"FSE","first_page":"876","last_page":"898"},"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.920199990272522,"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.920199990272522,"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.03460000082850456,"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/T10126","display_name":"Logic, programming, and type systems","score":0.007300000172108412,"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/fuzz-testing","display_name":"Fuzz testing","score":0.9038000106811523},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5336999893188477},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4749999940395355},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.4700999855995178},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.3799000084400177},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.3790999948978424},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3785000145435333},{"id":"https://openalex.org/keywords/machine-translation","display_name":"Machine translation","score":0.33250001072883606}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9038000106811523},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8849999904632568},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7716000080108643},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5336999893188477},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4749999940395355},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.4700999855995178},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.3799000084400177},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.3790999948978424},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3785000145435333},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.34360000491142273},{"id":"https://openalex.org/C203005215","wikidata":"https://www.wikidata.org/wiki/Q79798","display_name":"Machine translation","level":2,"score":0.33250001072883606},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3249000012874603},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.322299987077713},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3203999996185303},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.3082999885082245},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.30000001192092896},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.29490000009536743},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.28529998660087585},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.2777000069618225},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.26910001039505005},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2635999917984009},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C154526789","wikidata":"https://www.wikidata.org/wiki/Q157965","display_name":"Object code","level":4,"score":0.25290000438690186}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3797135","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797135","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3797135","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797135","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5016092658042908,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G6769771232","display_name":"CICI: TCR: Practical, Systematic Fuzz Testing for Securing Scientific Software","funder_award_id":"2419798","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6837348146","display_name":null,"funder_award_id":"GR105409-SUB00001384","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W4411403346"],"related_works":[],"abstract_inverted_index":{"To":[0,149],"ease":[1],"software":[2],"interoperability":[3],"and":[4,28,90,125,202,241,250],"migration,":[5],"developers":[6],"are":[7,86,107,273],"increasingly":[8],"embracing":[9],"transpilers:":[10],"automated":[11],"tools":[12],"for":[13,162,247],"converting":[14],"source":[15],"code":[16,75,118,140,189,200],"from":[17,170,192],"one":[18],"language":[19,25,63,100,194,198],"to":[20,48,71,88,95,114],"another.":[21],"Unfortunately,":[22],"differences":[23],"in":[24,58,78],"constructs,":[26,211],"syntax,":[27],"semantics":[29],"leave":[30],"transpilers":[31,127,246],"facing":[32],"many":[33,224],"translation":[34,176],"bugs,":[35,173,269],"emitting":[36],"incorrect":[37],"or":[38,83,147,230,280],"non-functional":[39],"translations.":[40],"Thorough,":[41],"proactive":[42],"transpiler":[43,121,172,242,268],"testing":[44,59,94,164,222],"is":[45],"thus":[46,128],"critical":[47],"the":[49,73,116,185],"reliability":[50],"of":[51,62,99,139,188,270],"emergent":[52],"translation-oriented":[53],"development.":[54],"While":[55],"fuzzers":[56,68,243],"excel":[57],"adjacent":[60],"classes":[61],"processors":[64],"(e.g.,":[65],"compilers),":[66],"current":[67,124],"remain":[69],"tied":[70],"only":[72],"specific":[74],"patterns":[76,119,190],"expressed":[77],"their":[79,93,104],"inputs\u2014":[80],"hardcoded":[81],"grammars":[82,229],"seed":[84],"programs\u2014which":[85],"costly":[87,144],"curate":[89],"extend,":[91],"constraining":[92],"just":[96],"narrow":[97],"subsets":[98],"constructs.":[101,195],"Worse":[102],"yet,":[103],"generated":[105],"programs":[106,216],"often":[108],"overly":[109],"complex,":[110],"requiring":[111],"non-trivial":[112],"reduction":[113],"pinpoint":[115],"exact":[117],"behind":[120],"errors.":[122],"Evaluating":[123],"future":[126],"demands":[129],"a":[130,157,208],"rigorous,":[131],"input-independent":[132],"fuzzing":[133],"strategy\u2014systematically":[134],"exercising":[135,217],"languages\u2019":[136],"broad":[137],"range":[138],"constructs":[141],"without":[142],"needing":[143],"per-language":[145,259],"expertise":[146],"re-engineering.":[148],"bridge":[150],"this":[151],"gap,":[152],"we":[153,204,252],"present":[154],"Construct-oriented":[155],"Fuzzing:":[156],"language-agnostic":[158],"yet":[159],"construct-aware":[160],"approach":[161,182,256],"systematically":[163],"transpilers.":[165],"Motivated":[166],"by":[167,282],"our":[168,181,234,255],"insights":[169],"past":[171],"revealing":[174],"most":[175],"errors":[177],"embody":[178],"construct-specific":[179],"mishandling,":[180],"explicitly":[183],"targets":[184],"vast":[186],"space":[187],"derived":[191],"core":[193,210],"Harnessing":[196],"large":[197],"models\u2019":[199],"understanding":[201],"synthesis,":[203],"(1)":[205],"automatically":[206],"enumerate":[207],"language\u2019s":[209],"before":[212],"(2)":[213],"generating":[214],"self-contained":[215],"them":[218],"individually\u2014and":[219],"combinations":[220],"thereof\u2014precisely":[221],"transpilers\u2019":[223],"edge-cases":[225],"whilst":[226],"eschewing":[227],"cumbersome":[228],"seeds.":[231],"In":[232],"evaluating":[233],"prototype,":[235],"PROGnosticator,":[236],"against":[237],"four":[238],"state-of-the-art":[239],"compiler":[240],"across":[244],"seven":[245],"C,":[248],"Go,":[249],"JavaScript,":[251],"show":[253],"how":[254],"attains":[257],"high":[258],"validity":[260],"as":[261,263],"well":[262],"construct-usage":[264],"diversity\u2014exposing":[265],"77":[266],"total":[267],"which":[271],"64":[272],"previously":[274],"unknown,":[275],"with":[276],"63":[277],"since":[278],"confirmed":[279],"fixed":[281],"developers.":[283]},"counts_by_year":[],"updated_date":"2026-07-02T06:12:58.138171","created_date":"2026-07-01T00:00:00"}