%%====================================================================== %% 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 Tue Mar 12 12:19:25 MDT 2024 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$K$}{% Nigro:2022:PPK% }. \NAMECITE{{}-Means}{% Nigro:2022:PPK% }. \NAMECITE{10-year}{% Blanco:2020:USE% }. \NAMECITE{{2019}}{% Artho:2020:JPW% }. \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% }. \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{Analysis}{% He:2023:IBC,% Karim:2020:PID,% 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,% 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,% 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}{% Martinez:2022:WDD,% 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{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{attributes}{% Capiluppi:2020:EMD% }. \NAMECITE{Automated}{% Mariano:2022:ATI,% Trubiani:2023:ADS,% Yuan:2020:AAR,% Aman:2023:ADC,% Khatchadourian:2020:SAR% }. \NAMECITE{Automatic}{% Kechagia:2022:EAP,% Midolo:2023:ATS,% Schneider:2023:AES,% Soto-Valero:2023:AST,% Zhang:2023:ADJ,% Zhou:2020:ADR% }. \NAMECITE{Automatically}{% Arteca:2023:LHL% }. \NAMECITE{{AWS}}{% Anonymous:2020:SWS% }. \NAMECITE{Bad}{% Fouquet:2023:BBQ% }. \NAMECITE{band}{% Darabkh:2020:JIC% }. \NAMECITE{Based}{% Bucur:2023:EMJ,% Soto-Valero:2023:CBD,% Trubiani:2023:ADS,% 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,% Zhang:2023:RRB% }. \NAMECITE{behavior}{% Feng:2023:BBB% }. \NAMECITE{behavior-based}{% Feng:2023:BBB% }. \NAMECITE{{BejaGNN}}{% Feng:2023:BBB% }. \NAMECITE{Benchmarks}{% Afrose:2023:ESV% }. \NAMECITE{Better}{% Zhang:2023:RRB% }. \NAMECITE{Beyond}{% Ramsey:2022:BRR% }. \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% }. \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{Capabilities}{% Kechagia:2022:EAP% }. \NAMECITE{Careers}{% Anonymous:2020:SWS% }. \NAMECITE{Case}{% Tomasdottir:2020:AJL% }. \NAMECITE{Challenges}{% 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{{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,% Malavolta:2023:JDC,% Midolo:2023:ATS,% Sayar:2023:DSJ,% Zozas:2023:FPC,% Amankwah:2023:BDJ,% Fang:2020:DMJ,% Fang:2022:JMJ,% Huang:2022:HSA,% Mariano:2022:ATI,% 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% }. \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% }. \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{construction}{% Jiang:2020:SSI% }. \NAMECITE{content}{% Agun:2023:WLR,% Capiluppi:2020:LCC% }. \NAMECITE{Context}{% He:2023:IBC,% Huang:2021:JMJ,% Liu:2022:SFI% }. \NAMECITE{context-sensitive}{% Liu:2022:SFI% }. \NAMECITE{Contextual}{% Federico:2023:CEA% }. \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% }. \NAMECITE{Coverage-Based}{% Soto-Valero:2023:CBD% }. \NAMECITE{criteria}{% Mahmoudi:2023:OSW% }. \NAMECITE{critical}{% Chaqfeh:2022:JWD% }. \NAMECITE{{CRNs}}{% Darabkh:2020:JIC% }. \NAMECITE{cross}{% Cirani:2020:ZNC% }. \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{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{debugging}{% 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}{% Martinez:2022:WDD,% Capiluppi:2020:EMD% }. \NAMECITE{diagrams}{% Schneider:2023:AES% }. \NAMECITE{Did}{% Martinez:2022:WDD% }. \NAMECITE{differ}{% Amalfitano:2022:HDJ% }. \NAMECITE{Different}{% Sasikumar:2022:CAD% }. \NAMECITE{directed}{% Feitosa:2020:TDA% }. \NAMECITE{Directive}{% Zhou:2020:ADR% }. \NAMECITE{diversity}{% Harrand:2020:JDD,% Moseler:2021:DFC% }. \NAMECITE{do}{% Amalfitano:2022:HDJ% }. \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{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}{% Aman:2020:ESA,% Chowdhury:2022:UTP,% 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{Entering}{% Bucur:2023:EMJ% }. \NAMECITE{Environment}{% Sasikumar:2022:CAD,% Darabkh:2020:JIC% }. \NAMECITE{Errors}{% vanOorschot:2023:MEMb% }. \NAMECITE{{ESLint}}{% Tomasdottir:2020:AJL% }. \NAMECITE{Evaluating}{% Kechagia:2022:EAP% }. \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{Execution}{% Sayar:2023:DSJ,% 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{{FeynGame}}{% Harlander:2020:F% }. \NAMECITE{Finding}{% Arteca:2023:LHL% }. \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}{% 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}{% Chen:2022:SSC% }. \NAMECITE{Game}{% Murawski:2021:GSI% }. \NAMECITE{generate}{% Feitosa:2020:TDA% }. \NAMECITE{generators}{% Nie:2020:UEI% }. \NAMECITE{Genetic}{% Yuan:2020:AAR% }. \NAMECITE{{Git}}{% Higo:2020:TJM% }. \NAMECITE{{GitHub}}{% Ghiotto:2020:NMC% }. \NAMECITE{{GMP}}{% Amato:2023:JJB% }. \NAMECITE{{Go}}{% Feigenbaum:2022:GJP,% Griesemer:2020:FG% }. \NAMECITE{{Google}}{% Feigenbaum:2022:GJP% }. \NAMECITE{Graph}{% Michail:2020:JJL,% Fang:2022:JMJ,% Feng:2023:BBB,% Krasanakis:2023:JGN% }. \NAMECITE{graphical}{% Cirani:2020:ZNC% }. \NAMECITE{{Groovy}}{% King:2020:HGP% }. \NAMECITE{guided}{% Mariano:2022:ATI% }. \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{in-band}{% Darabkh:2020:JIC% }. \NAMECITE{In-depth}{% Sayar:2023:DSJ% }. \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{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{Interpreter}{% Zhang:2023:RRB% }. \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,% 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,% 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,% Harrand:2020:JDD,% Hermans:2021:TTE,% Higo:2020:TJM,% Hora:2020:CME,% Huang:2022:CUU,% Huang:2022:HSA,% Karmakar:2023:JEJ,% Khatchadourian:2020:SAR,% Krasanakis:2023:JGN,% Larsen:2023:PSS,% Liu:2022:SFI,% Martinez:2022:WDD,% Michail:2020:JJL,% Midolo:2023:ATS,% 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,% Rosales:2023:LSC,% Sayar:2023:DSJ,% Schneider:2023:AES,% Shen:2023:CSM,% 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,% Wang:2023:SCJ,% Wu:2024:TSF,% 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,% Ni:2022:JTD,% Ntantogian:2021:NNJ,% Park:2023:DCC,% Tomasdottir:2020:AJL,% Torres:2023:ICC,% Turcotte:2022:SDD,% Wirfs-Brock:2020:JFY,% 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{{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{kernel}{% Daoud:2020:MAJ% }. \NAMECITE{Key}{% Basin:2020:KKV,% Huang:2021:JMJ,% Abbasi:2023:CRS% }. \NAMECITE{{Kirk}}{% Hoeflich:2022:HIK% }. \NAMECITE{{KiWi}}{% Basin:2020:KKV% }. \NAMECITE{Know}{% Darcy:2021:FPA,% Hermans:2021:TTE% }. \NAMECITE{{Kotlin}}{% Martinez:2022:WDD% }. \NAMECITE{label}{% Ortin:2020:HTS% }. \NAMECITE{Landscape}{% Nascimento:2022:JAD% }. \NAMECITE{Language}{% Brown:2023:NUJ,% Feigenbaum:2022:GJP,% Bright:2020:ODP,% King:2020:HGP% }. \NAMECITE{Languages}{% Liu:2021:SDC% }. \NAMECITE{Large}{% Rosales:2023:LSC,% Hoeflich:2022:HIK,% Hora:2020:CME,% Mumtaz:2023:IRO% }. \NAMECITE{Large-scale}{% 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,% Moller:2020:DLJ% }. \NAMECITE{licensing}{% Moraes:2021:OHM% }. \NAMECITE{light}{% Agun:2023:WLR% }. \NAMECITE{like}{% 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{Look}{% Hartley:2022:JTC,% vanOorschot:2023:MEMb% }. \NAMECITE{machine}{% 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{mathematical}{% Moseler:2021:DFC% }. \NAMECITE{Matrices}{% Frison:2020:BAB% }. \NAMECITE{Means}{% Nigro:2022:PPK% }. \NAMECITE{mechanisms}{% Higo:2020:TJM% }. \NAMECITE{Memory}{% Ghanavati:2020:MRL,% 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{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{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{{ML4Code}}{% Karmakar:2023:JEJ% }. \NAMECITE{Mobile}{% Chaqfeh:2022:JWD% }. \NAMECITE{model}{% Liu:2023:MEX,% P:2021:FSM% }. \NAMECITE{Modern}{% Liu:2021:SDC,% Trautsch:2020:UIT% }. \NAMECITE{Multi}{% 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{Multilevel}{% Daoud:2020:MAJ% }. \NAMECITE{multiple}{% Capiluppi:2020:EMD,% Mahmoudi:2023:OSW% }. \NAMECITE{Mutating}{% Pinheiro:2020:MCA% }. \NAMECITE{mutation}{% Amalfitano:2022:HDJ% }. \NAMECITE{My}{% Wang:2022:WDC% }. \NAMECITE{names}{% Aman:2023:ADC% }. \NAMECITE{native}{% 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% }. \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,% Trautsch:2020:UIT% }. \NAMECITE{open-source}{% 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% }. \NAMECITE{overhead}{% Moller:2020:EAO% }. \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% }. \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,% Liu:2022:SFI% }. \NAMECITE{{Polyrun}}{% Ciomek:2021:PJL% }. \NAMECITE{polytopes}{% Ciomek:2021:PJL% }. \NAMECITE{Practice}{% 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{Priority}{% Mahmoudi:2023:OSW% }. \NAMECITE{Program}{% Kechagia:2022:EAP,% Wang:2022:WDC,% Mariano:2022:ATI,% Moller:2020:EAO,% P:2021:FSM% }. \NAMECITE{Programmer}{% Darcy:2021:FPA% }. \NAMECITE{Programmers}{% Feigenbaum:2022:GJP,% Ortin:2020:HTS% }. \NAMECITE{Programming}{% 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,% Moseler:2021:DFC,% Sultana:2021:USM,% Trautsch:2020:UIT% }. \NAMECITE{prone}{% Aman:2020:ESA% }. \NAMECITE{protection}{% Bierhoff:2022:WNW% }. \NAMECITE{{Python}}{% Aman:2023:ADC,% Anonymous:2020:SWS,% Brun:2023:BPJ,% Zhang:2023:RRB,% Zerouali:2021:UJP% }. \NAMECITE{Quantifying}{% Fouquet:2023:BBQ% }. \NAMECITE{radio}{% Darabkh:2020:JIC% }. \NAMECITE{random}{% Feitosa:2020:TDA% }. \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{relational}{% Huang:2022:HSA% }. \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}{% 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{{{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}{% Hora:2020:CME,% Rosales:2023:LSC% }. \NAMECITE{Security}{% Thome:2020:IAE,% Schneider:2023:AES% }. \NAMECITE{security-rich}{% Schneider:2023:AES% }. \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,% Liu:2022:SFI% }. \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{{SHARP}}{% Liu:2022:SFI% }. \NAMECITE{Should}{% Darcy:2021:FPA,% Hermans:2021:TTE% }. \NAMECITE{side}{% Ntantogian:2021:NNJ,% Turcotte:2022:SDD% }. \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{smell}{% Huang:2022:HSA% }. \NAMECITE{Smells}{% Jafari:2022:DSJ% }. \NAMECITE{{SMT}}{% Abbasi:2023:CRS% }. \NAMECITE{{SMT}-based}{% Abbasi:2023:CRS% }. \NAMECITE{social}{% Blanco:2020:USE% }. \NAMECITE{Software}{% 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,% Trautsch:2020:UIT% }. \NAMECITE{Specialization}{% Soto-Valero:2023:AST% }. \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% }. \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{Strategies}{% Sasikumar:2022:CAD% }. \NAMECITE{stream}{% Moller:2020:EAO% }. \NAMECITE{streams}{% Khatchadourian:2020:SAR,% Rosales:2023:LSC% }. \NAMECITE{string}{% 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,% 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{{Suites}}{% Amankwah:2023:BDJ% }. \NAMECITE{supporting}{% Bacchiani:2022:JTC% }. \NAMECITE{Survey}{% Nascimento:2022:JAD% }. \NAMECITE{{Swing}}{% Robillard:2020:LLW% }. \NAMECITE{synthesis}{% Mariano:2022:ATI% }. \NAMECITE{Taint}{% Karim:2020:PID% }. \NAMECITE{Technical}{% Zozas:2023:FPC% }. \NAMECITE{Test}{% Amankwah:2023:BDJ,% Trautsch:2020:UIT% }. \NAMECITE{Testing}{% Romano:2020:WVT% }. \NAMECITE{{TFA}}{% Zhuo:2020:TEP% }. \NAMECITE{their}{% Ghanavati:2020:MRL,% 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}{% Shimari:2021:NNO% }. \NAMECITE{traces}{% Daoud:2020:MAJ% }. \NAMECITE{tracking}{% 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{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}{% 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}{% Yu:2021:CUE,% Zerouali:2021:UJP% }. \NAMECITE{usages}{% Huang:2022:CUU% }. \NAMECITE{Use}{% Brown:2023:NUJ% }. \NAMECITE{userspace}{% Daoud:2020:MAJ% }. \NAMECITE{Using}{% 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}{% Feng:2023:BBB,% Yuan:2020:AAR% }. \NAMECITE{Virtual}{% Daoud:2020:MAJ,% Perez:2020:OPN,% Zhuo:2020:TEP% }. \NAMECITE{Visual}{% Romano:2020:WVT% }. \NAMECITE{visualization}{% P:2021:FSM% }. \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,% Bucur:2023:EMJ,% Chaqfeh:2022:JWD,% Fouquet:2023:BBQ,% 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{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% }. \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% }.