%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Mon Sep 7 09:37:39 MDT 2026 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$^2_2$}{% Gong:2024:MKM% }. \NAMECITE{$K$}{% Nigro:2022:PPK% }. \NAMECITE{{-KG}}{% Gong:2024:MKM% }. \NAMECITE{{}-Means}{% Nigro:2022:PPK% }. \NAMECITE{10-year}{% Blanco:2020:USE% }. \NAMECITE{{1051}}{% Toledo:2024:AUF% }. \NAMECITE{{2019}}{% Artho:2020:JPW% }. \NAMECITE{{2022}}{% Sherman:2023:JPW% }. \NAMECITE{{2024}}{% Forti:2024:IMR% }. \NAMECITE{{3.0}}{% Bucur:2023:EMJ% }. \NAMECITE{{8}}{% Feitosa:2020:TDA,% Khatchadourian:2020:SAR% }. \NAMECITE{abnormality}{% Aman:2020:ESA% }. \NAMECITE{abstract}{% Yuan:2026:WJV% }. \NAMECITE{abstracting}{% Siala:2026:LLA% }. \NAMECITE{Abstraction}{% Federico:2023:CEA,% Moller:2020:EAO% }. \NAMECITE{Access}{% Liu:2024:ESC% }. \NAMECITE{according}{% Ortin:2020:HTS% }. \NAMECITE{across}{% Sulir:2026:LSB% }. \NAMECITE{adaptable}{% Huang:2021:JMJ% }. \NAMECITE{Adaptation}{% Han:2026:ATA% }. \NAMECITE{{AdaptGen}}{% Zhang:2026:APA% }. \NAMECITE{Adaptive}{% Juge:2024:ASS,% Troussas:2025:RLB,% Zhang:2026:APA,% Yuan:2026:WJV% }. \NAMECITE{adaptivity}{% Carvalho:2023:DBR% }. \NAMECITE{Addiction}{% Fouquet:2023:BBQ% }. \NAMECITE{Adjustment}{% Troussas:2025:RLB% }. \NAMECITE{Adoption}{% Tomasdottir:2020:AJL,% Ferreira:2022:AJF,% Li:2026:DCE,% Lucas:2025:UAM% }. \NAMECITE{Affect}{% Wang:2022:WDC,% Guerra:2024:HDA% }. \NAMECITE{Affected}{% Chen:2025:IAT,% Moller:2020:DLJ% }. \NAMECITE{Age}{% Fraser:2025:RWT% }. \NAMECITE{ahead}{% Moller:2020:EAO% }. \NAMECITE{ahead-of-time}{% Moller:2020:EAO% }. \NAMECITE{{AI}}{% Li:2026:DCE% }. \NAMECITE{{AI}-generated}{% Li:2026:DCE% }. \NAMECITE{aide}{% Capiluppi:2020:LCC% }. \NAMECITE{Algorithm}{% Juge:2024:ASS,% Feitosa:2020:TDA,% Toledo:2024:AUF% }. \NAMECITE{Algorithms}{% Evseeva:2026:IJA,% Michail:2020:JJL,% Nigro:2022:PPK,% Gavidia-Calderon:2020:IJF,% Nowicki:2023:PEJ% }. \NAMECITE{Alternative}{% Juge:2024:ASS% }. \NAMECITE{alternatives}{% Bijlsma:2022:EDP% }. \NAMECITE{Amplified}{% Brandt:2024:SSH% }. \NAMECITE{Analysis}{% Ahmad:2024:EAW,% He:2023:IBC,% Kan:2024:CLT,% Karim:2020:PID,% Li:2024:GSG,% Liu:2025:DRN,% Mohan:2025:PAC,% Sasikumar:2022:CAD,% Thome:2020:IAE,% Aman:2020:ESA,% Amankwah:2023:BDJ,% Daoud:2020:MAJ,% Fang:2020:DMJ,% Ferrara:2020:CJB,% Huang:2021:JMJ,% Huang:2022:HSA,% Huang:2026:SST,% Labijak-Kowalska:2024:RJL,% Liu:2022:SFI,% Mahmoudi:2023:OSW,% Venkatesh:2025:ESL% }. \NAMECITE{Analytic}{% Narechania:2025:PLU% }. \NAMECITE{Analytics}{% Basin:2020:KKV,% Jiang:2020:SSI% }. \NAMECITE{analyze}{% Padmanaban:2025:UJC% }. \NAMECITE{analyzing}{% Mumtaz:2023:IRO% }. \NAMECITE{{Android}}{% Liu:2025:DRN,% Martinez:2022:WDD,% Yuan:2026:WJV% }. \NAMECITE{Annotations}{% Yu:2021:CUE,% Guerra:2024:HDA,% Pinheiro:2020:MCA% }. \NAMECITE{ant}{% Gavidia-Calderon:2020:IJF% }. \NAMECITE{Antipatterns}{% Trubiani:2023:ADS% }. \NAMECITE{{API}}{% Afrose:2023:ESV,% Frison:2020:BAB,% Kechagia:2022:EAP,% Nascimento:2022:JAD,% Zhang:2023:ADJ,% Zhang:2024:DVT,% Zhou:2020:ADR,% Zhuo:2026:IMA% }. \NAMECITE{{APIs}}{% Arteca:2023:LHL,% Brun:2023:BPJ% }. \NAMECITE{Application}{% Seth:2025:CEE,% Aman:2020:ESA,% Harrand:2020:JDD,% Zhang:2026:HRI% }. \NAMECITE{Applications}{% Ahmad:2024:EAW,% Diaz-Gomez:2026:PRA,% Kohler:2025:CLF,% Liu:2024:ESC,% Martinez:2022:WDD,% Mohan:2025:PAC,% Pizzolotto:2024:MDB,% Romano:2020:WVT,% Thome:2020:IAE,% Trubiani:2023:ADS,% Zozas:2023:FPC,% Caivano:2023:SED,% Cirani:2020:ZNC,% Jung:2021:TPI,% Karmakar:2023:JEJ,% Schneider:2023:AES,% Turcotte:2022:SDD% }. \NAMECITE{Approach}{% Thome:2020:IAE,% Huang:2026:SST,% Sultana:2021:USM,% Mahmoudi:2023:OSW% }. \NAMECITE{Approaches}{% Yu:2025:UTD% }. \NAMECITE{Apps}{% Liu:2025:DRN% }. \NAMECITE{Architectural}{% Ghorbani:2024:DAA,% Bertolotti:2024:WDD% }. \NAMECITE{Architectures}{% Diaz-Gomez:2026:PRA,% Perez:2020:OPN% }. \NAMECITE{Areas}{% Bucur:2023:EMJ% }. \NAMECITE{Arithmetic}{% Darcy:2021:FPA% }. \NAMECITE{{ARJA}}{% Yuan:2020:AAR% }. \NAMECITE{{ARM}}{% Hartley:2022:JTC% }. \NAMECITE{Art}{% Bucur:2023:EMJ% }. \NAMECITE{Assessment}{% Malavolta:2023:JDC,% Traini:2023:TEA% }. \NAMECITE{assurance}{% Khatami:2024:SPQ% }. \NAMECITE{Attacks}{% Pizzolotto:2024:MDB% }. \NAMECITE{attributes}{% Capiluppi:2020:EMD% }. \NAMECITE{Automated}{% Csuvik:2025:GBS,% Godio:2026:IIT,% Han:2026:ATA,% Mariano:2022:ATI,% Trubiani:2023:ADS,% Xue:2024:ACM,% Yuan:2020:AAR,% Zhang:2024:ARN,% Aman:2023:ADC,% Khatchadourian:2020:SAR,% Ou:2025:BCJ,% Zhang:2024:DVT,% Zhang:2026:HRI% }. \NAMECITE{Automatic}{% Ghorbani:2024:DAA,% Kang:2024:EDL,% Kechagia:2022:EAP,% Midolo:2023:ATS,% Schneider:2023:AES,% Soto-Valero:2023:AST,% Zhang:2023:ADJ,% Zhou:2020:ADR% }. \NAMECITE{Automatically}{% Arteca:2023:LHL,% Ayerdi:2024:GAG% }. \NAMECITE{Awardee}{% Forti:2024:IMR% }. \NAMECITE{Aware}{% Hasan:2024:RAB,% Xu:2024:FJE,% Zeng:2026:TDT% }. \NAMECITE{{AWS}}{% Anonymous:2020:SWS% }. \NAMECITE{{Babel}}{% Nicolini:2024:UNJb% }. \NAMECITE{Bad}{% Fouquet:2023:BBQ% }. \NAMECITE{band}{% Darabkh:2020:JIC% }. \NAMECITE{Based}{% Bucur:2023:EMJ,% Csuvik:2025:GBS,% Kirschner:2025:DGB,% Laaber:2024:ESB,% Li:2025:VEC,% Soto-Valero:2023:CBD,% Troussas:2025:RLB,% Trubiani:2023:ADS,% Zhou:2024:CGS,% Abbasi:2023:CRS,% Agun:2023:WLR,% Capiluppi:2020:EMD,% Capiluppi:2020:LCC,% Carvalho:2023:DBR,% Daoud:2020:MAJ,% Fang:2020:DMJ,% Fang:2022:JMJ,% Feng:2023:BBB,% Ferrara:2020:CJB,% He:2023:IBC,% Khatami:2024:SPQ,% Liu:2023:MEX,% Mahmoudi:2023:OSW,% Pizzolotto:2024:MDB,% Seth:2025:CEE,% Song:2025:OCS,% Zhang:2023:RRB% }. \NAMECITE{Baseline}{% Csuvik:2025:GBS% }. \NAMECITE{{Basilisk}}{% Bertolotti:2024:WDD% }. \NAMECITE{Behavior}{% Tiwari:2024:MPB,% Feng:2023:BBB% }. \NAMECITE{behavior-based}{% Feng:2023:BBB% }. \NAMECITE{Behaviors}{% Hwang:2024:ESJ% }. \NAMECITE{{BejaGNN}}{% Feng:2023:BBB% }. \NAMECITE{Benchmarking}{% Zhong:2025:BCP% }. \NAMECITE{Benchmarks}{% Afrose:2023:ESV% }. \NAMECITE{Better}{% Zhang:2023:RRB% }. \NAMECITE{Beyond}{% Ramsey:2022:BRR,% Xue:2024:ACM% }. \NAMECITE{Big}{% Wang:2025:BEC% }. \NAMECITE{Bill}{% Balliu:2023:CPS% }. \NAMECITE{Binding}{% Ou:2025:BCJ% }. \NAMECITE{bindings}{% Amato:2023:JJB% }. \NAMECITE{{BLAS}}{% Frison:2020:BAB% }. \NAMECITE{{BLASFEO}}{% Frison:2020:BAB% }. \NAMECITE{Blindspots}{% Brun:2023:BPJ% }. \NAMECITE{Block}{% Hasan:2024:RAB% }. \NAMECITE{{Boot}}{% Mohan:2025:PAC% }. \NAMECITE{bounded}{% Ciomek:2021:PJL% }. \NAMECITE{Breaking}{% Fouquet:2023:BBQ,% Moller:2020:DLJ% }. \NAMECITE{{BridgeGC}}{% Wang:2025:BEC% }. \NAMECITE{broken}{% Hoeflich:2022:HIK% }. \NAMECITE{Bug}{% Amankwah:2023:BDJ,% Arteca:2023:LHL,% Kang:2024:EDL,% Zeng:2026:TDT% }. \NAMECITE{Bugs}{% Liu:2024:ESC,% Wang:2025:ESB% }. \NAMECITE{Build}{% DaSilva:2022:BCW,% Misu:2024:SJB% }. \NAMECITE{buildability}{% Sulir:2026:LSB% }. \NAMECITE{Builds}{% Sharma:2026:CCU% }. \NAMECITE{Bytecode}{% Huang:2025:TIP,% Soto-Valero:2023:CBD,% Ferrara:2020:CJB% }. \NAMECITE{{C}}{% Ou:2025:BCJ% }. \NAMECITE{{C\#}}{% Pinheiro:2020:MCA% }. \NAMECITE{calculus}{% Bianchini:2023:JLC% }. \NAMECITE{Call}{% Hartley:2022:JTC,% Venkatesh:2025:ESL,% Zhuo:2020:TEP% }. \NAMECITE{Call-Site}{% Hartley:2022:JTC% }. \NAMECITE{Caller}{% Kan:2024:CLT% }. \NAMECITE{Caller-Sensitive}{% Kan:2024:CLT% }. \NAMECITE{Camouflage}{% Zeng:2025:WSC% }. \NAMECITE{can}{% Maes-Bermejo:2024:TPC% }. \NAMECITE{Canonicalization}{% Sharma:2026:CCU% }. \NAMECITE{Capabilities}{% Kechagia:2022:EAP,% Liu:2025:ESE% }. \NAMECITE{Capsules}{% Naseer:2023:JCF% }. \NAMECITE{Capturing}{% Naseer:2023:JCF% }. \NAMECITE{Careers}{% Anonymous:2020:SWS% }. \NAMECITE{Case}{% Nicolini:2024:UNJb,% Tomasdottir:2020:AJL% }. \NAMECITE{Categories}{% Fatima:2024:FUL% }. \NAMECITE{Categorizing}{% Zhong:2025:BCP% }. \NAMECITE{Causes}{% Sharma:2026:CCU% }. \NAMECITE{Chaincode}{% Li:2025:VEC% }. \NAMECITE{chains}{% Chen:2024:CEH% }. \NAMECITE{Challenges}{% Balliu:2023:CPS,% Bucur:2023:EMJ% }. \NAMECITE{Changes}{% Wang:2023:SCJ,% Moller:2020:DLJ% }. \NAMECITE{Characteristics}{% Hora:2020:CME,% Liu:2024:ESC,% Mumtaz:2023:IRO% }. \NAMECITE{Characterization}{% Shen:2023:CSM,% Rosales:2023:LSC% }. \NAMECITE{Characterizing}{% Huang:2022:CUU,% Yu:2021:CUE% }. \NAMECITE{{ChatGPT}}{% Zhao:2024:GJC% }. \NAMECITE{checker}{% Bacchiani:2022:JTC% }. \NAMECITE{Checking}{% Walker:2023:JLF% }. \NAMECITE{{CIL}}{% Ferrara:2020:CJB% }. \NAMECITE{City}{% Collet:2025:VEC% }. \NAMECITE{Class}{% Ding:2026:DSD% }. \NAMECITE{classes}{% Sultana:2021:USM% }. \NAMECITE{classification}{% Ortin:2020:HTS% }. \NAMECITE{{Clojure}}{% Hickey:2020:HC% }. \NAMECITE{Clone}{% Song:2025:OCS,% Heinze:2026:SCV% }. \NAMECITE{Closer}{% Hartley:2022:JTC% }. \NAMECITE{Closing}{% Mastropaolo:2026:CLP% }. \NAMECITE{Clothing}{% Zeng:2025:WSC% }. \NAMECITE{Cloud}{% Sasikumar:2022:CAD,% Nowicki:2023:PEJ% }. \NAMECITE{Code}{% Alazab:2022:DOM,% Brun:2023:BPJ,% Fatima:2024:FUL,% Hartley:2022:JTC,% Kan:2024:CLT,% Liu:2025:ESE,% Malavolta:2023:JDC,% Midolo:2023:ATS,% Sayar:2023:DSJ,% Walker:2023:JLF,% Wang:2026:ERO,% Zhang:2024:ARN,% Zhao:2025:DCLa,% Zhao:2025:DCLb,% Zozas:2023:FPC,% Amankwah:2023:BDJ,% Benedetti:2026:DJC,% Fang:2020:DMJ,% Fang:2022:JMJ,% Guerra:2024:HDA,% Heinze:2026:SCV,% Huang:2022:HSA,% Imran:2025:CCP,% Li:2026:DCE,% Mariano:2022:ATI,% Martins:2024:DTS,% Moseler:2021:DFC,% Ou:2025:BCJ,% Park:2023:DCC,% Pinheiro:2020:MCA,% Torres:2023:ICC,% Zhao:2024:GJC% }. \NAMECITE{coeffects}{% Bianchini:2023:JLC% }. \NAMECITE{cognitive}{% Darabkh:2020:JIC% }. \NAMECITE{Collector}{% Wang:2025:BEC,% Zheng:2026:EJG% }. \NAMECITE{colony}{% Gavidia-Calderon:2020:IJF% }. \NAMECITE{Combining}{% Abbasi:2023:CRS,% Zhou:2024:CGS% }. \NAMECITE{Comment}{% Huang:2025:TIP,% Wang:2023:SCJ% }. \NAMECITE{Commenting}{% Wang:2023:SCJ% }. \NAMECITE{Comments}{% Wang:2023:SCJ,% Li:2026:DCE% }. \NAMECITE{Commit}{% Hasan:2024:RAB,% Xue:2024:ACM% }. \NAMECITE{Commits}{% Jin:2026:UUC% }. \NAMECITE{community}{% Blanco:2020:USE% }. \NAMECITE{Comparative}{% Sasikumar:2022:CAD% }. \NAMECITE{Comparing}{% Seth:2025:CEE% }. \NAMECITE{Comparison}{% Mohan:2025:PAC% }. \NAMECITE{Compilation}{% Hartley:2022:JTC,% Misu:2024:SJB% }. \NAMECITE{Compiler}{% Tang:2025:DCE% }. \NAMECITE{compilers}{% Li:2025:FJJ% }. \NAMECITE{Components}{% Zeng:2025:WSC% }. \NAMECITE{Composite}{% Jin:2026:UUC,% Huang:2026:SST% }. \NAMECITE{compound}{% Aman:2023:ADC% }. \NAMECITE{Comprehensive}{% Midolo:2025:RLE% }. \NAMECITE{compression}{% Chen:2025:ZEM,% Park:2023:DCC% }. \NAMECITE{Computational}{% Silva:2024:ECR% }. \NAMECITE{Computing}{% Diaz-Gomez:2026:PRA,% Evseeva:2026:IJA,% Padmanaban:2025:UJC% }. \NAMECITE{Concurrency}{% Diaz-Gomez:2026:PRA,% Liu:2021:SDC% }. \NAMECITE{concurrent}{% Yuan:2026:WJV% }. \NAMECITE{Conflicts}{% Ghiotto:2020:NMC,% Shen:2023:CSM,% Wang:2022:WDC,% DaSilva:2022:BCW% }. \NAMECITE{confusing}{% Aman:2023:ADC,% Torres:2023:ICC% }. \NAMECITE{Consistency}{% Hartley:2022:JTC% }. \NAMECITE{Consistent}{% Kohler:2025:CLF% }. \NAMECITE{Constraint}{% Thome:2020:IAE% }. \NAMECITE{constraints}{% Chen:2022:SSC% }. \NAMECITE{Constructing}{% Chen:2024:CEH% }. \NAMECITE{construction}{% Jiang:2020:SSI% }. \NAMECITE{containers}{% Huang:2026:SST% }. \NAMECITE{content}{% Agun:2023:WLR,% Capiluppi:2020:LCC% }. \NAMECITE{Context}{% He:2023:IBC,% Li:2024:GSG,% Huang:2021:JMJ,% Liu:2022:SFI% }. \NAMECITE{context-sensitive}{% Liu:2022:SFI% }. \NAMECITE{Contextual}{% Federico:2023:CEA% }. \NAMECITE{contract}{% Gorski:2024:SJP% }. \NAMECITE{contracts}{% Hoeflich:2022:HIK% }. \NAMECITE{Control}{% Narechania:2025:PLU,% Ramsey:2022:BRR% }. \NAMECITE{Conventional}{% Heinze:2026:SCV% }. \NAMECITE{convex}{% Ciomek:2021:PJL% }. \NAMECITE{cooperation}{% Capiluppi:2020:LCC% }. \NAMECITE{Coverage}{% Soto-Valero:2023:CBD,% Zheng:2026:EJG,% Zhou:2024:CGS,% Imran:2025:CCP,% Yuan:2026:WJV% }. \NAMECITE{Coverage-Based}{% Soto-Valero:2023:CBD% }. \NAMECITE{coverage-guided}{% Yuan:2026:WJV% }. \NAMECITE{create}{% Padmanaban:2025:UJC% }. \NAMECITE{Created}{% Liu:2025:AEC% }. \NAMECITE{Criteria}{% Zhou:2024:CGS,% Mahmoudi:2023:OSW% }. \NAMECITE{critical}{% Chaqfeh:2022:JWD% }. \NAMECITE{{CRNs}}{% Darabkh:2020:JIC% }. \NAMECITE{Cross}{% Kan:2024:CLT,% Wang:2025:BEC,% Cirani:2020:ZNC% }. \NAMECITE{Cross-Language}{% Kan:2024:CLT% }. \NAMECITE{Cross-Level}{% Wang:2025:BEC% }. \NAMECITE{cross-platform}{% Cirani:2020:ZNC% }. \NAMECITE{Cryptographic}{% Afrose:2023:ESV,% Zhang:2023:ADJ% }. \NAMECITE{Current}{% Zhao:2025:DCLa,% Zhao:2025:DCLb% }. \NAMECITE{{CvAMoS}}{% Federico:2023:CEA% }. \NAMECITE{{D}}{% Bright:2020:ODP% }. \NAMECITE{{Darcy}}{% Ghorbani:2024:DAA% }. \NAMECITE{Data}{% Michail:2020:JJL,% Sasikumar:2022:CAD,% Talluri:2025:GHP,% Wang:2025:BEC% }. \NAMECITE{Database}{% Liu:2024:ESC% }. \NAMECITE{dataflow}{% Schneider:2023:AES% }. \NAMECITE{Dataset}{% Yu:2025:UTD,% Karmakar:2023:JEJ% }. \NAMECITE{Dead}{% Malavolta:2023:JDC,% Caivano:2023:SED% }. \NAMECITE{Debloating}{% He:2023:IBC,% Soto-Valero:2023:CBD,% Turcotte:2022:SDD% }. \NAMECITE{Debt}{% Yu:2025:UTD,% Zozas:2023:FPC% }. \NAMECITE{Debugger}{% Pizzolotto:2024:MDB% }. \NAMECITE{Debugger-based}{% Pizzolotto:2024:MDB% }. \NAMECITE{debugging}{% Pizzolotto:2024:MDB,% Shimari:2021:NNO% }. \NAMECITE{decision}{% Mahmoudi:2023:OSW% }. \NAMECITE{Declarations}{% Shu:2026:DDD% }. \NAMECITE{Declarative}{% Cristia:2023:DPI,% Nie:2020:UEI% }. \NAMECITE{decompilation}{% Harrand:2020:JDD% }. \NAMECITE{decompiler}{% Harrand:2020:JDD% }. \NAMECITE{Deep}{% Ding:2026:DSD,% Shu:2026:DDD% }. \NAMECITE{default}{% Liu:2021:SDC% }. \NAMECITE{defeat}{% Bertolotti:2024:WDD% }. \NAMECITE{Defect}{% Li:2025:VEC,% Ni:2022:JTD% }. \NAMECITE{Defects}{% Tang:2025:DCE,% Zhou:2020:ADR,% Ghanavati:2020:MRL% }. \NAMECITE{definitions}{% Trautsch:2020:UIT% }. \NAMECITE{Demystifying}{% Liu:2025:DRN% }. \NAMECITE{Density}{% Wijaya:2023:NJD% }. \NAMECITE{Deobfuscation}{% Benedetti:2026:DJC,% Chen:2025:JSD% }. \NAMECITE{Dependence}{% Zeng:2026:TDT% }. \NAMECITE{Dependencies}{% Soto-Valero:2023:AST% }. \NAMECITE{Dependency}{% Jafari:2022:DSJ,% Wang:2022:WDC% }. \NAMECITE{dependent}{% Chen:2022:SSC% }. \NAMECITE{Deprecation}{% Nascimento:2022:JAD,% Shu:2026:DDD% }. \NAMECITE{depth}{% Sayar:2023:DSJ% }. \NAMECITE{Descriptions}{% Chen:2025:IAT% }. \NAMECITE{Deserialization}{% Sayar:2023:DSJ% }. \NAMECITE{design}{% Bijlsma:2022:EDP,% Perez:2020:OPN% }. \NAMECITE{desktop}{% Caivano:2023:SED% }. \NAMECITE{despite}{% Hoeflich:2022:HIK% }. \NAMECITE{Detecting}{% Fang:2020:DMJ,% Moller:2020:DLJ,% Tang:2025:DCE,% SousaFalcao:2026:EFM% }. \NAMECITE{Detection}{% Afrose:2023:ESV,% Alazab:2022:DOM,% Trubiani:2023:ADS,% Yu:2025:UTD,% Zhang:2023:ADJ,% Zhang:2024:DVT,% Zhou:2020:ADR,% Aman:2023:ADC,% Amankwah:2023:BDJ,% Chen:2025:ZEM,% Fang:2022:JMJ,% Feng:2023:BBB,% Heinze:2026:SCV,% Huang:2021:JMJ,% Huang:2022:HSA,% Liu:2023:MEX,% Yuan:2026:WJV,% Ntantogian:2021:NNJ% }. \NAMECITE{Developer}{% Chaqfeh:2022:JWD,% Hermans:2021:TTE,% Blanco:2020:USE% }. \NAMECITE{Developers}{% Brandt:2024:SSH,% Martinez:2022:WDD,% Sanchez:2024:MTP,% Capiluppi:2020:EMD% }. \NAMECITE{development}{% Bertolotti:2024:WDD,% Khatami:2024:SPQ% }. \NAMECITE{diagrams}{% Schneider:2023:AES% }. \NAMECITE{Did}{% Martinez:2022:WDD% }. \NAMECITE{differ}{% Amalfitano:2022:HDJ% }. \NAMECITE{Different}{% Sasikumar:2022:CAD% }. \NAMECITE{differential}{% Li:2025:FJJ% }. \NAMECITE{diffusion}{% Martins:2024:DTS% }. \NAMECITE{Directed}{% Kirschner:2025:DGB,% Feitosa:2020:TDA% }. \NAMECITE{Directive}{% Zhou:2020:ADR% }. \NAMECITE{Discovery}{% Zeng:2026:TDT% }. \NAMECITE{Dive}{% Shu:2026:DDD% }. \NAMECITE{Diverse}{% Kang:2024:EDL% }. \NAMECITE{diversity}{% Harrand:2020:JDD,% Moseler:2021:DFC% }. \NAMECITE{Do}{% Li:2026:DCE,% Zhao:2025:DCLa,% Zhao:2025:DCLb,% Amalfitano:2022:HDJ,% Guerra:2024:HDA% }. \NAMECITE{{Docker}}{% Zerouali:2021:UJP% }. \NAMECITE{Documentation}{% Zhou:2020:ADR% }. \NAMECITE{Does}{% Zhang:2024:DVT% }. \NAMECITE{doing}{% Cobbs:2022:PPW% }. \NAMECITE{dragons}{% Bertolotti:2024:WDD% }. \NAMECITE{Driven}{% Arteca:2023:LHL% }. \NAMECITE{{DSL}}{% Carvalho:2023:DBR% }. \NAMECITE{{DSL}-based}{% Carvalho:2023:DBR% }. \NAMECITE{duplex}{% Darabkh:2020:JIC% }. \NAMECITE{{DyCITO}}{% Ding:2026:DSD% }. \NAMECITE{Dynamic}{% Evseeva:2026:IJA,% Karim:2020:PID,% Park:2023:DCC,% Troussas:2025:RLB,% Zeng:2026:TDT,% Turcotte:2022:SDD% }. \NAMECITE{Dynamically}{% Narechania:2025:PLU% }. \NAMECITE{Ecosystem}{% Shu:2026:DDD,% Collet:2025:VEC,% Moraes:2021:OHM% }. \NAMECITE{Educational}{% Troussas:2025:RLB% }. \NAMECITE{effect}{% Capiluppi:2020:EMD% }. \NAMECITE{Effective}{% Foket:2020:EEJ,% Thome:2020:IAE,% Liu:2023:MEX,% Traini:2023:TEA% }. \NAMECITE{Effectively}{% Li:2025:VEC% }. \NAMECITE{effectiveness}{% Seth:2025:CEE% }. \NAMECITE{Effects}{% Silva:2024:ECR% }. \NAMECITE{efficiency}{% Labijak-Kowalska:2024:RJL,% Seth:2025:CEE% }. \NAMECITE{Efficient}{% Silva:2023:EHL,% Wang:2025:BEC,% Foket:2020:EEJ,% Zhuo:2020:TEP% }. \NAMECITE{Efficiently}{% Li:2025:VEC% }. \NAMECITE{{EffiReasonTrans}}{% Wang:2026:ERO% }. \NAMECITE{{Eilertsen}}{% Jones:2026:MJF% }. \NAMECITE{Elements}{% Fouquet:2023:BBQ,% Narechania:2025:PLU% }. \NAMECITE{Eliminating}{% Moller:2020:EAO% }. \NAMECITE{Elimination}{% Chaqfeh:2022:JWD,% Malavolta:2023:JDC% }. \NAMECITE{Empirical}{% Ahmad:2024:EAW,% Aman:2020:ESA,% Chowdhury:2022:UTP,% Hwang:2024:ESJ,% Liu:2024:ESC,% Liu:2025:ESE,% Malavolta:2023:JDC,% Nyirongo:2025:ESS,% Xue:2024:ACM,% Hora:2020:CME,% Imran:2025:CCP,% Lucas:2025:UAM,% Pinheiro:2020:MCA,% Trautsch:2020:UIT,% Venkatesh:2025:ESL,% Wang:2025:ESB% }. \NAMECITE{employer}{% Anonymous:2020:SWS% }. \NAMECITE{end}{% Ferreira:2022:AJF% }. \NAMECITE{Enforcing}{% Kohler:2025:CLF% }. \NAMECITE{engine}{% Park:2023:DCC% }. \NAMECITE{Engineering}{% Gong:2024:MKM,% SousaFalcao:2026:EFM% }. \NAMECITE{Engines}{% Mastropaolo:2026:CLP,% Xu:2024:FJE% }. \NAMECITE{Enhancing}{% Chen:2025:ZEM% }. \NAMECITE{Entering}{% Bucur:2023:EMJ% }. \NAMECITE{Enterprises}{% Liu:2025:AEC% }. \NAMECITE{Environment}{% Sasikumar:2022:CAD,% Darabkh:2020:JIC% }. \NAMECITE{Equal}{% Liu:2025:AEC% }. \NAMECITE{Era}{% Midolo:2025:RLE% }. \NAMECITE{Erroneous}{% Hwang:2024:ESJ% }. \NAMECITE{Error}{% Liu:2025:AEC,% Tang:2025:DCE% }. \NAMECITE{Errors}{% vanOorschot:2023:MEMb% }. \NAMECITE{{ESLint}}{% Tomasdottir:2020:AJL% }. \NAMECITE{Evaluating}{% Kang:2024:EDL,% Kechagia:2022:EAP,% Laaber:2024:ESB,% SousaFalcao:2026:EFM% }. \NAMECITE{Evaluation}{% Afrose:2023:ESV,% Bijlsma:2022:EDP,% Amankwah:2023:BDJ,% Nowicki:2023:PEJ,% Pinheiro:2020:MCA% }. \NAMECITE{Event}{% Arteca:2023:LHL,% Federico:2023:CEA,% Zheng:2026:EJG% }. \NAMECITE{Event-Coverage}{% Zheng:2026:EJG% }. \NAMECITE{Event-Driven}{% Arteca:2023:LHL% }. \NAMECITE{Every}{% Darcy:2021:FPA,% Hermans:2021:TTE% }. \NAMECITE{Evolution}{% Yu:2021:CUE,% Blanco:2020:USE,% Caivano:2023:SED% }. \NAMECITE{exception}{% Chen:2024:CEH% }. \NAMECITE{Exceptions}{% Liu:2025:AEC% }. \NAMECITE{Execution}{% Sayar:2023:DSJ,% Gorski:2024:SJP,% Nie:2020:UEI,% P:2021:FSM,% Shimari:2021:NNO% }. \NAMECITE{experiment}{% Li:2026:DCE% }. \NAMECITE{expertise}{% Li:2026:DCE,% Ortin:2020:HTS% }. \NAMECITE{{eXPloitation}}{% Ntantogian:2021:NNJ% }. \NAMECITE{Exploits}{% Sayar:2023:DSJ% }. \NAMECITE{Exploration}{% Tang:2025:DCE% }. \NAMECITE{exploratory}{% Caivano:2023:SED% }. \NAMECITE{Exploring}{% Li:2025:VEC,% Liu:2025:ESE,% Zheng:2026:EJG% }. \NAMECITE{expression}{% Agun:2023:WLR% }. \NAMECITE{extended}{% Nowicki:2023:PEJ% }. \NAMECITE{extensible}{% Karmakar:2023:JEJ% }. \NAMECITE{extensive}{% Amankwah:2023:BDJ% }. \NAMECITE{extract}{% SilvaDaCosta:2026:RNJ% }. \NAMECITE{extraction}{% Huang:2021:JMJ,% P:2021:FSM,% Schneider:2023:AES% }. \NAMECITE{extractions}{% Hora:2020:CME% }. \NAMECITE{extractor}{% Agun:2023:WLR% }. \NAMECITE{eye}{% SilvaDaCosta:2026:RNJ% }. \NAMECITE{fast}{% Liu:2022:SFI% }. \NAMECITE{fault}{% Aman:2020:ESA% }. \NAMECITE{fault-prone}{% Aman:2020:ESA% }. \NAMECITE{Featherweight}{% Griesemer:2020:FG% }. \NAMECITE{feature}{% Huang:2021:JMJ,% Liu:2023:MEX% }. \NAMECITE{Features}{% Nicolini:2024:UNJb,% Imran:2025:CCP,% Lucas:2025:UAM% }. \NAMECITE{{FeynGame}}{% Harlander:2020:F% }. \NAMECITE{Filtering}{% Toledo:2024:AUF% }. \NAMECITE{Finding}{% Arteca:2023:LHL% }. \NAMECITE{Fine}{% Naseer:2023:JCF% }. \NAMECITE{Fine-grained}{% Naseer:2023:JCF% }. \NAMECITE{Finite}{% P:2021:FSM% }. \NAMECITE{Finite-state}{% P:2021:FSM% }. \NAMECITE{First}{% Kohler:2025:CLF,% Wirfs-Brock:2020:JFY% }. \NAMECITE{Fix}{% Fatima:2024:FUL% }. \NAMECITE{Flaky}{% Fatima:2024:FUL,% Silva:2024:ECR% }. \NAMECITE{{FlakyFix}}{% Fatima:2024:FUL% }. \NAMECITE{Flexible}{% Toledo:2024:AUF% }. \NAMECITE{Floating}{% Darcy:2021:FPA,% Abbasi:2023:CRS% }. \NAMECITE{Floating-Point}{% Darcy:2021:FPA,% Abbasi:2023:CRS% }. \NAMECITE{flow}{% Ramsey:2022:BRR% }. \NAMECITE{Fly}{% Palma:2025:FSH% }. \NAMECITE{Forecasting}{% Zozas:2023:FPC% }. \NAMECITE{Formatting}{% Larsen:2023:PSS% }. \NAMECITE{formulas}{% Moseler:2021:DFC% }. \NAMECITE{foundation}{% SousaFalcao:2026:EFM% }. \NAMECITE{Framework}{% Misu:2024:SJB,% Naseer:2023:JCF,% Walker:2023:JLF,% Carvalho:2023:DBR,% Cirani:2020:ZNC,% Gavidia-Calderon:2020:IJF,% Wang:2025:IJM% }. \NAMECITE{Frameworks}{% Wang:2025:BEC,% Ferreira:2022:AJF,% Huang:2026:SST% }. \NAMECITE{{FreeBSD}}{% Jones:2026:MJF% }. \NAMECITE{frequency}{% Moseler:2021:DFC% }. \NAMECITE{Friendly}{% Wu:2024:TSF% }. \NAMECITE{front}{% Ferreira:2022:AJF% }. \NAMECITE{front-end}{% Ferreira:2022:AJF% }. \NAMECITE{full}{% Darabkh:2020:JIC% }. \NAMECITE{full-duplex}{% Darabkh:2020:JIC% }. \NAMECITE{Functional}{% Wijaya:2023:NJD,% Mariano:2022:ATI,% Ramsey:2022:BRR% }. \NAMECITE{Functions}{% Han:2026:ATA,% Yan:2023:TWS,% Chen:2022:SSC% }. \NAMECITE{Fuzzing}{% Li:2025:FJJ,% Mastropaolo:2026:CLP,% Xu:2024:FJE,% Zeng:2026:TDT% }. \NAMECITE{Fuzzy}{% Troussas:2025:RLB% }. \NAMECITE{Game}{% Murawski:2021:GSI% }. \NAMECITE{Garbage}{% Wang:2025:BEC,% Zheng:2026:EJG% }. \NAMECITE{General}{% Kang:2024:EDL% }. \NAMECITE{Generalisation}{% Palma:2025:FSH% }. \NAMECITE{generate}{% Feitosa:2020:TDA% }. \NAMECITE{Generated}{% Tiwari:2024:MPB,% Li:2026:DCE% }. \NAMECITE{Generating}{% Ayerdi:2024:GAG,% Ding:2026:DSD,% Kan:2024:CLT,% Zhao:2024:GJC% }. \NAMECITE{Generation}{% Fraser:2025:RWT,% Godio:2026:IIT,% Huang:2025:TIP,% Kirschner:2025:DGB,% Xue:2024:ACM,% Zhang:2026:APA,% Zhou:2024:CGS,% Gorski:2024:SJP,% Ou:2025:BCJ,% Zhang:2026:HRI% }. \NAMECITE{generators}{% Nie:2020:UEI% }. \NAMECITE{Generic}{% Li:2024:GSG% }. \NAMECITE{Generics}{% Li:2024:GSG% }. \NAMECITE{Generics-Guided}{% Li:2024:GSG% }. \NAMECITE{Genetic}{% Ayerdi:2024:GAG,% Yuan:2020:AAR% }. \NAMECITE{{GenMorph}}{% Ayerdi:2024:GAG% }. \NAMECITE{{GenProgJS}}{% Csuvik:2025:GBS% }. \NAMECITE{{Git}}{% Higo:2020:TJM% }. \NAMECITE{{GitHub}}{% Ghiotto:2020:NMC% }. \NAMECITE{glue}{% Ou:2025:BCJ% }. \NAMECITE{{GMP}}{% Amato:2023:JJB% }. \NAMECITE{{Go}}{% Feigenbaum:2022:GJP,% Griesemer:2020:FG% }. \NAMECITE{Goal}{% Zhou:2024:CGS% }. \NAMECITE{{Google}}{% Feigenbaum:2022:GJP% }. \NAMECITE{{GpJSON}}{% Talluri:2025:GHP% }. \NAMECITE{{GPUs}}{% Talluri:2025:GHP% }. \NAMECITE{grained}{% Naseer:2023:JCF% }. \NAMECITE{Grammar}{% Kirschner:2025:DGB% }. \NAMECITE{Grammar-Based}{% Kirschner:2025:DGB% }. \NAMECITE{Graph}{% Gong:2024:MKM,% Li:2025:VEC,% Michail:2020:JJL,% Zeng:2026:TDT,% Fang:2022:JMJ,% Feng:2023:BBB,% Venkatesh:2025:ESL,% Krasanakis:2023:JGN% }. \NAMECITE{Graph-Guided}{% Zeng:2026:TDT% }. \NAMECITE{graphical}{% Cirani:2020:ZNC% }. \NAMECITE{{Groovy}}{% King:2020:HGP% }. \NAMECITE{Guided}{% Li:2024:GSG,% Zeng:2026:TDT,% Mariano:2022:ATI,% Yuan:2026:WJV% }. \NAMECITE{handling}{% Chen:2024:CEH% }. \NAMECITE{{Harald}}{% Jones:2026:MJF% }. \NAMECITE{{HBSniff}}{% Huang:2022:HSA% }. \NAMECITE{heap}{% Perez:2020:OPN% }. \NAMECITE{Heterogeneous}{% Ortin:2020:HTS,% Bianchini:2023:JLC% }. \NAMECITE{{Hibernate}}{% Huang:2022:HSA% }. \NAMECITE{High}{% Diaz-Gomez:2026:PRA,% Silva:2023:EHL,% Talluri:2025:GHP,% Li:2025:FJJ% }. \NAMECITE{High-Concurrency}{% Diaz-Gomez:2026:PRA% }. \NAMECITE{High-Level}{% Silva:2023:EHL% }. \NAMECITE{High-Performance}{% Talluri:2025:GHP% }. \NAMECITE{high-quality}{% Li:2025:FJJ% }. \NAMECITE{Highlighting}{% Palma:2025:FSH% }. \NAMECITE{Highly}{% Hoeflich:2022:HIK,% Aman:2023:ADC% }. \NAMECITE{History}{% Hasan:2024:RAB,% Hickey:2020:HC,% King:2020:HGP% }. \NAMECITE{Hosted}{% Ghiotto:2020:NMC% }. \NAMECITE{{Hub}}{% Zerouali:2021:UJP% }. \NAMECITE{hundreds}{% Moraes:2021:OHM% }. \NAMECITE{Hybrid}{% Thome:2020:IAE% }. \NAMECITE{IAST}{% Seth:2025:CEE% }. \NAMECITE{IBFD}{% Darabkh:2020:JIC% }. \NAMECITE{Identification}{% Malavolta:2023:JDC,% Benedetti:2026:DJC% }. \NAMECITE{Identifying}{% Chen:2025:IAT,% Han:2026:ATA,% Mumtaz:2023:IRO,% Zhuo:2026:IMA% }. \NAMECITE{Idiomatic}{% Zhang:2024:ARN% }. \NAMECITE{Idioms}{% Zhang:2024:ARN% }. \NAMECITE{{IFDS}}{% He:2023:IBC% }. \NAMECITE{{IFDS}-based}{% He:2023:IBC% }. \NAMECITE{illogical}{% Hoeflich:2022:HIK% }. \NAMECITE{images}{% Zerouali:2021:UJP% }. \NAMECITE{Impact}{% Yu:2021:CUE% }. \NAMECITE{imperative}{% Mariano:2022:ATI,% Nie:2020:UEI% }. \NAMECITE{Implementation}{% Mohan:2025:PAC,% Nowicki:2023:PEJ,% Perez:2020:OPN% }. \NAMECITE{implementations}{% Chen:2024:CEH% }. \NAMECITE{Improving}{% Huang:2025:TIP% }. \NAMECITE{in-band}{% Darabkh:2020:JIC% }. \NAMECITE{In-depth}{% Sayar:2023:DSJ% }. \NAMECITE{Inconsistency}{% Ghorbani:2024:DAA% }. \NAMECITE{incremental}{% Liu:2022:SFI% }. \NAMECITE{Independent}{% Karim:2020:PID,% Wang:2023:SCJ,% Bertolotti:2024:WDD,% Jung:2021:TPI% }. \NAMECITE{index}{% Jiang:2020:SSI% }. \NAMECITE{Information}{% Federico:2023:CEA,% Huang:2025:TIP,% Jin:2026:UUC% }. \NAMECITE{inheritance}{% Bacchiani:2022:JTC% }. \NAMECITE{Injection}{% Thome:2020:IAE,% Ntantogian:2021:NNJ% }. \NAMECITE{inline}{% SilvaDaCosta:2026:RNJ% }. \NAMECITE{Insights}{% Sanchez:2024:MTP% }. \NAMECITE{Integrated}{% Thome:2020:IAE% }. \NAMECITE{Integration}{% Ding:2026:DSD,% SousaFalcao:2026:EFM,% Trautsch:2020:UIT% }. \NAMECITE{Intelligence}{% Zhao:2025:DCLa,% Zhao:2025:DCLb% }. \NAMECITE{intelligent}{% Khatchadourian:2020:SAR,% Wang:2025:IJM% }. \NAMECITE{Intensional}{% Cristia:2023:DPI% }. \NAMECITE{interactions}{% Blanco:2020:USE% }. \NAMECITE{Interactive}{% Evseeva:2026:IJA,% Seth:2025:CEE% }. \NAMECITE{Interface}{% Murawski:2021:GSI,% Cirani:2020:ZNC% }. \NAMECITE{Interfaces}{% Troussas:2025:RLB% }. \NAMECITE{Internet}{% Jung:2021:TPI,% Darabkh:2020:JIC% }. \NAMECITE{Interoperable}{% Mastropaolo:2026:CLP% }. \NAMECITE{Interoperations}{% Hwang:2024:ESJ% }. \NAMECITE{interpretation}{% Yuan:2026:WJV% }. \NAMECITE{Interpreter}{% Zhang:2023:RRB% }. \NAMECITE{Interview}{% Forti:2024:IMR,% Jones:2026:MJF% }. \NAMECITE{Invariants}{% Kohler:2025:CLF% }. \NAMECITE{Investigation}{% Torres:2023:ICC% }. \NAMECITE{{Isula}}{% Gavidia-Calderon:2020:IJF% }. \NAMECITE{{Iter}}{% Godio:2026:IIT% }. \NAMECITE{{Iter-T}}{% Godio:2026:IIT% }. \NAMECITE{{ITERative}}{% Godio:2026:IIT% }. \NAMECITE{{JAVA}}{% Wijaya:2023:NJD,% Abbasi:2023:CRS,% Afrose:2023:ESV,% Agun:2023:WLR,% Amalfitano:2022:HDJ,% Aman:2020:ESA,% Aman:2023:ADC,% Amankwah:2023:BDJ,% Amato:2023:JJB,% Anonymous:2020:SWS,% Artho:2020:JPW,% Bacchiani:2022:JTC,% Balliu:2023:CPS,% Bianchini:2023:JLC,% Bijlsma:2022:EDP,% Blanco:2020:USE,% Brown:2023:NUJ,% Brun:2023:BPJ,% Caivano:2023:SED,% Capiluppi:2020:EMD,% Capiluppi:2020:LCC,% Carvalho:2023:DBR,% Chen:2024:CEH,% Chen:2025:IAT,% Ciomek:2021:PJL,% Cirani:2020:ZNC,% Collet:2025:VEC,% Cristia:2023:DPI,% Daoud:2020:MAJ,% Darabkh:2020:JIC,% Darcy:2021:FPA,% Ding:2026:DSD,% Evseeva:2026:IJA,% Feigenbaum:2022:GJP,% Feitosa:2020:TDA,% Feng:2023:BBB,% Ferrara:2020:CJB,% Foket:2020:EEJ,% Gavidia-Calderon:2020:IJF,% Ghanavati:2020:MRL,% Ghiotto:2020:NMC,% Ghorbani:2024:DAA,% Gorski:2024:SJP,% Guerra:2024:HDA,% Harrand:2020:JDD,% Heinze:2026:SCV,% Hermans:2021:TTE,% Higo:2020:TJM,% Hora:2020:CME,% Huang:2022:CUU,% Huang:2022:HSA,% Imran:2025:CCP,% Jones:2026:MJF,% Kan:2024:CLT,% Karmakar:2023:JEJ,% Khatami:2024:SPQ,% Khatchadourian:2020:SAR,% Krasanakis:2023:JGN,% Labijak-Kowalska:2024:RJL,% Larsen:2023:PSS,% Liu:2022:SFI,% Liu:2024:ESC,% Maes-Bermejo:2024:TPC,% Martinez:2022:WDD,% Martins:2024:DTS,% Michail:2020:JJL,% Midolo:2023:ATS,% Misu:2024:SJB,% Mohan:2025:PAC,% Moller:2020:EAO,% Moseler:2021:DFC,% Mumtaz:2023:IRO,% Murawski:2021:GSI,% Nigro:2022:PPK,% Nowicki:2023:PEJ,% Nyirongo:2025:ESS,% Ortin:2020:HTS,% P:2021:FSM,% Padmanaban:2025:UJC,% Perez:2020:OPN,% Pinheiro:2020:MCA,% Pizzolotto:2024:MDB,% Rosales:2023:LSC,% Sayar:2023:DSJ,% Schneider:2023:AES,% Seth:2025:CEE,% Sharma:2026:CCU,% Shen:2023:CSM,% Sherman:2023:JPW,% Shimari:2021:NNO,% Siala:2026:LLA,% Silva:2023:EHL,% SilvaDaCosta:2026:RNJ,% Soto-Valero:2023:AST,% Soto-Valero:2023:CBD,% SousaFalcao:2026:EFM,% Sulir:2026:LSB% }. \NAMECITE{{Java}}{% Sultana:2021:USM,% Traini:2023:TEA,% Trautsch:2020:UIT,% Trubiani:2023:ADS,% Walker:2023:JLF,% Wang:2023:SCJ,% Wang:2025:IJM,% Wu:2024:TSF,% Yan:2023:TWS,% Yu:2021:CUE,% Yuan:2020:AAR,% Zeng:2025:WSC,% Zhang:2023:ADJ,% Zhao:2024:GJC,% Zhong:2025:BCP,% Zhou:2020:ADR,% Zhuo:2020:TEP,% vanOorschot:2023:MEMb% }. \NAMECITE{{Java}-Based}{% Trubiani:2023:ADS,% Khatami:2024:SPQ,% Seth:2025:CEE% }. \NAMECITE{{Java}-like}{% Bianchini:2023:JLC% }. \NAMECITE{{Java}-type}{% Foket:2020:EEJ% }. \NAMECITE{{Java/PCJ}}{% Nowicki:2023:PEJ% }. \NAMECITE{{JavaFX}}{% Robillard:2020:LLW% }. \NAMECITE{{JavaScript}}{% Alazab:2022:DOM,% Arteca:2023:LHL,% Benedetti:2026:DJC,% Chaqfeh:2022:JWD,% Chen:2025:JSD,% Chen:2025:ZEM,% Chowdhury:2022:UTP,% Csuvik:2025:GBS,% Fang:2020:DMJ,% Fang:2022:JMJ,% Ferreira:2022:AJF,% Fouquet:2023:BBQ,% Huang:2021:JMJ,% Jafari:2022:DSJ,% Jung:2021:TPI,% Karim:2020:PID,% Li:2025:FJJ,% Li:2026:DCE,% Liu:2023:MEX,% Mahmoudi:2023:OSW,% Malavolta:2023:JDC,% Mastropaolo:2026:CLP,% Moller:2020:DLJ,% Moraes:2021:OHM,% Nascimento:2022:JAD,% Naseer:2023:JCF,% Ni:2022:JTD,% Nicolini:2024:UNJb,% Ntantogian:2021:NNJ,% Ou:2025:BCJ,% Park:2023:DCC,% Song:2025:OCS,% Tomasdottir:2020:AJL,% Torres:2023:ICC,% Turcotte:2022:SDD,% Venkatesh:2025:ESL,% Wirfs-Brock:2020:JFY,% Xu:2024:FJE,% Zeng:2026:TDT,% Zozas:2023:FPC,% Lucas:2025:UAM,% Yuan:2026:WJV,% Zerouali:2021:UJP% }. \NAMECITE{{JavaSim}}{% Darabkh:2020:JIC% }. \NAMECITE{{JavaSim-IBFD-CRNs}}{% Darabkh:2020:JIC% }. \NAMECITE{{JavaWeb}}{% Huang:2026:SST,% Zhang:2026:HRI% }. \NAMECITE{{JEMMA}}{% Karmakar:2023:JEJ% }. \NAMECITE{{JGMP}}{% Amato:2023:JJB% }. \NAMECITE{{JGNN}}{% Krasanakis:2023:JGN% }. \NAMECITE{{JGraphT}}{% Michail:2020:JJL% }. \NAMECITE{{JIT}}{% Li:2025:FJJ% }. \NAMECITE{{JNI}}{% Hwang:2024:ESJ% }. \NAMECITE{{JPF}}{% Besseling:2023:UTT,% Walker:2023:JLF% }. \NAMECITE{{jpf-logic}}{% Walker:2023:JLF% }. \NAMECITE{{JS}}{% Naseer:2023:JCF% }. \NAMECITE{{JSAnalyzer}}{% Chaqfeh:2022:JWD% }. \NAMECITE{{JSContana}}{% Huang:2021:JMJ% }. \NAMECITE{{JSetL}}{% Cristia:2023:DPI% }. \NAMECITE{{JSimpo}}{% Chen:2025:JSD% }. \NAMECITE{{JSON}}{% Jiang:2020:SSI,% Talluri:2025:GHP% }. \NAMECITE{{JStrong}}{% Fang:2022:JMJ% }. \NAMECITE{{Juliet}}{% Amankwah:2023:BDJ% }. \NAMECITE{Just}{% Hartley:2022:JTC,% Ni:2022:JTD% }. \NAMECITE{Just-In-Time}{% Hartley:2022:JTC,% Ni:2022:JTD% }. \NAMECITE{{JVM}}{% Bucur:2023:EMJ,% Zheng:2026:EJG% }. \NAMECITE{{JVM}-Based}{% Bucur:2023:EMJ% }. \NAMECITE{{JVMs}}{% Hwang:2024:ESJ% }. \NAMECITE{{Kalman}}{% Toledo:2024:AUF% }. \NAMECITE{kernel}{% Daoud:2020:MAJ% }. \NAMECITE{Key}{% Basin:2020:KKV,% Huang:2021:JMJ,% Abbasi:2023:CRS% }. \NAMECITE{{KG}}{% Gong:2024:MKM% }. \NAMECITE{{Kirk}}{% Hoeflich:2022:HIK% }. \NAMECITE{{KiWi}}{% Basin:2020:KKV% }. \NAMECITE{knight}{% Bertolotti:2024:WDD% }. \NAMECITE{Know}{% Darcy:2021:FPA,% Hermans:2021:TTE% }. \NAMECITE{Knowledge}{% Gong:2024:MKM,% Li:2025:VEC% }. \NAMECITE{{Kotlin}}{% Martinez:2022:WDD% }. \NAMECITE{label}{% Ortin:2020:HTS% }. \NAMECITE{Landscape}{% Nascimento:2022:JAD% }. \NAMECITE{Language}{% Brown:2023:NUJ,% Fatima:2024:FUL,% Feigenbaum:2022:GJP,% Kan:2024:CLT,% Kang:2024:EDL,% Liu:2025:ESE,% Mastropaolo:2026:CLP,% Xue:2024:ACM,% Zhao:2025:DCLa,% Zhao:2025:DCLb,% Zhuo:2026:IMA,% Benedetti:2026:DJC,% Bertolotti:2024:WDD,% Bright:2020:ODP,% King:2020:HGP,% Venkatesh:2025:ESL,% Wang:2025:ESB% }. \NAMECITE{Languages}{% Liu:2021:SDC% }. \NAMECITE{Large}{% Fatima:2024:FUL,% Kang:2024:EDL,% Liu:2025:ESE,% Mastropaolo:2026:CLP,% Misu:2024:SJB,% Rosales:2023:LSC,% Xue:2024:ACM,% Zhuo:2026:IMA,% Benedetti:2026:DJC,% Hoeflich:2022:HIK,% Hora:2020:CME,% Mumtaz:2023:IRO,% Seth:2025:CEE,% Venkatesh:2025:ESL% }. \NAMECITE{Large-Scale}{% Misu:2024:SJB,% Rosales:2023:LSC% }. \NAMECITE{Latency}{% Diaz-Gomez:2026:PRA% }. \NAMECITE{leak}{% Ghanavati:2020:MRL% }. \NAMECITE{Learn}{% Feigenbaum:2022:GJP% }. \NAMECITE{Learned}{% Robillard:2020:LLW% }. \NAMECITE{Learning}{% Arteca:2023:LHL,% Ding:2026:DSD,% Liu:2025:ESE,% Song:2025:OCS,% Troussas:2025:RLB,% Sultana:2021:USM% }. \NAMECITE{Learning-Based}{% Troussas:2025:RLB% }. \NAMECITE{Lessons}{% Robillard:2020:LLW% }. \NAMECITE{Level}{% Silva:2023:EHL,% Wang:2025:BEC,% Ortin:2020:HTS% }. \NAMECITE{Leveraging}{% Siala:2026:LLA,% Ferrara:2020:CJB% }. \NAMECITE{Lexical}{% Capiluppi:2020:LCC% }. \NAMECITE{Libraries}{% Bucur:2023:EMJ,% Chen:2025:IAT,% Zhang:2024:DVT,% Huang:2022:CUU% }. \NAMECITE{Library}{% Michail:2020:JJL,% Narechania:2025:PLU,% Zeng:2026:TDT,% Amato:2023:JJB,% Ciomek:2021:PJL,% Labijak-Kowalska:2024:RJL,% Moller:2020:DLJ% }. \NAMECITE{licensing}{% Moraes:2021:OHM% }. \NAMECITE{light}{% Agun:2023:WLR% }. \NAMECITE{Like}{% Brandt:2024:SSH,% Bianchini:2023:JLC% }. \NAMECITE{limited}{% Shimari:2021:NNO% }. \NAMECITE{Linters}{% Tomasdottir:2020:AJL,% Hoeflich:2022:HIK% }. \NAMECITE{Listen}{% Arteca:2023:LHL% }. \NAMECITE{lists}{% Anonymous:2020:SWS% }. \NAMECITE{Literature}{% Diaz-Gomez:2026:PRA% }. \NAMECITE{{LLMs}}{% Fraser:2025:RWT,% Han:2026:ATA,% Midolo:2025:RLE,% Siala:2026:LLA% }. \NAMECITE{Local}{% Kohler:2025:CLF,% Sulir:2026:LSB,% Aman:2020:ESA% }. \NAMECITE{Local-First}{% Kohler:2025:CLF% }. \NAMECITE{locations}{% Moller:2020:DLJ% }. \NAMECITE{Logic}{% Walker:2023:JLF,% Walker:2023:JLF% }. \NAMECITE{Logs}{% Liu:2025:AEC% }. \NAMECITE{Look}{% Hartley:2022:JTC,% vanOorschot:2023:MEMb% }. \NAMECITE{Loop}{% Mastropaolo:2026:CLP% }. \NAMECITE{Loops}{% Midolo:2025:RLE% }. \NAMECITE{Low}{% Diaz-Gomez:2026:PRA% }. \NAMECITE{Low-Latency}{% Diaz-Gomez:2026:PRA% }. \NAMECITE{machine}{% Chen:2024:CEH,% Sultana:2021:USM,% Daoud:2020:MAJ,% Perez:2020:OPN% }. \NAMECITE{maintainability}{% Mumtaz:2023:IRO% }. \NAMECITE{Malicious}{% Alazab:2022:DOM,% Fang:2022:JMJ,% Huang:2021:JMJ,% Zeng:2025:WSC,% Chen:2025:ZEM,% Fang:2020:DMJ% }. \NAMECITE{malware}{% Feng:2023:BBB% }. \NAMECITE{many}{% Hoeflich:2022:HIK% }. \NAMECITE{Map}{% Basin:2020:KKV% }. \NAMECITE{mapping}{% Huang:2022:HSA% }. \NAMECITE{{Martin}}{% Forti:2024:IMR% }. \NAMECITE{Matching}{% Li:2025:VEC% }. \NAMECITE{Materials}{% Balliu:2023:CPS% }. \NAMECITE{mathematical}{% Moseler:2021:DFC% }. \NAMECITE{Matrices}{% Frison:2020:BAB% }. \NAMECITE{matter}{% Li:2026:DCE% }. \NAMECITE{{Maven}}{% Zeng:2025:WSC% }. \NAMECITE{Means}{% Nigro:2022:PPK% }. \NAMECITE{Measurements}{% Naseer:2023:JCF% }. \NAMECITE{mechanisms}{% Higo:2020:TJM% }. \NAMECITE{Memory}{% Ghanavati:2020:MRL,% Naseer:2023:JCF,% vanOorschot:2023:MEMb,% Perez:2020:OPN% }. \NAMECITE{Merge}{% Ghiotto:2020:NMC,% Larsen:2023:PSS,% Shen:2023:CSM% }. \NAMECITE{Message}{% Xue:2024:ACM% }. \NAMECITE{meta}{% Harrand:2020:JDD% }. \NAMECITE{meta-decompilation}{% Harrand:2020:JDD% }. \NAMECITE{Metamorphic}{% Ayerdi:2024:GAG% }. \NAMECITE{Metaverse}{% Bucur:2023:EMJ% }. \NAMECITE{method}{% Aman:2020:ESA,% Hora:2020:CME,% Liu:2023:MEX,% Wang:2025:IJM,% Zhuo:2020:TEP% }. \NAMECITE{methods}{% Caivano:2023:SED,% Higo:2020:TJM,% SilvaDaCosta:2026:RNJ,% Sultana:2021:USM% }. \NAMECITE{metrics}{% Sultana:2021:USM% }. \NAMECITE{{MFXSS}}{% Liu:2023:MEX% }. \NAMECITE{Microbenchmark}{% Laaber:2024:ESB% }. \NAMECITE{microservice}{% Schneider:2023:AES% }. \NAMECITE{Middleweight}{% Murawski:2021:GSI% }. \NAMECITE{Migrate}{% Martinez:2022:WDD% }. \NAMECITE{Migrating}{% Robillard:2020:LLW% }. \NAMECITE{migration}{% Jung:2021:TPI% }. \NAMECITE{Mimicking}{% Tiwari:2024:MPB% }. \NAMECITE{Mining}{% Nascimento:2022:JAD% }. \NAMECITE{mismatches}{% Hoeflich:2022:HIK% }. \NAMECITE{Misuse}{% Zhuo:2026:IMA% }. \NAMECITE{Misuses}{% Kechagia:2022:EAP,% Zhang:2023:ADJ% }. \NAMECITE{Mitigating}{% Pizzolotto:2024:MDB,% Zhuo:2026:IMA% }. \NAMECITE{{ML4Code}}{% Karmakar:2023:JEJ% }. \NAMECITE{Mobile}{% Chaqfeh:2022:JWD,% Naseer:2023:JCF% }. \NAMECITE{Mocks}{% Tiwari:2024:MPB% }. \NAMECITE{model}{% Liu:2023:MEX,% P:2021:FSM,% SousaFalcao:2026:EFM,% Xu:2024:FJE% }. \NAMECITE{Modeling}{% Gong:2024:MKM% }. \NAMECITE{Models}{% Fatima:2024:FUL,% Huang:2025:TIP,% Kang:2024:EDL,% Liu:2025:ESE,% Mastropaolo:2026:CLP,% Xue:2024:ACM,% Zhao:2025:DCLa,% Zhao:2025:DCLb,% Zhuo:2026:IMA,% Benedetti:2026:DJC,% Padmanaban:2025:UJC,% Venkatesh:2025:ESL% }. \NAMECITE{Modern}{% Jones:2026:MJF,% Liu:2021:SDC,% Lucas:2025:UAM,% Trautsch:2020:UIT% }. \NAMECITE{{MR}}{% Gong:2024:MKM% }. \NAMECITE{Multi}{% Gong:2024:MKM,% Yuan:2020:AAR,% Liu:2023:MEX,% Moraes:2021:OHM% }. \NAMECITE{multi-feature}{% Liu:2023:MEX% }. \NAMECITE{multi-licensing}{% Moraes:2021:OHM% }. \NAMECITE{Multi-Objective}{% Yuan:2020:AAR% }. \NAMECITE{Multi-Rationale}{% Gong:2024:MKM% }. \NAMECITE{Multi-Relation}{% Gong:2024:MKM% }. \NAMECITE{Multilevel}{% Daoud:2020:MAJ% }. \NAMECITE{Multiple}{% Zhou:2024:CGS,% Capiluppi:2020:EMD,% Mahmoudi:2023:OSW% }. \NAMECITE{Mutating}{% Pinheiro:2020:MCA% }. \NAMECITE{Mutation}{% Sanchez:2024:MTP,% Tang:2025:DCE,% Amalfitano:2022:HDJ% }. \NAMECITE{My}{% Wang:2022:WDC% }. \NAMECITE{name}{% Wang:2025:IJM% }. \NAMECITE{names}{% Aman:2023:ADC% }. \NAMECITE{Native}{% Kan:2024:CLT,% Liu:2025:DRN,% Krasanakis:2023:JGN% }. \NAMECITE{Nature}{% Ghiotto:2020:NMC% }. \NAMECITE{Near}{% Shimari:2021:NNO% }. \NAMECITE{Near-omniscient}{% Shimari:2021:NNO% }. \NAMECITE{need}{% Bierhoff:2022:WNW% }. \NAMECITE{{netDFT}}{% Wijaya:2023:NJD% }. \NAMECITE{network}{% Fang:2022:JMJ,% Feng:2023:BBB% }. \NAMECITE{networks}{% Darabkh:2020:JIC,% Wang:2025:IJM,% Krasanakis:2023:JGN% }. \NAMECITE{Neural}{% Krasanakis:2023:JGN,% Zhong:2025:BCP,% Fang:2022:JMJ,% Feng:2023:BBB,% Mariano:2022:ATI,% Wang:2025:IJM,% Xu:2024:FJE% }. \NAMECITE{neural-guided}{% Mariano:2022:ATI% }. \NAMECITE{{NOD4J}}{% Shimari:2021:NNO% }. \NAMECITE{{NOde.js}}{% Ntantogian:2021:NNJ,% Mohan:2025:PAC% }. \NAMECITE{{NodeXP}}{% Ntantogian:2021:NNJ% }. \NAMECITE{Non}{% Chaqfeh:2022:JWD,% Zhang:2024:ARN% }. \NAMECITE{Non-critical}{% Chaqfeh:2022:JWD% }. \NAMECITE{Non-Idiomatic}{% Zhang:2024:ARN% }. \NAMECITE{nonvolatile}{% Perez:2020:OPN% }. \NAMECITE{Novel}{% Darabkh:2020:JIC% }. \NAMECITE{Novice}{% Brown:2023:NUJ% }. \NAMECITE{novices}{% SilvaDaCosta:2026:RNJ% }. \NAMECITE{npm}{% Chowdhury:2022:UTP% }. \NAMECITE{Obfuscated}{% Alazab:2022:DOM,% Song:2025:OCS% }. \NAMECITE{obfuscation}{% Foket:2020:EEJ% }. \NAMECITE{Object}{% He:2023:IBC,% Zeng:2026:TDT,% Collet:2025:VEC,% Huang:2022:HSA% }. \NAMECITE{object-oriented}{% Collet:2025:VEC% }. \NAMECITE{object-relational}{% Huang:2022:HSA% }. \NAMECITE{Object-Sensitive}{% He:2023:IBC% }. \NAMECITE{Objective}{% Yuan:2020:AAR% }. \NAMECITE{{OCL}}{% Siala:2026:LLA% }. \NAMECITE{omniscient}{% Shimari:2021:NNO% }. \NAMECITE{On-the-Fly}{% Palma:2025:FSH% }. \NAMECITE{one}{% Moraes:2021:OHM% }. \NAMECITE{Online}{% Zhang:2026:APA% }. \NAMECITE{{OPA}}{% Mahmoudi:2023:OSW% }. \NAMECITE{Open}{% Ghiotto:2020:NMC,% Nyirongo:2025:ESS,% Sanchez:2024:MTP,% Imran:2025:CCP,% Khatami:2024:SPQ,% Lucas:2025:UAM,% Trautsch:2020:UIT% }. \NAMECITE{Open-Source}{% Nyirongo:2025:ESS,% Sanchez:2024:MTP,% Imran:2025:CCP,% Lucas:2025:UAM,% Trautsch:2020:UIT% }. \NAMECITE{opportunities}{% Mumtaz:2023:IRO% }. \NAMECITE{optimization}{% Moller:2020:EAO% }. \NAMECITE{Optimized}{% Wang:2026:ERO% }. \NAMECITE{Optimizing}{% Frison:2020:BAB% }. \NAMECITE{oracle}{% Li:2025:FJJ% }. \NAMECITE{Orders}{% Ding:2026:DSD% }. \NAMECITE{{Ordinal}}{% Mahmoudi:2023:OSW% }. \NAMECITE{oriented}{% Collet:2025:VEC% }. \NAMECITE{Origins}{% Bright:2020:ODP% }. \NAMECITE{Orthogonal}{% Perez:2020:OPN,% Toledo:2024:AUF% }. \NAMECITE{{OSS}}{% Mumtaz:2023:IRO% }. \NAMECITE{Our}{% Zhang:2024:DVT% }. \NAMECITE{{Overflow}}{% Blanco:2020:USE,% Gong:2024:MKM% }. \NAMECITE{overhead}{% Moller:2020:EAO% }. \NAMECITE{Overlay}{% Narechania:2025:PLU% }. \NAMECITE{Package}{% Shu:2026:DDD,% Gorski:2024:SJP% }. \NAMECITE{Packages}{% Chowdhury:2022:UTP,% Mumtaz:2023:IRO,% Zerouali:2021:UJP% }. \NAMECITE{Pages}{% Chaqfeh:2022:JWD% }. \NAMECITE{pairing}{% Zhao:2024:GJC% }. \NAMECITE{pairs}{% Aman:2023:ADC% }. \NAMECITE{Parallel}{% Evseeva:2026:IJA,% Midolo:2023:ATS,% Nigro:2022:PPK,% Nowicki:2023:PEJ,% Padmanaban:2025:UJC% }. \NAMECITE{parallelization}{% Khatchadourian:2020:SAR% }. \NAMECITE{Party}{% Chen:2025:IAT,% Soto-Valero:2023:AST,% Zhang:2024:DVT,% Huang:2022:CUU% }. \NAMECITE{past}{% Maes-Bermejo:2024:TPC% }. \NAMECITE{Pathfinder}{% Artho:2020:JPW,% Sherman:2023:JPW% }. \NAMECITE{Pattern}{% Li:2025:VEC,% Bertolotti:2024:WDD,% Bijlsma:2022:EDP% }. \NAMECITE{Patterns}{% Arteca:2023:LHL,% Torres:2023:ICC% }. \NAMECITE{{PCJ}}{% Nowicki:2023:PEJ% }. \NAMECITE{pearl}{% Ramsey:2022:BRR% }. \NAMECITE{Performance}{% Frison:2020:BAB,% Huang:2025:TIP,% Mohan:2025:PAC,% Nigro:2022:PPK,% Nowicki:2023:PEJ,% Talluri:2025:GHP,% Trubiani:2023:ADS,% Zhang:2023:RRB,% Zhong:2025:BCP,% Imran:2025:CCP,% Traini:2023:TEA% }. \NAMECITE{Persistence}{% Cobbs:2022:PPW,% Perez:2020:OPN% }. \NAMECITE{persistent}{% Perez:2020:OPN% }. \NAMECITE{phase}{% Wang:2025:IJM% }. \NAMECITE{{PII}}{% SousaFalcao:2026:EFM% }. \NAMECITE{pipelines}{% Moller:2020:EAO,% SousaFalcao:2026:EFM% }. \NAMECITE{Plain}{% Silva:2023:EHL% }. \NAMECITE{Platform}{% Jung:2021:TPI,% Karim:2020:PID,% Bertolotti:2024:WDD,% Cirani:2020:ZNC% }. \NAMECITE{Platform-Independent}{% Karim:2020:PID,% Jung:2021:TPI% }. \NAMECITE{Platforms}{% Diaz-Gomez:2026:PRA,% Zhang:2026:APA% }. \NAMECITE{Point}{% Darcy:2021:FPA,% Abbasi:2023:CRS% }. \NAMECITE{Pointer}{% He:2023:IBC,% Li:2024:GSG,% Liu:2022:SFI% }. \NAMECITE{{Polyrun}}{% Ciomek:2021:PJL% }. \NAMECITE{polytopes}{% Ciomek:2021:PJL% }. \NAMECITE{Porting}{% Han:2026:ATA% }. \NAMECITE{Practice}{% Sanchez:2024:MTP,% Tomasdottir:2020:AJL,% Yu:2021:CUE,% Khatami:2024:SPQ% }. \NAMECITE{Practices}{% Wang:2023:SCJ% }. \NAMECITE{precise}{% Zhuo:2020:TEP% }. \NAMECITE{Predicting}{% Fatima:2024:FUL,% Sultana:2021:USM% }. \NAMECITE{Prediction}{% Ni:2022:JTD% }. \NAMECITE{Preservation}{% Larsen:2023:PSS% }. \NAMECITE{Principal}{% Zozas:2023:FPC% }. \NAMECITE{priorities}{% Chen:2022:SSC% }. \NAMECITE{Prioritization}{% Laaber:2024:ESB% }. \NAMECITE{Priority}{% Mahmoudi:2023:OSW% }. \NAMECITE{Problem}{% Zhang:2026:APA% }. \NAMECITE{Problem-Adaptive}{% Zhang:2026:APA% }. \NAMECITE{Processing}{% Talluri:2025:GHP% }. \NAMECITE{Producing}{% Balliu:2023:CPS% }. \NAMECITE{Production}{% Tiwari:2024:MPB% }. \NAMECITE{Program}{% Godio:2026:IIT,% Kechagia:2022:EAP,% Mastropaolo:2026:CLP,% Tang:2025:DCE,% Wang:2022:WDC,% Zhong:2025:BCP,% Mariano:2022:ATI,% Moller:2020:EAO,% P:2021:FSM,% Xu:2024:FJE% }. \NAMECITE{Program-Interoperable}{% Mastropaolo:2026:CLP% }. \NAMECITE{Programmer}{% Darcy:2021:FPA,% Li:2026:DCE% }. \NAMECITE{Programmers}{% Feigenbaum:2022:GJP,% Ortin:2020:HTS% }. \NAMECITE{Programming}{% Ayerdi:2024:GAG,% Brown:2023:NUJ,% Cobbs:2022:PPW,% Cristia:2023:DPI,% Feigenbaum:2022:GJP,% Liu:2021:SDC,% Silva:2023:EHL,% Yuan:2020:AAR,% Zhang:2026:APA,% Zhao:2025:DCLa,% Zhao:2025:DCLb,% Bright:2020:ODP,% King:2020:HGP,% Wang:2025:ESB% }. \NAMECITE{Programs}{% Chen:2025:JSD,% Csuvik:2025:GBS,% Ding:2026:DSD,% Han:2026:ATA,% Yuan:2020:AAR,% Abbasi:2023:CRS,% Aman:2023:ADC,% Feitosa:2020:TDA,% Moller:2020:DLJ,% Pinheiro:2020:MCA,% Siala:2026:LLA% }. \NAMECITE{Projects}{% Ghiotto:2020:NMC,% Jafari:2022:DSJ,% Ni:2022:JTD,% Nyirongo:2025:ESS,% Shen:2023:CSM,% Wang:2023:SCJ,% Zhang:2024:DVT,% Ghanavati:2020:MRL,% Huang:2022:CUU,% Maes-Bermejo:2024:TPC,% Martins:2024:DTS,% Moseler:2021:DFC,% Sultana:2021:USM,% Trautsch:2020:UIT% }. \NAMECITE{prone}{% Aman:2020:ESA% }. \NAMECITE{Properties}{% Walker:2023:JLF% }. \NAMECITE{Protection}{% Seth:2025:CEE,% Bierhoff:2022:WNW% }. \NAMECITE{Protocols}{% Diaz-Gomez:2026:PRA% }. \NAMECITE{Provenance}{% Narechania:2025:PLU% }. \NAMECITE{{ProvenanceWidgets}}{% Narechania:2025:PLU% }. \NAMECITE{{Python}}{% Aman:2023:ADC,% Anonymous:2020:SWS,% Brun:2023:BPJ,% Siala:2026:LLA,% Venkatesh:2025:ESL,% Zhang:2023:RRB,% Zhang:2024:ARN,% Zerouali:2021:UJP% }. \NAMECITE{{Pythonic}}{% Zhang:2024:ARN% }. \NAMECITE{quality}{% Khatami:2024:SPQ,% Li:2025:FJJ,% Martins:2024:DTS% }. \NAMECITE{Quantifying}{% Fouquet:2023:BBQ% }. \NAMECITE{{R}}{% Zhao:2025:DCLa,% Zhao:2025:DCLb% }. \NAMECITE{radio}{% Darabkh:2020:JIC% }. \NAMECITE{random}{% Feitosa:2020:TDA% }. \NAMECITE{RASP}{% Seth:2025:CEE% }. \NAMECITE{Rationale}{% Gong:2024:MKM% }. \NAMECITE{{RCR}}{% Zhao:2025:DCLb% }. \NAMECITE{React}{% Liu:2025:DRN% }. \NAMECITE{Reactive}{% Diaz-Gomez:2026:PRA% }. \NAMECITE{readability}{% Guerra:2024:HDA% }. \NAMECITE{Real}{% Basin:2020:KKV,% Liu:2025:AEC,% Nyirongo:2025:ESS,% Moseler:2021:DFC% }. \NAMECITE{Real-time}{% Basin:2020:KKV% }. \NAMECITE{Real-World}{% Liu:2025:AEC,% Nyirongo:2025:ESS,% Moseler:2021:DFC% }. \NAMECITE{Reasoning}{% Wang:2026:ERO,% Abbasi:2023:CRS% }. \NAMECITE{Recommendation}{% Zhou:2020:ADR,% Wang:2025:IJM% }. \NAMECITE{Recovery}{% Tang:2025:DCE% }. \NAMECITE{Recursive}{% Zhou:2023:RSA,% Ramsey:2022:BRR% }. \NAMECITE{Refactoring}{% Hasan:2024:RAB,% Midolo:2025:RLE,% SilvaDaCosta:2026:RNJ,% Zhang:2024:ARN,% Khatchadourian:2020:SAR,% Mumtaz:2023:IRO% }. \NAMECITE{Refactoring-Aware}{% Hasan:2024:RAB% }. \NAMECITE{Refactorings}{% Nyirongo:2025:ESS% }. \NAMECITE{{RegCPython}}{% Zhang:2023:RRB% }. \NAMECITE{Regex}{% Chen:2022:SSC% }. \NAMECITE{Regex-dependent}{% Chen:2022:SSC% }. \NAMECITE{Register}{% Zhang:2023:RRB% }. \NAMECITE{Register-based}{% Zhang:2023:RRB% }. \NAMECITE{regular}{% Agun:2023:WLR% }. \NAMECITE{Reinforcement}{% Ding:2026:DSD,% Song:2025:OCS,% Troussas:2025:RLB% }. \NAMECITE{related}{% Imran:2025:CCP,% Moseler:2021:DFC% }. \NAMECITE{Relation}{% Gong:2024:MKM% }. \NAMECITE{relational}{% Huang:2022:HSA% }. \NAMECITE{Relations}{% Ayerdi:2024:GAG% }. \NAMECITE{relationship}{% Martins:2024:DTS% }. \NAMECITE{Relooper}{% Ramsey:2022:BRR% }. \NAMECITE{Remote}{% Sayar:2023:DSJ% }. \NAMECITE{Remote-Code}{% Sayar:2023:DSJ% }. \NAMECITE{Repair}{% Csuvik:2025:GBS,% Fatima:2024:FUL,% Godio:2026:IIT,% Kechagia:2022:EAP,% Yuan:2020:AAR,% Zhong:2025:BCP,% Zhou:2020:ADR% }. \NAMECITE{repairs}{% Ghanavati:2020:MRL% }. \NAMECITE{Replication}{% Ni:2022:JTD,% Sasikumar:2022:CAD% }. \NAMECITE{Report}{% Zhao:2025:DCLb% }. \NAMECITE{representation}{% Fang:2022:JMJ% }. \NAMECITE{representations}{% Siala:2026:LLA% }. \NAMECITE{Reproduction}{% Kang:2024:EDL% }. \NAMECITE{Research}{% Bucur:2023:EMJ% }. \NAMECITE{Resolution}{% Ghorbani:2024:DAA,% Zhuo:2020:TEP% }. \NAMECITE{resource}{% Ghanavati:2020:MRL% }. \NAMECITE{Resources}{% Silva:2024:ECR% }. \NAMECITE{Restful}{% Mohan:2025:PAC% }. \NAMECITE{Result}{% Brun:2023:BPJ% }. \NAMECITE{Retrospective}{% Fraser:2025:RWT% }. \NAMECITE{Review}{% Diaz-Gomez:2026:PRA% }. \NAMECITE{rich}{% Schneider:2023:AES% }. \NAMECITE{right}{% Cobbs:2022:PPW% }. \NAMECITE{risks}{% Huang:2022:CUU% }. \NAMECITE{{RL}}{% Wang:2026:ERO% }. \NAMECITE{{RL}-Optimized}{% Wang:2026:ERO% }. \NAMECITE{{Robillard}}{% Forti:2024:IMR% }. \NAMECITE{robust}{% Labijak-Kowalska:2024:RJL% }. \NAMECITE{{robustDEA}}{% Labijak-Kowalska:2024:RJL% }. \NAMECITE{Role}{% Fraser:2025:RWT% }. \NAMECITE{{{Ruby}}}{% Zerouali:2021:UJP% }. \NAMECITE{rule}{% Abbasi:2023:CRS% }. \NAMECITE{rule-}{% Abbasi:2023:CRS% }. \NAMECITE{run}{% Maes-Bermejo:2024:TPC,% Zhang:2026:HRI% }. \NAMECITE{Runtime}{% Wu:2024:TSF,% Carvalho:2023:DBR,% Seth:2025:CEE% }. \NAMECITE{{Rust}}{% Shu:2026:DDD,% vanOorschot:2023:MEMb% }. \NAMECITE{Safe}{% Khatchadourian:2020:SAR,% Liu:2021:SDC% }. \NAMECITE{Safe-by-default}{% Liu:2021:SDC% }. \NAMECITE{Safety}{% Kohler:2025:CLF,% vanOorschot:2023:MEMb% }. \NAMECITE{sampling}{% Ciomek:2021:PJL% }. \NAMECITE{{SBST}}{% Fraser:2025:RWT% }. \NAMECITE{Scalable}{% Basin:2020:KKV,% Ding:2026:DSD,% Jiang:2020:SSI,% Huang:2026:SST% }. \NAMECITE{Scale}{% Misu:2024:SJB,% Hora:2020:CME,% Rosales:2023:LSC% }. \NAMECITE{Search}{% Laaber:2024:ESB,% Song:2025:OCS,% Zhou:2024:CGS% }. \NAMECITE{Search-Based}{% Laaber:2024:ESB,% Zhou:2024:CGS% }. \NAMECITE{Security}{% Seth:2025:CEE,% Thome:2020:IAE,% Benedetti:2026:DJC,% Schneider:2023:AES% }. \NAMECITE{security-rich}{% Schneider:2023:AES% }. \NAMECITE{Selector}{% Zhou:2024:CGS% }. \NAMECITE{Self}{% Pizzolotto:2024:MDB,% Seth:2025:CEE% }. \NAMECITE{Self-debugging}{% Pizzolotto:2024:MDB% }. \NAMECITE{Self-Protection}{% Seth:2025:CEE% }. \NAMECITE{Semantic}{% Jin:2026:UUC,% Fang:2020:DMJ,% Fang:2022:JMJ% }. \NAMECITE{Semantics}{% Murawski:2021:GSI,% Wang:2022:WDC,% Ferrara:2020:CJB% }. \NAMECITE{{Semantics}-based}{% Ferrara:2020:CJB% }. \NAMECITE{{SemTaint}}{% Huang:2026:SST% }. \NAMECITE{Sensitive}{% Han:2026:ATA,% He:2023:IBC,% Kan:2024:CLT,% Liu:2022:SFI% }. \NAMECITE{Sensitivity}{% Li:2024:GSG% }. \NAMECITE{sequence}{% Chen:2025:ZEM% }. \NAMECITE{Sequential}{% Midolo:2023:ATS% }. \NAMECITE{server}{% Ntantogian:2021:NNJ,% Turcotte:2022:SDD% }. \NAMECITE{server-side}{% Ntantogian:2021:NNJ,% Turcotte:2022:SDD% }. \NAMECITE{Sets}{% Cristia:2023:DPI% }. \NAMECITE{setup}{% Zhang:2026:HRI% }. \NAMECITE{{SGX}}{% Wu:2024:TSF% }. \NAMECITE{{SGX}-Friendly}{% Wu:2024:TSF% }. \NAMECITE{Shaken}{% Brandt:2024:SSH% }. \NAMECITE{{SHARP}}{% Liu:2022:SFI% }. \NAMECITE{Shearing}{% Zeng:2025:WSC% }. \NAMECITE{Sheep}{% Zeng:2025:WSC% }. \NAMECITE{Shivers}{% Juge:2024:ASS% }. \NAMECITE{Should}{% Darcy:2021:FPA,% Hermans:2021:TTE% }. \NAMECITE{side}{% Ntantogian:2021:NNJ,% Turcotte:2022:SDD% }. \NAMECITE{{SIGSOFT}}{% Forti:2024:IMR% }. \NAMECITE{similar}{% Aman:2023:ADC% }. \NAMECITE{Simplifying}{% Chaqfeh:2022:JWD% }. \NAMECITE{simulator}{% Darabkh:2020:JIC% }. \NAMECITE{Site}{% Hartley:2022:JTC% }. \NAMECITE{size}{% Shimari:2021:NNO% }. \NAMECITE{size-limited}{% Shimari:2021:NNO% }. \NAMECITE{Skills}{% Anonymous:2020:SWS% }. \NAMECITE{Slicing}{% Thome:2020:IAE% }. \NAMECITE{Small}{% Frison:2020:BAB% }. \NAMECITE{smart}{% Gorski:2024:SJP% }. \NAMECITE{{SmarTS}}{% Gorski:2024:SJP% }. \NAMECITE{smell}{% Huang:2022:HSA% }. \NAMECITE{Smells}{% Jafari:2022:DSJ,% Martins:2024:DTS% }. \NAMECITE{Smoothing}{% Toledo:2024:AUF% }. \NAMECITE{{SMT}}{% Abbasi:2023:CRS% }. \NAMECITE{{SMT}-based}{% Abbasi:2023:CRS% }. \NAMECITE{snapshots}{% Maes-Bermejo:2024:TPC% }. \NAMECITE{social}{% Blanco:2020:USE% }. \NAMECITE{Software}{% Balliu:2023:CPS,% Gong:2024:MKM,% Kohler:2025:CLF,% Laaber:2024:ESB,% Nyirongo:2025:ESS,% Sanchez:2024:MTP,% Troussas:2025:RLB,% Trubiani:2023:ADS,% Capiluppi:2020:EMD,% Capiluppi:2020:LCC,% Khatami:2024:SPQ,% Mahmoudi:2023:OSW,% SousaFalcao:2026:EFM,% Sulir:2026:LSB,% Sultana:2021:USM,% Traini:2023:TEA% }. \NAMECITE{solid}{% Wijaya:2023:NJD% }. \NAMECITE{Solution}{% Zhang:2026:APA% }. \NAMECITE{{Solver}}{% Mahmoudi:2023:OSW% }. \NAMECITE{Solving}{% Chen:2022:SSC,% Thome:2020:IAE% }. \NAMECITE{Sort}{% Juge:2024:ASS% }. \NAMECITE{Sorting}{% Juge:2024:ASS% }. \NAMECITE{Source}{% Ghiotto:2020:NMC,% Nyirongo:2025:ESS,% Sanchez:2024:MTP,% Imran:2025:CCP,% Khatami:2024:SPQ,% Lucas:2025:UAM,% Trautsch:2020:UIT% }. \NAMECITE{{SourcererJBF}}{% Misu:2024:SJB% }. \NAMECITE{Specialization}{% Soto-Valero:2023:AST% }. \NAMECITE{Specification}{% Kan:2024:CLT% }. \NAMECITE{specifications}{% Nie:2020:UEI% }. \NAMECITE{Speed}{% Palma:2025:FSH% }. \NAMECITE{Speed-Ups}{% Palma:2025:FSH% }. \NAMECITE{{Spork}}{% Larsen:2023:PSS% }. \NAMECITE{spotting}{% Hoeflich:2022:HIK% }. \NAMECITE{spread}{% Caivano:2023:SED% }. \NAMECITE{Spring}{% Mohan:2025:PAC% }. \NAMECITE{{Sql}}{% Anonymous:2020:SWS% }. \NAMECITE{{Stack}}{% Blanco:2020:USE,% Gong:2024:MKM% }. \NAMECITE{State}{% Bucur:2023:EMJ,% Khatami:2024:SPQ,% P:2021:FSM,% Traini:2023:TEA% }. \NAMECITE{State-of-the-practice}{% Khatami:2024:SPQ% }. \NAMECITE{stateful}{% Jung:2021:TPI% }. \NAMECITE{Static}{% Afrose:2023:ESV,% Liu:2025:DRN,% Amankwah:2023:BDJ,% Ferrara:2020:CJB,% Huang:2022:HSA% }. \NAMECITE{steady}{% Traini:2023:TEA% }. \NAMECITE{steps}{% Zhang:2026:HRI% }. \NAMECITE{still}{% Li:2026:DCE,% Maes-Bermejo:2024:TPC,% Trautsch:2020:UIT% }. \NAMECITE{Stirred}{% Brandt:2024:SSH% }. \NAMECITE{{StoneDetector}}{% Heinze:2026:SCV% }. \NAMECITE{Storage}{% Ahmad:2024:EAW% }. \NAMECITE{Strategies}{% Sasikumar:2022:CAD,% SousaFalcao:2026:EFM% }. \NAMECITE{stream}{% Moller:2020:EAO% }. \NAMECITE{streams}{% Khatchadourian:2020:SAR,% Rosales:2023:LSC% }. \NAMECITE{String}{% Yan:2023:TWS,% Chen:2022:SSC% }. \NAMECITE{Structural}{% Chen:2025:JSD,% Jin:2026:UUC,% Capiluppi:2020:EMD,% Jiang:2020:SSI% }. \NAMECITE{structure}{% Ortin:2020:HTS% }. \NAMECITE{Structured}{% Larsen:2023:PSS,% Ramsey:2022:BRR% }. \NAMECITE{Structures}{% Michail:2020:JJL% }. \NAMECITE{{Stubbifier}}{% Turcotte:2022:SDD% }. \NAMECITE{Study}{% Chowdhury:2022:UTP,% Ghiotto:2020:NMC,% Hwang:2024:ESJ,% Liu:2024:ESC,% Liu:2025:ESE,% Midolo:2025:RLE,% Nascimento:2022:JAD,% Ni:2022:JTD,% Nyirongo:2025:ESS,% Sayar:2023:DSJ,% Shen:2023:CSM,% Tomasdottir:2020:AJL,% Xue:2024:ACM,% Aman:2020:ESA,% Blanco:2020:USE,% Caivano:2023:SED,% Capiluppi:2020:EMD,% Capiluppi:2020:LCC,% Hora:2020:CME,% Imran:2025:CCP,% Lucas:2025:UAM,% SilvaDaCosta:2026:RNJ,% Trautsch:2020:UIT,% Venkatesh:2025:ESL,% Wang:2025:ESB% }. \NAMECITE{Suboptimal}{% Wang:2023:SCJ% }. \NAMECITE{Subsequence}{% Song:2025:OCS% }. \NAMECITE{Subtyping}{% Zhou:2023:RSA% }. \NAMECITE{Suite}{% Fraser:2025:RWT,% Godio:2026:IIT,% Gorski:2024:SJP% }. \NAMECITE{{Suites}}{% Amankwah:2023:BDJ% }. \NAMECITE{Support}{% Yan:2023:TWS,% Zhao:2025:DCLa,% Zhao:2025:DCLb% }. \NAMECITE{supporting}{% Bacchiani:2022:JTC% }. \NAMECITE{Survey}{% Nascimento:2022:JAD% }. \NAMECITE{{Swing}}{% Robillard:2020:LLW% }. \NAMECITE{Syntax}{% Palma:2025:FSH,% Xu:2024:FJE% }. \NAMECITE{syntax-aware}{% Xu:2024:FJE% }. \NAMECITE{synthesis}{% Mariano:2022:ATI% }. \NAMECITE{System}{% Csuvik:2025:GBS,% Seth:2025:CEE% }. \NAMECITE{Systematic}{% Diaz-Gomez:2026:PRA% }. \NAMECITE{Systems}{% Zhong:2025:BCP,% Imran:2025:CCP,% Lucas:2025:UAM,% Padmanaban:2025:UJC% }. \NAMECITE{{T}}{% Godio:2026:IIT% }. \NAMECITE{Taint}{% Kan:2024:CLT,% Karim:2020:PID,% Huang:2026:SST% }. \NAMECITE{Technical}{% Yu:2025:UTD,% Zozas:2023:FPC% }. \NAMECITE{Technique}{% Zhang:2026:APA% }. \NAMECITE{{TEE}}{% Han:2026:ATA% }. \NAMECITE{Template}{% Zhang:2026:APA% }. \NAMECITE{Temporal}{% Walker:2023:JLF% }. \NAMECITE{Test}{% Amankwah:2023:BDJ,% Csuvik:2025:GBS,% Ding:2026:DSD,% Fatima:2024:FUL,% Fraser:2025:RWT,% Godio:2026:IIT,% Kirschner:2025:DGB,% Zhou:2024:CGS,% Gorski:2024:SJP,% Li:2025:FJJ,% Martins:2024:DTS,% Trautsch:2020:UIT% }. \NAMECITE{Test-Based}{% Csuvik:2025:GBS% }. \NAMECITE{Testing}{% Maes-Bermejo:2024:TPC,% Romano:2020:WVT,% Sanchez:2024:MTP,% Seth:2025:CEE,% Zheng:2026:EJG,% Chen:2024:CEH% }. \NAMECITE{Tests}{% Brandt:2024:SSH,% Silva:2024:ECR,% Imran:2025:CCP,% Maes-Bermejo:2024:TPC% }. \NAMECITE{Textual}{% Chen:2025:IAT% }. \NAMECITE{{TFA}}{% Zhuo:2020:TEP% }. \NAMECITE{{Theia}}{% Besseling:2023:UTT% }. \NAMECITE{Their}{% Brandt:2024:SSH,% Ghanavati:2020:MRL,% Martins:2024:DTS,% Ortin:2020:HTS% }. \NAMECITE{{Theory}}{% Wijaya:2023:NJD% }. \NAMECITE{There}{% Zhang:2023:ADJ,% Traini:2023:TEA% }. \NAMECITE{Things}{% Hermans:2021:TTE,% Darabkh:2020:JIC,% Jung:2021:TPI% }. \NAMECITE{{ThingsMigrate}}{% Jung:2021:TPI% }. \NAMECITE{Third}{% Chen:2025:IAT,% Soto-Valero:2023:AST,% Zhang:2024:DVT,% Huang:2022:CUU% }. \NAMECITE{Third-Party}{% Chen:2025:IAT,% Soto-Valero:2023:AST,% Zhang:2024:DVT,% Huang:2022:CUU% }. \NAMECITE{thread}{% Yuan:2026:WJV% }. \NAMECITE{thread-adaptive}{% Yuan:2026:WJV% }. \NAMECITE{Threads}{% Evseeva:2026:IJA% }. \NAMECITE{Threaten}{% Zhang:2024:DVT% }. \NAMECITE{Time}{% Hartley:2022:JTC,% Ni:2022:JTD,% Basin:2020:KKV,% Moller:2020:EAO% }. \NAMECITE{too}{% Hoeflich:2022:HIK% }. \NAMECITE{Tool}{% Chaqfeh:2022:JWD,% Huang:2022:HSA,% Shimari:2021:NNO% }. \NAMECITE{Tools}{% Afrose:2023:ESV,% Bucur:2023:EMJ,% Amalfitano:2022:HDJ,% Amankwah:2023:BDJ,% Seth:2025:CEE% }. \NAMECITE{top}{% Anonymous:2020:SWS% }. \NAMECITE{Trace}{% Besseling:2023:UTT,% Shimari:2021:NNO% }. \NAMECITE{Traces}{% Besseling:2023:UTT,% Daoud:2020:MAJ% }. \NAMECITE{Track}{% Narechania:2025:PLU% }. \NAMECITE{Tracking}{% Ahmad:2024:EAW,% Hasan:2024:RAB,% Higo:2020:TJM,% SilvaDaCosta:2026:RNJ% }. \NAMECITE{transducers}{% Chen:2022:SSC% }. \NAMECITE{Transformations}{% Toledo:2024:AUF% }. \NAMECITE{Transformer}{% Midolo:2023:ATS% }. \NAMECITE{Transforming}{% Han:2026:ATA% }. \NAMECITE{Translation}{% Wang:2026:ERO,% Ferrara:2020:CJB,% Ramsey:2022:BRR% }. \NAMECITE{transpilation}{% Mariano:2022:ATI% }. \NAMECITE{Transpilers}{% Nicolini:2024:UNJb% }. \NAMECITE{tree}{% Ortin:2020:HTS% }. \NAMECITE{Triaging}{% Liu:2025:AEC% }. \NAMECITE{Trivial}{% Chowdhury:2022:UTP% }. \NAMECITE{Two}{% Hermans:2021:TTE,% Wang:2025:IJM% }. \NAMECITE{two-phase}{% Wang:2025:IJM% }. \NAMECITE{Type}{% Zeng:2026:TDT,% Feitosa:2020:TDA,% Foket:2020:EEJ,% Hoeflich:2022:HIK,% Venkatesh:2025:ESL% }. \NAMECITE{Type-aware}{% Zeng:2026:TDT% }. \NAMECITE{type-directed}{% Feitosa:2020:TDA% }. \NAMECITE{typed}{% Feitosa:2020:TDA% }. \NAMECITE{{TypeNFuzz}}{% Zeng:2026:TDT% }. \NAMECITE{types}{% Hoeflich:2022:HIK% }. \NAMECITE{{TypeScript}}{% Collet:2025:VEC,% Wang:2025:ESB% }. \NAMECITE{typestate}{% Bacchiani:2022:JTC% }. \NAMECITE{{UI}}{% Narechania:2025:PLU% }. \NAMECITE{{UltimateKalman}}{% Toledo:2024:AUF% }. \NAMECITE{{UML}}{% Siala:2026:LLA% }. \NAMECITE{un-}{% Ferreira:2022:AJF% }. \NAMECITE{Unadmitted}{% Yu:2025:UTD% }. \NAMECITE{Understanding}{% Blanco:2020:USE,% Lucas:2025:UAM% }. \NAMECITE{Unifying}{% Nie:2020:UEI% }. \NAMECITE{Unit}{% Zhou:2024:CGS,% Trautsch:2020:UIT% }. \NAMECITE{Unreproducible}{% Sharma:2026:CCU% }. \NAMECITE{unsound}{% Hoeflich:2022:HIK% }. \NAMECITE{unstructured}{% Ramsey:2022:BRR% }. \NAMECITE{Untangling}{% Jin:2026:UUC% }. \NAMECITE{{UntCC}}{% Jin:2026:UUC% }. \NAMECITE{Untriviality}{% Chowdhury:2022:UTP% }. \NAMECITE{updates}{% Huang:2022:CUU% }. \NAMECITE{Ups}{% Palma:2025:FSH% }. \NAMECITE{Usage}{% Nicolini:2024:UNJb,% Yu:2021:CUE,% Zerouali:2021:UJP% }. \NAMECITE{usages}{% Huang:2022:CUU% }. \NAMECITE{Use}{% Brown:2023:NUJ% }. \NAMECITE{User}{% Troussas:2025:RLB% }. \NAMECITE{userspace}{% Daoud:2020:MAJ% }. \NAMECITE{Using}{% Besseling:2023:UTT,% Cristia:2023:DPI,% Fatima:2024:FUL,% Federico:2023:CEA,% Huang:2025:TIP,% Jin:2026:UUC,% Li:2025:VEC,% Padmanaban:2025:UJC,% Sultana:2021:USM,% Toledo:2024:AUF,% Amankwah:2023:BDJ,% Huang:2021:JMJ,% Mahmoudi:2023:OSW,% Mariano:2022:ATI,% Moller:2020:EAO,% Shimari:2021:NNO% }. \NAMECITE{valid}{% Trautsch:2020:UIT% }. \NAMECITE{value}{% Basin:2020:KKV% }. \NAMECITE{variability}{% Collet:2025:VEC% }. \NAMECITE{variable}{% Aman:2023:ADC% }. \NAMECITE{variables}{% Aman:2020:ESA,% Chen:2022:SSC% }. \NAMECITE{{VariCity}}{% Collet:2025:VEC% }. \NAMECITE{verifying}{% Abbasi:2023:CRS% }. \NAMECITE{versatile}{% Heinze:2026:SCV% }. \NAMECITE{version}{% Nowicki:2023:PEJ% }. \NAMECITE{versions}{% Sulir:2026:LSB% }. \NAMECITE{via}{% Ayerdi:2024:GAG,% Feng:2023:BBB,% Tang:2025:DCE,% Wang:2025:IJM,% Yuan:2020:AAR,% Yuan:2026:WJV% }. \NAMECITE{Viewer}{% Besseling:2023:UTT% }. \NAMECITE{Virtual}{% Daoud:2020:MAJ,% Perez:2020:OPN,% Chen:2024:CEH,% Zhuo:2020:TEP% }. \NAMECITE{Visual}{% Romano:2020:WVT% }. \NAMECITE{Visualization}{% Evseeva:2026:IJA,% Collet:2025:VEC,% P:2021:FSM% }. \NAMECITE{Visualize}{% Besseling:2023:UTT% }. \NAMECITE{vs}{% SilvaDaCosta:2026:RNJ% }. \NAMECITE{{VulFinder}}{% Li:2025:VEC% }. \NAMECITE{Vulnerabilities}{% Chen:2025:IAT,% Li:2025:VEC,% Sayar:2023:DSJ% }. \NAMECITE{Vulnerability}{% Afrose:2023:ESV,% Thome:2020:IAE,% Zhang:2024:DVT,% Liu:2023:MEX,% Ntantogian:2021:NNJ,% Yuan:2026:WJV% }. \NAMECITE{Vulnerable}{% Brun:2023:BPJ,% Zhang:2024:DVT,% Sultana:2021:USM% }. \NAMECITE{wanted}{% Anonymous:2020:SWS% }. \NAMECITE{{WasmView}}{% Romano:2020:WVT% }. \NAMECITE{weaknesses}{% Benedetti:2026:DJC% }. \NAMECITE{web}{% Agun:2023:WLR,% Mahmoudi:2023:OSW,% Ahmad:2024:EAW,% Bucur:2023:EMJ,% Chaqfeh:2022:JWD,% Diaz-Gomez:2026:PRA,% Fouquet:2023:BBQ,% Naseer:2023:JCF,% Thome:2020:IAE% }. \NAMECITE{web-based}{% Mahmoudi:2023:OSW% }. \NAMECITE{{WebAssembly}}{% Romano:2020:WVT% }. \NAMECITE{{WebCollectives}}{% Agun:2023:WLR% }. \NAMECITE{webview}{% Yuan:2026:WJV% }. \NAMECITE{{WebViewJSdetect}}{% Yuan:2026:WJV% }. \NAMECITE{Weight}{% Troussas:2025:RLB% }. \NAMECITE{well}{% Feitosa:2020:TDA% }. \NAMECITE{well-typed}{% Feitosa:2020:TDA% }. \NAMECITE{While}{% Robillard:2020:LLW% }. \NAMECITE{Whole}{% Fraser:2025:RWT% }. \NAMECITE{Wider}{% Yan:2023:TWS% }. \NAMECITE{wild}{% DaSilva:2022:BCW% }. \NAMECITE{Wildcards}{% Bierhoff:2022:WNW% }. \NAMECITE{Will}{% Wang:2022:WDC% }. \NAMECITE{wish}{% Anonymous:2020:SWS% }. \NAMECITE{witness}{% Bierhoff:2022:WNW% }. \NAMECITE{Wolf}{% Zeng:2025:WSC% }. \NAMECITE{Workshop}{% Artho:2020:JPW,% Sherman:2023:JPW% }. \NAMECITE{World}{% Liu:2025:AEC,% Nyirongo:2025:ESS,% Moseler:2021:DFC% }. \NAMECITE{wrappers}{% Amato:2023:JJB% }. \NAMECITE{written}{% Schneider:2023:AES% }. \NAMECITE{{XSS}}{% Liu:2023:MEX% }. \NAMECITE{year}{% Blanco:2020:USE% }. \NAMECITE{years}{% Wirfs-Brock:2020:JFY% }. \NAMECITE{{ZipAST}}{% Chen:2025:ZEM% }. \NAMECITE{{ZWT}}{% Cirani:2020:ZNC% }.