%%====================================================================== %% 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 Thu Aug 29 10:37:42 MDT 2024 %%====================================================================== \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{{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{Abstraction}{% Federico:2023:CEA,% Moller:2020:EAO% }. \NAMECITE{according}{% Ortin:2020:HTS% }. \NAMECITE{adaptable}{% Huang:2021:JMJ% }. \NAMECITE{adaptivity}{% Carvalho:2023:DBR% }. \NAMECITE{Addiction}{% Fouquet:2023:BBQ% }. \NAMECITE{Adoption}{% Tomasdottir:2020:AJL,% Ferreira:2022:AJF% }. \NAMECITE{Affect}{% Wang:2022:WDC,% Guerra:2024:HDA% }. \NAMECITE{affected}{% Moller:2020:DLJ% }. \NAMECITE{ahead}{% Moller:2020:EAO% }. \NAMECITE{ahead-of-time}{% Moller:2020:EAO% }. \NAMECITE{aide}{% Capiluppi:2020:LCC% }. \NAMECITE{algorithm}{% Feitosa:2020:TDA% }. \NAMECITE{Algorithms}{% Michail:2020:JJL,% Nigro:2022:PPK,% Gavidia-Calderon:2020:IJF,% Nowicki:2023:PEJ% }. \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,% 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,% Labijak-Kowalska:2024:RJL,% Liu:2022:SFI,% Mahmoudi:2023:OSW% }. \NAMECITE{Analytics}{% Basin:2020:KKV,% Jiang:2020:SSI% }. \NAMECITE{analyzing}{% Mumtaz:2023:IRO% }. \NAMECITE{{Android}}{% Martinez:2022:WDD% }. \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,% Zhou:2020:ADR% }. \NAMECITE{{APIs}}{% Arteca:2023:LHL,% Brun:2023:BPJ% }. \NAMECITE{application}{% Aman:2020:ESA,% Harrand:2020:JDD% }. \NAMECITE{Applications}{% Ahmad:2024:EAW,% Martinez:2022:WDD,% 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,% Sultana:2021:USM,% Mahmoudi:2023:OSW% }. \NAMECITE{Architectural}{% Ghorbani:2024:DAA% }. \NAMECITE{architectures}{% 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{Attacks}{% Pizzolotto:2024:MDB% }. \NAMECITE{attributes}{% Capiluppi:2020:EMD% }. \NAMECITE{Automated}{% Mariano:2022:ATI,% Trubiani:2023:ADS,% Yuan:2020:AAR,% Aman:2023:ADC,% Khatchadourian:2020:SAR% }. \NAMECITE{Automatic}{% Ghorbani:2024:DAA,% 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}{% Xu:2024:FJE% }. \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,% Laaber:2024:ESB,% Soto-Valero:2023:CBD,% 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,% Liu:2023:MEX,% Mahmoudi:2023:OSW,% Pizzolotto:2024:MDB,% Zhang:2023:RRB% }. \NAMECITE{behavior}{% Feng:2023:BBB% }. \NAMECITE{behavior-based}{% Feng:2023:BBB% }. \NAMECITE{Behaviors}{% Hwang:2024:ESJ% }. \NAMECITE{{BejaGNN}}{% Feng:2023:BBB% }. \NAMECITE{Benchmarks}{% Afrose:2023:ESV% }. \NAMECITE{Better}{% Zhang:2023:RRB% }. \NAMECITE{Beyond}{% Ramsey:2022:BRR% }. \NAMECITE{Bill}{% Balliu:2023:CPS% }. \NAMECITE{bindings}{% Amato:2023:JJB% }. \NAMECITE{{BLAS}}{% Frison:2020:BAB% }. \NAMECITE{{BLASFEO}}{% Frison:2020:BAB% }. \NAMECITE{Blindspots}{% Brun:2023:BPJ% }. \NAMECITE{bounded}{% Ciomek:2021:PJL% }. \NAMECITE{Breaking}{% Fouquet:2023:BBQ,% Moller:2020:DLJ% }. \NAMECITE{broken}{% Hoeflich:2022:HIK% }. \NAMECITE{Bug}{% Amankwah:2023:BDJ,% Arteca:2023:LHL% }. \NAMECITE{Build}{% DaSilva:2022:BCW,% Misu:2024:SJB% }. \NAMECITE{Bytecode}{% Soto-Valero:2023:CBD,% Ferrara:2020:CJB% }. \NAMECITE{{C#}}{% Pinheiro:2020:MCA% }. \NAMECITE{calculus}{% Bianchini:2023:JLC% }. \NAMECITE{Call}{% Hartley:2022:JTC,% Zhuo:2020:TEP% }. \NAMECITE{Call-Site}{% Hartley:2022:JTC% }. \NAMECITE{Caller}{% Kan:2024:CLT% }. \NAMECITE{Caller-Sensitive}{% Kan:2024:CLT% }. \NAMECITE{Capabilities}{% Kechagia:2022:EAP% }. \NAMECITE{Capsules}{% Naseer:2023:JCF% }. \NAMECITE{Capturing}{% Naseer:2023:JCF% }. \NAMECITE{Careers}{% Anonymous:2020:SWS% }. \NAMECITE{Case}{% Nicolini:2024:UNJb,% Tomasdottir:2020:AJL% }. \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,% Mumtaz:2023:IRO% }. \NAMECITE{Characterization}{% Shen:2023:CSM,% Rosales:2023:LSC% }. \NAMECITE{Characterizing}{% Huang:2022:CUU,% Yu:2021:CUE% }. \NAMECITE{checker}{% Bacchiani:2022:JTC% }. \NAMECITE{Checking}{% Walker:2023:JLF% }. \NAMECITE{{CIL}}{% Ferrara:2020:CJB% }. \NAMECITE{classes}{% Sultana:2021:USM% }. \NAMECITE{classification}{% Ortin:2020:HTS% }. \NAMECITE{{Clojure}}{% Hickey:2020:HC% }. \NAMECITE{Closer}{% Hartley:2022:JTC% }. \NAMECITE{Cloud}{% Sasikumar:2022:CAD,% Nowicki:2023:PEJ% }. \NAMECITE{Code}{% Alazab:2022:DOM,% Brun:2023:BPJ,% Hartley:2022:JTC,% Kan:2024:CLT,% Malavolta:2023:JDC,% Midolo:2023:ATS,% Sayar:2023:DSJ,% Walker:2023:JLF,% Zozas:2023:FPC,% Amankwah:2023:BDJ,% Fang:2020:DMJ,% Fang:2022:JMJ,% Guerra:2024:HDA,% Huang:2022:HSA,% Mariano:2022:ATI,% Martins:2024:DTS,% Moseler:2021:DFC,% Park:2023:DCC,% Pinheiro:2020:MCA,% Torres:2023:ICC% }. \NAMECITE{coeffects}{% Bianchini:2023:JLC% }. \NAMECITE{cognitive}{% Darabkh:2020:JIC% }. \NAMECITE{colony}{% Gavidia-Calderon:2020:IJF% }. \NAMECITE{Combining}{% Abbasi:2023:CRS,% Zhou:2024:CGS% }. \NAMECITE{Comment}{% Wang:2023:SCJ% }. \NAMECITE{Commenting}{% Wang:2023:SCJ% }. \NAMECITE{Comments}{% Wang:2023:SCJ% }. \NAMECITE{community}{% Blanco:2020:USE% }. \NAMECITE{Comparative}{% Sasikumar:2022:CAD% }. \NAMECITE{Compilation}{% Hartley:2022:JTC,% Misu:2024:SJB% }. \NAMECITE{compound}{% Aman:2023:ADC% }. \NAMECITE{compression}{% Park:2023:DCC% }. \NAMECITE{Concurrency}{% Liu:2021:SDC% }. \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{Constraint}{% Thome:2020:IAE% }. \NAMECITE{constraints}{% Chen:2022:SSC% }. \NAMECITE{Constructing}{% Chen:2024:CEH% }. \NAMECITE{construction}{% Jiang:2020:SSI% }. \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}{% Ramsey:2022:BRR% }. \NAMECITE{convex}{% Ciomek:2021:PJL% }. \NAMECITE{cooperation}{% Capiluppi:2020:LCC% }. \NAMECITE{Coverage}{% Soto-Valero:2023:CBD,% Zhou:2024:CGS% }. \NAMECITE{Coverage-Based}{% Soto-Valero:2023:CBD% }. \NAMECITE{Criteria}{% Zhou:2024:CGS,% Mahmoudi:2023:OSW% }. \NAMECITE{critical}{% Chaqfeh:2022:JWD% }. \NAMECITE{{CRNs}}{% Darabkh:2020:JIC% }. \NAMECITE{Cross}{% Kan:2024:CLT,% Cirani:2020:ZNC% }. \NAMECITE{Cross-Language}{% Kan:2024:CLT% }. \NAMECITE{cross-platform}{% Cirani:2020:ZNC% }. \NAMECITE{Cryptographic}{% Afrose:2023:ESV,% Zhang:2023:ADJ% }. \NAMECITE{{CvAMoS}}{% Federico:2023:CEA% }. \NAMECITE{{D}}{% Bright:2020:ODP% }. \NAMECITE{{Darcy}}{% Ghorbani:2024:DAA% }. \NAMECITE{Data}{% Michail:2020:JJL,% Sasikumar:2022:CAD% }. \NAMECITE{dataflow}{% Schneider:2023:AES% }. \NAMECITE{dataset}{% 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}{% 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{Declarative}{% Cristia:2023:DPI,% Nie:2020:UEI% }. \NAMECITE{decompilation}{% Harrand:2020:JDD% }. \NAMECITE{decompiler}{% Harrand:2020:JDD% }. \NAMECITE{default}{% Liu:2021:SDC% }. \NAMECITE{Defect}{% Ni:2022:JTD% }. \NAMECITE{Defects}{% Zhou:2020:ADR,% Ghanavati:2020:MRL% }. \NAMECITE{definitions}{% Trautsch:2020:UIT% }. \NAMECITE{Density}{% Wijaya:2023:NJD% }. \NAMECITE{Dependencies}{% Soto-Valero:2023:AST% }. \NAMECITE{Dependency}{% Jafari:2022:DSJ,% Wang:2022:WDC% }. \NAMECITE{dependent}{% Chen:2022:SSC% }. \NAMECITE{Deprecation}{% Nascimento:2022:JAD% }. \NAMECITE{depth}{% Sayar:2023:DSJ% }. \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% }. \NAMECITE{Detection}{% Afrose:2023:ESV,% Alazab:2022:DOM,% Trubiani:2023:ADS,% Zhang:2023:ADJ,% Zhou:2020:ADR,% Aman:2023:ADC,% Amankwah:2023:BDJ,% Fang:2022:JMJ,% Feng:2023:BBB,% Huang:2021:JMJ,% Huang:2022:HSA,% Liu:2023:MEX,% 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{diagrams}{% Schneider:2023:AES% }. \NAMECITE{Did}{% Martinez:2022:WDD% }. \NAMECITE{differ}{% Amalfitano:2022:HDJ% }. \NAMECITE{Different}{% Sasikumar:2022:CAD% }. \NAMECITE{diffusion}{% Martins:2024:DTS% }. \NAMECITE{directed}{% Feitosa:2020:TDA% }. \NAMECITE{Directive}{% Zhou:2020:ADR% }. \NAMECITE{diversity}{% Harrand:2020:JDD,% Moseler:2021:DFC% }. \NAMECITE{do}{% Amalfitano:2022:HDJ,% Guerra:2024:HDA% }. \NAMECITE{{Docker}}{% Zerouali:2021:UJP% }. \NAMECITE{Documentation}{% Zhou:2020:ADR% }. \NAMECITE{doing}{% Cobbs:2022:PPW% }. \NAMECITE{Driven}{% Arteca:2023:LHL% }. \NAMECITE{{DSL}}{% Carvalho:2023:DBR% }. \NAMECITE{{DSL}-based}{% Carvalho:2023:DBR% }. \NAMECITE{duplex}{% Darabkh:2020:JIC% }. \NAMECITE{Dynamic}{% Karim:2020:PID,% Park:2023:DCC,% Turcotte:2022:SDD% }. \NAMECITE{ecosystem}{% Moraes:2021:OHM% }. \NAMECITE{effect}{% Capiluppi:2020:EMD% }. \NAMECITE{Effective}{% Foket:2020:EEJ,% Thome:2020:IAE,% Liu:2023:MEX,% Traini:2023:TEA% }. \NAMECITE{efficiency}{% Labijak-Kowalska:2024:RJL% }. \NAMECITE{Efficient}{% Silva:2023:EHL,% Foket:2020:EEJ,% Zhuo:2020:TEP% }. \NAMECITE{Elements}{% Fouquet:2023:BBQ% }. \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,% Malavolta:2023:JDC,% Hora:2020:CME,% Pinheiro:2020:MCA,% Trautsch:2020:UIT% }. \NAMECITE{employer}{% Anonymous:2020:SWS% }. \NAMECITE{end}{% Ferreira:2022:AJF% }. \NAMECITE{engine}{% Park:2023:DCC% }. \NAMECITE{Engineering}{% Gong:2024:MKM% }. \NAMECITE{engines}{% Xu:2024:FJE% }. \NAMECITE{Entering}{% Bucur:2023:EMJ% }. \NAMECITE{Environment}{% Sasikumar:2022:CAD,% Darabkh:2020:JIC% }. \NAMECITE{Erroneous}{% Hwang:2024:ESJ% }. \NAMECITE{Errors}{% vanOorschot:2023:MEMb% }. \NAMECITE{{ESLint}}{% Tomasdottir:2020:AJL% }. \NAMECITE{Evaluating}{% Kechagia:2022:EAP,% Laaber:2024:ESB% }. \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% }. \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{Execution}{% Sayar:2023:DSJ,% Gorski:2024:SJP,% Nie:2020:UEI,% P:2021:FSM,% Shimari:2021:NNO% }. \NAMECITE{expertise}{% Ortin:2020:HTS% }. \NAMECITE{{eXPloitation}}{% Ntantogian:2021:NNJ% }. \NAMECITE{Exploits}{% Sayar:2023:DSJ% }. \NAMECITE{exploratory}{% Caivano:2023:SED% }. \NAMECITE{expression}{% Agun:2023:WLR% }. \NAMECITE{extended}{% Nowicki:2023:PEJ% }. \NAMECITE{extensible}{% Karmakar:2023:JEJ% }. \NAMECITE{extensive}{% Amankwah:2023:BDJ% }. \NAMECITE{extraction}{% Huang:2021:JMJ,% P:2021:FSM,% Schneider:2023:AES% }. \NAMECITE{extractions}{% Hora:2020:CME% }. \NAMECITE{extractor}{% Agun:2023:WLR% }. \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% }. \NAMECITE{{FeynGame}}{% Harlander:2020:F% }. \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}{% Wirfs-Brock:2020:JFY% }. \NAMECITE{Floating}{% Darcy:2021:FPA,% Abbasi:2023:CRS% }. \NAMECITE{Floating-Point}{% Darcy:2021:FPA,% Abbasi:2023:CRS% }. \NAMECITE{flow}{% Ramsey:2022:BRR% }. \NAMECITE{Forecasting}{% Zozas:2023:FPC% }. \NAMECITE{Formatting}{% Larsen:2023:PSS% }. \NAMECITE{formulas}{% Moseler:2021:DFC% }. \NAMECITE{Framework}{% Misu:2024:SJB,% Naseer:2023:JCF,% Walker:2023:JLF,% Carvalho:2023:DBR,% Cirani:2020:ZNC,% Gavidia-Calderon:2020:IJF% }. \NAMECITE{frameworks}{% Ferreira:2022:AJF% }. \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}{% Yan:2023:TWS,% Chen:2022:SSC% }. \NAMECITE{Fuzzing}{% Xu:2024:FJE% }. \NAMECITE{Game}{% Murawski:2021:GSI% }. \NAMECITE{generate}{% Feitosa:2020:TDA% }. \NAMECITE{Generating}{% Ayerdi:2024:GAG,% Kan:2024:CLT% }. \NAMECITE{Generation}{% Zhou:2024:CGS,% Gorski:2024:SJP% }. \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{{Git}}{% Higo:2020:TJM% }. \NAMECITE{{GitHub}}{% Ghiotto:2020:NMC% }. \NAMECITE{{GMP}}{% Amato:2023:JJB% }. \NAMECITE{{Go}}{% Feigenbaum:2022:GJP,% Griesemer:2020:FG% }. \NAMECITE{Goal}{% Zhou:2024:CGS% }. \NAMECITE{{Google}}{% Feigenbaum:2022:GJP% }. \NAMECITE{grained}{% Naseer:2023:JCF% }. \NAMECITE{Graph}{% Gong:2024:MKM,% Michail:2020:JJL,% Fang:2022:JMJ,% Feng:2023:BBB,% Krasanakis:2023:JGN% }. \NAMECITE{graphical}{% Cirani:2020:ZNC% }. \NAMECITE{{Groovy}}{% King:2020:HGP% }. \NAMECITE{Guided}{% Li:2024:GSG,% Mariano:2022:ATI% }. \NAMECITE{handling}{% Chen:2024:CEH% }. \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}{% Silva:2023:EHL% }. \NAMECITE{High-Level}{% Silva:2023:EHL% }. \NAMECITE{Highly}{% Hoeflich:2022:HIK,% Aman:2023:ADC% }. \NAMECITE{history}{% 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{IBFD}{% Darabkh:2020:JIC% }. \NAMECITE{Identification}{% Malavolta:2023:JDC% }. \NAMECITE{Identifying}{% Mumtaz:2023:IRO% }. \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}{% Nowicki:2023:PEJ,% Perez:2020:OPN% }. \NAMECITE{implementations}{% Chen:2024:CEH% }. \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,% Jung:2021:TPI% }. \NAMECITE{index}{% Jiang:2020:SSI% }. \NAMECITE{Information}{% Federico:2023:CEA% }. \NAMECITE{inheritance}{% Bacchiani:2022:JTC% }. \NAMECITE{Injection}{% Thome:2020:IAE,% Ntantogian:2021:NNJ% }. \NAMECITE{Insights}{% Sanchez:2024:MTP% }. \NAMECITE{Integrated}{% Thome:2020:IAE% }. \NAMECITE{integration}{% Trautsch:2020:UIT% }. \NAMECITE{intelligent}{% Khatchadourian:2020:SAR% }. \NAMECITE{Intensional}{% Cristia:2023:DPI% }. \NAMECITE{interactions}{% Blanco:2020:USE% }. \NAMECITE{Interface}{% Murawski:2021:GSI,% Cirani:2020:ZNC% }. \NAMECITE{Internet}{% Jung:2021:TPI,% Darabkh:2020:JIC% }. \NAMECITE{Interoperations}{% Hwang:2024:ESJ% }. \NAMECITE{Interpreter}{% Zhang:2023:RRB% }. \NAMECITE{Interview}{% Forti:2024:IMR% }. \NAMECITE{Investigation}{% Torres:2023:ICC% }. \NAMECITE{{Isula}}{% Gavidia-Calderon:2020:IJF% }. \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,% Ciomek:2021:PJL,% Cirani:2020:ZNC,% Cristia:2023:DPI,% Daoud:2020:MAJ,% Darabkh:2020:JIC,% Darcy:2021:FPA,% 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,% Hermans:2021:TTE,% Higo:2020:TJM,% Hora:2020:CME,% Huang:2022:CUU,% Huang:2022:HSA,% Kan:2024:CLT,% Karmakar:2023:JEJ,% Khatchadourian:2020:SAR,% Krasanakis:2023:JGN,% Labijak-Kowalska:2024:RJL,% Larsen:2023:PSS,% Liu:2022:SFI,% Martinez:2022:WDD,% Martins:2024:DTS,% Michail:2020:JJL,% Midolo:2023:ATS,% Misu:2024:SJB,% Moller:2020:EAO,% Moseler:2021:DFC,% Mumtaz:2023:IRO,% Murawski:2021:GSI,% Nigro:2022:PPK,% Nowicki:2023:PEJ,% Ortin:2020:HTS,% P:2021:FSM,% Perez:2020:OPN,% Pinheiro:2020:MCA,% Pizzolotto:2024:MDB,% Rosales:2023:LSC,% Sayar:2023:DSJ,% Schneider:2023:AES,% Shen:2023:CSM,% Sherman:2023:JPW,% Shimari:2021:NNO,% Silva:2023:EHL,% Soto-Valero:2023:AST,% Soto-Valero:2023:CBD,% Sultana:2021:USM,% Traini:2023:TEA,% Trautsch:2020:UIT,% Trubiani:2023:ADS,% Walker:2023:JLF,% Wang:2023:SCJ,% Wu:2024:TSF,% Yan:2023:TWS,% Yu:2021:CUE,% Yuan:2020:AAR,% Zhang:2023:ADJ,% Zhou:2020:ADR,% Zhuo:2020:TEP,% vanOorschot:2023:MEMb% }. \NAMECITE{{Java}-Based}{% Trubiani:2023:ADS% }. \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,% Chaqfeh:2022:JWD,% Chowdhury:2022:UTP,% Fang:2020:DMJ,% Fang:2022:JMJ,% Ferreira:2022:AJF,% Fouquet:2023:BBQ,% Huang:2021:JMJ,% Jafari:2022:DSJ,% Jung:2021:TPI,% Karim:2020:PID,% Liu:2023:MEX,% Mahmoudi:2023:OSW,% Malavolta:2023:JDC,% Moller:2020:DLJ,% Moraes:2021:OHM,% Nascimento:2022:JAD,% Naseer:2023:JCF,% Ni:2022:JTD,% Nicolini:2024:UNJb,% Ntantogian:2021:NNJ,% Park:2023:DCC,% Tomasdottir:2020:AJL,% Torres:2023:ICC,% Turcotte:2022:SDD,% Wirfs-Brock:2020:JFY,% Xu:2024:FJE,% Zozas:2023:FPC,% Zerouali:2021:UJP% }. \NAMECITE{{JavaSim}}{% Darabkh:2020:JIC% }. \NAMECITE{{JavaSim-IBFD-CRNs}}{% Darabkh:2020:JIC% }. \NAMECITE{{JEMMA}}{% Karmakar:2023:JEJ% }. \NAMECITE{{JGMP}}{% Amato:2023:JJB% }. \NAMECITE{{JGNN}}{% Krasanakis:2023:JGN% }. \NAMECITE{{JGraphT}}{% Michail:2020:JJL% }. \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{{JSON}}{% Jiang:2020:SSI% }. \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% }. \NAMECITE{{JVM}-Based}{% Bucur:2023:EMJ% }. \NAMECITE{{JVMs}}{% Hwang:2024:ESJ% }. \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{Know}{% Darcy:2021:FPA,% Hermans:2021:TTE% }. \NAMECITE{Knowledge}{% Gong:2024:MKM% }. \NAMECITE{{Kotlin}}{% Martinez:2022:WDD% }. \NAMECITE{label}{% Ortin:2020:HTS% }. \NAMECITE{Landscape}{% Nascimento:2022:JAD% }. \NAMECITE{Language}{% Brown:2023:NUJ,% Feigenbaum:2022:GJP,% Kan:2024:CLT,% Bright:2020:ODP,% King:2020:HGP% }. \NAMECITE{Languages}{% Liu:2021:SDC% }. \NAMECITE{Large}{% Misu:2024:SJB,% Rosales:2023:LSC,% Hoeflich:2022:HIK,% Hora:2020:CME,% Mumtaz:2023:IRO% }. \NAMECITE{Large-Scale}{% Misu:2024:SJB,% Rosales:2023:LSC% }. \NAMECITE{leak}{% Ghanavati:2020:MRL% }. \NAMECITE{Learn}{% Feigenbaum:2022:GJP% }. \NAMECITE{Learned}{% Robillard:2020:LLW% }. \NAMECITE{Learning}{% Arteca:2023:LHL,% Sultana:2021:USM% }. \NAMECITE{Lessons}{% Robillard:2020:LLW% }. \NAMECITE{Level}{% Silva:2023:EHL,% Ortin:2020:HTS% }. \NAMECITE{leveraging}{% Ferrara:2020:CJB% }. \NAMECITE{Lexical}{% Capiluppi:2020:LCC% }. \NAMECITE{Libraries}{% Bucur:2023:EMJ,% Huang:2022:CUU% }. \NAMECITE{Library}{% Michail:2020:JJL,% 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{local}{% Aman:2020:ESA% }. \NAMECITE{locations}{% Moller:2020:DLJ% }. \NAMECITE{Logic}{% Walker:2023:JLF,% Walker:2023:JLF% }. \NAMECITE{Look}{% Hartley:2022:JTC,% vanOorschot:2023:MEMb% }. \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,% 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{Materials}{% Balliu:2023:CPS% }. \NAMECITE{mathematical}{% Moseler:2021:DFC% }. \NAMECITE{Matrices}{% Frison:2020:BAB% }. \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{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,% Zhuo:2020:TEP% }. \NAMECITE{methods}{% Caivano:2023:SED,% Higo:2020:TJM,% 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{Mining}{% Nascimento:2022:JAD% }. \NAMECITE{mismatches}{% Hoeflich:2022:HIK% }. \NAMECITE{Misuses}{% Kechagia:2022:EAP,% Zhang:2023:ADJ% }. \NAMECITE{Mitigating}{% Pizzolotto:2024:MDB% }. \NAMECITE{{ML4Code}}{% Karmakar:2023:JEJ% }. \NAMECITE{Mobile}{% Chaqfeh:2022:JWD,% Naseer:2023:JCF% }. \NAMECITE{model}{% Liu:2023:MEX,% P:2021:FSM,% Xu:2024:FJE% }. \NAMECITE{Modeling}{% Gong:2024:MKM% }. \NAMECITE{Modern}{% Liu:2021:SDC,% 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,% Amalfitano:2022:HDJ% }. \NAMECITE{My}{% Wang:2022:WDC% }. \NAMECITE{names}{% Aman:2023:ADC% }. \NAMECITE{Native}{% Kan:2024:CLT,% 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,% Krasanakis:2023:JGN% }. \NAMECITE{Neural}{% Krasanakis:2023:JGN,% Fang:2022:JMJ,% Feng:2023:BBB,% Mariano:2022:ATI,% Xu:2024:FJE% }. \NAMECITE{neural-guided}{% Mariano:2022:ATI% }. \NAMECITE{{NOD4J}}{% Shimari:2021:NNO% }. \NAMECITE{{NOde.js}}{% Ntantogian:2021:NNJ% }. \NAMECITE{{NodeXP}}{% Ntantogian:2021:NNJ% }. \NAMECITE{Non}{% Chaqfeh:2022:JWD% }. \NAMECITE{Non-critical}{% Chaqfeh:2022:JWD% }. \NAMECITE{nonvolatile}{% Perez:2020:OPN% }. \NAMECITE{Novel}{% Darabkh:2020:JIC% }. \NAMECITE{Novice}{% Brown:2023:NUJ% }. \NAMECITE{npm}{% Chowdhury:2022:UTP% }. \NAMECITE{Obfuscated}{% Alazab:2022:DOM% }. \NAMECITE{obfuscation}{% Foket:2020:EEJ% }. \NAMECITE{Object}{% He:2023:IBC,% Huang:2022:HSA% }. \NAMECITE{object-relational}{% Huang:2022:HSA% }. \NAMECITE{Object-Sensitive}{% He:2023:IBC% }. \NAMECITE{Objective}{% Yuan:2020:AAR% }. \NAMECITE{omniscient}{% Shimari:2021:NNO% }. \NAMECITE{one}{% Moraes:2021:OHM% }. \NAMECITE{{OPA}}{% Mahmoudi:2023:OSW% }. \NAMECITE{Open}{% Ghiotto:2020:NMC,% Sanchez:2024:MTP,% Trautsch:2020:UIT% }. \NAMECITE{Open-Source}{% Sanchez:2024:MTP,% Trautsch:2020:UIT% }. \NAMECITE{opportunities}{% Mumtaz:2023:IRO% }. \NAMECITE{optimization}{% Moller:2020:EAO% }. \NAMECITE{Optimizing}{% Frison:2020:BAB% }. \NAMECITE{{Ordinal}}{% Mahmoudi:2023:OSW% }. \NAMECITE{Origins}{% Bright:2020:ODP% }. \NAMECITE{Orthogonal}{% Perez:2020:OPN% }. \NAMECITE{{OSS}}{% Mumtaz:2023:IRO% }. \NAMECITE{{Overflow}}{% Blanco:2020:USE,% Gong:2024:MKM% }. \NAMECITE{overhead}{% Moller:2020:EAO% }. \NAMECITE{package}{% Gorski:2024:SJP% }. \NAMECITE{Packages}{% Chowdhury:2022:UTP,% Mumtaz:2023:IRO,% Zerouali:2021:UJP% }. \NAMECITE{Pages}{% Chaqfeh:2022:JWD% }. \NAMECITE{pairs}{% Aman:2023:ADC% }. \NAMECITE{Parallel}{% Midolo:2023:ATS,% Nigro:2022:PPK,% Nowicki:2023:PEJ% }. \NAMECITE{parallelization}{% Khatchadourian:2020:SAR% }. \NAMECITE{Party}{% Soto-Valero:2023:AST,% Huang:2022:CUU% }. \NAMECITE{Pathfinder}{% Artho:2020:JPW,% Sherman:2023:JPW% }. \NAMECITE{pattern}{% 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,% Nigro:2022:PPK,% Nowicki:2023:PEJ,% Trubiani:2023:ADS,% Zhang:2023:RRB,% Traini:2023:TEA% }. \NAMECITE{Persistence}{% Cobbs:2022:PPW,% Perez:2020:OPN% }. \NAMECITE{persistent}{% Perez:2020:OPN% }. \NAMECITE{pipelines}{% Moller:2020:EAO% }. \NAMECITE{Plain}{% Silva:2023:EHL% }. \NAMECITE{Platform}{% Jung:2021:TPI,% Karim:2020:PID,% Cirani:2020:ZNC% }. \NAMECITE{Platform-Independent}{% Karim:2020:PID,% Jung:2021:TPI% }. \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{Practice}{% Sanchez:2024:MTP,% Tomasdottir:2020:AJL,% Yu:2021:CUE% }. \NAMECITE{Practices}{% Wang:2023:SCJ% }. \NAMECITE{precise}{% Zhuo:2020:TEP% }. \NAMECITE{predicting}{% 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{Producing}{% Balliu:2023:CPS% }. \NAMECITE{Program}{% Kechagia:2022:EAP,% Wang:2022:WDC,% Mariano:2022:ATI,% Moller:2020:EAO,% P:2021:FSM,% Xu:2024:FJE% }. \NAMECITE{Programmer}{% Darcy:2021:FPA% }. \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,% Bright:2020:ODP,% King:2020:HGP% }. \NAMECITE{Programs}{% Yuan:2020:AAR,% Abbasi:2023:CRS,% Aman:2023:ADC,% Feitosa:2020:TDA,% Moller:2020:DLJ,% Pinheiro:2020:MCA% }. \NAMECITE{Projects}{% Ghiotto:2020:NMC,% Jafari:2022:DSJ,% Ni:2022:JTD,% Shen:2023:CSM,% Wang:2023:SCJ,% Ghanavati:2020:MRL,% Huang:2022:CUU,% Martins:2024:DTS,% Moseler:2021:DFC,% Sultana:2021:USM,% Trautsch:2020:UIT% }. \NAMECITE{prone}{% Aman:2020:ESA% }. \NAMECITE{Properties}{% Walker:2023:JLF% }. \NAMECITE{protection}{% Bierhoff:2022:WNW% }. \NAMECITE{{Python}}{% Aman:2023:ADC,% Anonymous:2020:SWS,% Brun:2023:BPJ,% Zhang:2023:RRB,% Zerouali:2021:UJP% }. \NAMECITE{quality}{% Martins:2024:DTS% }. \NAMECITE{Quantifying}{% Fouquet:2023:BBQ% }. \NAMECITE{radio}{% Darabkh:2020:JIC% }. \NAMECITE{random}{% Feitosa:2020:TDA% }. \NAMECITE{Rationale}{% Gong:2024:MKM% }. \NAMECITE{readability}{% Guerra:2024:HDA% }. \NAMECITE{Real}{% Basin:2020:KKV,% Moseler:2021:DFC% }. \NAMECITE{Real-time}{% Basin:2020:KKV% }. \NAMECITE{real-world}{% Moseler:2021:DFC% }. \NAMECITE{reasoning}{% Abbasi:2023:CRS% }. \NAMECITE{Recommendation}{% Zhou:2020:ADR% }. \NAMECITE{Recursive}{% Zhou:2023:RSA,% Ramsey:2022:BRR% }. \NAMECITE{refactoring}{% Khatchadourian:2020:SAR,% Mumtaz:2023:IRO% }. \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{related}{% 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}{% Kechagia:2022:EAP,% Yuan:2020:AAR,% Zhou:2020:ADR% }. \NAMECITE{repairs}{% Ghanavati:2020:MRL% }. \NAMECITE{Replication}{% Ni:2022:JTD,% Sasikumar:2022:CAD% }. \NAMECITE{representation}{% Fang:2022:JMJ% }. \NAMECITE{Research}{% Bucur:2023:EMJ% }. \NAMECITE{Resolution}{% Ghorbani:2024:DAA,% Zhuo:2020:TEP% }. \NAMECITE{resource}{% Ghanavati:2020:MRL% }. \NAMECITE{Result}{% Brun:2023:BPJ% }. \NAMECITE{rich}{% Schneider:2023:AES% }. \NAMECITE{right}{% Cobbs:2022:PPW% }. \NAMECITE{risks}{% Huang:2022:CUU% }. \NAMECITE{{Robillard}}{% Forti:2024:IMR% }. \NAMECITE{robust}{% Labijak-Kowalska:2024:RJL% }. \NAMECITE{{robustDEA}}{% Labijak-Kowalska:2024:RJL% }. \NAMECITE{{{Ruby}}}{% Zerouali:2021:UJP% }. \NAMECITE{rule}{% Abbasi:2023:CRS% }. \NAMECITE{rule-}{% Abbasi:2023:CRS% }. \NAMECITE{Runtime}{% Wu:2024:TSF,% Carvalho:2023:DBR% }. \NAMECITE{{Rust}}{% vanOorschot:2023:MEMb% }. \NAMECITE{Safe}{% Khatchadourian:2020:SAR,% Liu:2021:SDC% }. \NAMECITE{Safe-by-default}{% Liu:2021:SDC% }. \NAMECITE{Safety}{% vanOorschot:2023:MEMb% }. \NAMECITE{sampling}{% Ciomek:2021:PJL% }. \NAMECITE{Scalable}{% Basin:2020:KKV,% Jiang:2020:SSI% }. \NAMECITE{Scale}{% Misu:2024:SJB,% Hora:2020:CME,% Rosales:2023:LSC% }. \NAMECITE{Search}{% Laaber:2024:ESB,% Zhou:2024:CGS% }. \NAMECITE{Search-Based}{% Laaber:2024:ESB,% Zhou:2024:CGS% }. \NAMECITE{Security}{% Thome:2020:IAE,% Schneider:2023:AES% }. \NAMECITE{security-rich}{% Schneider:2023:AES% }. \NAMECITE{Selector}{% Zhou:2024:CGS% }. \NAMECITE{Self}{% Pizzolotto:2024:MDB% }. \NAMECITE{Self-debugging}{% Pizzolotto:2024:MDB% }. \NAMECITE{semantic}{% Fang:2020:DMJ,% Fang:2022:JMJ% }. \NAMECITE{Semantics}{% Murawski:2021:GSI,% Wang:2022:WDC,% Ferrara:2020:CJB% }. \NAMECITE{{Semantics}-based}{% Ferrara:2020:CJB% }. \NAMECITE{Sensitive}{% He:2023:IBC,% Kan:2024:CLT,% Liu:2022:SFI% }. \NAMECITE{Sensitivity}{% Li:2024:GSG% }. \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{{SGX}}{% Wu:2024:TSF% }. \NAMECITE{{SGX}-Friendly}{% Wu:2024:TSF% }. \NAMECITE{Shaken}{% Brandt:2024:SSH% }. \NAMECITE{{SHARP}}{% Liu:2022:SFI% }. \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{{SMT}}{% Abbasi:2023:CRS% }. \NAMECITE{{SMT}-based}{% Abbasi:2023:CRS% }. \NAMECITE{social}{% Blanco:2020:USE% }. \NAMECITE{Software}{% Balliu:2023:CPS,% Gong:2024:MKM,% Laaber:2024:ESB,% Sanchez:2024:MTP,% Trubiani:2023:ADS,% Capiluppi:2020:EMD,% Capiluppi:2020:LCC,% Mahmoudi:2023:OSW,% Sultana:2021:USM,% Traini:2023:TEA% }. \NAMECITE{solid}{% Wijaya:2023:NJD% }. \NAMECITE{{Solver}}{% Mahmoudi:2023:OSW% }. \NAMECITE{Solving}{% Chen:2022:SSC,% Thome:2020:IAE% }. \NAMECITE{Source}{% Ghiotto:2020:NMC,% Sanchez:2024:MTP,% 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{{Spork}}{% Larsen:2023:PSS% }. \NAMECITE{spotting}{% Hoeflich:2022:HIK% }. \NAMECITE{spread}{% Caivano:2023:SED% }. \NAMECITE{{Sql}}{% Anonymous:2020:SWS% }. \NAMECITE{{Stack}}{% Blanco:2020:USE,% Gong:2024:MKM% }. \NAMECITE{State}{% Bucur:2023:EMJ,% P:2021:FSM,% Traini:2023:TEA% }. \NAMECITE{stateful}{% Jung:2021:TPI% }. \NAMECITE{Static}{% Afrose:2023:ESV,% Amankwah:2023:BDJ,% Ferrara:2020:CJB,% Huang:2022:HSA% }. \NAMECITE{steady}{% Traini:2023:TEA% }. \NAMECITE{still}{% Trautsch:2020:UIT% }. \NAMECITE{Stirred}{% Brandt:2024:SSH% }. \NAMECITE{Storage}{% Ahmad:2024:EAW% }. \NAMECITE{Strategies}{% Sasikumar:2022:CAD% }. \NAMECITE{stream}{% Moller:2020:EAO% }. \NAMECITE{streams}{% Khatchadourian:2020:SAR,% Rosales:2023:LSC% }. \NAMECITE{String}{% Yan:2023:TWS,% Chen:2022:SSC% }. \NAMECITE{structural}{% 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,% Nascimento:2022:JAD,% Ni:2022:JTD,% Sayar:2023:DSJ,% Shen:2023:CSM,% Tomasdottir:2020:AJL,% Aman:2020:ESA,% Blanco:2020:USE,% Caivano:2023:SED,% Capiluppi:2020:EMD,% Capiluppi:2020:LCC,% Hora:2020:CME,% Trautsch:2020:UIT% }. \NAMECITE{Suboptimal}{% Wang:2023:SCJ% }. \NAMECITE{Subtyping}{% Zhou:2023:RSA% }. \NAMECITE{suite}{% Gorski:2024:SJP% }. \NAMECITE{{Suites}}{% Amankwah:2023:BDJ% }. \NAMECITE{Support}{% Yan:2023:TWS% }. \NAMECITE{supporting}{% Bacchiani:2022:JTC% }. \NAMECITE{Survey}{% Nascimento:2022:JAD% }. \NAMECITE{{Swing}}{% Robillard:2020:LLW% }. \NAMECITE{syntax}{% Xu:2024:FJE% }. \NAMECITE{syntax-aware}{% Xu:2024:FJE% }. \NAMECITE{synthesis}{% Mariano:2022:ATI% }. \NAMECITE{Taint}{% Kan:2024:CLT,% Karim:2020:PID% }. \NAMECITE{Technical}{% Zozas:2023:FPC% }. \NAMECITE{Temporal}{% Walker:2023:JLF% }. \NAMECITE{Test}{% Amankwah:2023:BDJ,% Zhou:2024:CGS,% Gorski:2024:SJP,% Martins:2024:DTS,% Trautsch:2020:UIT% }. \NAMECITE{Testing}{% Romano:2020:WVT,% Sanchez:2024:MTP,% Chen:2024:CEH% }. \NAMECITE{Tests}{% Brandt:2024:SSH% }. \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}{% Soto-Valero:2023:AST,% Huang:2022:CUU% }. \NAMECITE{Third-Party}{% Soto-Valero:2023:AST,% Huang:2022:CUU% }. \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% }. \NAMECITE{top}{% Anonymous:2020:SWS% }. \NAMECITE{Trace}{% Besseling:2023:UTT,% Shimari:2021:NNO% }. \NAMECITE{Traces}{% Besseling:2023:UTT,% Daoud:2020:MAJ% }. \NAMECITE{Tracking}{% Ahmad:2024:EAW,% Higo:2020:TJM% }. \NAMECITE{transducers}{% Chen:2022:SSC% }. \NAMECITE{Transformer}{% Midolo:2023:ATS% }. \NAMECITE{translation}{% Ferrara:2020:CJB,% Ramsey:2022:BRR% }. \NAMECITE{transpilation}{% Mariano:2022:ATI% }. \NAMECITE{Transpilers}{% Nicolini:2024:UNJb% }. \NAMECITE{tree}{% Ortin:2020:HTS% }. \NAMECITE{Trivial}{% Chowdhury:2022:UTP% }. \NAMECITE{Two}{% Hermans:2021:TTE% }. \NAMECITE{type}{% Feitosa:2020:TDA,% Foket:2020:EEJ,% Hoeflich:2022:HIK% }. \NAMECITE{type-directed}{% Feitosa:2020:TDA% }. \NAMECITE{typed}{% Feitosa:2020:TDA% }. \NAMECITE{types}{% Hoeflich:2022:HIK% }. \NAMECITE{typestate}{% Bacchiani:2022:JTC% }. \NAMECITE{un-}{% Ferreira:2022:AJF% }. \NAMECITE{Understanding}{% Blanco:2020:USE% }. \NAMECITE{Unifying}{% Nie:2020:UEI% }. \NAMECITE{Unit}{% Zhou:2024:CGS,% Trautsch:2020:UIT% }. \NAMECITE{unsound}{% Hoeflich:2022:HIK% }. \NAMECITE{unstructured}{% Ramsey:2022:BRR% }. \NAMECITE{Untriviality}{% Chowdhury:2022:UTP% }. \NAMECITE{updates}{% Huang:2022:CUU% }. \NAMECITE{Usage}{% Nicolini:2024:UNJb,% Yu:2021:CUE,% Zerouali:2021:UJP% }. \NAMECITE{usages}{% Huang:2022:CUU% }. \NAMECITE{Use}{% Brown:2023:NUJ% }. \NAMECITE{userspace}{% Daoud:2020:MAJ% }. \NAMECITE{Using}{% Besseling:2023:UTT,% Cristia:2023:DPI,% Federico:2023:CEA,% Sultana:2021:USM,% 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{variable}{% Aman:2023:ADC% }. \NAMECITE{variables}{% Aman:2020:ESA,% Chen:2022:SSC% }. \NAMECITE{verifying}{% Abbasi:2023:CRS% }. \NAMECITE{version}{% Nowicki:2023:PEJ% }. \NAMECITE{via}{% Ayerdi:2024:GAG,% Feng:2023:BBB,% Yuan:2020:AAR% }. \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}{% P:2021:FSM% }. \NAMECITE{Visualize}{% Besseling:2023:UTT% }. \NAMECITE{Vulnerabilities}{% Sayar:2023:DSJ% }. \NAMECITE{Vulnerability}{% Afrose:2023:ESV,% Thome:2020:IAE,% Liu:2023:MEX,% Ntantogian:2021:NNJ% }. \NAMECITE{Vulnerable}{% Brun:2023:BPJ,% Sultana:2021:USM% }. \NAMECITE{wanted}{% Anonymous:2020:SWS% }. \NAMECITE{{WasmView}}{% Romano:2020:WVT% }. \NAMECITE{web}{% Agun:2023:WLR,% Mahmoudi:2023:OSW,% Ahmad:2024:EAW,% Bucur:2023:EMJ,% Chaqfeh:2022:JWD,% 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{well}{% Feitosa:2020:TDA% }. \NAMECITE{well-typed}{% Feitosa:2020:TDA% }. \NAMECITE{While}{% Robillard:2020:LLW% }. \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{Workshop}{% Artho:2020:JPW,% Sherman:2023:JPW% }. \NAMECITE{world}{% 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{{ZWT}}{% Cirani:2020:ZNC% }.