%%======================================================================
%% 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 Apr 17 15:25:16 MDT 2023
%%======================================================================

\ifx \NAMECITE \undefined % User can override this definition 
    \def \NAMECITE #1#2{{\bf #1} \cite{#2}}
\fi



\NAMECITE{$N$}{%
		Reuling:2019:AWP%
		}.
\NAMECITE{$z$}{%
		Li:2014:SSA%
		}.


\NAMECITE{-Equivalent}{%
		Li:2014:SSA%
		}.
\NAMECITE{{-way}}{%
		Reuling:2019:AWP%
		}.


\NAMECITE{{19}}{%
		Ford:2022:TTC%
		}.


\NAMECITE{{2.0}}{%
		Dilhara:2021:USS%
		}.
\NAMECITE{{2002}}{%
		Anonymous:2002:OOJ%
		}.
\NAMECITE{{2013}}{%
		Harman:2015:ISI%
		}.


\NAMECITE{Abandoned}{%
		Khatoonabadi:2023:WCU%
		}.
\NAMECITE{Abbreviated}{%
		Scanniello:2017:FFC%
		}.
\NAMECITE{{ABC}}{%
		Stol:2018:ASE%
		}.
\NAMECITE{Able}{%
		Haas:2020:SAA%
		}.
\NAMECITE{Abstract}{%
		Paulweber:2021:SIT,%
		Xu:2014:SRB,%
		Jackson:1995:ADB,%
		Pons:2002:TAC%
		}.
\NAMECITE{Abstracting}{%
		Gunter:2000:ADB%
		}.
\NAMECITE{Abstraction}{%
		Anand:2016:SMA,%
		Zuo:2023:TME,%
		Cohen:2003:AHQ,%
		Egyed:2002:AAC%
		}.
\NAMECITE{Abstractions}{%
		Paulweber:2021:SIT,%
		Bowdidge:1998:SRD,%
		DeCaso:2013:EBP%
		}.
\NAMECITE{Academia}{%
		Marijan:2022:IAR%
		}.
\NAMECITE{Accelerating}{%
		Maddila:2023:NAO%
		}.
\NAMECITE{Acceleration}{%
		Lu:2021:ECR%
		}.
\NAMECITE{access}{%
		Basin:2006:MDS%
		}.
\NAMECITE{Accessibility}{%
		Bi:2022:ASP%
		}.
\NAMECITE{accommodates}{%
		Yang:1992:PIA%
		}.
\NAMECITE{Accounting}{%
		Strecker:2012:ADC%
		}.
\NAMECITE{Accuracy}{%
		Arora:2019:ALA,%
		Chen:2020:PAE,%
		Ore:2021:EST%
		}.
\NAMECITE{Accurate}{%
		He:2023:TAE%
		}.
\NAMECITE{Achieving}{%
		Batory:2002:AET,%
		Hemmati:2013:ASM,%
		Layman:2014:MER%
		}.
\NAMECITE{Acknowledgement}{%
		Staff:2005:AR%
		}.
\NAMECITE{{ACM}}{%
		Notkin:2008:ISS%
		}.
\NAMECITE{across}{%
		Chaki:2013:VAI%
		}.
\NAMECITE{action}{%
		Hunter:1998:MIS%
		}.
\NAMECITE{Active}{%
		Arora:2019:ALA,%
		Murukannaiah:2015:PAL%
		}.
\NAMECITE{{ActivFORMS}}{%
		Weyns:2023:AFF%
		}.
\NAMECITE{Activities}{%
		Sharafi:2021:TOM,%
		Wang:2020:UED%
		}.
\NAMECITE{Activity}{%
		Kapur:2022:OEE,%
		Eshuis:2006:SMC%
		}.
\NAMECITE{Activity-Based}{%
		Kapur:2022:OEE%
		}.
\NAMECITE{activitycharts}{%
		Beauvais:2001:MSA%
		}.
\NAMECITE{{Ada}}{%
		Dillon:1993:VEM,%
		Dillon:1997:TDT,%
		Duri:1994:AEE,%
		Young:1995:CAT%
		}.
\NAMECITE{{ADAM}}{%
		Ganesan:2014:AED%
		}.
\NAMECITE{adapt}{%
		Denaro:2013:TAA%
		}.
\NAMECITE{Adaptation}{%
		Sadeghi:2017:ECA%
		}.
\NAMECITE{Adaptive}{%
		Baki:2016:MSL,%
		Chen:2018:FFG,%
		Dagenais:2011:RAC,%
		Rauf:2022:CAS,%
		Scalabrino:2021:ASB,%
		Zhang:2022:AHS,%
		Haesevoets:2014:ACS,%
		Venkatasubramanian:2004:FMR,%
		Weyns:2023:AFF%
		}.
\NAMECITE{Addendum}{%
		Hunt:1998:ADA%
		}.
\NAMECITE{Address}{%
		Zave:2004:ATT%
		}.
\NAMECITE{Addresses}{%
		Zou:2022:BSP%
		}.
\NAMECITE{Adequacy}{%
		Gay:2016:EPM,%
		Kim:2023:ESA,%
		Karam:2008:ULT%
		}.
\NAMECITE{Adequate}{%
		Gligoric:2015:GCB%
		}.
\NAMECITE{Admitted}{%
		Ren:2019:NNB,%
		Guo:2021:HFW%
		}.
\NAMECITE{adopting}{%
		Stol:2014:KFA%
		}.
\NAMECITE{Adversarial}{%
		Kang:2021:ASM,%
		Zhou:2022:ARD%
		}.
\NAMECITE{Affected}{%
		Vandehei:2021:LDL%
		}.
\NAMECITE{against}{%
		Eldib:2014:FVS,%
		Islam:2014:GTC%
		}.
\NAMECITE{agents}{%
		Murphy:2006:LCM%
		}.
\NAMECITE{Aggregation}{%
		Siegmund:2021:MVH%
		}.
\NAMECITE{aggregator}{%
		Brogi:2010:DIS%
		}.
\NAMECITE{Agile}{%
		Russo:2021:ASM,%
		Conboy:2010:MDC%
		}.
\NAMECITE{agnostic}{%
		Ding:2023:TLG%
		}.
\NAMECITE{{AI}}{%
		Martinez-Fernandez:2022:SEA,%
		Ostertag:1992:CSR%
		}.
\NAMECITE{{AI-based}}{%
		Ostertag:1992:CSR,%
		Martinez-Fernandez:2022:SEA%
		}.
\NAMECITE{{Aide}}{%
		Partachi:2023:AMI%
		}.
\NAMECITE{{Aide-m{\'e}moire}}{%
		Partachi:2023:AMI%
		}.
\NAMECITE{aided}{%
		Snook:2006:UBF%
		}.
\NAMECITE{{AIOps}}{%
		Li:2020:PNF,%
		Lyu:2021:ESI,%
		Lyu:2022:TCI%
		}.
\NAMECITE{algebra}{%
		Zhu:2013:ADP%
		}.
\NAMECITE{Algebraic}{%
		Sheng:2019:TPA,%
		Henkel:2008:DDA,%
		Parisi-Presicce:1994:ATC%
		}.
\NAMECITE{algebras}{%
		Bernardo:2002:AFS%
		}.
\NAMECITE{algorithm}{%
		Basu:2007:MCJ,%
		Yang:1992:PIA%
		}.
\NAMECITE{Algorithms}{%
		Alesio:2015:CGA,%
		Ali:2015:TBC,%
		Hierons:2017:PAG,%
		Hunt:1998:ADA,%
		Hunt:1998:DAE,%
		Kaiser:1993:PDI%
		}.
\NAMECITE{aliasing}{%
		Fink:2008:ETV%
		}.
\NAMECITE{Alignment}{%
		Cogo:2023:AAB,%
		Unterkalmsteiner:2014:TRE%
		}.
\NAMECITE{Alignments}{%
		Taymouri:2020:CAW%
		}.
\NAMECITE{Allocation}{%
		Scalabrino:2021:ASB%
		}.
\NAMECITE{alloy}{%
		Frias:2005:RAS,%
		Moscato:2014:DTV,%
		Jackson:2002:ALO%
		}.
\NAMECITE{alone}{%
		Uddin:2022:ESE%
		}.
\NAMECITE{Alphabet}{%
		Fischbein:2012:WAM%
		}.
\NAMECITE{Alternative}{%
		Tao:2021:SDM%
		}.
\NAMECITE{Alternatives}{%
		Karanikolas:2017:EEI%
		}.
\NAMECITE{{American}}{%
		Fioraldi:2023:DAFa,%
		Fioraldi:2023:DAFb%
		}.
\NAMECITE{{Amoeba}}{%
		Desai:2009:AMM%
		}.
\NAMECITE{among}{%
		Gandhi:2011:DMC%
		}.
\NAMECITE{Amplification}{%
		Pan:2023:PWT%
		}.
\NAMECITE{Amplifying}{%
		Zhang:2014:ATV%
		}.
\NAMECITE{Analyses}{%
		Cai:2016:DUD,%
		Castro:2021:FFS,%
		Reuling:2019:AWP,%
		Le:2013:MDF%
		}.
\NAMECITE{Analysis}{%
		Abal:2018:VBH,%
		Anand:2016:SMA,%
		Antonino:2019:EVC,%
		Bjorner:2019:DAD,%
		Costea:2023:HDR,%
		Czekster:2016:SPA,%
		DeLara:2017:PTM,%
		El-Hokayem:2020:MDS,%
		Fu:2021:SSC,%
		Furia:2022:ABA,%
		Haas:2020:SAA,%
		Jiang:2019:IMA,%
		Joblin:2022:HDS,%
		Kim:2022:PMA,%
		Lano:2022:MTD,%
		Li:2014:SSA,%
		Lu:2021:ECR,%
		Lucia:2018:DBD,%
		Mechtaev:2018:TEA,%
		Ponge:2010:AAT,%
		Sadeghi:2017:ECA,%
		Sherman:2015:DTB,%
		Sun:2021:TRE,%
		VonRhein:2018:VAS,%
		Yoo:2017:HCG,%
		Yue:2015:AAF,%
		Zou:2021:IAM,%
		Baresi:1998:TFS,%
		Bavota:2014:ISM,%
		Cai:2012:FMA,%
		Cheung:1996:CCC,%
		Cheung:1999:CSP,%
		Corbett:2000:USA,%
		Csallner:2008:DCH,%
		Devanbu:1996:GTA,%
		Devanbu:1999:GCF,%
		Duri:1994:AEE,%
		Dwyer:2004:FAV,%
		Forgacs:1994:DIF,%
		Ganesan:2014:AED,%
		Gargantini:2001:ADR,%
		Gupta:1997:HSI,%
		Harman:2014:ESS,%
		Hierons:2006:ACC,%
		Howden:1995:STA,%
		Huang:2013:SPA,%
		Hunt:1998:ADA,%
		Hunt:1998:DAE,%
		Hunter:1998:MIS,%
		Lhotak:2008:EBC,%
		Liang:2002:EAA,%
		Milanova:2005:POS,%
		Notkin:2008:ISS,%
		Olender:1992:ISA,%
		Pezze:1995:GMR,%
		Poshyvanyk:2012:CLU,%
		Robillard:2003:SAS,%
		Robillard:2008:TAS,%
		Scanniello:2014:IUA,%
		Snelting:1996:RCB,%
		Snelting:2006:EPC,%
		Tateishi:2013:PIS,%
		Whittaker:1993:MAS,%
		Xie:2013:TAR,%
		Young:1995:CAT,%
		Yue:2013:FTU,%
		Frias:2007:EAD,%
		Marin:2007:ICC%
		}.
\NAMECITE{analyze}{%
		Ciancarini:2000:UCL%
		}.
\NAMECITE{Analyzing}{%
		Li:2019:UAJ,%
		Oni:2022:AUR,%
		Durante:2000:CAC%
		}.
\NAMECITE{Anatomy}{%
		Sundelin:2022:TAS%
		}.
\NAMECITE{{Android}}{%
		Ardito:2022:FMB,%
		Garcia:2018:LOR,%
		Linares-Vasquez:2018:MOO,%
		Pan:2023:PWT,%
		Pilgun:2020:FGC,%
		Romdhana:2022:DRL,%
		Sun:2021:TRE,%
		Sun:2023:DHS,%
		Wu:2021:WAA,%
		Zhao:2021:ISD,%
		Zhao:2022:RAE,%
		Zou:2021:IAM%
		}.
\NAMECITE{annotation}{%
		Kastner:2012:TCA%
		}.
\NAMECITE{annotation-based}{%
		Kastner:2012:TCA%
		}.
\NAMECITE{Annotations}{%
		Islam:2014:GTC,%
		Ore:2021:EST%
		}.
\NAMECITE{announcement}{%
		Steimann:2010:TMI%
		}.
\NAMECITE{Announcing}{%
		Pezze:2023:EAS%
		}.
\NAMECITE{Anomalies}{%
		Zhao:2021:PPA%
		}.
\NAMECITE{{Ansible}}{%
		Rahman:2021:SSA%
		}.
\NAMECITE{Answer}{%
		Gao:2021:TQS%
		}.
\NAMECITE{answering}{%
		Ko:2010:EAW%
		}.
\NAMECITE{Anti}{%
		Marijan:2022:IAR%
		}.
\NAMECITE{Anti-patterns}{%
		Marijan:2022:IAR%
		}.
\NAMECITE{{Apache}}{%
		Falessi:2022:IDD,%
		Mockus:2002:TCS%
		}.
\NAMECITE{{API}}{%
		Arcuri:2019:RAA,%
		Azad:2017:GAC,%
		Sworna:2023:AFA,%
		Uddin:2021:AAU,%
		Zou:2021:IAM%
		}.
\NAMECITE{{APIRO}}{%
		Sworna:2023:AFA%
		}.
\NAMECITE{{APIs}}{%
		Arcuri:2022:ESB,%
		Marculescu:2022:FFR,%
		Santhiar:2014:MUT,%
		Zhang:2022:AHS%
		}.
\NAMECITE{App}{%
		Cai:2020:AIM,%
		Chen:2021:HSI,%
		Gao:2022:AAR,%
		Jiang:2019:RNF,%
		Ngo:2022:ACE,%
		Wu:2021:WAA%
		}.
\NAMECITE{{APPL}}{%
		Sutton:1995:ALS%
		}.
\NAMECITE{{APPL/A}}{%
		Sutton:1995:ALS%
		}.
\NAMECITE{Applicability}{%
		Ramirez:2023:TIA%
		}.
\NAMECITE{Applicable}{%
		Vogel-Heuser:2022:MIA%
		}.
\NAMECITE{Application}{%
		Duri:1994:AEE,%
		Mattsson:2012:AMA,%
		Murukannaiah:2015:PAL,%
		Zhang:2014:ATV,%
		Liang:2002:EAA%
		}.
\NAMECITE{Applications}{%
		Carzaniga:2015:AWE,%
		DeLara:2017:PTM,%
		Ebrahimi:2022:CMA,%
		Guerriero:2021:SMD,%
		Kulkarni:2012:GPF,%
		Li:2023:CEI,%
		Mills:2017:PQQ,%
		Nijjar:2015:DMP,%
		Yin:2023:SEV,%
		Zarir:2021:DCE,%
		Baresi:2007:TES,%
		Brambilla:2006:PMW,%
		Coen-Porisini:2003:FAD,%
		Costagliola:2004:FMI,%
		Gamatie:2007:PDE,%
		Mamei:2009:PPM,%
		Miles:2011:PMD,%
		Pan:2014:GTG,%
		Ponge:2010:AAT,%
		Sinha:2006:HMB,%
		Wassermann:2007:SCD,%
		Xie:2007:DCA%
		}.
\NAMECITE{Applying}{%
		Fuggetta:1998:AGI,%
		Furia:2022:ABA%
		}.
\NAMECITE{Approach}{%
		Arora:2019:ALA,%
		Bagnara:2021:PAV,%
		Banach:2014:CAM,%
		Baresi:2017:LBA,%
		Belgacem:2023:MLA,%
		Bock:2022:MMG,%
		Cao:2022:SSB,%
		Chondamrongkul:2021:SAM,%
		Dehlinger:2011:GPP,%
		Ferrando:2021:THA,%
		Gao:2021:HAF,%
		Hao:2014:UTC,%
		Hough:2022:PAD,%
		Mattsson:2012:AMA,%
		Rosa:2013:BPM,%
		Scalabrino:2021:ASB,%
		Tian:2019:DTC,%
		Weyns:2023:AFF,%
		Yuan:2020:TBE,%
		Yue:2013:FTU,%
		Zhang:2013:CDC,%
		Chen:1998:BWI,%
		Cimatti:2012:VRH,%
		Coen-Porisini:2003:FAD,%
		Damiani:1999:CHA,%
		Damiani:1999:HAA,%
		Dashofy:2005:CAD,%
		Denaro:2013:TAA,%
		Doong:1994:AAT,%
		Ferguson:1996:CAS,%
		Frias:2005:RAS,%
		Henninger:1997:EAC,%
		Lizcano:2013:WCA,%
		Mamei:2009:PPM,%
		Ostertag:1992:CSR,%
		Qi:2012:DAD,%
		Tip:2001:SBA,%
		Zhao:2006:STS%
		}.
\NAMECITE{Approaches}{%
		Ardito:2022:FMB,%
		Xue:2020:MOI,%
		Yoo:2013:FLP%
		}.
\NAMECITE{approximation}{%
		Jennings:2012:TPA%
		}.
\NAMECITE{Apps}{%
		Chen:2021:HSI,%
		Linares-Vasquez:2018:MOO,%
		Pan:2023:PWT,%
		Romdhana:2022:DRL,%
		Sun:2021:TRE,%
		Sun:2023:DHS,%
		Zhao:2022:RAE%
		}.
\NAMECITE{{APTL}}{%
		Wang:1993:DRT%
		}.
\NAMECITE{Architecting}{%
		Bernardo:2002:AFS,%
		Yanez:2021:AIT%
		}.
\NAMECITE{Architectural}{%
		Chondamrongkul:2021:SAM,%
		Mattsson:2012:AMA,%
		Allen:1997:FBA,%
		Allen:1998:EFB,%
		Lopes:2003:HOA,%
		Roshandel:2004:MSM%
		}.
\NAMECITE{Architecture}{%
		Ahmadjee:2022:SBA,%
		Behjati:2014:ALC,%
		Haesevoets:2014:ACS,%
		Sobhy:2022:CPS,%
		Zheng:2018:MAI,%
		Abowd:1995:FSU,%
		Basili:1992:RAC,%
		Dashofy:2005:CAD,%
		Ganesan:2014:AED%
		}.
\NAMECITE{Architecture-centric}{%
		Haesevoets:2014:ACS%
		}.
\NAMECITE{Architecture-Implementation}{%
		Zheng:2018:MAI%
		}.
\NAMECITE{Architecture-Level}{%
		Behjati:2014:ALC%
		}.
\NAMECITE{Architectures}{%
		Sobhy:2021:ESA,%
		Medvidovic:2002:MSA%
		}.
\NAMECITE{{Aria}}{%
		Devanbu:1996:GTA%
		}.
\NAMECITE{Arithmetic}{%
		Gao:2021:HAF%
		}.
\NAMECITE{Array}{%
		Nguyen:2014:DDI%
		}.
\NAMECITE{artifact}{%
		DeLucia:2007:RTL%
		}.
\NAMECITE{{ASM}}{%
		Banach:2014:CAM%
		}.
\NAMECITE{Aspect}{%
		Jackson:1995:ADB,%
		Dyer:2010:SDA,%
		Hoffman:2013:TOM,%
		Krishnamurthi:2007:FIA,%
		Rajan:2009:UAO,%
		Sullivan:2010:MAO%
		}.
\NAMECITE{aspect-}{%
		Rajan:2009:UAO%
		}.
\NAMECITE{aspect-oriented}{%
		Dyer:2010:SDA,%
		Hoffman:2013:TOM,%
		Sullivan:2010:MAO%
		}.
\NAMECITE{{AspectJ}}{%
		Huang:2008:DSL,%
		Maoz:2011:CMS%
		}.
\NAMECITE{Aspects}{%
		Guo:2022:DAM,%
		Sheng:2019:TPA,%
		Bodden:2014:JPI%
		}.
\NAMECITE{Assembly}{%
		Akgul:2004:AIL%
		}.
\NAMECITE{Assessing}{%
		Ambriola:1997:APC,%
		Cai:2020:AIM,%
		Cogo:2023:AAB,%
		Ricca:2014:AES,%
		Vidal:2018:ARB,%
		Yu:2022:AIE%
		}.
\NAMECITE{Assessment}{%
		Ceccato:2015:DAG,%
		Lin:2022:CAC,%
		Gruschke:2008:ROF,%
		Payton:2010:SSA,%
		Sommerville:2005:ESI,%
		Weyuker:1996:UFC%
		}.
\NAMECITE{assigned}{%
		Binkley:2011:FTT%
		}.
\NAMECITE{Assignments}{%
		Ahmed:2022:VVR%
		}.
\NAMECITE{assistance}{%
		Griswold:1993:AAP%
		}.
\NAMECITE{assume}{%
		Cobleigh:2008:BHD%
		}.
\NAMECITE{assume-guarantee}{%
		Cobleigh:2008:BHD%
		}.
\NAMECITE{Assumptions}{%
		He:2016:LWA,%
		Inverardi:2000:SCS%
		}.
\NAMECITE{{ASTOOT}}{%
		Doong:1994:AAT%
		}.
\NAMECITE{Atomic}{%
		Liu:2022:AOD%
		}.
\NAMECITE{Atomicity}{%
		Ma:2021:RTB%
		}.
\NAMECITE{{aToucan}}{%
		Yue:2015:AAF%
		}.
\NAMECITE{Attack}{%
		Wu:2022:TTI,%
		Yin:2023:SEV%
		}.
\NAMECITE{Attacks}{%
		Ahmadjee:2022:SBA,%
		Eldib:2014:FVS,%
		Wang:2020:KDI%
		}.
\NAMECITE{attribute}{%
		Kaiser:1993:PDI%
		}.
\NAMECITE{Attributes}{%
		Ramirez:2023:TIA,%
		Ganesan:2014:AED%
		}.
\NAMECITE{Augmenting}{%
		DiNardo:2017:AFD,%
		Guo:2022:DAM%
		}.
\NAMECITE{Author}{%
		Anonymous:1996:AI,%
		Tichy:1995:AR%
		}.
\NAMECITE{Autoencoder}{%
		Chen:2020:WBU%
		}.
\NAMECITE{Automated}{%
		Arcuri:2019:RAA,%
		Arcuri:2020:HSD,%
		Arora:2019:ALA,%
		Belgacem:2023:MLA,%
		Chondamrongkul:2021:SAM,%
		Egyed:2002:AAC,%
		Fraser:2014:LSE,%
		Fraser:2015:DAU,%
		Gargantini:2001:ADR,%
		Griswold:1993:AAP,%
		Heitmeyer:1996:ACC,%
		Holmes:2020:URL,%
		Hu:2022:CAH,%
		Jin:2015:ASR,%
		Lano:2022:MTD,%
		Lara:2019:ARM,%
		Marculescu:2022:FFR,%
		Moller:2014:ADC,%
		Ngo:2022:ACE,%
		Pilgun:2020:FGC,%
		Reuling:2019:AWP,%
		Shariffdeen:2021:APT,%
		Sworna:2023:AFA,%
		Tappenden:2014:ACC,%
		Walkinshaw:2013:ACS,%
		Wu:2023:AIU,%
		Yue:2015:AAF,%
		Zhao:2022:RAE,%
		Zhou:2022:SAI,%
		Bavota:2014:ISM,%
		Cai:2012:FMA,%
		Cobleigh:2008:BHD,%
		Felty:2003:FSA,%
		Fisher:2006:IAT,%
		Trammell:1992:APC,%
		Xie:2007:DCA,%
		Xie:2008:UPS%
		}.
\NAMECITE{Automatic}{%
		Carzaniga:2015:AWE,%
		Cohen:2003:AHQ,%
		Durante:2003:ATE,%
		Mechtaev:2018:TEA,%
		Nikanjam:2022:AFD,%
		Uddin:2021:AAU,%
		Berstel:2005:SFM,%
		DeMillo:1993:ERA%
		}.
\NAMECITE{Automatically}{%
		Ceccato:2015:DAG,%
		Chatterjee:2021:AIQ,%
		Memon:2008:ARE,%
		Yan:2020:AGS,%
		Le:2013:MDF%
		}.
\NAMECITE{Automating}{%
		Gao:2022:AAR%
		}.
\NAMECITE{Automaton}{%
		Emam:2018:IEP%
		}.
\NAMECITE{Autonomous}{%
		Araujo:2023:TVV,%
		Ferrando:2021:THA%
		}.
\NAMECITE{Avoiding}{%
		Hierons:2006:ACC%
		}.
\NAMECITE{Aware}{%
		Hu:2022:ESD,%
		Kulkarni:2012:GPF,%
		Lin:2022:CAC,%
		Murukannaiah:2015:PAL,%
		VonRhein:2018:VAS,%
		Wang:2022:CFA,%
		Catak:2022:UAP,%
		Damiani:1999:CHA,%
		Damiani:1999:HAA,%
		Miles:2011:PMD,%
		Wang:2020:IIC,%
		Wang:2021:CAR%
		}.


\NAMECITE{{B}}{%
		Snook:2006:UBF%
		}.
\NAMECITE{back}{%
		Notkin:2013:ELB%
		}.
\NAMECITE{Based}{%
		AlDallal:2012:PMM,%
		Ali:2015:TBC,%
		Alimadadi:2016:UJE,%
		Arcega:2022:BLM,%
		Baresi:2017:LBA,%
		Bertolotti:2023:FTS,%
		Cao:2022:SSB,%
		Diep:2011:LBS,%
		Gao:2022:AAR,%
		Gligoric:2015:GCB,%
		Jiang:2019:IMA,%
		Kapur:2022:OEE,%
		Liu:2022:CSC,%
		Lu:2021:ECR,%
		Ma:2021:RTB,%
		Martinez-Fernandez:2022:SEA,%
		Ouni:2016:MCC,%
		Scalabrino:2021:ASB,%
		Sherman:2015:DTB,%
		Soto-Valero:2023:CBD,%
		Tian:2022:PPC,%
		Troya:2018:SBF,%
		Walkinshaw:2013:ACS,%
		Yoo:2017:HCG,%
		Zhang:2022:AHS,%
		Zhao:2021:ISD,%
		Zou:2021:IAM,%
		Ali:2020:QIS,%
		Arcuri:2022:ESB,%
		Ardito:2022:FMB,%
		Arrieta:2023:SSS,%
		Ballance:1992:PLB,%
		Barrett:1996:FEB,%
		Biagiola:2022:TPR,%
		Chang:2013:EHH,%
		Chen:2010:VSI,%
		Chen:2011:TDB,%
		Chen:2020:WBU,%
		Chen:2023:WCH,%
		Ciancarini:1993:CRB,%
		Ciapessoni:1999:FMF,%
		Coen-Porisini:2003:FAD,%
		Cook:1998:DMS,%
		Czepa:2019:HUP,%
		DeCaso:2013:EBP,%
		Dippolito:2013:SNE,%
		Godoy:2021:EBT,%
		Hamlet:2009:TES,%
		Hemmati:2013:ASM,%
		Kastner:2012:TCA,%
		Keidar:2002:IBT,%
		Keller:2022:WYS,%
		Kiper:1992:STR,%
		Kramer:2004:CCM,%
		Kuhn:1999:FCE,%
		Lau:2005:EFC,%
		Lhotak:2008:EBC,%
		Mari:2014:MBS,%
		Memon:2008:ARE,%
		Meyers:2007:ESS,%
		Miller:2003:FTS,%
		Mills:2000:KBM,%
		Moscato:2014:DTV,%
		Naish:2011:MSB,%
		Ohrndorf:2021:HBM,%
		Paige:2007:MBM,%
		Pantiuchina:2020:WDR,%
		Qi:2013:PEB,%
		Ren:2019:NNB,%
		Reuling:2019:AWP,%
		Sinha:2006:HMB,%
		Sistla:2000:SSB,%
		Smaragdakis:2002:MLO,%
		Snelting:1996:RCB,%
		Tan:2009:CDM,%
		Tateishi:2013:PIS,%
		Thiran:2006:WBE,%
		Tip:2001:SBA,%
		Tsuchiya:2002:FCE,%
		Uchitel:2004:IES,%
		Wallach:2000:SSM,%
		Wang:2021:CAR,%
		Weyns:2023:AFF,%
		Xie:2007:DCA,%
		Xie:2013:TAR,%
		Xue:2020:MOI,%
		Yoo:2013:FLP,%
		Zeng:2023:DEV,%
		Zou:2021:IDL,%
		Ostertag:1992:CSR%
		}.
\NAMECITE{Baseline}{%
		Sarro:2018:LPB,%
		Whigham:2015:BMS%
		}.
\NAMECITE{{Bash}}{%
		Dong:2023:BWL%
		}.
\NAMECITE{basis}{%
		Allen:1997:FBA,%
		Allen:1998:EFB%
		}.
\NAMECITE{{Bayesian}}{%
		Furia:2022:ABA,%
		Proksch:2015:ICC,%
		Song:2019:SEI%
		}.
\NAMECITE{{BDD}}{%
		Lhotak:2008:EBC%
		}.
\NAMECITE{{BDD}-based}{%
		Lhotak:2008:EBC%
		}.
\NAMECITE{Be}{%
		Chen:2023:WCH%
		}.
\NAMECITE{Behavior}{%
		Fischbein:2012:WAM,%
		Lucia:2018:DBD,%
		Meyers:2022:EPT,%
		Schrefl:2002:BCS,%
		DeCaso:2013:EBP,%
		Lu:2014:RBS,%
		Mills:2000:KBM,%
		Podgurski:1993:RRS,%
		Uchitel:2004:IES%
		}.
\NAMECITE{Behavior-consistent}{%
		Schrefl:2002:BCS%
		}.
\NAMECITE{Behavioral}{%
		Czepa:2019:HUP,%
		Graziotin:2022:PBS%
		}.
\NAMECITE{behaviors}{%
		Inverardi:2000:SCS%
		}.
\NAMECITE{Belief}{%
		Burgueno:2023:DBU%
		}.
\NAMECITE{benefits}{%
		Lhotak:2008:EBC,%
		Mohagheghi:2008:EIS%
		}.
\NAMECITE{Better}{%
		Lin:2022:CAC,%
		Yuan:2020:TBE%
		}.
\NAMECITE{between}{%
		Cogo:2023:AAB,%
		Gunter:2000:ADB%
		}.
\NAMECITE{Beyond}{%
		Gao:2021:BTP%
		}.
\NAMECITE{Bilevel}{%
		Sahin:2014:CSD%
		}.
\NAMECITE{Binaries}{%
		Jain:2022:BRD%
		}.
\NAMECITE{{BIP}}{%
		Attie:2018:GLD%
		}.
\NAMECITE{{BiRD}}{%
		Jain:2022:BRD%
		}.
\NAMECITE{Black}{%
		Pilgun:2020:FGC,%
		Romdhana:2022:DRL,%
		Chen:1998:BWI%
		}.
\NAMECITE{Black-box}{%
		Pilgun:2020:FGC,%
		Romdhana:2022:DRL%
		}.
\NAMECITE{Bloat}{%
		Nguyen:2018:UCM,%
		Xu:2014:SRB%
		}.
\NAMECITE{Blockchain}{%
		Ahmadjee:2022:SBA,%
		Yanez:2021:AIT,%
		Zarir:2021:DCE%
		}.
\NAMECITE{Blockchain-Powered}{%
		Zarir:2021:DCE%
		}.
\NAMECITE{{Boa}}{%
		Dyer:2015:BUL%
		}.
\NAMECITE{Bookkeeping}{%
		He:2023:TAE%
		}.
\NAMECITE{{Boolean}}{%
		Chen:2011:RFC,%
		Kapoor:2007:TCF%
		}.
\NAMECITE{Boosting}{%
		Chen:2022:BCT,%
		Gao:2021:TQS%
		}.
\NAMECITE{Bootstrap}{%
		Song:2019:SEI%
		}.
\NAMECITE{Bot}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{bound}{%
		Chen:2008:UBS%
		}.
\NAMECITE{Boundaries}{%
		Chaki:2013:VAI%
		}.
\NAMECITE{boundary}{%
		Hierons:2006:ACC%
		}.
\NAMECITE{Bounded}{%
		Pradella:2013:BSC%
		}.
\NAMECITE{box}{%
		Pilgun:2020:FGC,%
		Romdhana:2022:DRL%
		}.
\NAMECITE{Brain}{%
		Vidal:2018:ARB%
		}.
\NAMECITE{Breaking}{%
		Bogart:2021:WHM,%
		Cobleigh:2008:BHD%
		}.
\NAMECITE{{Brutus}}{%
		Clarke:2000:VSP%
		}.
\NAMECITE{Buddy}{%
		Zou:2022:BSP%
		}.
\NAMECITE{Budget}{%
		Scalabrino:2021:ASB%
		}.
\NAMECITE{Bug}{%
		Arcega:2022:BLM,%
		Khanfir:2023:IBR,%
		Li:2014:RIP,%
		Tufano:2019:ESL,%
		Zhao:2022:RAE,%
		Anvik:2011:REB,%
		Csallner:2008:DCH%
		}.
\NAMECITE{Bug-Fixing}{%
		Tufano:2019:ESL%
		}.
\NAMECITE{Bug-report-driven}{%
		Khanfir:2023:IBR%
		}.
\NAMECITE{Bugs}{%
		Abal:2018:VBH,%
		Dong:2023:BWL,%
		Zhang:2013:CDC,%
		Jackson:1995:ADB%
		}.
\NAMECITE{Building}{%
		Engels:1992:BIS,%
		Wu:2022:TTI,%
		Keidar:2002:IBT%
		}.
\NAMECITE{Business}{%
		Rosa:2013:BPM,%
		Desai:2009:AMM,%
		Ouyang:2009:BPM%
		}.
\NAMECITE{Bytecode}{%
		Soto-Valero:2023:CBD%
		}.


\NAMECITE{{C}}{%
		Bagnara:2021:PAV,%
		Chen:2020:HCT,%
		Dietz:2015:UIO,%
		Scanniello:2017:FFC%
		}.
\NAMECITE{{C/C}}{%
		Bagnara:2021:PAV,%
		Dietz:2015:UIO%
		}.
\NAMECITE{Cache}{%
		Wang:2020:KDI%
		}.
\NAMECITE{{CafeOBJ}}{%
		Riesco:2018:PII%
		}.
\NAMECITE{Calculus}{%
		Erwig:2011:CCR,%
		Durante:2003:ATE%
		}.
\NAMECITE{Call}{%
		Ali:2015:TBC,%
		Azad:2017:GAC,%
		Murphy:1998:ESS%
		}.
\NAMECITE{calls}{%
		Binkley:1995:PIL,%
		Monperrus:2013:DMM%
		}.
\NAMECITE{Can}{%
		Calefato:2022:UPD,%
		Chen:2023:WCH%
		}.
\NAMECITE{capabilities}{%
		Tilevich:2009:JOE%
		}.
\NAMECITE{capability}{%
		Kuhn:1999:FCE,%
		Tsuchiya:2002:FCE%
		}.
\NAMECITE{Cars}{%
		Birchler:2023:SMO%
		}.
\NAMECITE{Case}{%
		Arcuri:2019:RAA,%
		Arrieta:2023:SSS,%
		Cogo:2023:AAB,%
		Emam:2015:TCP,%
		Furia:2022:ABA,%
		Hao:2014:UTC,%
		Ouni:2016:MCC,%
		Ramirez:2023:TIA,%
		Rauf:2022:CAS,%
		Scalabrino:2021:ASB,%
		Sobhy:2022:CPS,%
		Yue:2015:AAF,%
		Zarir:2021:DCE,%
		Zhou:2016:IRO,%
		Batory:2002:AET,%
		Crow:1998:FSS,%
		DeMillo:1993:ERA,%
		Hemmati:2013:ASM,%
		Mockus:2002:TCS,%
		Perry:2001:PCL,%
		Sinnig:2013:UCT,%
		Trammell:1992:APC,%
		Yue:2013:FTU%
		}.
\NAMECITE{Cases}{%
		Birchler:2023:SMO,%
		Ceccato:2015:DAG,%
		Islam:2014:GTC,%
		Tian:2022:PPC%
		}.
\NAMECITE{Catalog}{%
		Yanez:2021:AIT%
		}.
\NAMECITE{Categorical}{%
		Belgacem:2023:MLA%
		}.
\NAMECITE{Category}{%
		Chen:2021:WMC,%
		Yang:2023:SCP%
		}.
\NAMECITE{Causing}{%
		Nie:2011:MFC%
		}.
\NAMECITE{centered}{%
		Ambriola:1997:APC,%
		Cugola:1996:FFI%
		}.
\NAMECITE{Centralised}{%
		Hierons:2014:CCD%
		}.
\NAMECITE{Centrality}{%
		Zheng:2018:MAI%
		}.
\NAMECITE{centred}{%
		Lizcano:2013:WCA%
		}.
\NAMECITE{centric}{%
		Haesevoets:2014:ACS%
		}.
\NAMECITE{Certificate}{%
		Nie:2023:CDD,%
		Tian:2019:DTC%
		}.
\NAMECITE{{CFL}}{%
		Lu:2021:ECR%
		}.
\NAMECITE{{CFL}-Reachability-Based}{%
		Lu:2021:ECR%
		}.
\NAMECITE{chaining}{%
		Ferguson:1996:CAS%
		}.
\NAMECITE{Challenge}{%
		Xu:2022:MSC%
		}.
\NAMECITE{Challenges}{%
		Xu:2022:ICG,%
		Yang:2022:PMS%
		}.
\NAMECITE{Change}{%
		Lin:2022:CAC,%
		Yi:2015:SCC%
		}.
\NAMECITE{Changes}{%
		Bogart:2021:WHM,%
		Dagenais:2011:RAC,%
		DiNardo:2017:AFD,%
		Wang:2023:SCJ,%
		Perry:2001:PCL%
		}.
\NAMECITE{Channel}{%
		Eldib:2014:FVS,%
		Kim:2022:PMA,%
		Gao:2019:VQS%
		}.
\NAMECITE{characteristics}{%
		Conboy:2010:MDC,%
		Strecker:2012:ADC%
		}.
\NAMECITE{Characterization}{%
		Shen:2023:CSM%
		}.
\NAMECITE{Characterizing}{%
		Xie:2022:NNP%
		}.
\NAMECITE{Charts}{%
		Roychoudhury:2012:SMS%
		}.
\NAMECITE{Chats}{%
		Chatterjee:2021:AIQ%
		}.
\NAMECITE{Checker}{%
		Ma:2021:RTB,%
		Wang:2020:IIC,%
		Sistla:2000:SSB%
		}.
\NAMECITE{Checking}{%
		Andre:2022:GTO,%
		Bauch:2016:CED,%
		Cheung:1999:CSP,%
		ElKholy:2014:CCR,%
		Lucia:2018:DBD,%
		deFrancesco:2014:GTE,%
		Basu:2007:MCJ,%
		Berstel:2005:SFM,%
		Bultan:2000:CMC,%
		Chechik:2003:MVS,%
		Eshuis:2006:SMC,%
		Felder:1994:VRT,%
		Ferrari:2003:MCV,%
		Heitmeyer:1996:ACC,%
		Inverardi:2000:SCS,%
		Jennings:2012:TPA,%
		Kastner:2012:TCA,%
		Krishnamurthi:2007:FIA,%
		Nentwich:2003:FCC,%
		Paige:2007:MBM,%
		Pradella:2013:BSC,%
		Shonle:2012:FCR,%
		Siegel:2008:CSE,%
		Wassermann:2007:SCD,%
		Xu:2010:PCC%
		}.
\NAMECITE{checkpoint}{%
		Chen:2011:TDB%
		}.
\NAMECITE{{Chef}}{%
		Rahman:2021:SSA%
		}.
\NAMECITE{{Chief}}{%
		Pezze:2019:EIE,%
		Rosenblum:2019:FEO%
		}.
\NAMECITE{Choice}{%
		Erwig:2011:CCR%
		}.
\NAMECITE{Cities}{%
		Ford:2022:TTC%
		}.
\NAMECITE{Class}{%
		Altoyan:2023:PCR,%
		Dramko:2023:DDN,%
		Balaban:2013:FSU,%
		Chen:1998:BWI,%
		Chen:2001:TMO,%
		Chen:2011:RFC,%
		Egyed:2002:AAC,%
		Lau:2005:EFC,%
		Parisi-Presicce:1994:ATC,%
		Zhou:2014:DSP%
		}.
\NAMECITE{class-level}{%
		Chen:1998:BWI%
		}.
\NAMECITE{Classes}{%
		AlDallal:2012:PMM,%
		Vandehei:2021:LDL,%
		Goel:2009:IPC,%
		Henkel:2008:DDA,%
		Kapoor:2007:TCF,%
		Kuhn:1999:FCE,%
		Pons:2002:TAC,%
		Tiwana:2008:ICD,%
		Tsuchiya:2002:FCE%
		}.
\NAMECITE{Classification}{%
		Wu:2021:WAA,%
		Damiani:1999:CHA,%
		Damiani:1999:HAA%
		}.
\NAMECITE{Classified}{%
		Wu:2021:WAA%
		}.
\NAMECITE{Classifying}{%
		Ebrahimi:2022:CMA,%
		Orso:2004:CDD%
		}.
\NAMECITE{cleanroom}{%
		Trammell:1992:APC%
		}.
\NAMECITE{{Clematis}}{%
		Alimadadi:2016:UJE%
		}.
\NAMECITE{Client}{%
		Moller:2014:ADC%
		}.
\NAMECITE{Client-State}{%
		Moller:2014:ADC%
		}.
\NAMECITE{Clone}{%
		Duala-Ekoko:2010:CRD%
		}.
\NAMECITE{Clones}{%
		Yu:2022:AIE%
		}.
\NAMECITE{Cloud}{%
		Li:2020:PNF%
		}.
\NAMECITE{cluster}{%
		Chen:2001:TMO%
		}.
\NAMECITE{{cmath}}{%
		Bagnara:2021:PAV%
		}.
\NAMECITE{Co}{%
		Lin:2023:CEW,%
		Marijan:2022:IAR,%
		Vouillon:2013:SCC%
		}.
\NAMECITE{Co-creation}{%
		Marijan:2022:IAR%
		}.
\NAMECITE{Co-evolution}{%
		Lin:2023:CEW%
		}.
\NAMECITE{co-installability}{%
		Vouillon:2013:SCC%
		}.
\NAMECITE{coarse}{%
		Bible:2001:CSC%
		}.
\NAMECITE{coarse-}{%
		Bible:2001:CSC%
		}.
\NAMECITE{Code}{%
		Bao:2020:PDC,%
		Bernaschina:2019:VDI,%
		Bertolotti:2023:FTS,%
		Chen:2021:WMC,%
		Ding:2023:TLG,%
		Dong:2023:BWL,%
		Dyer:2015:BUL,%
		Furia:2022:ABA,%
		Gao:2020:GQT,%
		Gao:2023:CSG,%
		Haas:2020:SAA,%
		Hall:2014:SCS,%
		Holmes:2020:URL,%
		Hu:2022:CAH,%
		Kapur:2020:DES,%
		Keller:2022:WYS,%
		Kim:2022:PMA,%
		Lin:2022:CAC,%
		Lin:2022:XTC,%
		Liu:2022:CSC,%
		Mahmoud:2015:ESR,%
		Ojdanic:2023:MTE,%
		Ouni:2016:MCC,%
		Pantiuchina:2020:WDR,%
		Pilgun:2020:FGC,%
		Proksch:2015:ICC,%
		Sahin:2014:CSD,%
		Sayar:2023:DSJ,%
		Scanniello:2015:DDP,%
		Scanniello:2017:FFC,%
		Sim:2011:HWD,%
		Stolee:2014:SSS,%
		Wang:2020:MTN,%
		Xu:2022:ICG,%
		Yan:2020:AGS,%
		Yang:2023:SCP,%
		Yu:2022:AIE,%
		Zeng:2023:DEV,%
		Zhang:2014:ATV,%
		Zhou:2022:ARD,%
		Devanbu:1999:GCF,%
		Duala-Ekoko:2010:CRD,%
		Fritz:2014:DKM,%
		Mcmillan:2013:PSR,%
		Picco:2001:RAC,%
		Robillard:2007:RCS,%
		Scanniello:2014:IUA%
		}.
\NAMECITE{Code-Comment}{%
		Yang:2023:SCP%
		}.
\NAMECITE{Code-Smell}{%
		Sahin:2014:CSD%
		}.
\NAMECITE{Coded}{%
		Islam:2014:GTC%
		}.
\NAMECITE{{CodeMatcher}}{%
		Liu:2022:CSC%
		}.
\NAMECITE{Cognitive}{%
		Ferrando:2021:THA,%
		Sharafi:2021:TOM%
		}.
\NAMECITE{Cohesion}{%
		AlDallal:2012:PMM,%
		Candela:2016:UCC,%
		Counsell:2006:IUT,%
		Kramer:2004:CCM,%
		Meyers:2007:ESS%
		}.
\NAMECITE{coincidental}{%
		Hierons:2006:ACC,%
		Masri:2014:PCC%
		}.
\NAMECITE{Collaboration}{%
		Marijan:2022:IAR,%
		Singh:2010:SWE,%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{collaboration-based}{%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{collaborations}{%
		Haesevoets:2014:ACS%
		}.
\NAMECITE{collection}{%
		Tappenden:2014:ACC%
		}.
\NAMECITE{Collective}{%
		Partachi:2023:AMI%
		}.
\NAMECITE{Collegiate}{%
		Meyers:2022:EPT%
		}.
\NAMECITE{Combating}{%
		Nguyen:2018:UCM%
		}.
\NAMECITE{Combatting}{%
		Li:2023:CEI%
		}.
\NAMECITE{Combinatorial}{%
		Nie:2011:MFC%
		}.
\NAMECITE{Combining}{%
		Alesio:2015:CGA,%
		Hierons:2014:CCD,%
		Siegel:2008:CSE,%
		Xiang:2018:CSP%
		}.
\NAMECITE{Commands}{%
		Yang:2022:DDR%
		}.
\NAMECITE{Comment}{%
		Chen:2021:WMC,%
		Wang:2023:SCJ,%
		Yang:2023:SCP,%
		Zhou:2022:ARD%
		}.
\NAMECITE{Commenting}{%
		Wang:2023:SCJ%
		}.
\NAMECITE{Comments}{%
		Brett:1995:CCS,%
		Petrenko:1997:CRT,%
		Wang:2023:SCJ,%
		Zhang:2021:CSO%
		}.
\NAMECITE{Commercial}{%
		Zhou:2016:IRO%
		}.
\NAMECITE{Commit}{%
		Wang:2021:CAR%
		}.
\NAMECITE{Commitments}{%
		ElKholy:2014:CCR%
		}.
\NAMECITE{Commits}{%
		Zhou:2022:SAI%
		}.
\NAMECITE{Common}{%
		Masso:2022:CTS%
		}.
\NAMECITE{communicating}{%
		Broy:1993:FST%
		}.
\NAMECITE{Communication}{%
		Chen:2021:EPS,%
		Zdun:2023:MSM%
		}.
\NAMECITE{Communities}{%
		Zhou:2016:IRO%
		}.
\NAMECITE{Community}{%
		Dwyer:2015:EJF%
		}.
\NAMECITE{Companies}{%
		Zhang:2022:TCO%
		}.
\NAMECITE{comparative}{%
		Bible:2001:CSC%
		}.
\NAMECITE{Comparing}{%
		Hierons:2002:CTS,%
		Polyvyanyy:2020:MPR,%
		Yoo:2013:FLP,%
		Xie:2007:DCA%
		}.
\NAMECITE{Comparison}{%
		Walkinshaw:2013:ACS%
		}.
\NAMECITE{Comparisons}{%
		Gligoric:2015:GCB%
		}.
\NAMECITE{Competition}{%
		Meyers:2022:EPT%
		}.
\NAMECITE{Competitiveness}{%
		Yoo:2017:HCG%
		}.
\NAMECITE{Compiler}{%
		Chen:2022:BCT,%
		Maoz:2011:CMS,%
		Durante:2000:CAC%
		}.
\NAMECITE{Complete}{%
		Ma:2021:RTB,%
		Xue:2020:MOI%
		}.
\NAMECITE{Completion}{%
		Maddila:2023:NAO,%
		Proksch:2015:ICC,%
		Wang:2020:IIC%
		}.
\NAMECITE{Completion-aware}{%
		Wang:2020:IIC%
		}.
\NAMECITE{Complex}{%
		Baki:2016:MSL%
		}.
\NAMECITE{Component}{%
		Sadeghi:2017:ECA,%
		Basili:1992:RAC,%
		Chang:2013:EHH,%
		Hamlet:2009:TES,%
		Inverardi:2000:SCS,%
		Vouillon:2013:SCC%
		}.
\NAMECITE{component-based}{%
		Chang:2013:EHH%
		}.
\NAMECITE{components}{%
		Batory:1992:DIH,%
		Ciancarini:2000:UCL,%
		Damiani:1999:CHA,%
		Damiani:1999:HAA,%
		Zaremski:1997:SMS%
		}.
\NAMECITE{Composing}{%
		Bauer:2009:CER%
		}.
\NAMECITE{Composite}{%
		Bultan:2000:CMC,%
		Karanikolas:2017:EEI%
		}.
\NAMECITE{Composition}{%
		Ostroff:1999:CRD,%
		Hamlet:2009:TES,%
		Rothermel:2004:TSC,%
		Zave:1993:CC%
		}.
\NAMECITE{Compositional}{%
		He:2016:LWA,%
		Cheung:1996:CCC,%
		Cheung:1999:CSP%
		}.
\NAMECITE{Comprehensibility}{%
		Scanniello:2015:DDP,%
		Scanniello:2014:IUA%
		}.
\NAMECITE{Comprehension}{%
		Bertolotti:2023:FTS,%
		Maalej:2014:CPC,%
		Ricca:2014:AES,%
		Orso:2004:CDD%
		}.
\NAMECITE{Comprehensive}{%
		Guo:2021:HFW,%
		Dashofy:2005:CAD%
		}.
\NAMECITE{Computing}{%
		Barcelona-Pons:2022:SSC,%
		Li:2020:PNF,%
		Ostertag:1992:CSR,%
		Taymouri:2020:CAW,%
		Erwig:2005:SRS,%
		Fantechi:2012:LVM,%
		Mamei:2009:PPM,%
		Roman:1997:MUR,%
		Xu:2010:PCC%
		}.
\NAMECITE{Concept}{%
		Poshyvanyk:2012:CLU,%
		Snelting:1996:RCB%
		}.
\NAMECITE{Concepts}{%
		DeLara:2017:PTM,%
		Mills:2000:KBM,%
		Shonle:2012:FCR%
		}.
\NAMECITE{Conceptual}{%
		Queralt:2012:VVU,%
		Tan:2009:CDM%
		}.
\NAMECITE{Concerns}{%
		Marin:2007:ICC,%
		Robillard:2007:RCS%
		}.
\NAMECITE{Concurrency}{%
		Machado:2016:CDD,%
		Zhang:2013:CDC,%
		Demsky:2013:VSF,%
		Young:1995:CAT%
		}.
\NAMECITE{Concurrent}{%
		Antonino:2019:EVC,%
		Maddila:2022:CCE,%
		Corbett:2000:USA,%
		Dillon:1994:GIL,%
		Dwyer:2004:FAV,%
		Huang:2013:SPA,%
		Moser:1997:GED,%
		Pezze:1995:GMR%
		}.
\NAMECITE{Conditional}{%
		ElKholy:2014:CCR%
		}.
\NAMECITE{conditions}{%
		Kapoor:2007:TCF,%
		Snelting:2006:EPC%
		}.
\NAMECITE{{ConE}}{%
		Maddila:2022:CCE%
		}.
\NAMECITE{Conference}{%
		Murphy:2014:ISI%
		}.
\NAMECITE{Configurable}{%
		Abal:2018:VBH,%
		Cheng:2023:HHI%
		}.
\NAMECITE{Configuration}{%
		Behjati:2014:ALC,%
		Estublier:2005:ISE,%
		Gunter:2000:ADB,%
		Jezequel:1999:RVC%
		}.
\NAMECITE{Configurations}{%
		Safdar:2021:RFC,%
		Zhang:2023:FCPa,%
		Zhang:2023:FCPb,%
		Snelting:1996:RCB%
		}.
\NAMECITE{Configuring}{%
		Xiang:2018:CSP%
		}.
\NAMECITE{Conflict}{%
		Bernaschina:2019:VDI,%
		Zhang:2020:MTC,%
		Felty:2003:FSA%
		}.
\NAMECITE{Conflicts}{%
		Shen:2023:CSM%
		}.
\NAMECITE{Conformance}{%
		Zheng:2018:MAI,%
		Bernhard:1994:RTS,%
		Lu:2014:RBS,%
		Paige:2007:MBM,%
		Petrenko:1997:CRT%
		}.
\NAMECITE{confounding}{%
		Zhou:2014:DSP%
		}.
\NAMECITE{Conjunction}{%
		Zave:1993:CC%
		}.
\NAMECITE{{ConMem}}{%
		Zhang:2013:CDC%
		}.
\NAMECITE{connection}{%
		Allen:1997:FBA,%
		Allen:1998:EFB%
		}.
\NAMECITE{connectors}{%
		Lopes:2003:HOA%
		}.
\NAMECITE{Consent}{%
		Robol:2023:CVM%
		}.
\NAMECITE{Considered}{%
		Xu:2022:MSC%
		}.
\NAMECITE{Consistency}{%
		Sadeghi:2017:ECA,%
		Heitmeyer:1996:ACC,%
		Nentwich:2003:FCC,%
		Paige:2007:MBM,%
		Xu:2010:PCC%
		}.
\NAMECITE{Consistent}{%
		Lyu:2022:TCI,%
		Schrefl:2002:BCS%
		}.
\NAMECITE{Consolidation}{%
		Rosa:2013:BPM%
		}.
\NAMECITE{constrained}{%
		Balaban:2013:FSU,%
		Williams:2022:GFI%
		}.
\NAMECITE{Constraint}{%
		Alesio:2015:CGA,%
		Gao:2021:BTP,%
		Soltana:2020:PCS,%
		Xu:2010:PCC%
		}.
\NAMECITE{Constraints}{%
		Czepa:2019:HUP,%
		DeGiacomo:2022:MCM,%
		Mcminn:2015:ETC,%
		Queralt:2012:VVU,%
		Sherman:2015:DTB,%
		Chen:2011:TDB,%
		Cheung:1996:CCC,%
		Olender:1992:ISA%
		}.
\NAMECITE{constructing}{%
		Henninger:1997:EAC%
		}.
\NAMECITE{Construction}{%
		Ali:2015:TBC%
		}.
\NAMECITE{Constructs}{%
		Kapur:2020:DES%
		}.
\NAMECITE{Consumption}{%
		Linares-Vasquez:2018:MOO%
		}.
\NAMECITE{container}{%
		Xu:2013:PML%
		}.
\NAMECITE{containing}{%
		Ciancarini:2000:UCL%
		}.
\NAMECITE{Context}{%
		Cheung:1996:CCC,%
		Kulkarni:2012:GPF,%
		Lin:2022:CAC,%
		Lu:2021:ECR,%
		Wang:2021:CAR,%
		Wang:2022:CFA,%
		Kiezun:2012:HSW,%
		Lhotak:2008:EBC,%
		Xu:2010:PCC,%
		vandenBrand:1996:GFC%
		}.
\NAMECITE{Context-}{%
		Wang:2022:CFA%
		}.
\NAMECITE{Context-Aware}{%
		Kulkarni:2012:GPF,%
		Lin:2022:CAC,%
		Wang:2021:CAR%
		}.
\NAMECITE{context-free}{%
		Kiezun:2012:HSW,%
		vandenBrand:1996:GFC%
		}.
\NAMECITE{context-sensitive}{%
		Lhotak:2008:EBC%
		}.
\NAMECITE{Contextual}{%
		Gao:2022:AAR%
		}.
\NAMECITE{Continuous}{%
		Banach:2014:CAM,%
		Sobhy:2022:CPS%
		}.
\NAMECITE{Contract}{%
		Yu:2020:SCR,%
		Zarir:2021:DCE%
		}.
\NAMECITE{Contracts}{%
		Albert:2022:SOS,%
		Chen:2022:WDS,%
		He:2023:TAE,%
		Yi:2015:SCC%
		}.
\NAMECITE{Contributions}{%
		Khatoonabadi:2023:WCU%
		}.
\NAMECITE{Contributor}{%
		Khatoonabadi:2023:WCU%
		}.
\NAMECITE{Contributor-Abandoned}{%
		Khatoonabadi:2023:WCU%
		}.
\NAMECITE{Control}{%
		Bauch:2016:CED,%
		Chen:2021:LCF,%
		Hough:2022:PAD,%
		Kafali:2020:DSS,%
		Vogel-Heuser:2022:MIA,%
		Basin:2006:MDS,%
		Demsky:2013:VSF,%
		Mari:2014:MBS,%
		Minsky:2000:LGI,%
		Sinha:2001:ICD,%
		Trammell:1992:APC%
		}.
\NAMECITE{Control-flow}{%
		Hough:2022:PAD%
		}.
\NAMECITE{Controlled}{%
		Fraser:2015:DAU,%
		Paulweber:2021:SIT,%
		Briand:2014:TSD%
		}.
\NAMECITE{controllers}{%
		Dippolito:2013:SNE%
		}.
\NAMECITE{controlling}{%
		Harrold:1993:MCS%
		}.
\NAMECITE{Convolutional}{%
		Ding:2023:TLG%
		}.
\NAMECITE{cookie}{%
		Tappenden:2014:ACC%
		}.
\NAMECITE{cooperative}{%
		Hoffman:2013:TOM%
		}.
\NAMECITE{Coordinating}{%
		Ciancarini:1993:CRB%
		}.
\NAMECITE{coordination}{%
		Ciancarini:2000:UCL,%
		Minsky:2000:LGI,%
		Murphy:2006:LCM,%
		Tiwana:2008:ICD%
		}.
\NAMECITE{{CORBA}}{%
		Coen-Porisini:2003:FAD%
		}.
\NAMECITE{{CORBA}-based}{%
		Coen-Porisini:2003:FAD%
		}.
\NAMECITE{corners}{%
		Zave:1997:FDC%
		}.
\NAMECITE{Correctness}{%
		Altoyan:2023:PCR,%
		Lin:2022:CAC,%
		Tian:2022:PPC,%
		Hierons:2006:ACC,%
		Masri:2014:PCC%
		}.
\NAMECITE{Correlating}{%
		Hu:2022:CAH%
		}.
\NAMECITE{Correlations}{%
		Gandhi:2011:DMC%
		}.
\NAMECITE{correspondence}{%
		Cook:1999:SPV%
		}.
\NAMECITE{Corrigenda}{%
		Damiani:1999:CHA%
		}.
\NAMECITE{Cost}{%
		Cai:2016:DUD,%
		Fu:2021:SSC,%
		Ngo:2022:ACE,%
		Zarir:2021:DCE,%
		Adams:1994:CSR,%
		Brett:1995:CCS,%
		Rothermel:2004:TSC,%
		Weyuker:1996:UFC%
		}.
\NAMECITE{Cost-Effective}{%
		Zarir:2021:DCE,%
		Fu:2021:SSC,%
		Ngo:2022:ACE,%
		Rothermel:2004:TSC%
		}.
\NAMECITE{Cost-Effectiveness}{%
		Cai:2016:DUD%
		}.
\NAMECITE{Countermeasures}{%
		Eldib:2014:FVS%
		}.
\NAMECITE{Coupling}{%
		Candela:2016:UCC,%
		Kramer:2004:CCM,%
		Meyers:2007:ESS,%
		Offutt:1992:IST%
		}.
\NAMECITE{Coverage}{%
		Gay:2016:EPM,%
		Gligoric:2015:GCB,%
		Gong:2021:TDG,%
		Mcminn:2015:ETC,%
		Miranda:2020:TRU,%
		Nie:2023:CDD,%
		Pilgun:2020:FGC,%
		Soto-Valero:2023:CBD,%
		Xie:2022:NNP,%
		Yoo:2013:FLP%
		}.
\NAMECITE{Coverage-Based}{%
		Gligoric:2015:GCB,%
		Soto-Valero:2023:CBD,%
		Yoo:2013:FLP%
		}.
\NAMECITE{Coverage-directed}{%
		Nie:2023:CDD%
		}.
\NAMECITE{{COVID}}{%
		Ford:2022:TTC%
		}.
\NAMECITE{{COVID-19}}{%
		Ford:2022:TTC%
		}.
\NAMECITE{{CPU}}{%
		Martignoni:2013:MTC%
		}.
\NAMECITE{Craftsmanship}{%
		Sundelin:2022:TAS%
		}.
\NAMECITE{Crash}{%
		Gao:2021:BTP,%
		Zhang:2013:CDC,%
		Zhao:2022:RAE%
		}.
\NAMECITE{Crash-Triggering}{%
		Zhang:2013:CDC%
		}.
\NAMECITE{{Crasher}}{%
		Csallner:2008:DCH%
		}.
\NAMECITE{creation}{%
		Marijan:2022:IAR%
		}.
\NAMECITE{Criteria}{%
		Mcminn:2015:ETC,%
		Miranda:2020:TRU,%
		Ouni:2016:MCC,%
		Tramontana:2019:DEO,%
		Hierons:2002:CTS,%
		Karam:2008:ULT,%
		Xue:2020:MOI%
		}.
\NAMECITE{critical}{%
		Gargantini:2001:ADR,%
		Morzenti:1994:OOL%
		}.
\NAMECITE{Cross}{%
		Lin:2022:XTC,%
		Zhou:2018:HFW,%
		Desai:2009:AMM%
		}.
\NAMECITE{Cross-Language}{%
		Lin:2022:XTC%
		}.
\NAMECITE{cross-organizational}{%
		Desai:2009:AMM%
		}.
\NAMECITE{Cross-Project}{%
		Zhou:2018:HFW%
		}.
\NAMECITE{crosscutting}{%
		Shonle:2012:FCR,%
		Marin:2007:ICC%
		}.
\NAMECITE{Crowdtesting}{%
		Wang:2020:IIC%
		}.
\NAMECITE{Crowdworker}{%
		Wang:2022:CFA%
		}.
\NAMECITE{Crucial}{%
		Barcelona-Pons:2022:SSC%
		}.
\NAMECITE{cryptographic}{%
		Durante:2000:CAC%
		}.
\NAMECITE{{CSCW}}{%
		Kulkarni:2012:GPF%
		}.
\NAMECITE{{CSP}}{%
		Sun:2013:MVH%
		}.
\NAMECITE{customizable}{%
		Devanbu:1999:GCF%
		}.
\NAMECITE{{CVEs}}{%
		Xu:2022:MSC%
		}.
\NAMECITE{Cyber}{%
		Catak:2022:UAP,%
		Xu:2023:SFC%
		}.
\NAMECITE{Cyber-physical}{%
		Catak:2022:UAP,%
		Xu:2023:SFC%
		}.
\NAMECITE{Cycle}{%
		Vandehei:2021:LDL%
		}.
\NAMECITE{Cycles}{%
		Oni:2022:AUR,%
		Schrefl:2002:BCS%
		}.


\NAMECITE{Dahl}{%
		Anonymous:2002:OOJ%
		}.
\NAMECITE{dark}{%
		Zave:1997:FDC%
		}.
\NAMECITE{{DARWIN}}{%
		Qi:2012:DAD%
		}.
\NAMECITE{Data}{%
		Bauch:2016:CED,%
		Belgacem:2023:MLA,%
		Catak:2022:UAP,%
		Chen:2021:EPS,%
		Costea:2023:HDR,%
		DiNardo:2017:AFD,%
		Dramko:2023:DDN,%
		Furia:2022:ABA,%
		Gong:2021:TDG,%
		Hu:2022:ESD,%
		Karanikolas:2017:EEI,%
		Lyu:2021:ESI,%
		Nguyen:2018:UCM,%
		Nijjar:2015:DMP,%
		Soltana:2020:PCS,%
		Tao:2021:SDM,%
		Bonifati:2001:DDM,%
		Bowdidge:1998:SRD,%
		Cook:1998:DMS,%
		Ferguson:1996:CAS,%
		Forgacs:1994:DIF,%
		Orso:2004:CDD,%
		Tan:2009:CDM,%
		Wursch:2013:EQF%
		}.
\NAMECITE{Data-Intensive}{%
		Nguyen:2018:UCM%
		}.
\NAMECITE{Database}{%
		Mcminn:2015:ETC,%
		Cohen:2003:AHQ,%
		Pan:2014:GTG,%
		Wassermann:2007:SCD%
		}.
\NAMECITE{Databases}{%
		Arcuri:2020:HSD%
		}.
\NAMECITE{dataflow}{%
		Karam:2008:ULT%
		}.
\NAMECITE{Dataset}{%
		Yu:2022:AIE%
		}.
\NAMECITE{Datasets}{%
		Uddin:2022:ESE%
		}.
\NAMECITE{Date}{%
		Oni:2022:AUR%
		}.
\NAMECITE{{David}}{%
		Rosenblum:2013:MDN%
		}.
\NAMECITE{{DC}}{%
		Gay:2016:EPM%
		}.
\NAMECITE{Deadlines}{%
		Alesio:2015:CGA%
		}.
\NAMECITE{Deadlock}{%
		Attie:2018:GLD,%
		Duri:1994:AEE%
		}.
\NAMECITE{Dealing}{%
		Burgueno:2023:DBU%
		}.
\NAMECITE{Debloating}{%
		Soto-Valero:2023:CBD%
		}.
\NAMECITE{Debt}{%
		Ren:2019:NNB%
		}.
\NAMECITE{Debts}{%
		Guo:2021:HFW%
		}.
\NAMECITE{Debug}{%
		Ma:2021:RTB%
		}.
\NAMECITE{Debugging}{%
		Ceccato:2015:DAG,%
		Fleming:2013:IFT,%
		Jin:2015:ASR,%
		Machado:2016:CDD,%
		Zuo:2023:TME,%
		Akgul:2004:AIL,%
		Henkel:2008:DDA,%
		Orso:2004:CDD,%
		Qi:2012:DAD%
		}.
\NAMECITE{Decentralized}{%
		El-Hokayem:2020:MDS,%
		Myers:2000:PPU%
		}.
\NAMECITE{Deciding}{%
		Sherman:2015:DTB%
		}.
\NAMECITE{Decision}{%
		He:2016:LWA,%
		Xie:2022:NNP%
		}.
\NAMECITE{Decisions}{%
		Ahmadjee:2022:SBA,%
		Lyu:2021:ESI,%
		Anvik:2011:REB%
		}.
\NAMECITE{Decompiled}{%
		Dramko:2023:DDN%
		}.
\NAMECITE{Decomposition}{%
		Bock:2022:MMG%
		}.
\NAMECITE{decoupling}{%
		Bodden:2014:JPI%
		}.
\NAMECITE{deduction}{%
		Feldman:1993:SRS%
		}.
\NAMECITE{deductive}{%
		Gargantini:2001:ADR%
		}.
\NAMECITE{Deep}{%
		Catak:2022:UAP,%
		Chen:2020:PAE,%
		Cheng:2021:DSD,%
		Hu:2022:ESD,%
		Kim:2023:ESA,%
		Liao:2022:ESI,%
		Liu:2022:RRD,%
		Ma:2021:TSD,%
		Nikanjam:2022:AFD,%
		Romdhana:2022:DRL,%
		Wang:2021:CAR,%
		Watson:2022:SLR,%
		Xie:2022:NNP,%
		Yu:2022:AIE,%
		Zhang:2022:TRD,%
		Zhou:2022:ARD,%
		Zohdinasab:2023:EEF,%
		Zou:2021:IDL%
		}.
\NAMECITE{{DeepWukong}}{%
		Cheng:2021:DSD%
		}.
\NAMECITE{Defect}{%
		Falessi:2022:IDD,%
		Kapur:2020:DES,%
		Ni:2022:JTD,%
		Zhou:2018:HFW,%
		Strecker:2012:ADC%
		}.
\NAMECITE{Defective}{%
		Vandehei:2021:LDL%
		}.
\NAMECITE{Defects}{%
		Arnold:2011:QER,%
		Falessi:2022:IDD,%
		Vandehei:2021:LDL%
		}.
\NAMECITE{Defining}{%
		Tamasauskaite:2023:DKG%
		}.
\NAMECITE{{deGraphCS}}{%
		Zeng:2023:DEV%
		}.
\NAMECITE{Degree}{%
		Fritz:2014:DKM%
		}.
\NAMECITE{Degree-of-knowledge}{%
		Fritz:2014:DKM%
		}.
\NAMECITE{Delta}{%
		Hunt:1998:ADA,%
		Hunt:1998:DAE%
		}.
\NAMECITE{Demystifying}{%
		Sun:2023:DHS%
		}.
\NAMECITE{Denoising}{%
		Bao:2020:PDC%
		}.
\NAMECITE{Dependence}{%
		Fu:2021:SSC,%
		Palepu:2017:DDS,%
		Dillon:1997:TDT,%
		Sinha:2001:ICD,%
		Snelting:2006:EPC%
		}.
\NAMECITE{dependences}{%
		Jackson:1995:ADB,%
		Orso:2004:CDD%
		}.
\NAMECITE{dependencies}{%
		Bavota:2014:ISM,%
		Gunter:2000:ADB,%
		Robillard:2008:TAS%
		}.
\NAMECITE{Dependency}{%
		Rombaut:2023:TNS,%
		Sadeghi:2017:ECA,%
		Chen:2011:TDB,%
		Ganesan:2014:AED%
		}.
\NAMECITE{dependency-based}{%
		Chen:2011:TDB%
		}.
\NAMECITE{dependency-driven}{%
		Ganesan:2014:AED%
		}.
\NAMECITE{Deployed}{%
		Arnold:2011:QER%
		}.
\NAMECITE{Depth}{%
		Xu:2022:MSC,%
		Sayar:2023:DSJ,%
		Zhou:2014:DSP%
		}.
\NAMECITE{Derive}{%
		Yue:2015:AAF,%
		Xie:2008:UPS%
		}.
\NAMECITE{derived}{%
		Inverardi:2000:SCS%
		}.
\NAMECITE{Description}{%
		Bjorner:2019:DAD,%
		Dashofy:2005:CAD,%
		Devanbu:1997:UDL%
		}.
\NAMECITE{Descriptions}{%
		Guo:2022:DAM,%
		Jiang:2019:RNF,%
		Abowd:1995:FSU,%
		Breaux:2008:SPP,%
		Whittle:2010:SHS%
		}.
\NAMECITE{descriptors}{%
		Duala-Ekoko:2010:CRD%
		}.
\NAMECITE{{DESEN}}{%
		Kafali:2020:DSS%
		}.
\NAMECITE{Deserialization}{%
		Sayar:2023:DSJ%
		}.
\NAMECITE{{Desert}}{%
		Reiss:1999:DE%
		}.
\NAMECITE{Design}{%
		Abidi:2021:MLD,%
		Ahmadjee:2022:SBA,%
		Brogi:2010:DIS,%
		Chen:2020:WBU,%
		Ebnenasir:2011:FSD,%
		Lee:2023:EPS,%
		Liu:2022:AOD,%
		Lucia:2018:DBD,%
		Mattsson:2012:AMA,%
		Scanniello:2015:DDP,%
		Baresi:2007:TES,%
		Batory:1992:DIH,%
		Berstel:2005:SFM,%
		Briand:2014:TSD,%
		Counsell:2006:IUT,%
		Creveuil:1994:FSD,%
		Falessi:2013:VDR,%
		Felder:2002:FDN,%
		Gamatie:2007:PDE,%
		Louridas:2000:GMR,%
		Moser:1997:GED,%
		Rajan:2009:UAO,%
		Sinha:2006:HMB,%
		Snook:2006:UBF,%
		Sullivan:2010:MAO,%
		Young:1995:CAT,%
		Zhu:2013:ADP%
		}.
\NAMECITE{Design-Pattern}{%
		Scanniello:2015:DDP%
		}.
\NAMECITE{Designers}{%
		Czepa:2019:HUP%
		}.
\NAMECITE{Designing}{%
		Bonifati:2001:DDM,%
		Dehlinger:2011:GPP,%
		Xie:2007:DCA,%
		Coen-Porisini:2003:FAD%
		}.
\NAMECITE{designs}{%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{Destruct}{%
		Chen:2022:WDS%
		}.
\NAMECITE{Detecting}{%
		Arnold:2011:QER,%
		Cheng:2021:DSD,%
		Guo:2022:DAM,%
		Lucia:2018:DBD,%
		Monperrus:2013:DMM,%
		Wang:2020:KDI,%
		Yu:2022:AIE,%
		Zhang:2013:CDC,%
		Jackson:1995:ADB,%
		Le:2013:MDF%
		}.
\NAMECITE{Detection}{%
		Cai:2020:AIM,%
		Calefato:2022:UPD,%
		Chen:2021:EPS,%
		Ellis:2019:RFD,%
		Garcia:2018:LOR,%
		Jain:2022:BRD,%
		Li:2014:RIP,%
		Maddila:2022:CCE,%
		Moller:2014:ADC,%
		Nikanjam:2022:AFD,%
		Radoi:2015:ETS,%
		Ren:2019:NNB,%
		Sahin:2014:CSD,%
		Uddin:2022:ESE,%
		Wu:2022:TTI,%
		Xu:2014:SRB,%
		Xu:2023:LLI,%
		Yin:2023:SEV,%
		Zeil:1992:DLE,%
		Zhang:2022:TRD,%
		Zhao:2021:ISD,%
		Zou:2021:IAM,%
		Felty:2003:FSA,%
		Kuhn:1999:FCE,%
		Schneider:1992:ESF,%
		Tsuchiya:2002:FCE,%
		Xu:2013:PML%
		}.
\NAMECITE{Detector}{%
		Zou:2021:IDL%
		}.
\NAMECITE{determination}{%
		Offutt:1996:EDS%
		}.
\NAMECITE{deterministic}{%
		Hierons:2017:PAG%
		}.
\NAMECITE{Developer}{%
		Bernaschina:2019:VDI,%
		Chatterjee:2021:AIQ,%
		Chen:2021:EPS,%
		Ehsan:2021:ESD,%
		Kapur:2022:OEE,%
		Sharafi:2021:TOM,%
		Wang:2020:UED,%
		Conboy:2010:MDC,%
		Fritz:2014:DKM,%
		Singh:2010:SWE%
		}.
\NAMECITE{Developers}{%
		Cogo:2023:AAB,%
		Ford:2022:TTC,%
		Pantiuchina:2020:WDR,%
		Pantiuchina:2022:WDD,%
		Yang:2022:DDR,%
		Zhang:2021:CSO%
		}.
\NAMECITE{Developing}{%
		Henkel:2008:DDA,%
		Tramontana:2019:DEO,%
		Zambonelli:2003:DMS,%
		Zarir:2021:DCE,%
		Miles:2011:PMD%
		}.
\NAMECITE{Development}{%
		Bernaschina:2019:VDI,%
		Bock:2022:MMG,%
		Czekster:2016:SPA,%
		Guerriero:2021:SMD,%
		Lano:2022:MTD,%
		Lin:2022:OMS,%
		Maddila:2022:CCE,%
		Murukannaiah:2015:PAL,%
		Tamasauskaite:2023:DKG,%
		Zheng:2018:MAI,%
		Anvik:2011:REB,%
		Dashofy:2005:CAD,%
		Emmerich:2008:IRD,%
		Engels:1992:BIS,%
		Gruschke:2008:ROF,%
		Kaiser:1993:PDI,%
		Mockus:2002:TCS,%
		Perry:2001:PCL,%
		Sinnig:2013:UCT,%
		Tiwana:2008:ICD%
		}.
\NAMECITE{development-oriented}{%
		Anvik:2011:REB%
		}.
\NAMECITE{deviations}{%
		Cugola:1996:FFI%
		}.
\NAMECITE{diagnosis}{%
		Naish:2011:MSB%
		}.
\NAMECITE{diagram}{%
		Baresi:2005:FID%
		}.
\NAMECITE{Diagrams}{%
		Altoyan:2023:PCR,%
		Balaban:2013:FSU,%
		Egyed:2002:AAC,%
		Eshuis:2006:SMC,%
		Lu:2014:RBS%
		}.
\NAMECITE{{DiaPro}}{%
		Cai:2016:DUD%
		}.
\NAMECITE{Differ}{%
		Joblin:2022:HDS%
		}.
\NAMECITE{Differential}{%
		Machado:2016:CDD,%
		Nie:2023:CDD,%
		Tian:2019:DTC%
		}.
\NAMECITE{{DIG}}{%
		Nguyen:2014:DDI%
		}.
\NAMECITE{Digraphs}{%
		Emam:2015:TCP%
		}.
\NAMECITE{Dijkstra}{%
		Anonymous:2002:OOJ%
		}.
\NAMECITE{{DIRE}}{%
		Dramko:2023:DDN%
		}.
\NAMECITE{Directed}{%
		Sun:2023:FDM,%
		Yang:2014:DIS,%
		Nie:2023:CDD%
		}.
\NAMECITE{discipline}{%
		Klint:2005:TED%
		}.
\NAMECITE{Discovering}{%
		Cook:1998:DMS,%
		Gandhi:2011:DMC%
		}.
\NAMECITE{Discovery}{%
		Bohme:2018:SST,%
		Santhiar:2014:MUT,%
		Ganesan:2014:AED%
		}.
\NAMECITE{discrete}{%
		Ostroff:1999:CRD%
		}.
\NAMECITE{Discussions}{%
		Ehsan:2021:ESD%
		}.
\NAMECITE{Dissecting}{%
		Fioraldi:2023:DAFa,%
		Fioraldi:2023:DAFb%
		}.
\NAMECITE{Distinguishing}{%
		Hierons:2017:PAG%
		}.
\NAMECITE{Distributed}{%
		Beschastnikh:2020:VDS,%
		DiStefano:2022:VDS,%
		Fu:2021:SSC,%
		Guerriero:2021:SMD,%
		Hierons:2014:CCD,%
		Tilevich:2011:EEP,%
		Wang:1993:DRT,%
		Kaiser:1993:PDI,%
		Minsky:2000:LGI%
		}.
\NAMECITE{Distribution}{%
		Hu:2022:ESD,%
		Tilevich:2009:JOE%
		}.
\NAMECITE{Distribution-Aware}{%
		Hu:2022:ESD%
		}.
\NAMECITE{Diversifying}{%
		Menendez:2021:DFT%
		}.
\NAMECITE{diversity}{%
		Hemmati:2013:ASM%
		}.
\NAMECITE{Do}{%
		Ceccato:2015:DAG,%
		Chen:2022:WDS,%
		Joblin:2022:HDS,%
		Liu:2014:DWN,%
		Pantiuchina:2022:WDD,%
		Sim:2011:HWD,%
		Yang:2022:DDR,%
		Cobleigh:2008:BHD%
		}.
\NAMECITE{Documentation}{%
		Cogo:2023:AAB,%
		Hu:2022:CAH,%
		Uddin:2021:AAU,%
		Trammell:1992:APC%
		}.
\NAMECITE{Documenting}{%
		Scanniello:2015:DDP%
		}.
\NAMECITE{documents}{%
		Schneider:1992:ESF%
		}.
\NAMECITE{Does}{%
		Chen:2021:WMC,%
		Fraser:2015:DAU%
		}.
\NAMECITE{Domain}{%
		Arora:2019:ALA,%
		Bjorner:2019:DAD,%
		Burgueno:2023:DBU,%
		Huang:2008:DSL,%
		Zhang:2014:ATV,%
		Batory:2002:AET,%
		Breaux:2008:SPP,%
		Hierons:2009:VFT,%
		Jeng:1994:SDT,%
		Sinha:2006:HMB,%
		Zeil:1992:DLE%
		}.
\NAMECITE{Domain-specific}{%
		Huang:2008:DSL,%
		Batory:2002:AET,%
		Sinha:2006:HMB%
		}.
\NAMECITE{domain-testing}{%
		Jeng:1994:SDT%
		}.
\NAMECITE{domains}{%
		Hierons:2002:CTS%
		}.
\NAMECITE{Dormant}{%
		Falessi:2022:IDD%
		}.
\NAMECITE{Double}{%
		Forgacs:1994:DIF%
		}.
\NAMECITE{Driven}{%
		Chen:2018:FFG,%
		DeLara:2017:PTM,%
		Polyvyanyy:2017:IDP,%
		Basin:2006:MDS,%
		Ganesan:2014:AED,%
		Guerriero:2021:SMD,%
		Khanfir:2023:IBR,%
		Ngo:2022:ACE%
		}.
\NAMECITE{driving}{%
		Birchler:2023:SMO%
		}.
\NAMECITE{{DSD}}{%
		Csallner:2008:DCH%
		}.
\NAMECITE{{DSD-Crasher}}{%
		Csallner:2008:DCH%
		}.
\NAMECITE{Duplicate}{%
		Wang:2020:IIC%
		}.
\NAMECITE{Duplication}{%
		Zhao:2021:ISD,%
		Duala-Ekoko:2010:CRD%
		}.
\NAMECITE{during}{%
		Ford:2022:TTC%
		}.
\NAMECITE{{DynAlloy}}{%
		Frias:2007:EAD%
		}.
\NAMECITE{Dynamic}{%
		Cai:2016:DUD,%
		Fu:2021:SSC,%
		Hough:2022:PAD,%
		Kim:2019:PLR,%
		Lucia:2018:DBD,%
		Nguyen:2014:DDI,%
		Palepu:2017:DDS,%
		Polyvyanyy:2020:MPR,%
		Xu:2014:SRB,%
		Chen:2011:TDB,%
		Dyer:2010:SDA,%
		Fong:2000:PLM,%
		Frias:2005:RAS,%
		Gupta:1997:HSI,%
		Payton:2010:SSA%
		}.
\NAMECITE{dynamically}{%
		Wassermann:2007:SCD%
		}.
\NAMECITE{Dynamics}{%
		Bock:2022:MMG,%
		Khatoonabadi:2023:WCU%
		}.
\NAMECITE{{Dynamite}}{%
		Moscato:2014:DTV%
		}.


\NAMECITE{{E3}}{%
		Jaccheri:1998:ESP%
		}.
\NAMECITE{{Eagle}}{%
		Lu:2021:ECR%
		}.
\NAMECITE{Early}{%
		Karanikolas:2017:EEI%
		}.
\NAMECITE{Easier}{%
		Ceccato:2015:DAG%
		}.
\NAMECITE{Easy}{%
		Zhang:2021:CSO%
		}.
\NAMECITE{Ecosystems}{%
		Bogart:2021:WHM%
		}.
\NAMECITE{Edit}{%
		Maddila:2022:CCE%
		}.
\NAMECITE{editing}{%
		Ballance:1992:PLB%
		}.
\NAMECITE{{Editor}}{%
		Pezze:2019:EIE,%
		Rosenblum:2019:FEO%
		}.
\NAMECITE{{Editor-in-Chief}}{%
		Pezze:2019:EIE,%
		Rosenblum:2019:FEO%
		}.
\NAMECITE{Editorial}{%
		Dwyer:2015:EJF,%
		Ghezzi:2003:E,%
		Ghezzi:2005:E,%
		Ghezzi:2007:E,%
		Notkin:2007:Ea,%
		Notkin:2007:Eb,%
		Notkin:2007:Ec,%
		Notkin:2008:Ea,%
		Notkin:2008:Eb,%
		Notkin:2009:E,%
		Notkin:2010:E,%
		Notkin:2012:E,%
		Notkin:2013:ELB,%
		Osterweil:2005:E,%
		Pezze:2019:EIE,%
		Pezze:2019:Ea,%
		Pezze:2019:Eb,%
		Pezze:2019:Ec,%
		Pezze:2020:Ea,%
		Pezze:2020:Eb,%
		Pezze:2021:E,%
		Pezze:2022:ERP,%
		Rosenblum:2013:ELF,%
		Rosenblum:2014:E,%
		Rosenblum:2014:Ea,%
		Rosenblum:2014:Eb,%
		Rosenblum:2016:E,%
		Rosenblum:2017:E,%
		Rosenblum:2018:Ea,%
		Rosenblum:2018:Eb,%
		Rosenblum:2019:FEO,%
		Pezze:2023:EAS%
		}.
\NAMECITE{Edsger}{%
		Anonymous:2002:OOJ%
		}.
\NAMECITE{Effect}{%
		Gay:2016:EPM,%
		Hall:2014:SCS,%
		Ricca:2014:AES,%
		Zhang:2013:CDC,%
		Offutt:1992:IST,%
		Singh:2010:SWE,%
		Zhou:2014:DSP%
		}.
\NAMECITE{Effect-Oriented}{%
		Zhang:2013:CDC%
		}.
\NAMECITE{Effective}{%
		Fink:2008:ETV,%
		Radoi:2015:ETS,%
		Zarir:2021:DCE,%
		Zohdinasab:2023:EEF,%
		Conboy:2010:MDC,%
		Fu:2021:SSC,%
		Henninger:1997:EAC,%
		Ngo:2022:ACE,%
		Rothermel:2004:TSC%
		}.
\NAMECITE{Effectiveness}{%
		Cai:2016:DUD,%
		Ceccato:2015:DAG,%
		Gay:2016:EPM,%
		Mcminn:2015:ETC,%
		Ore:2021:EST,%
		Uddin:2022:ESE,%
		Chen:2008:UBS%
		}.
\NAMECITE{Efficiency}{%
		Ceccato:2015:DAG,%
		Liang:2002:EAA%
		}.
\NAMECITE{Efficient}{%
		Antonino:2019:EVC,%
		Arnold:2011:QER,%
		Chen:2020:PAE,%
		Frias:2007:EAD,%
		He:2023:TAE,%
		Snelting:2006:EPC,%
		Zohdinasab:2023:EEF,%
		Zou:2022:BSP,%
		Zuo:2023:TME,%
		deFrancesco:2014:GTE,%
		Rothermel:1997:SER%
		}.
\NAMECITE{Efficiently}{%
		Dehlinger:2011:GPP%
		}.
\NAMECITE{Effort}{%
		Kapur:2022:OEE,%
		Sarro:2018:LPB,%
		Song:2019:SEI,%
		Whigham:2015:BMS,%
		Anvik:2011:REB,%
		Baresi:2007:TES,%
		Gruschke:2008:ROF,%
		Minku:2013:SEE%
		}.
\NAMECITE{elaboration}{%
		Uchitel:2004:IES%
		}.
\NAMECITE{Eliciting}{%
		Jaccheri:1998:ESP%
		}.
\NAMECITE{Elite}{%
		Wang:2020:UED%
		}.
\NAMECITE{Embedded}{%
		Behjati:2014:ALC,%
		Mattsson:2012:AMA,%
		Gamatie:2007:PDE%
		}.
\NAMECITE{Embedding}{%
		Lin:2022:CAC,%
		Zeng:2023:DEV%
		}.
\NAMECITE{Embeddings}{%
		Ding:2023:TLG,%
		Ebrahimi:2022:CMA%
		}.
\NAMECITE{Emergent}{%
		Layman:2014:MER%
		}.
\NAMECITE{Emoji}{%
		Chen:2021:EPS%
		}.
\NAMECITE{Emoji-powered}{%
		Chen:2021:EPS%
		}.
\NAMECITE{Emotion}{%
		Chen:2021:EPS%
		}.
\NAMECITE{Empirical}{%
		Abidi:2021:MLD,%
		Ali:2020:QIS,%
		Chen:2020:HCT,%
		Ehsan:2021:ESD,%
		Fraser:2015:DAU,%
		Furia:2022:ABA,%
		Guo:2021:HFW,%
		Hu:2022:ESD,%
		Liao:2022:ESI,%
		Lyu:2021:ESI,%
		McMinn:2009:EEN,%
		Ore:2021:EST,%
		Razzaq:2019:SEE,%
		Tufano:2019:ESL,%
		Uddin:2022:ESE,%
		VonRhein:2018:VAS,%
		Yoo:2017:HCG,%
		Zhang:2018:ESM,%
		Baresi:2007:TES,%
		Binkley:2007:ESS,%
		Graves:2001:ESR,%
		Hunt:1998:ADA,%
		Hunt:1998:DAE,%
		Meyers:2007:ESS,%
		Mohagheghi:2008:EIS,%
		Murphy:1998:ESS,%
		Sommerville:2005:ESI,%
		Tiwana:2008:ICD%
		}.
\NAMECITE{Emulation}{%
		DiStefano:2022:VDS%
		}.
\NAMECITE{emulators}{%
		Martignoni:2013:MTC%
		}.
\NAMECITE{enabled}{%
		Venkatasubramanian:2004:FMR%
		}.
\NAMECITE{Enabledness}{%
		DeCaso:2013:EBP,%
		Godoy:2021:EBT%
		}.
\NAMECITE{Enabledness-based}{%
		DeCaso:2013:EBP,%
		Godoy:2021:EBT%
		}.
\NAMECITE{End}{%
		Zhao:2022:RAE,%
		Devanbu:1999:GCF,%
		Lizcano:2013:WCA%
		}.
\NAMECITE{End-to-End}{%
		Zhao:2022:RAE%
		}.
\NAMECITE{end-user}{%
		Lizcano:2013:WCA%
		}.
\NAMECITE{Energy}{%
		Li:2023:CEI,%
		Linares-Vasquez:2018:MOO%
		}.
\NAMECITE{Engineer}{%
		Weyns:2023:AFF%
		}.
\NAMECITE{Engineering}{%
		Ali:2020:QIS,%
		Calefato:2022:UPD,%
		Chen:2023:WCH,%
		DeLara:2017:PTM,%
		Dehlinger:2011:GPP,%
		Dwyer:2015:EJF,%
		Furia:2022:ABA,%
		Graziotin:2022:PBS,%
		Liu:2022:RRD,%
		Martinez-Fernandez:2022:SEA,%
		Mills:2017:PQQ,%
		Murphy:2014:ISI,%
		Ouni:2016:MCC,%
		Sharma:2018:RWF,%
		Stol:2018:ASE,%
		Uddin:2022:ESE,%
		Wagner:2019:SQR,%
		Watson:2022:SLR,%
		Yang:2022:PMS,%
		Ambriola:1997:APC,%
		Costagliola:2004:FMI,%
		Estublier:2005:ISE,%
		Klint:2005:TED,%
		Lizcano:2013:WCA,%
		Ryder:2005:ISE,%
		Sommerville:2005:ESI,%
		Trammell:1992:APC,%
		Unterkalmsteiner:2014:TRE,%
		Xue:2020:MOI,%
		Zave:1997:FDC%
		}.
\NAMECITE{engineers}{%
		Hall:2009:SRT%
		}.
\NAMECITE{Engines}{%
		Sim:2011:HWD%
		}.
\NAMECITE{Enhanced}{%
		Yin:2023:SEV,%
		Sinha:2006:HMB%
		}.
\NAMECITE{Enhancement}{%
		Hu:2022:ESD,%
		Zhang:2022:TRD%
		}.
\NAMECITE{Enhancing}{%
		Arcuri:2022:ESB,%
		Tilevich:2009:JOE%
		}.
\NAMECITE{Enough}{%
		Candela:2016:UCC%
		}.
\NAMECITE{Ensemble}{%
		Uddin:2022:ESE%
		}.
\NAMECITE{Ensuring}{%
		Sadeghi:2017:ECA%
		}.
\NAMECITE{Entry}{%
		Belgacem:2023:MLA%
		}.
\NAMECITE{environment}{%
		Adams:1994:CSR,%
		Brett:1995:CCS,%
		Ferrari:2003:MCV,%
		Klint:1993:MEG,%
		Moser:1997:GED,%
		Reiss:1999:DE,%
		Roshandel:2004:MSM,%
		Sullivan:1992:REI,%
		Tyszberowicz:1992:OPL%
		}.
\NAMECITE{Environments}{%
		Birchler:2023:SMO,%
		Ambriola:1997:APC,%
		Doppke:1998:SPM,%
		Engels:1992:BIS,%
		Kaiser:1993:PDI,%
		Klint:1993:MEG,%
		Marin:2013:UFS,%
		Payton:2010:SSA,%
		Pohl:1999:PTP%
		}.
\NAMECITE{equations}{%
		Beauvais:2001:MSA,%
		Kiezun:2012:HSW%
		}.
\NAMECITE{Equivalence}{%
		Liang:2002:EAA,%
		Mechtaev:2018:TEA,%
		Durante:2003:ATE%
		}.
\NAMECITE{Equivalent}{%
		Li:2014:SSA%
		}.
\NAMECITE{Errata}{%
		Allen:1998:EFB%
		}.
\NAMECITE{error}{%
		Kuhn:1999:FCE,%
		Tsuchiya:2002:FCE%
		}.
\NAMECITE{errors}{%
		Tip:2001:SBA,%
		Zeil:1992:DLE%
		}.
\NAMECITE{{ESP}}{%
		Ciancarini:1993:CRB%
		}.
\NAMECITE{Essential}{%
		Sun:2021:TRE%
		}.
\NAMECITE{estimates}{%
		Gruschke:2008:ROF%
		}.
\NAMECITE{Estimating}{%
		Lee:2023:EPS,%
		Mahmoud:2015:ESR,%
		Pavese:2016:LME,%
		Baresi:2007:TES%
		}.
\NAMECITE{Estimation}{%
		Chen:2020:PAE,%
		Kapur:2022:OEE,%
		Podgurski:1999:ESR,%
		Sarro:2018:LPB,%
		Whigham:2015:BMS,%
		Zhang:2022:TRD,%
		Minku:2013:SEE,%
		Tan:2009:CDM%
		}.
\NAMECITE{Estimator}{%
		Kapur:2020:DES%
		}.
\NAMECITE{{Ethereum}}{%
		Chen:2022:WDS,%
		Wu:2022:TTI,%
		Zarir:2021:DCE%
		}.
\NAMECITE{evaluate}{%
		Marin:2013:UFS%
		}.
\NAMECITE{Evaluating}{%
		Kim:2023:ESA,%
		Lhotak:2008:EBC,%
		Tramontana:2019:DEO,%
		Wursch:2013:EQF%
		}.
\NAMECITE{Evaluation}{%
		Ali:2020:QIS,%
		Fioraldi:2023:DAFa,%
		Fioraldi:2023:DAFb,%
		Fraser:2014:LSE,%
		Hu:2022:CAH,%
		Karanikolas:2017:EEI,%
		Murukannaiah:2015:PAL,%
		Razzaq:2019:SEE,%
		Sobhy:2021:ESA,%
		Sobhy:2022:CPS,%
		Yu:2022:AIE,%
		Zhang:2022:MRE,%
		Cobleigh:2008:BHD,%
		Duri:1994:AEE,%
		Kaiser:1993:PDI,%
		McMinn:2009:EEN,%
		Xie:2013:TAR%
		}.
\NAMECITE{evaluations}{%
		Strecker:2012:ADC%
		}.
\NAMECITE{Event}{%
		Alimadadi:2016:UJE,%
		Barrett:1996:FEB,%
		Cook:1998:DMS,%
		Dippolito:2013:SNE,%
		Memon:2008:ARE%
		}.
\NAMECITE{Event-Based}{%
		Alimadadi:2016:UJE,%
		Barrett:1996:FEB,%
		Cook:1998:DMS,%
		Dippolito:2013:SNE%
		}.
\NAMECITE{every}{%
		Liu:2014:DWN%
		}.
\NAMECITE{Evolution}{%
		Cai:2020:AIM,%
		Dagenais:2011:RAC,%
		Dilhara:2021:USS,%
		Ojdanic:2023:MTE,%
		Lin:2023:CEW,%
		Robillard:2003:SAS,%
		Roshandel:2004:MSM,%
		Sullivan:1992:REI,%
		Thiran:2006:WBE,%
		Wursch:2013:EQF%
		}.
\NAMECITE{Evolutionary}{%
		Hierons:2016:SOP,%
		Yuan:2020:TBE,%
		Henninger:1997:EAC,%
		McMinn:2009:EEN%
		}.
\NAMECITE{evolvability}{%
		Cai:2012:FMA%
		}.
\NAMECITE{Evolving}{%
		Ojdanic:2023:MTE,%
		Desai:2009:AMM,%
		Qi:2012:DAD%
		}.
\NAMECITE{{EvoMaster}}{%
		Arcuri:2019:RAA,%
		Zhang:2022:AHS%
		}.
\NAMECITE{{EvoSuite}}{%
		Fraser:2014:LSE%
		}.
\NAMECITE{Exact}{%
		Harman:2014:ESS%
		}.
\NAMECITE{Examination}{%
		Zhou:2018:HFW%
		}.
\NAMECITE{Examining}{%
		Meyers:2022:EPT%
		}.
\NAMECITE{Example}{%
		Lano:2022:MTD%
		}.
\NAMECITE{Examples}{%
		Baki:2016:MSL%
		}.
\NAMECITE{Exception}{%
		Chang:2013:EHH,%
		Zhang:2014:ATV,%
		Robillard:2003:SAS%
		}.
\NAMECITE{Executables}{%
		Anand:2016:SMA%
		}.
\NAMECITE{Execution}{%
		Chekam:2021:KSM,%
		Kuchta:2018:SSE,%
		Sayar:2023:DSJ,%
		Traini:2022:HSR,%
		Wang:2020:KDI,%
		Yang:2014:DIS,%
		Akgul:2004:AIL,%
		Dillon:1993:VEM,%
		Doppke:1998:SPM,%
		Siegel:2008:CSE%
		}.
\NAMECITE{Executions}{%
		Beschastnikh:2020:VDS,%
		Emam:2018:IEP,%
		Polyvyanyy:2020:MPR%
		}.
\NAMECITE{Existing}{%
		Arcuri:2022:ESB%
		}.
\NAMECITE{experience}{%
		Ciapessoni:1999:FMF,%
		Young:1995:CAT%
		}.
\NAMECITE{Experiment}{%
		Oni:2022:AUR,%
		Paulweber:2021:SIT,%
		Briand:2014:TSD%
		}.
\NAMECITE{Experimental}{%
		Ceccato:2015:DAG,%
		DeMillo:1993:ERA,%
		Duri:1994:AEE,%
		Offutt:1996:EDS,%
		Schneider:1992:ESF%
		}.
\NAMECITE{Experiments}{%
		Scanniello:2015:DDP,%
		Hamlet:2009:TES,%
		Yue:2013:FTU%
		}.
\NAMECITE{expert}{%
		Conboy:2010:MDC,%
		Kiper:1992:STR%
		}.
\NAMECITE{Explainability}{%
		Ren:2019:NNB%
		}.
\NAMECITE{Explicit}{%
		Bauch:2016:CED%
		}.
\NAMECITE{Explicit-Data}{%
		Bauch:2016:CED%
		}.
\NAMECITE{Exploiting}{%
		Carzaniga:2015:AWE%
		}.
\NAMECITE{Exploits}{%
		Sayar:2023:DSJ%
		}.
\NAMECITE{Exploration}{%
		Chen:2022:BCT,%
		Zohdinasab:2023:EEF,%
		Qi:2013:PEB%
		}.
\NAMECITE{Explorations}{%
		Pavese:2016:LME%
		}.
\NAMECITE{Exploratory}{%
		Tao:2021:SDM%
		}.
\NAMECITE{Exploring}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{Exposing}{%
		Layman:2014:MER%
		}.
\NAMECITE{expressions}{%
		Kiezun:2012:HSW%
		}.
\NAMECITE{Expressive}{%
		Tilevich:2011:EEP,%
		Bauer:2009:CER,%
		Whittle:2010:SHS%
		}.
\NAMECITE{Extended}{%
		Emam:2015:TCP,%
		Emam:2018:IEP,%
		Zhang:2014:ATV,%
		Lau:2005:EFC%
		}.
\NAMECITE{extensibility}{%
		Batory:2002:AET%
		}.
\NAMECITE{Extensible}{%
		Tilevich:2011:EEP%
		}.
\NAMECITE{External}{%
		Ganesan:2014:AED%
		}.
\NAMECITE{Extracting}{%
		Ko:2010:EAW%
		}.
\NAMECITE{Extraction}{%
		Arora:2019:ALA,%
		Bao:2020:PDC,%
		Gao:2021:BTP,%
		Murphy:1996:LLS%
		}.
\NAMECITE{extractors}{%
		Murphy:1998:ESS%
		}.


\NAMECITE{Facet}{%
		Lara:2021:FOM%
		}.
\NAMECITE{Facet-oriented}{%
		Lara:2021:FOM%
		}.
\NAMECITE{faceted}{%
		Damiani:1999:CHA,%
		Damiani:1999:HAA%
		}.
\NAMECITE{Facilitating}{%
		Reuling:2019:AWP,%
		Yue:2013:FTU%
		}.
\NAMECITE{factors}{%
		Stol:2014:KFA%
		}.
\NAMECITE{factory}{%
		Basili:1992:RAC,%
		Fuggetta:1998:AGI%
		}.
\NAMECITE{Failed}{%
		Joblin:2022:HDS%
		}.
\NAMECITE{Failing}{%
		Tian:2022:PPC%
		}.
\NAMECITE{Failure}{%
		Nie:2011:MFC,%
		Weyuker:1996:UFC%
		}.
\NAMECITE{Failure-Causing}{%
		Nie:2011:MFC%
		}.
\NAMECITE{Failures}{%
		Jin:2015:ASR,%
		Li:2020:PNF%
		}.
\NAMECITE{Fairness}{%
		Wang:2022:CFA%
		}.
\NAMECITE{Fairness-Aware}{%
		Wang:2022:CFA%
		}.
\NAMECITE{families}{%
		Bernardo:2002:AFS%
		}.
\NAMECITE{Family}{%
		Garcia:2018:LOR,%
		Reuling:2019:AWP,%
		Scanniello:2015:DDP,%
		Wagner:2019:SQR%
		}.
\NAMECITE{Family-based}{%
		Reuling:2019:AWP%
		}.
\NAMECITE{Fan}{%
		Marin:2007:ICC%
		}.
\NAMECITE{Fan-In}{%
		Marin:2007:ICC%
		}.
\NAMECITE{Far}{%
		Calefato:2022:UPD,%
		Guo:2021:HFW,%
		Zhou:2018:HFW%
		}.
\NAMECITE{Farewell}{%
		Rosenblum:2019:FEO%
		}.
\NAMECITE{Fault}{%
		Abidi:2021:MLD,%
		Ellis:2019:RFD,%
		Khanfir:2023:IBR,%
		Kim:2019:PLR,%
		Kuhn:1999:FCE,%
		Nikanjam:2022:AFD,%
		Troya:2018:SBF,%
		Yoo:2013:FLP,%
		Yoo:2017:HCG,%
		Chen:2011:RFC,%
		Hierons:2002:CTS,%
		Hierons:2009:VFT,%
		Kapoor:2007:TCF,%
		Lau:2005:EFC,%
		Masri:2014:PCC,%
		Schneider:1992:ESF,%
		Tsuchiya:2002:FCE,%
		Xie:2013:TAR,%
		Zhou:2014:DSP%
		}.
\NAMECITE{Fault-Prone}{%
		Abidi:2021:MLD%
		}.
\NAMECITE{Faults}{%
		Hall:2014:SCS,%
		Marculescu:2022:FFR,%
		Scanniello:2017:FFC,%
		Le:2013:MDF%
		}.
\NAMECITE{Faulty}{%
		Safdar:2021:RFC%
		}.
\NAMECITE{Feasibility}{%
		Ebnenasir:2011:FSD%
		}.
\NAMECITE{Feature}{%
		Ardito:2022:FMB,%
		Chen:2018:FFG,%
		Felty:2003:FSA,%
		Hierons:2016:SOP,%
		Razzaq:2019:SEE,%
		Williams:2022:GFI,%
		Zohdinasab:2023:EEF,%
		Zeller:1997:UVT,%
		Zhao:2006:STS%
		}.
\NAMECITE{Feature-Guided}{%
		Chen:2018:FFG%
		}.
\NAMECITE{Features}{%
		Jiang:2019:RNF,%
		Kapur:2022:OEE,%
		Kim:2019:PLR,%
		Dyer:2010:SDA,%
		Zave:2004:ATT%
		}.
\NAMECITE{Feedback}{%
		Sun:2023:FDM,%
		Gruschke:2008:ROF%
		}.
\NAMECITE{Feedback-Directed}{%
		Sun:2023:FDM%
		}.
\NAMECITE{{FEMOSAA}}{%
		Chen:2018:FFG%
		}.
\NAMECITE{Field}{%
		DiNardo:2017:AFD,%
		Jin:2015:ASR%
		}.
\NAMECITE{Fields}{%
		Belgacem:2023:MLA%
		}.
\NAMECITE{Filling}{%
		Belgacem:2023:MLA%
		}.
\NAMECITE{finding}{%
		Csallner:2008:DCH%
		}.
\NAMECITE{Fine}{%
		Pilgun:2020:FGC,%
		Bible:2001:CSC,%
		Demsky:2013:VSF%
		}.
\NAMECITE{Fine-grained}{%
		Pilgun:2020:FGC,%
		Bible:2001:CSC,%
		Demsky:2013:VSF%
		}.
\NAMECITE{Finite}{%
		Balaban:2013:FSU,%
		DeGiacomo:2022:MCM,%
		Emam:2018:IEP,%
		Corbett:2000:USA%
		}.
\NAMECITE{Finite-State}{%
		Emam:2018:IEP,%
		Corbett:2000:USA%
		}.
\NAMECITE{Firmware}{%
		Williams:2022:GFI%
		}.
\NAMECITE{First}{%
		Dwyer:2015:EJF%
		}.
\NAMECITE{Fixed}{%
		Oni:2022:AUR%
		}.
\NAMECITE{Fixed-Date}{%
		Oni:2022:AUR%
		}.
\NAMECITE{Fixing}{%
		Scanniello:2017:FFC,%
		Tufano:2019:ESL%
		}.
\NAMECITE{{FlagRemover}}{%
		Binkley:2011:FTT%
		}.
\NAMECITE{flags}{%
		Binkley:2011:FTT%
		}.
\NAMECITE{Flaky}{%
		Parry:2022:SFT%
		}.
\NAMECITE{Flexible}{%
		Nentwich:2003:FCC,%
		Bodden:2014:JPI%
		}.
\NAMECITE{Floating}{%
		Bagnara:2021:PAV%
		}.
\NAMECITE{Floating-Point}{%
		Bagnara:2021:PAV%
		}.
\NAMECITE{Flow}{%
		Chen:2021:LCF,%
		Dwyer:2004:FAV,%
		Zeng:2023:DEV,%
		Forgacs:1994:DIF,%
		Hough:2022:PAD%
		}.
\NAMECITE{flow-sensitive}{%
		Forgacs:1994:DIF%
		}.
\NAMECITE{flows}{%
		Masri:2009:MSI%
		}.
\NAMECITE{Focused}{%
		Menendez:2021:DFT%
		}.
\NAMECITE{{Fold2Vec}}{%
		Bertolotti:2023:FTS%
		}.
\NAMECITE{Follow}{%
		Sharma:2018:RWF%
		}.
\NAMECITE{Foraging}{%
		Fleming:2013:IFT%
		}.
\NAMECITE{Formal}{%
		Baresi:2005:FID,%
		Castro:2021:FFS,%
		Creveuil:1994:FSD,%
		Eldib:2014:FVS,%
		Gao:2021:HAF,%
		Riesco:2018:PII,%
		Yan:2020:AGS,%
		Allen:1997:FBA,%
		Allen:1998:EFB,%
		Berstel:2005:SFM,%
		Broy:2007:FMS,%
		Cai:2012:FMA,%
		Ciapessoni:1999:FMF,%
		Cimatti:2012:VRH,%
		Coen-Porisini:2003:FAD,%
		Felder:2002:FDN,%
		Mari:2014:MBS,%
		Poshyvanyk:2012:CLU,%
		Sinnig:2013:UCT,%
		Venkatasubramanian:2004:FMR,%
		Snook:2006:UBF%
		}.
\NAMECITE{Formalizing}{%
		Abowd:1995:FSU,%
		Crow:1998:FSS,%
		Baresi:1998:TFS,%
		Cugola:1996:FFI%
		}.
\NAMECITE{Formally}{%
		Weyns:2023:AFF,%
		Ciapessoni:1999:FMF%
		}.
\NAMECITE{formatters}{%
		vandenBrand:1996:GFC%
		}.
\NAMECITE{Formed}{%
		Taymouri:2020:CAW%
		}.
\NAMECITE{Forms}{%
		Belgacem:2023:MLA%
		}.
\NAMECITE{formulas}{%
		Xie:2013:TAR%
		}.
\NAMECITE{forward}{%
		Rosenblum:2013:ELF%
		}.
\NAMECITE{Found}{%
		Marculescu:2022:FFR%
		}.
\NAMECITE{Foundation}{%
		Xu:2023:SFC,%
		Sinnig:2013:UCT%
		}.
\NAMECITE{Foundations}{%
		Krishnamurthi:2007:FIA%
		}.
\NAMECITE{Founded}{%
		Weyns:2023:AFF%
		}.
\NAMECITE{Four}{%
		Zave:1997:FDC,%
		Crow:1998:FSS%
		}.
\NAMECITE{frames}{%
		Kramer:2004:CCM%
		}.
\NAMECITE{Framework}{%
		Anand:2016:SMA,%
		Castro:2021:FFS,%
		Dagenais:2011:RAC,%
		Kulkarni:2012:GPF,%
		Murukannaiah:2015:PAL,%
		Sworna:2023:AFA,%
		Wu:2022:TTI,%
		Xiong:2022:LFS,%
		Yue:2015:AAF,%
		Barrett:1996:FEB,%
		Costagliola:2004:FMI,%
		Cugola:1996:FFI,%
		Devanbu:1999:GCF,%
		Forgacs:1994:DIF,%
		Miller:2003:FTS,%
		Shonle:2012:FCR,%
		Wursch:2013:EQF%
		}.
\NAMECITE{Free}{%
		Rombaut:2023:TNS,%
		Kiezun:2012:HSW,%
		vandenBrand:1996:GFC%
		}.
\NAMECITE{Freedom}{%
		Attie:2018:GLD%
		}.
\NAMECITE{front}{%
		Devanbu:1999:GCF%
		}.
\NAMECITE{front-end-retargetable}{%
		Devanbu:1999:GCF%
		}.
\NAMECITE{{FSMs}}{%
		Hierons:2017:PAG%
		}.
\NAMECITE{Full}{%
		Scanniello:2017:FFC%
		}.
\NAMECITE{Full-Word}{%
		Scanniello:2017:FFC%
		}.
\NAMECITE{Function}{%
		Chen:2022:WDS%
		}.
\NAMECITE{Functional}{%
		Broy:1993:FST,%
		Gencel:2008:FSM,%
		Ricca:2014:AES,%
		Marin:2013:UFS%
		}.
\NAMECITE{Functions}{%
		Bagnara:2021:PAV,%
		Hierons:2009:VFT,%
		Mcmillan:2013:PSR,%
		VanDenBrand:2003:TRT%
		}.
\NAMECITE{{FuzzBench}}{%
		Fioraldi:2023:DAFa,%
		Fioraldi:2023:DAFb%
		}.
\NAMECITE{Fuzzing}{%
		Zhang:2023:FCPa,%
		Zhang:2023:FCPb%
		}.
\NAMECITE{Fuzzy}{%
		Fioraldi:2023:DAFa,%
		Fioraldi:2023:DAFb%
		}.


\NAMECITE{{Gaia}}{%
		Dehlinger:2011:GPP,%
		Zambonelli:2003:DMS%
		}.
\NAMECITE{{Gaia-PL}}{%
		Dehlinger:2011:GPP%
		}.
\NAMECITE{Gas}{%
		Zarir:2021:DCE%
		}.
\NAMECITE{general}{%
		Chen:2011:RFC%
		}.
\NAMECITE{Generalizable}{%
		Ding:2023:TLG%
		}.
\NAMECITE{Generated}{%
		Ceccato:2015:DAG,%
		Le:2013:MDF,%
		Wassermann:2007:SCD%
		}.
\NAMECITE{Generating}{%
		Azad:2017:GAC,%
		Devanbu:1996:GTA,%
		Gao:2020:GQT,%
		Hierons:2017:PAG,%
		Islam:2014:GTC,%
		Soltana:2020:PCS,%
		Yan:2020:AGS,%
		Klint:1993:MEG%
		}.
\NAMECITE{Generation}{%
		Arcuri:2019:RAA,%
		Arcuri:2020:HSD,%
		Bernaschina:2019:VDI,%
		Fraser:2014:LSE,%
		Fraser:2015:DAU,%
		Gao:2022:AAR,%
		Gong:2021:TDG,%
		Hierons:2020:MOT,%
		Holmes:2020:URL,%
		Hu:2022:CAH,%
		Marculescu:2022:FFR,%
		Mechtaev:2018:TEA,%
		Scalabrino:2021:ASB,%
		Wang:2021:CAR,%
		Xu:2022:ICG,%
		Zhang:2022:AHS,%
		Zhou:2022:ARD,%
		vandenBrand:1996:GFC,%
		Erwig:2005:SRS,%
		Ferguson:1996:CAS,%
		Fisher:2006:IAT,%
		Huang:2008:DSL,%
		Pan:2014:GTG%
		}.
\NAMECITE{Generative}{%
		Kulkarni:2012:GPF%
		}.
\NAMECITE{Generator}{%
		Nguyen:2014:DDI,%
		DeMillo:1993:ERA%
		}.
\NAMECITE{Generic}{%
		Chen:2020:HCT,%
		Louridas:2000:GMR%
		}.
\NAMECITE{Genetic}{%
		Alesio:2015:CGA,%
		Yoo:2017:HCG%
		}.
\NAMECITE{{GENOA}}{%
		Devanbu:1999:GCF%
		}.
\NAMECITE{{Git}}{%
		Yang:2022:DDR%
		}.
\NAMECITE{{Gitter}}{%
		Ehsan:2021:ESD%
		}.
\NAMECITE{Global}{%
		Attie:2018:GLD,%
		Czekster:2016:SPA,%
		Wagner:2019:SQR%
		}.
\NAMECITE{Go}{%
		Calefato:2022:UPD%
		}.
\NAMECITE{Goals}{%
		Bhatia:2016:MPG,%
		Dippolito:2013:SNE%
		}.
\NAMECITE{{Google}}{%
		Chen:2021:HSI%
		}.
\NAMECITE{governed}{%
		Minsky:2000:LGI%
		}.
\NAMECITE{{GQM}}{%
		Fuggetta:1998:AGI%
		}.
\NAMECITE{Graded}{%
		Banach:2023:GRR%
		}.
\NAMECITE{grained}{%
		Bible:2001:CSC,%
		Demsky:2013:VSF,%
		Pilgun:2020:FGC%
		}.
\NAMECITE{grammars}{%
		Kiezun:2012:HSW%
		}.
\NAMECITE{grammarware}{%
		Klint:2005:TED%
		}.
\NAMECITE{Graph}{%
		Ali:2015:TBC,%
		Cheng:2021:DSD,%
		Ding:2023:TLG,%
		Nikanjam:2022:AFD,%
		Pezze:1995:GMR,%
		Tamasauskaite:2023:DKG,%
		Zeng:2023:DEV,%
		Murphy:1998:ESS%
		}.
\NAMECITE{graphical}{%
		Dillon:1994:GIL,%
		Moser:1997:GED%
		}.
\NAMECITE{graphs}{%
		Snelting:2006:EPC%
		}.
\NAMECITE{{GreASE}}{%
		deFrancesco:2014:GTE%
		}.
\NAMECITE{Greenkeeper}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{Group}{%
		Bock:2022:MMG%
		}.
\NAMECITE{growth}{%
		Jalote:2008:PRR%
		}.
\NAMECITE{guarantee}{%
		Cobleigh:2008:BHD%
		}.
\NAMECITE{Guaranteeing}{%
		Andre:2022:GTO%
		}.
\NAMECITE{{GUI}}{%
		Ardito:2022:FMB,%
		Memon:2008:ARE,%
		Xie:2007:DCA,%
		Xie:2008:UPS%
		}.
\NAMECITE{{GUI}-based}{%
		Xie:2007:DCA%
		}.
\NAMECITE{Guide}{%
		Holmes:2020:URL%
		}.
\NAMECITE{Guided}{%
		Chen:2018:FFG,%
		Gao:2023:CSG,%
		Pan:2014:GTG,%
		Williams:2022:GFI,%
		Tian:2019:DTC%
		}.
\NAMECITE{Guidelines}{%
		Furia:2022:ABA,%
		Gligoric:2015:GCB,%
		Graziotin:2022:PBS%
		}.
\NAMECITE{{GUIs}}{%
		Linares-Vasquez:2018:MOO%
		}.


\NAMECITE{{HAMPI}}{%
		Kiezun:2012:HSW%
		}.
\NAMECITE{handle}{%
		Liu:2014:DWN%
		}.
\NAMECITE{handlers}{%
		Chang:2013:EHH%
		}.
\NAMECITE{Handling}{%
		Arcuri:2020:HSD,%
		Zhang:2014:ATV%
		}.
\NAMECITE{hard}{%
		Cobleigh:2008:BHD%
		}.
\NAMECITE{Harmful}{%
		Chen:2023:WCH%
		}.
\NAMECITE{{HCSP}}{%
		Yan:2020:AGS%
		}.
\NAMECITE{healing}{%
		Chang:2013:EHH%
		}.
\NAMECITE{Heap}{%
		Lauko:2022:VPS%
		}.
\NAMECITE{Help}{%
		Fraser:2015:DAU%
		}.
\NAMECITE{heterogeneous}{%
		Minsky:2000:LGI%
		}.
\NAMECITE{Heuristic}{%
		Zhang:2018:ESM,%
		Zou:2021:IDL%
		}.
\NAMECITE{Hidden}{%
		Sun:2023:DHS%
		}.
\NAMECITE{Hierarchical}{%
		Cheng:2023:HHI,%
		Yang:2016:HPP,%
		Batory:1992:DIH,%
		Sun:2013:MVH,%
		Whittle:2010:SHS%
		}.
\NAMECITE{hierarchies}{%
		Chen:2011:RFC%
		}.
\NAMECITE{hierarchy}{%
		Balaban:2013:FSU,%
		Damiani:1999:CHA,%
		Damiani:1999:HAA,%
		Lau:2005:EFC%
		}.
\NAMECITE{hierarchy-aware}{%
		Damiani:1999:CHA,%
		Damiani:1999:HAA%
		}.
\NAMECITE{high}{%
		Cohen:2003:AHQ%
		}.
\NAMECITE{high-quality}{%
		Cohen:2003:AHQ%
		}.
\NAMECITE{Higher}{%
		Gao:2021:HAF,%
		Lopes:2003:HOA,%
		Xu:2023:SFC%
		}.
\NAMECITE{Higher-Order}{%
		Gao:2021:HAF,%
		Lopes:2003:HOA,%
		Xu:2023:SFC%
		}.
\NAMECITE{Highly}{%
		Abal:2018:VBH%
		}.
\NAMECITE{{HINNPerf}}{%
		Cheng:2023:HHI%
		}.
\NAMECITE{{Hippodrome}}{%
		Costea:2023:HDR%
		}.
\NAMECITE{History}{%
		Azad:2017:GAC,%
		Ohrndorf:2021:HBM,%
		Felder:1994:VRT%
		}.
\NAMECITE{History-based}{%
		Ohrndorf:2021:HBM%
		}.
\NAMECITE{history-checking}{%
		Felder:1994:VRT%
		}.
\NAMECITE{Hoc}{%
		Chatterjee:2021:AIQ%
		}.
\NAMECITE{Holistic}{%
		Ferrando:2021:THA%
		}.
\NAMECITE{Home}{%
		Ford:2022:TTC%
		}.
\NAMECITE{hosts}{%
		Murphy:2006:LCM%
		}.
\NAMECITE{{HOTTest}}{%
		Sinha:2006:HMB%
		}.
\NAMECITE{Human}{%
		Hu:2022:CAH,%
		Siegmund:2021:MVH,%
		Yoo:2017:HCG,%
		Cugola:1996:FFI%
		}.
\NAMECITE{human-centered}{%
		Cugola:1996:FFI%
		}.
\NAMECITE{Hybrid}{%
		Gao:2021:HAF,%
		Gupta:1997:HSI,%
		Zhou:2016:IRO,%
		Cimatti:2012:VRH,%
		Csallner:2008:DCH%
		}.
\NAMECITE{Hybridized}{%
		Bhatia:2016:MPG%
		}.
\NAMECITE{Hyper}{%
		Zhang:2018:ESM%
		}.
\NAMECITE{Hyper-Heuristic}{%
		Zhang:2018:ESM%
		}.
\NAMECITE{Hypermutation}{%
		Zhang:2022:AHS%
		}.
\NAMECITE{Hyperparameter}{%
		Liao:2022:ESI%
		}.
\NAMECITE{hypotheses}{%
		Hierons:2002:CTS,%
		Hierons:2009:VFT%
		}.


\NAMECITE{{iBiR}}{%
		Khanfir:2023:IBR%
		}.
\NAMECITE{ICSE}{%
		Murphy:2014:ISI%
		}.
\NAMECITE{{IDE}}{%
		Xu:2022:ICG%
		}.
\NAMECITE{Identification}{%
		Garcia:2018:LOR,%
		Williams:2022:GFI,%
		Wu:2023:AIU,%
		Zhou:2022:SAI%
		}.
\NAMECITE{Identifier}{%
		Scanniello:2017:FFC%
		}.
\NAMECITE{Identify}{%
		Haas:2020:SAA%
		}.
\NAMECITE{Identifying}{%
		Chatterjee:2021:AIQ,%
		Guo:2021:HFW,%
		Marin:2007:ICC%
		}.
\NAMECITE{Identity}{%
		Zdun:2023:MSM%
		}.
\NAMECITE{{III}}{%
		Mkaouer:2015:MOS%
		}.
\NAMECITE{Image}{%
		Chen:2020:WBU%
		}.
\NAMECITE{Impact}{%
		Cai:2016:DUD,%
		Estublier:2005:ISE,%
		Falessi:2022:IDD,%
		Liao:2022:ESI,%
		Lyu:2021:ESI,%
		Polyvyanyy:2017:IDP,%
		Tiwana:2008:ICD,%
		Zhao:2021:ISD,%
		Emmerich:2008:IRD,%
		Masri:2014:PCC,%
		Ryder:2005:ISE,%
		Scanniello:2014:IUA%
		}.
\NAMECITE{Impact-Driven}{%
		Polyvyanyy:2017:IDP%
		}.
\NAMECITE{Impacts}{%
		Traini:2022:HSR%
		}.
\NAMECITE{Implementation}{%
		Karanikolas:2017:EEI,%
		Liu:2022:AOD,%
		Zheng:2018:MAI,%
		Batory:1992:DIH,%
		Brogi:2010:DIS,%
		Lhotak:2008:EBC,%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{Implementations}{%
		Gao:2019:VQS,%
		Nie:2023:CDD,%
		Tao:2021:SDM,%
		Tian:2019:DTC%
		}.
\NAMECITE{implementing}{%
		Costagliola:2004:FMI%
		}.
\NAMECITE{implicit}{%
		Steimann:2010:TMI%
		}.
\NAMECITE{implied}{%
		Uchitel:2004:IES%
		}.
\NAMECITE{Important}{%
		Liu:2022:CSC%
		}.
\NAMECITE{Improve}{%
		Ardito:2022:FMB,%
		Chen:2021:HSI,%
		Vogel-Heuser:2022:MIA%
		}.
\NAMECITE{Improved}{%
		Cai:2016:DUD%
		}.
\NAMECITE{Improvement}{%
		Chen:2021:WMC,%
		Sommerville:2005:ESI%
		}.
\NAMECITE{Improving}{%
		Arora:2019:ALA,%
		Bavota:2014:ISM,%
		Cai:2020:AIM,%
		Partachi:2023:AMI,%
		Wang:2020:IIC,%
		Yu:2022:AIE,%
		Denaro:2013:TAA,%
		Gruschke:2008:ROF,%
		Liang:2002:EAA%
		}.
\NAMECITE{In-Depth}{%
		Xu:2022:MSC,%
		Sayar:2023:DSJ,%
		Zhou:2014:DSP%
		}.
\NAMECITE{In-{IDE}}{%
		Xu:2022:ICG%
		}.
\NAMECITE{In-Process}{%
		Wang:2022:CFA%
		}.
\NAMECITE{Incoming}{%
		Pezze:2019:EIE%
		}.
\NAMECITE{Incompatibility}{%
		Xu:2023:LLI%
		}.
\NAMECITE{inconsistencies}{%
		Cugola:1996:FFI,%
		Gervasi:2005:RAI%
		}.
\NAMECITE{inconsistent}{%
		Hunter:1998:MIS%
		}.
\NAMECITE{Incremental}{%
		DiNardo:2017:AFD,%
		Uchitel:2004:IES,%
		Yang:2014:DIS,%
		Kaiser:1993:PDI,%
		Krishnamurthi:2007:FIA%
		}.
\NAMECITE{incrementally}{%
		Keidar:2002:IBT%
		}.
\NAMECITE{Independent}{%
		Wang:2023:SCJ%
		}.
\NAMECITE{Index}{%
		Anonymous:1996:AI,%
		Tateishi:2013:PIS%
		}.
\NAMECITE{index-sensitive}{%
		Tateishi:2013:PIS%
		}.
\NAMECITE{Indicators}{%
		Ali:2020:QIS%
		}.
\NAMECITE{Inductive}{%
		Al-Sibahi:2021:VPT,%
		Bergadano:1996:TMI%
		}.
\NAMECITE{Industrial}{%
		Ouni:2016:MCC,%
		Ciapessoni:1999:FMF,%
		Fuggetta:1998:AGI,%
		Sommerville:2005:ESI%
		}.
\NAMECITE{Industrially}{%
		Vogel-Heuser:2022:MIA%
		}.
\NAMECITE{Industry}{%
		Marijan:2022:IAR%
		}.
\NAMECITE{Industry-Academia}{%
		Marijan:2022:IAR%
		}.
\NAMECITE{Inference}{%
		Nijjar:2015:DMP,%
		Song:2019:SEI%
		}.
\NAMECITE{Inferring}{%
		Emam:2018:IEP,%
		Mills:2000:KBM,%
		Riesco:2018:PII%
		}.
\NAMECITE{Inflow}{%
		Zhou:2016:IRO%
		}.
\NAMECITE{influence}{%
		Singh:2010:SWE%
		}.
\NAMECITE{Information}{%
		Cogo:2023:AAB,%
		Fleming:2013:IFT,%
		Ramirez:2023:TIA,%
		Wang:2020:KDI,%
		DeLucia:2007:RTL,%
		Falessi:2013:VDR,%
		Gupta:1997:HSI,%
		Masri:2009:MSI,%
		Poshyvanyk:2012:CLU,%
		Tan:2009:CDM,%
		Thiran:2006:WBE,%
		Weyuker:1996:UFC,%
		Yoo:2013:FLP%
		}.
\NAMECITE{information-theoretic}{%
		Yoo:2013:FLP%
		}.
\NAMECITE{infrastructures}{%
		Basin:2006:MDS%
		}.
\NAMECITE{inheritance}{%
		Keidar:2002:IBT%
		}.
\NAMECITE{inheritance-based}{%
		Keidar:2002:IBT%
		}.
\NAMECITE{Injection}{%
		Khanfir:2023:IBR%
		}.
\NAMECITE{inner}{%
		Stol:2014:KFA%
		}.
\NAMECITE{inspections}{%
		Briand:2014:TSD,%
		Porter:1998:USV%
		}.
\NAMECITE{installability}{%
		Vouillon:2013:SCC%
		}.
\NAMECITE{Instances}{%
		Scanniello:2015:DDP%
		}.
\NAMECITE{instruction}{%
		Akgul:2004:AIL%
		}.
\NAMECITE{{IntDroid}}{%
		Zou:2021:IAM%
		}.
\NAMECITE{Integer}{%
		Dietz:2015:UIO,%
		Xue:2020:MOI%
		}.
\NAMECITE{Integrated}{%
		Yuan:2020:TBE,%
		Chen:1998:BWI,%
		Engels:1992:BIS,%
		Pohl:1999:PTP,%
		Sinnig:2013:UCT%
		}.
\NAMECITE{Integrating}{%
		Bernaschina:2019:VDI,%
		Fisher:2006:IAT,%
		Gupta:1997:HSI%
		}.
\NAMECITE{integration}{%
		Barrett:1996:FEB,%
		Binkley:1995:PIL,%
		Sullivan:1992:REI,%
		Yang:1992:PIA%
		}.
\NAMECITE{Integrity}{%
		Mcminn:2015:ETC%
		}.
\NAMECITE{Intellectual}{%
		Chaki:2013:VAI%
		}.
\NAMECITE{Intelligent}{%
		Proksch:2015:ICC%
		}.
\NAMECITE{Intensive}{%
		Nguyen:2018:UCM%
		}.
\NAMECITE{Intent}{%
		Yin:2023:SEV%
		}.
\NAMECITE{Inter}{%
		Sadeghi:2017:ECA%
		}.
\NAMECITE{Inter-}{%
		Sadeghi:2017:ECA%
		}.
\NAMECITE{Interacting}{%
		Goel:2009:IPC,%
		Safdar:2021:RFC%
		}.
\NAMECITE{Interaction}{%
		AlDallal:2012:PMM,%
		Cheng:2023:HHI,%
		Minsky:2000:LGI%
		}.
\NAMECITE{Interaction-Based}{%
		AlDallal:2012:PMM%
		}.
\NAMECITE{Interactions}{%
		Alimadadi:2016:UJE,%
		Pan:2014:GTG%
		}.
\NAMECITE{interchangeability}{%
		Denaro:2013:TAA%
		}.
\NAMECITE{Interface}{%
		Paulweber:2021:SIT,%
		Cheon:1994:LSI%
		}.
\NAMECITE{Interfaces}{%
		Islam:2014:GTC,%
		Berstel:2005:SFM,%
		Bodden:2014:JPI%
		}.
\NAMECITE{international}{%
		Notkin:2008:ISS,%
		Murphy:2014:ISI%
		}.
\NAMECITE{{Internet}}{%
		Yanez:2021:AIT%
		}.
\NAMECITE{Interpretation}{%
		Lyu:2022:TCI,%
		Wu:2021:WAA,%
		Counsell:2006:IUT%
		}.
\NAMECITE{interpreters}{%
		Baresi:2005:FID%
		}.
\NAMECITE{Interpreting}{%
		Zou:2021:IDL%
		}.
\NAMECITE{Interprocedural}{%
		Olender:1992:ISA,%
		Sinha:2001:ICD,%
		Forgacs:1994:DIF%
		}.
\NAMECITE{Interval}{%
		Song:2019:SEI,%
		Chen:2010:VSI,%
		Dillon:1994:GIL%
		}.
\NAMECITE{interval-based}{%
		Chen:2010:VSI%
		}.
\NAMECITE{Interventions}{%
		Rauf:2022:CAS%
		}.
\NAMECITE{Intimacy}{%
		Zou:2021:IAM%
		}.
\NAMECITE{Intra}{%
		Sadeghi:2017:ECA%
		}.
\NAMECITE{Intra-Component}{%
		Sadeghi:2017:ECA%
		}.
\NAMECITE{Intrinsic}{%
		Carzaniga:2015:AWE%
		}.
\NAMECITE{Introduced}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{Introduction}{%
		Graziotin:2022:PBS,%
		Harman:2015:ISI,%
		Murphy:2014:ISI,%
		Notkin:2008:ISS%
		}.
\NAMECITE{Invariant}{%
		Nguyen:2014:DDI%
		}.
\NAMECITE{Invariants}{%
		Nguyen:2014:DDI%
		}.
\NAMECITE{investigating}{%
		Hall:2009:SRT,%
		Chen:2022:WDS%
		}.
\NAMECITE{Investigation}{%
		Li:2014:RIP,%
		Wu:2022:TTI,%
		Mohagheghi:2008:EIS%
		}.
\NAMECITE{Investigations}{%
		Offutt:1992:IST%
		}.
\NAMECITE{invocation}{%
		Steimann:2010:TMI%
		}.
\NAMECITE{Involvement}{%
		Zhou:2016:IRO%
		}.
\NAMECITE{{IoT}}{%
		Sobhy:2022:CPS%
		}.
\NAMECITE{{IP}}{%
		McCann:1999:MMI%
		}.
\NAMECITE{{iSENSE2.0}}{%
		Wang:2020:IIC%
		}.
\NAMECITE{Isolation}{%
		Jiang:2019:IMA%
		}.
\NAMECITE{ISSTA}{%
		Notkin:2008:ISS,%
		Harman:2015:ISI%
		}.
\NAMECITE{Issue}{%
		Harman:2015:ISI,%
		Murphy:2014:ISI,%
		Partachi:2023:AMI%
		}.
\NAMECITE{Issues}{%
		Li:2023:CEI,%
		Pezze:2023:EAS%
		}.
\NAMECITE{items}{%
		Gunter:2000:ADB%
		}.
\NAMECITE{iterative}{%
		Forgacs:1994:DIF%
		}.


\NAMECITE{{J}}{%
		Tilevich:2009:JOE%
		}.
\NAMECITE{{J-Orchestra}}{%
		Tilevich:2009:JOE%
		}.
\NAMECITE{{Java}}{%
		Basu:2007:MCJ,%
		Corbett:2000:USA,%
		Henkel:2008:DDA,%
		Ko:2010:EAW,%
		Li:2019:UAJ,%
		Milanova:2005:POS,%
		Radoi:2015:ETS,%
		Sayar:2023:DSJ,%
		Scanniello:2017:FFC,%
		Shen:2023:CSM,%
		Soto-Valero:2023:CBD,%
		Tilevich:2009:JOE,%
		Wang:2023:SCJ,%
		Xu:2013:PML%
		}.
\NAMECITE{{JavaScript}}{%
		Alimadadi:2016:UJE,%
		Ni:2022:JTD%
		}.
\NAMECITE{{Johan}}{%
		Anonymous:2002:OOJ%
		}.
\NAMECITE{Join}{%
		Bodden:2014:JPI%
		}.
\NAMECITE{Journal}{%
		Dwyer:2015:EJF%
		}.
\NAMECITE{Journal-First}{%
		Dwyer:2015:EJF%
		}.
\NAMECITE{Journey}{%
		Zhou:2018:HFW%
		}.
\NAMECITE{{JUnit}}{%
		Wu:2023:AIU%
		}.
\NAMECITE{Just}{%
		Ni:2022:JTD%
		}.
\NAMECITE{Just-In-Time}{%
		Ni:2022:JTD%
		}.


\NAMECITE{{KBSE}}{%
		Devanbu:1997:UDL%
		}.
\NAMECITE{Key}{%
		Guo:2022:DAM,%
		Stol:2014:KFA%
		}.
\NAMECITE{Killing}{%
		Chekam:2021:KSM%
		}.
\NAMECITE{{KLEESpectre}}{%
		Wang:2020:KDI%
		}.
\NAMECITE{Knee}{%
		Chen:2018:FFG%
		}.
\NAMECITE{Knee-Driven}{%
		Chen:2018:FFG%
		}.
\NAMECITE{Know}{%
		Yang:2022:DDR%
		}.
\NAMECITE{Knowledge}{%
		Chen:2021:LCF,%
		Gao:2022:AAR,%
		Marijan:2022:IAR,%
		Tamasauskaite:2023:DKG,%
		Fritz:2014:DKM,%
		Kramer:2004:CCM,%
		Mills:2000:KBM%
		}.
\NAMECITE{knowledge-based}{%
		Kramer:2004:CCM,%
		Mills:2000:KBM%
		}.
\NAMECITE{Kristen}{%
		Anonymous:2002:OOJ%
		}.


\NAMECITE{{L2S}}{%
		Xiong:2022:LFS%
		}.
\NAMECITE{Label}{%
		Vandehei:2021:LDL,%
		Myers:2000:PPU%
		}.
\NAMECITE{Language}{%
		Abidi:2021:MLD,%
		Dong:2023:BWL,%
		Kim:2022:PMA,%
		Lin:2022:XTC,%
		Walkinshaw:2013:ACS,%
		Xu:2022:ICG,%
		Ballance:1992:PLB,%
		Cheon:1994:LSI,%
		Ciancarini:2000:UCL,%
		Gervasi:2005:RAI,%
		Jaccheri:1998:ESP,%
		Sutton:1995:ALS,%
		Tyszberowicz:1992:OPL,%
		Wallach:2000:SSM,%
		Medvidovic:2002:MSA%
		}.
\NAMECITE{language-based}{%
		Ballance:1992:PLB,%
		Wallach:2000:SSM%
		}.
\NAMECITE{Languages}{%
		Bjorner:2019:DAD,%
		Cogo:2023:AAB,%
		Furia:2022:ABA,%
		Batory:2002:AET,%
		Binkley:1995:PIL,%
		Chen:2010:VSI,%
		Dashofy:2005:CAD,%
		Huang:2008:DSL,%
		Karam:2008:ULT,%
		Ryder:2005:ISE,%
		vandenBrand:1996:GFC%
		}.
\NAMECITE{{Larch}}{%
		Cheon:1994:LSI%
		}.
\NAMECITE{{Larch/Smalltalk}}{%
		Cheon:1994:LSI%
		}.
\NAMECITE{Large}{%
		Behjati:2014:ALC,%
		Dyer:2015:BUL,%
		Fraser:2014:LSE,%
		Khatoonabadi:2023:WCU,%
		Li:2020:PNF,%
		Lin:2022:XTC,%
		Maddila:2022:CCE,%
		Russo:2021:ASM,%
		Yang:2022:DDR,%
		Mohagheghi:2008:EIS,%
		Perry:2001:PCL%
		}.
\NAMECITE{Large-Scale}{%
		Behjati:2014:ALC,%
		Fraser:2014:LSE,%
		Lin:2022:XTC,%
		Maddila:2022:CCE,%
		Russo:2021:ASM,%
		Yang:2022:DDR,%
		Perry:2001:PCL%
		}.
\NAMECITE{latent}{%
		Bavota:2014:ISM%
		}.
\NAMECITE{Lattice}{%
		Diep:2011:LBS%
		}.
\NAMECITE{Lattice-Based}{%
		Diep:2011:LBS%
		}.
\NAMECITE{Law}{%
		Minsky:2000:LGI%
		}.
\NAMECITE{Law-governed}{%
		Minsky:2000:LGI%
		}.
\NAMECITE{laws}{%
		Louridas:2008:PLS%
		}.
\NAMECITE{layers}{%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{Layout}{%
		Lauko:2022:VPS%
		}.
\NAMECITE{lazy}{%
		Fong:2000:PLM%
		}.
\NAMECITE{leak}{%
		Xu:2013:PML%
		}.
\NAMECITE{Leakage}{%
		Wang:2020:KDI%
		}.
\NAMECITE{Learn}{%
		Kim:2019:PLR%
		}.
\NAMECITE{Learn-to-Rank}{%
		Kim:2019:PLR%
		}.
\NAMECITE{Learned}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{Learning}{%
		Arora:2019:ALA,%
		Baki:2016:MSL,%
		Belgacem:2023:MLA,%
		Biagiola:2022:TPR,%
		Catak:2022:UAP,%
		Dilhara:2021:USS,%
		Ding:2023:TLG,%
		Fu:2021:SSC,%
		He:2016:LWA,%
		Hu:2022:ESD,%
		Keller:2022:WYS,%
		Kim:2023:ESA,%
		Liu:2022:RRD,%
		Ma:2021:TSD,%
		Murukannaiah:2015:PAL,%
		Nikanjam:2022:AFD,%
		Ramirez:2023:TIA,%
		Romdhana:2022:DRL,%
		Tufano:2019:ESL,%
		Wang:2020:MTN,%
		Watson:2022:SLR,%
		Yu:2022:AIE,%
		Zhao:2021:ISD,%
		Zohdinasab:2023:EEF,%
		Zou:2021:IDL,%
		Bergadano:1996:TMI,%
		Minku:2013:SEE%
		}.
\NAMECITE{Learning-based}{%
		Biagiola:2022:TPR,%
		Zou:2021:IDL%
		}.
\NAMECITE{legacy}{%
		Thiran:2006:WBE%
		}.
\NAMECITE{Less}{%
		Pavese:2016:LME%
		}.
\NAMECITE{Lessons}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{Level}{%
		Behjati:2014:ALC,%
		DeLara:2018:RML,%
		Akgul:2004:AIL,%
		Chen:1998:BWI,%
		Karam:2008:ULT,%
		Mari:2014:MBS,%
		Singh:2010:SWE%
		}.
\NAMECITE{levels}{%
		Chen:2001:TMO%
		}.
\NAMECITE{Leveraging}{%
		Chen:2021:LCF,%
		Vandehei:2021:LDL%
		}.
\NAMECITE{lexical}{%
		Murphy:1996:LLS%
		}.
\NAMECITE{libraries}{%
		Zaremski:1995:SMT%
		}.
\NAMECITE{Library}{%
		Dilhara:2021:USS,%
		Ostertag:1992:CSR%
		}.
\NAMECITE{License}{%
		Xu:2023:LLI%
		}.
\NAMECITE{{LiDetector}}{%
		Xu:2023:LLI%
		}.
\NAMECITE{Life}{%
		Vandehei:2021:LDL,%
		Schrefl:2002:BCS%
		}.
\NAMECITE{Lightweight}{%
		Garcia:2018:LOR,%
		Murphy:1996:LLS,%
		Jackson:2002:ALO%
		}.
\NAMECITE{{LIME}}{%
		Murphy:2006:LCM%
		}.
\NAMECITE{Line}{%
		Castro:2021:FFS,%
		Dehlinger:2011:GPP,%
		Zheng:2018:MAI%
		}.
\NAMECITE{Linear}{%
		Sarro:2018:LPB,%
		Zeil:1992:DLE%
		}.
\NAMECITE{Lines}{%
		Hierons:2020:MOT,%
		Holmes:2020:URL,%
		Xiang:2018:CSP,%
		Batory:2002:AET,%
		Kastner:2012:TCA,%
		Mcmillan:2013:PSR%
		}.
\NAMECITE{Linking}{%
		Kapur:2020:DES,%
		Sheng:2019:TPA,%
		Fong:2000:PLM%
		}.
\NAMECITE{Links}{%
		Partachi:2023:AMI,%
		DeLucia:2007:RTL%
		}.
\NAMECITE{Literature}{%
		Lin:2022:OMS,%
		Sobhy:2021:ESA,%
		Trinkenreich:2022:WPO,%
		Watson:2022:SLR%
		}.
\NAMECITE{liveness}{%
		Dippolito:2013:SNE,%
		Sistla:2000:SSB%
		}.
\NAMECITE{Local}{%
		Attie:2018:GLD,%
		Taymouri:2020:CAW,%
		Zou:2022:BSP%
		}.
\NAMECITE{Localisation}{%
		Yoo:2017:HCG%
		}.
\NAMECITE{Localization}{%
		Arcega:2022:BLM,%
		Kim:2019:PLR,%
		Troya:2018:SBF,%
		Masri:2014:PCC,%
		Xie:2013:TAR,%
		Yoo:2013:FLP%
		}.
\NAMECITE{locating}{%
		Tip:2001:SBA%
		}.
\NAMECITE{Location}{%
		Razzaq:2019:SEE,%
		Poshyvanyk:2012:CLU,%
		Zhao:2006:STS%
		}.
\NAMECITE{Logic}{%
		Baresi:2017:LBA,%
		Xie:2022:NNP,%
		Dillon:1994:GIL,%
		Pradella:2013:BSC,%
		Tateishi:2013:PIS,%
		Zeller:1997:UVT%
		}.
\NAMECITE{Logic-Based}{%
		Baresi:2017:LBA%
		}.
\NAMECITE{logical}{%
		Fantechi:2012:LVM,%
		Morzenti:1994:OOL%
		}.
\NAMECITE{Logics}{%
		DeGiacomo:2022:MCM,%
		Devanbu:1997:UDL%
		}.
\NAMECITE{looking}{%
		Notkin:2013:ELB,%
		Rosenblum:2013:ELF%
		}.
\NAMECITE{loop}{%
		Binkley:2011:FTT%
		}.
\NAMECITE{loop-assigned}{%
		Binkley:2011:FTT%
		}.
\NAMECITE{Loops}{%
		Radoi:2015:ETS%
		}.
\NAMECITE{Lop}{%
		Fioraldi:2023:DAFa,%
		Fioraldi:2023:DAFb%
		}.
\NAMECITE{{LSCs}}{%
		Maoz:2011:CMS%
		}.
\NAMECITE{{LTL}}{%
		Bauer:2011:RVL%
		}.
\NAMECITE{Lunch}{%
		Rombaut:2023:TNS%
		}.


\NAMECITE{Machine}{%
		Belgacem:2023:MLA,%
		Cao:2022:SSB,%
		Dilhara:2021:USS,%
		Ramirez:2023:TIA,%
		Tufano:2019:ESL,%
		Zhao:2021:ISD%
		}.
\NAMECITE{Machine-Learning-Based}{%
		Zhao:2021:ISD%
		}.
\NAMECITE{Machines}{%
		Paulweber:2021:SIT,%
		Whittle:2010:SHS%
		}.
\NAMECITE{macro}{%
		Singh:2010:SWE%
		}.
\NAMECITE{macro-level}{%
		Singh:2010:SWE%
		}.
\NAMECITE{{Mae}}{%
		Roshandel:2004:MSM%
		}.
\NAMECITE{Maintainability}{%
		Karanikolas:2017:EEI%
		}.
\NAMECITE{Maintaining}{%
		Zheng:2018:MAI%
		}.
\NAMECITE{majority}{%
		Monperrus:2013:DMM%
		}.
\NAMECITE{Make}{%
		Bogart:2021:WHM,%
		Ceccato:2015:DAG%
		}.
\NAMECITE{Malware}{%
		Cai:2020:AIM,%
		Garcia:2018:LOR,%
		Wu:2021:WAA,%
		Zhao:2021:ISD,%
		Zou:2021:IAM%
		}.
\NAMECITE{Managed}{%
		Nguyen:2018:UCM%
		}.
\NAMECITE{Management}{%
		Masso:2022:CTS,%
		Wang:2020:IIC,%
		Zdun:2023:MSM,%
		DeLucia:2007:RTL,%
		Estublier:2005:ISE,%
		Jezequel:1999:RVC%
		}.
\NAMECITE{Managing}{%
		Hunter:1998:MIS,%
		Roshandel:2004:MSM%
		}.
\NAMECITE{Manipulation}{%
		Moller:2014:ADC,%
		Tao:2021:SDM,%
		Bowdidge:1998:SRD%
		}.
\NAMECITE{Manual}{%
		Bernaschina:2019:VDI%
		}.
\NAMECITE{Many}{%
		Hierons:2016:SOP,%
		Hierons:2020:MOT,%
		Mkaouer:2015:MOS,%
		Xiang:2018:CSP%
		}.
\NAMECITE{Many-Objective}{%
		Hierons:2016:SOP,%
		Hierons:2020:MOT,%
		Mkaouer:2015:MOS,%
		Xiang:2018:CSP%
		}.
\NAMECITE{{Markov}}{%
		He:2016:LWA,%
		Whittaker:1993:MAS%
		}.
\NAMECITE{{Marple}}{%
		Le:2013:MDF%
		}.
\NAMECITE{marts}{%
		Bonifati:2001:DDM%
		}.
\NAMECITE{Masked}{%
		Gao:2019:VQS,%
		Gao:2021:HAF%
		}.
\NAMECITE{Mastering}{%
		Siegmund:2021:MVH%
		}.
\NAMECITE{Matching}{%
		Ardito:2022:FMB,%
		Lano:2022:MTD,%
		Waga:2023:PTP,%
		Zaremski:1995:SMT,%
		Zaremski:1997:SMS%
		}.
\NAMECITE{Matching-based}{%
		Ardito:2022:FMB%
		}.
\NAMECITE{Math}{%
		Santhiar:2014:MUT%
		}.
\NAMECITE{{math.h}}{%
		Bagnara:2021:PAV%
		}.
\NAMECITE{math.h}/{\tt}{%
		Bagnara:2021:PAV%
		}.
\NAMECITE{mathematical}{%
		Snelting:1996:RCB%
		}.
\NAMECITE{Maturity}{%
		Vogel-Heuser:2022:MIA%
		}.
\NAMECITE{{MC}}{%
		Gay:2016:EPM%
		}.
\NAMECITE{{MC/DC}}{%
		Gay:2016:EPM%
		}.
\NAMECITE{{MDD}}{%
		Marin:2013:UFS%
		}.
\NAMECITE{{MDE}}{%
		Altoyan:2023:PCR%
		}.
\NAMECITE{{MDESL}}{%
		Sheng:2019:TPA%
		}.
\NAMECITE{Means}{%
		Keller:2022:WYS,%
		Bergadano:1996:TMI%
		}.
\NAMECITE{Measure}{%
		Sharafi:2021:TOM%
		}.
\NAMECITE{Measurement}{%
		Pilgun:2020:FGC,%
		Gencel:2008:FSM,%
		Marin:2013:UFS%
		}.
\NAMECITE{Measures}{%
		Polyvyanyy:2020:MPR%
		}.
\NAMECITE{Measuring}{%
		Bock:2022:MMG,%
		Masri:2009:MSI,%
		Zhang:2020:MTC,%
		Cook:1999:SPV%
		}.
\NAMECITE{mechanism}{%
		Minsky:2000:LGI,%
		Wallach:2000:SSM%
		}.
\NAMECITE{{m{\'e}moire}}{%
		Partachi:2023:AMI%
		}.
\NAMECITE{memoriam}{%
		Rosenblum:2013:MDN%
		}.
\NAMECITE{Memory}{%
		Anand:2016:SMA,%
		Jain:2022:BRD,%
		Nguyen:2018:UCM,%
		Partachi:2023:AMI,%
		Xu:2022:MSC,%
		Xu:2013:PML%
		}.
\NAMECITE{Memory-Safety}{%
		Xu:2022:MSC%
		}.
\NAMECITE{Merge}{%
		Shen:2023:CSM%
		}.
\NAMECITE{Merging}{%
		Fischbein:2012:WAM,%
		Reuling:2019:AWP,%
		Rosa:2013:BPM%
		}.
\NAMECITE{Message}{%
		Roychoudhury:2012:SMS,%
		Wang:2021:CAR,%
		Creveuil:1994:FSD%
		}.
\NAMECITE{Meta}{%
		Zhang:2018:ESM,%
		Klint:1993:MEG,%
		Huang:2008:DSL%
		}.
\NAMECITE{Meta-}{%
		Zhang:2018:ESM%
		}.
\NAMECITE{{meta-AspectJ}}{%
		Huang:2008:DSL%
		}.
\NAMECITE{meta-environment}{%
		Klint:1993:MEG%
		}.
\NAMECITE{Metaconstraints}{%
		DeGiacomo:2022:MCM%
		}.
\NAMECITE{metalocking}{%
		Basu:2007:MCJ%
		}.
\NAMECITE{Metamodel}{%
		Lano:2022:MTD,%
		Paige:2007:MBM%
		}.
\NAMECITE{Metamodel-based}{%
		Paige:2007:MBM%
		}.
\NAMECITE{Metamodels}{%
		Altoyan:2023:PCR%
		}.
\NAMECITE{Metamorphic}{%
		Sun:2023:FDM%
		}.
\NAMECITE{Method}{%
		AlDallal:2012:PMM,%
		Conboy:2010:MDC,%
		Oni:2022:AUR,%
		Berstel:2005:SFM,%
		Mills:2000:KBM,%
		Monperrus:2013:DMM%
		}.
\NAMECITE{Method-Method}{%
		AlDallal:2012:PMM%
		}.
\NAMECITE{Methodological}{%
		Graziotin:2022:PBS%
		}.
\NAMECITE{Methodology}{%
		Layman:2014:MER,%
		Chen:2001:TMO,%
		Desai:2009:AMM,%
		Fantechi:2012:LVM,%
		Fisher:2006:IAT,%
		Harrold:1993:MCS,%
		Karam:2008:ULT,%
		Martignoni:2013:MTC,%
		Miles:2011:PMD,%
		Rothermel:2001:MTS,%
		Sinnig:2013:UCT,%
		Zambonelli:2003:DMS%
		}.
\NAMECITE{Methods}{%
		Khatoonabadi:2023:WCU,%
		Vidal:2018:ARB,%
		Ciapessoni:1999:FMF,%
		DeLucia:2007:RTL,%
		Duri:1994:AEE,%
		Russo:2021:ASM%
		}.
\NAMECITE{Metric}{%
		AlDallal:2012:PMM,%
		Vogel-Heuser:2022:MIA,%
		Pradella:2013:BSC%
		}.
\NAMECITE{Metrics}{%
		Kapur:2020:DES,%
		Kapur:2022:OEE,%
		Zdun:2023:MSM,%
		Counsell:2006:IUT,%
		Kramer:2004:CCM,%
		Meneely:2012:VSM,%
		Meyers:2007:ESS%
		}.
\NAMECITE{{MICOSE4aPS}}{%
		Vogel-Heuser:2022:MIA%
		}.
\NAMECITE{Microservice}{%
		Zdun:2023:MSM%
		}.
\NAMECITE{middleware}{%
		Emmerich:2008:IRD,%
		Murphy:2006:LCM,%
		Venkatasubramanian:2004:FMR%
		}.
\NAMECITE{Migration}{%
		Chondamrongkul:2021:SAM,%
		Santhiar:2014:MUT%
		}.
\NAMECITE{millions}{%
		Mcmillan:2013:PSR%
		}.
\NAMECITE{Mined}{%
		Gao:2020:GQT%
		}.
\NAMECITE{Minimal}{%
		Nie:2011:MFC%
		}.
\NAMECITE{Minimization}{%
		Xue:2020:MOI%
		}.
\NAMECITE{Mining}{%
		Bhatia:2016:MPG,%
		Dyer:2015:BUL,%
		Kang:2021:ASM,%
		Lin:2022:OMS,%
		Pantiuchina:2020:WDR,%
		Santhiar:2014:MUT%
		}.
\NAMECITE{Mining-based}{%
		Pantiuchina:2020:WDR%
		}.
\NAMECITE{Missing}{%
		Guo:2022:DAM,%
		Zhang:2022:MRE,%
		Monperrus:2013:DMM%
		}.
\NAMECITE{mitigation}{%
		Masri:2014:PCC%
		}.
\NAMECITE{Mixed}{%
		Khatoonabadi:2023:WCU,%
		Russo:2021:ASM%
		}.
\NAMECITE{Mixed-Methods}{%
		Khatoonabadi:2023:WCU,%
		Russo:2021:ASM%
		}.
\NAMECITE{Mixin}{%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{Mobile}{%
		Ebrahimi:2022:CMA,%
		Jiang:2019:RNF,%
		Li:2023:CEI,%
		Roman:1997:MUR,%
		Zhang:2014:ATV,%
		Ciancarini:2000:UCL,%
		Ferrari:2003:MCV,%
		Fong:2000:PLM,%
		Mamei:2009:PPM,%
		McCann:1999:MMI,%
		Picco:2001:RAC%
		}.
\NAMECITE{Mobility}{%
		Jiang:2019:IMA,%
		Murphy:2006:LCM,%
		Picco:2001:RAC%
		}.
\NAMECITE{Mockups}{%
		Ricca:2014:AES%
		}.
\NAMECITE{Model}{%
		Andre:2022:GTO,%
		Arcega:2022:BLM,%
		Arora:2019:ALA,%
		Baki:2016:MSL,%
		Basin:2006:MDS,%
		Basu:2007:MCJ,%
		Bauch:2016:CED,%
		Chen:2021:WMC,%
		DeLara:2017:PTM,%
		ElKholy:2014:CCR,%
		Gay:2016:EPM,%
		Guerriero:2021:SMD,%
		Lano:2022:MTD,%
		Lara:2019:ARM,%
		Liao:2022:ESI,%
		Lucia:2018:DBD,%
		Mari:2014:MBS,%
		Nijjar:2015:DMP,%
		Ohrndorf:2021:HBM,%
		Polyvyanyy:2017:IDP,%
		Rosa:2013:BPM,%
		Russo:2021:ASM,%
		Troya:2018:SBF,%
		Weyns:2023:AFF,%
		Whigham:2015:BMS,%
		Broy:2007:FMS,%
		Bultan:2000:CMC,%
		Cai:2012:FMA,%
		Callison:1995:TSO,%
		Chechik:2003:MVS,%
		Cook:1999:SPV,%
		Dillon:1993:VEM,%
		Eshuis:2006:SMC,%
		Ferrari:2003:MCV,%
		Hemmati:2013:ASM,%
		Jennings:2012:TPA,%
		Krishnamurthi:2007:FIA,%
		Louridas:2000:GMR,%
		Miller:2003:FTS,%
		Murphy:1996:LLS,%
		Murphy:2006:LCM,%
		Myers:2000:PPU,%
		Naish:2011:MSB,%
		Paige:2007:MBM,%
		Roshandel:2004:MSM,%
		Siegel:2008:CSE,%
		Sinha:2006:HMB,%
		Sistla:2000:SSB,%
		Tan:2009:CDM,%
		Venkatasubramanian:2004:FMR,%
		Xie:2008:UPS%
		}.
\NAMECITE{Model-Based}{%
		Arcega:2022:BLM,%
		Mari:2014:MBS,%
		Weyns:2023:AFF,%
		Hemmati:2013:ASM,%
		Miller:2003:FTS,%
		Sinha:2006:HMB,%
		Tan:2009:CDM%
		}.
\NAMECITE{model-checking}{%
		Bultan:2000:CMC,%
		Chechik:2003:MVS,%
		Ferrari:2003:MCV,%
		Krishnamurthi:2007:FIA%
		}.
\NAMECITE{Model-Driven}{%
		DeLara:2017:PTM,%
		Guerriero:2021:SMD%
		}.
\NAMECITE{Modeling}{%
		Beauvais:2001:MSA,%
		Bock:2022:MMG,%
		Fritz:2014:DKM,%
		Jiang:2019:IMA,%
		Mattsson:2012:AMA,%
		McCann:1999:MMI,%
		Medvidovic:2002:MSA,%
		Sun:2013:MVH,%
		Brambilla:2006:PMW,%
		Breaux:2008:SPP,%
		Costagliola:2004:FMI,%
		Desai:2009:AMM,%
		Doppke:1998:SPM,%
		Pohl:1999:PTP,%
		Snook:2006:UBF%
		}.
\NAMECITE{Modelling}{%
		Banach:2014:CAM,%
		Bjorner:2019:DAD,%
		DeLara:2014:WHU,%
		Lara:2021:FOM,%
		Jackson:2002:ALO%
		}.
\NAMECITE{Models}{%
		Baresi:2017:LBA,%
		Burgueno:2023:DBU,%
		Catak:2022:UAP,%
		DeLara:2018:RML,%
		Emam:2018:IEP,%
		Fischbein:2012:WAM,%
		Hierons:2016:SOP,%
		Jain:2022:BRD,%
		Lara:2019:ARM,%
		Lyu:2022:TCI,%
		Rigby:2014:PRO,%
		Taymouri:2020:CAW,%
		Walkinshaw:2013:ACS,%
		Yan:2020:AGS,%
		Yang:2022:PMS,%
		Yue:2015:AAF,%
		Zhang:2022:TRD,%
		Basin:2006:MDS,%
		Ciapessoni:1999:FMF,%
		Cook:1998:DMS,%
		Corbett:2000:USA,%
		Jaccheri:1998:ESP,%
		Marin:2013:UFS,%
		Mills:2000:KBM,%
		Moscato:2014:DTV,%
		Ouyang:2009:BPM,%
		Pezze:1995:GMR,%
		Scanniello:2014:IUA,%
		Sinnig:2013:UCT,%
		Uchitel:2004:IES,%
		Yue:2013:FTU%
		}.
\NAMECITE{Models-Detection}{%
		Zhang:2022:TRD%
		}.
\NAMECITE{modern}{%
		Ryder:2005:ISE%
		}.
\NAMECITE{modifiability}{%
		Scanniello:2014:IUA%
		}.
\NAMECITE{Modular}{%
		Sullivan:2010:MAO,%
		Wang:2020:MTN,%
		Dashofy:2005:CAD,%
		Fong:2000:PLM%
		}.
\NAMECITE{modularity}{%
		Cai:2012:FMA,%
		Hoffman:2013:TOM,%
		Steimann:2010:TMI%
		}.
\NAMECITE{modularization}{%
		Bavota:2014:ISM%
		}.
\NAMECITE{Molecular}{%
		Ellis:2019:RFD%
		}.
\NAMECITE{monadic}{%
		Tateishi:2013:PIS%
		}.
\NAMECITE{Monitoring}{%
		DeGiacomo:2022:MCM,%
		Diep:2011:LBS,%
		El-Hokayem:2020:MDS,%
		Robol:2023:CVM%
		}.
\NAMECITE{Monotone}{%
		Polyvyanyy:2020:MPR%
		}.
\NAMECITE{Most}{%
		Xiong:2022:LFS%
		}.
\NAMECITE{motivations}{%
		Hall:2009:SRT%
		}.
\NAMECITE{{Mozilla}}{%
		Mockus:2002:TCS%
		}.
\NAMECITE{{MPI}}{%
		Gong:2021:TDG%
		}.
\NAMECITE{Multi}{%
		Abidi:2021:MLD,%
		Baki:2016:MSL,%
		Birchler:2023:SMO,%
		Chechik:2003:MVS,%
		Chen:2018:FFG,%
		Chen:2023:WCH,%
		DeLara:2018:RML,%
		Linares-Vasquez:2018:MOO,%
		Ouni:2016:MCC,%
		Safdar:2021:RFC,%
		Xue:2020:MOI,%
		Zhang:2018:ESM%
		}.
\NAMECITE{Multi-Criteria}{%
		Ouni:2016:MCC,%
		Xue:2020:MOI%
		}.
\NAMECITE{Multi-Language}{%
		Abidi:2021:MLD%
		}.
\NAMECITE{Multi-Level}{%
		DeLara:2018:RML%
		}.
\NAMECITE{Multi-Objective}{%
		Chen:2018:FFG,%
		Linares-Vasquez:2018:MOO,%
		Zhang:2018:ESM,%
		Birchler:2023:SMO,%
		Chen:2023:WCH,%
		Safdar:2021:RFC,%
		Xue:2020:MOI%
		}.
\NAMECITE{Multi-Step}{%
		Baki:2016:MSL%
		}.
\NAMECITE{Multi-valued}{%
		Chechik:2003:MVS%
		}.
\NAMECITE{Multiagent}{%
		Dehlinger:2011:GPP,%
		Zambonelli:2003:DMS%
		}.
\NAMECITE{Multidimensional}{%
		Gandhi:2011:DMC%
		}.
\NAMECITE{Multilevel}{%
		DeLara:2014:WHU%
		}.
\NAMECITE{Multimodal}{%
		Maoz:2011:CMS%
		}.
\NAMECITE{multinational}{%
		Tiwana:2008:ICD%
		}.
\NAMECITE{multiobjective}{%
		Minku:2013:SEE%
		}.
\NAMECITE{Multitolerant}{%
		Ebnenasir:2011:FSD%
		}.
\NAMECITE{multiuser}{%
		Kaiser:1993:PDI%
		}.
\NAMECITE{multiview}{%
		Paige:2007:MBM%
		}.
\NAMECITE{Mutant}{%
		Zhang:2022:MRE,%
		Offutt:1996:EDS%
		}.
\NAMECITE{Mutants}{%
		Chekam:2021:KSM,%
		Ojdanic:2023:MTE%
		}.
\NAMECITE{Mutation}{%
		Kim:2022:PMA,%
		Ojdanic:2023:MTE%
		}.
\NAMECITE{My}{%
		Chen:2021:HSI,%
		Chen:2021:WMC%
		}.


\NAMECITE{Names}{%
		Scanniello:2017:FFC%
		}.
\NAMECITE{Natural}{%
		Kim:2022:PMA,%
		Xu:2022:ICG,%
		Gervasi:2005:RAI%
		}.
\NAMECITE{need}{%
		Liu:2014:DWN%
		}.
\NAMECITE{Needs}{%
		Cogo:2023:AAB%
		}.
\NAMECITE{nesting}{%
		McMinn:2009:EEN%
		}.
\NAMECITE{Network}{%
		Chen:2020:PAE,%
		Cheng:2021:DSD,%
		Cheng:2023:HHI,%
		Ren:2019:NNB,%
		Wang:2020:MTN%
		}.
\NAMECITE{Network-based}{%
		Ren:2019:NNB%
		}.
\NAMECITE{Networks}{%
		Ding:2023:TLG,%
		Liao:2022:ESI,%
		Proksch:2015:ICC,%
		Xie:2022:NNP,%
		Singh:2010:SWE%
		}.
\NAMECITE{Neural}{%
		Chen:2020:PAE,%
		Cheng:2021:DSD,%
		Cheng:2023:HHI,%
		Dramko:2023:DDN,%
		Liao:2022:ESI,%
		Ren:2019:NNB,%
		Tufano:2019:ESL,%
		Xie:2022:NNP,%
		Zeng:2023:DEV%
		}.
\NAMECITE{Neuron}{%
		Xie:2022:NNP%
		}.
\NAMECITE{next}{%
		Harman:2014:ESS%
		}.
\NAMECITE{no}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{Node}{%
		Li:2020:PNF%
		}.
\NAMECITE{Non}{%
		Gligoric:2015:GCB,%
		Hierons:2017:PAG,%
		Ma:2021:RTB%
		}.
\NAMECITE{Non-Adequate}{%
		Gligoric:2015:GCB%
		}.
\NAMECITE{Non-deterministic}{%
		Hierons:2017:PAG%
		}.
\NAMECITE{Non-Serializable}{%
		Ma:2021:RTB%
		}.
\NAMECITE{nonanomalous}{%
		Dippolito:2013:SNE%
		}.
\NAMECITE{Nonequivalence}{%
		deFrancesco:2014:GTE%
		}.
\NAMECITE{noninteractive}{%
		Zhao:2006:STS%
		}.
\NAMECITE{noninterference}{%
		Durante:2000:CAC%
		}.
\NAMECITE{notation}{%
		Felder:2002:FDN,%
		Jackson:2002:ALO%
		}.
\NAMECITE{notations}{%
		Baresi:2005:FID,%
		Costagliola:2004:FMI%
		}.
\NAMECITE{{Notkin}}{%
		Rosenblum:2013:MDN%
		}.
\NAMECITE{Novice}{%
		Czepa:2019:HUP%
		}.
\NAMECITE{{NPC}}{%
		Xie:2022:NNP%
		}.
\NAMECITE{{Npm}}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{{NSGA}}{%
		Mkaouer:2015:MOS%
		}.
\NAMECITE{{NSGA-III}}{%
		Mkaouer:2015:MOS%
		}.
\NAMECITE{{Nudge}}{%
		Maddila:2023:NAO%
		}.
\NAMECITE{numerical}{%
		Siegel:2008:CSE%
		}.
\NAMECITE{Nygaard}{%
		Anonymous:2002:OOJ%
		}.


\NAMECITE{Obfuscation}{%
		Garcia:2018:LOR%
		}.
\NAMECITE{Obfuscation-Resilient}{%
		Garcia:2018:LOR%
		}.
\NAMECITE{Obituary}{%
		Anonymous:2002:OOJ%
		}.
\NAMECITE{Object}{%
		AlDallal:2012:PMM,%
		Godoy:2021:EBT,%
		Lu:2021:ECR,%
		Morzenti:1994:OOL,%
		Tilevich:2011:EEP,%
		Callison:1995:TSO,%
		Chen:1998:BWI,%
		Chen:2001:TMO,%
		Counsell:2006:IUT,%
		Damiani:1999:CHA,%
		Doong:1994:AAT,%
		Jackson:2002:ALO,%
		Milanova:2005:POS,%
		Rajan:2009:UAO,%
		Robillard:2003:SAS,%
		Schrefl:2002:BCS,%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{Object-Oriented}{%
		AlDallal:2012:PMM,%
		Morzenti:1994:OOL,%
		Chen:1998:BWI,%
		Chen:2001:TMO,%
		Counsell:2006:IUT,%
		Damiani:1999:CHA,%
		Doong:1994:AAT,%
		Rajan:2009:UAO,%
		Robillard:2003:SAS,%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{Object-Sensitive}{%
		Lu:2021:ECR%
		}.
\NAMECITE{objected}{%
		Damiani:1999:HAA%
		}.
\NAMECITE{objected-oriented}{%
		Damiani:1999:HAA%
		}.
\NAMECITE{Objective}{%
		Chen:2018:FFG,%
		Hierons:2016:SOP,%
		Hierons:2020:MOT,%
		Linares-Vasquez:2018:MOO,%
		Mkaouer:2015:MOS,%
		Sharafi:2021:TOM,%
		Tramontana:2019:DEO,%
		Xiang:2018:CSP,%
		Zhang:2018:ESM,%
		Birchler:2023:SMO,%
		Chen:2023:WCH,%
		Safdar:2021:RFC,%
		Xue:2020:MOI%
		}.
\NAMECITE{obliviousness}{%
		Hoffman:2013:TOM%
		}.
\NAMECITE{{OBSERV}}{%
		Tyszberowicz:1992:OPL%
		}.
\NAMECITE{Observability}{%
		Zdun:2023:MSM%
		}.
\NAMECITE{Observable}{%
		Hierons:2017:PAG%
		}.
\NAMECITE{observational}{%
		Perry:2001:PCL%
		}.
\NAMECITE{{OCL}}{%
		Queralt:2012:VVU%
		}.
\NAMECITE{{Ole}}{%
		Anonymous:2002:OOJ%
		}.
\NAMECITE{{Ole-Johan}}{%
		Anonymous:2002:OOJ%
		}.
\NAMECITE{One}{%
		Liu:2022:AOD%
		}.
\NAMECITE{Opacity}{%
		Andre:2022:GTO%
		}.
\NAMECITE{Open}{%
		Bock:2022:MMG,%
		Bogart:2021:WHM,%
		Chen:2020:HCT,%
		Khatoonabadi:2023:WCU,%
		Pantiuchina:2022:WDD,%
		Rigby:2014:PRO,%
		Trinkenreich:2022:WPO,%
		Wang:2020:UED,%
		Xu:2023:LLI,%
		Mockus:2002:TCS,%
		Singh:2010:SWE%
		}.
\NAMECITE{Open-Source}{%
		Bock:2022:MMG,%
		Khatoonabadi:2023:WCU,%
		Pantiuchina:2022:WDD,%
		Rigby:2014:PRO,%
		Singh:2010:SWE%
		}.
\NAMECITE{{OpenStack}}{%
		Zhang:2022:TCO%
		}.
\NAMECITE{Operational}{%
		Sheng:2019:TPA%
		}.
\NAMECITE{Operations}{%
		Sun:2023:DHS%
		}.
\NAMECITE{operators}{%
		Offutt:1996:EDS%
		}.
\NAMECITE{Opinion}{%
		Lin:2022:OMS,%
		Conboy:2010:MDC%
		}.
\NAMECITE{Opportunities}{%
		Yang:2022:PMS%
		}.
\NAMECITE{Optimal}{%
		Hierons:2016:SOP,%
		Liu:2022:AOD%
		}.
\NAMECITE{Optimization}{%
		Chen:2018:FFG,%
		Chen:2022:BCT,%
		Hierons:2016:SOP,%
		Liao:2022:ESI,%
		Linares-Vasquez:2018:MOO,%
		Xiang:2018:CSP,%
		Albert:2022:SOS%
		}.
\NAMECITE{Options}{%
		Zhang:2023:FCPa,%
		Zhang:2023:FCPb%
		}.
\NAMECITE{Oracles}{%
		Wang:2019:OTS,%
		Xie:2007:DCA%
		}.
\NAMECITE{{Orchestra}}{%
		Tilevich:2009:JOE%
		}.
\NAMECITE{Order}{%
		Gao:2021:HAF,%
		Sherman:2015:DTB,%
		Lopes:2003:HOA,%
		Tateishi:2013:PIS,%
		Xu:2023:SFC%
		}.
\NAMECITE{organizational}{%
		Desai:2009:AMM%
		}.
\NAMECITE{Organized}{%
		Zhang:2021:CSO%
		}.
\NAMECITE{Oriented}{%
		AlDallal:2012:PMM,%
		Zhang:2013:CDC,%
		Anvik:2011:REB,%
		Chen:1998:BWI,%
		Chen:2001:TMO,%
		Counsell:2006:IUT,%
		Damiani:1999:CHA,%
		Damiani:1999:HAA,%
		Doong:1994:AAT,%
		Dyer:2010:SDA,%
		Fantechi:2012:LVM,%
		Hoffman:2013:TOM,%
		Lara:2021:FOM,%
		Morzenti:1994:OOL,%
		Ouyang:2009:BPM,%
		Rajan:2009:UAO,%
		Robillard:2003:SAS,%
		Smaragdakis:2002:MLO,%
		Sullivan:2010:MAO%
		}.
\NAMECITE{{OSS}}{%
		Kapur:2022:OEE,%
		Zhou:2016:IRO%
		}.
\NAMECITE{outcome}{%
		Gruschke:2008:ROF%
		}.
\NAMECITE{Outgoing}{%
		Rosenblum:2019:FEO%
		}.
\NAMECITE{output}{%
		Ko:2010:EAW,%
		Qi:2013:PEB%
		}.
\NAMECITE{Overdue}{%
		Maddila:2023:NAO%
		}.
\NAMECITE{Overflow}{%
		Azad:2017:GAC,%
		Dietz:2015:UIO,%
		Gao:2020:GQT,%
		Yang:2022:DDR,%
		Zhang:2021:CSO%
		}.
\NAMECITE{Overhead}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{overlapping}{%
		Harel:1992:SO%
		}.


\NAMECITE{Pacemaker}{%
		Banach:2014:CAM%
		}.
\NAMECITE{{Pan}}{%
		Ballance:1992:PLB%
		}.
\NAMECITE{Pandemic}{%
		Ford:2022:TTC%
		}.
\NAMECITE{Parallel}{%
		Hierons:2017:PAG,%
		Kaiser:1993:PDI,%
		Perry:2001:PCL,%
		Radoi:2015:ETS,%
		Zhou:2022:PTP,%
		Siegel:2008:CSE%
		}.
\NAMECITE{Parameter}{%
		Tilevich:2011:EEP%
		}.
\NAMECITE{parameterization}{%
		Breaux:2008:SPP%
		}.
\NAMECITE{Parameterized}{%
		Milanova:2005:POS%
		}.
\NAMECITE{Parameters}{%
		Rigby:2014:PRO%
		}.
\NAMECITE{Parametric}{%
		Andre:2022:GTO,%
		Waga:2023:PTP%
		}.
\NAMECITE{{Pareto}}{%
		Chen:2023:WCH%
		}.
\NAMECITE{{Part}}{%
		Engels:1992:BIS%
		}.
\NAMECITE{Partial}{%
		Fischbein:2012:WAM,%
		Lu:2021:ECR,%
		Pavese:2016:LME,%
		Sherman:2015:DTB,%
		Xu:2010:PCC%
		}.
\NAMECITE{Partial-Order}{%
		Sherman:2015:DTB%
		}.
\NAMECITE{Participation}{%
		Trinkenreich:2022:WPO%
		}.
\NAMECITE{Particular}{%
		Xue:2020:MOI%
		}.
\NAMECITE{Passing}{%
		Tilevich:2011:EEP%
		}.
\NAMECITE{Patch}{%
		Lin:2022:CAC,%
		Mechtaev:2018:TEA,%
		Shariffdeen:2021:APT,%
		Tian:2022:PPC%
		}.
\NAMECITE{Patches}{%
		Kuchta:2018:SSE,%
		Tufano:2019:ESL,%
		Zhou:2022:SAI%
		}.
\NAMECITE{Path}{%
		Diep:2011:LBS,%
		Gong:2021:TDG,%
		Qi:2013:PEB,%
		Sherman:2015:DTB,%
		Tateishi:2013:PIS,%
		Xie:2022:NNP,%
		Le:2013:MDF,%
		Snelting:2006:EPC%
		}.
\NAMECITE{Path-}{%
		Tateishi:2013:PIS%
		}.
\NAMECITE{Path-Sensitive}{%
		Sherman:2015:DTB%
		}.
\NAMECITE{Paths}{%
		Yang:2016:HPP%
		}.
\NAMECITE{Pattern}{%
		Czepa:2019:HUP,%
		Scanniello:2015:DDP,%
		Waga:2023:PTP%
		}.
\NAMECITE{Pattern-based}{%
		Czepa:2019:HUP%
		}.
\NAMECITE{Patterns}{%
		Kafali:2020:DSS,%
		Lucia:2018:DBD,%
		Marijan:2022:IAR,%
		Zhu:2013:ADP%
		}.
\NAMECITE{Peer}{%
		Rigby:2014:PRO%
		}.
\NAMECITE{Penetration}{%
		Meyers:2022:EPT%
		}.
\NAMECITE{Performance}{%
		Cheng:2023:HHI,%
		Czekster:2016:SPA,%
		Liao:2022:ESI,%
		Lyu:2021:ESI,%
		Ren:2019:NNB,%
		Zhao:2021:PPA,%
		Tiwana:2008:ICD%
		}.
\NAMECITE{Person}{%
		Zhang:2020:MTC%
		}.
\NAMECITE{Personality}{%
		Calefato:2022:UPD%
		}.
\NAMECITE{Personalized}{%
		Zheng:2013:PRP%
		}.
\NAMECITE{Perspective}{%
		Bi:2022:ASP,%
		Fleming:2013:IFT%
		}.
\NAMECITE{pervasive}{%
		Mamei:2009:PPM,%
		Xu:2010:PCC%
		}.
\NAMECITE{phase}{%
		Jennings:2012:TPA%
		}.
\NAMECITE{philosophies}{%
		Meneely:2012:VSM%
		}.
\NAMECITE{physical}{%
		Catak:2022:UAP,%
		Xu:2023:SFC%
		}.
\NAMECITE{pilot}{%
		Xie:2008:UPS%
		}.
\NAMECITE{{PL}}{%
		Dehlinger:2011:GPP%
		}.
\NAMECITE{Place}{%
		Murukannaiah:2015:PAL%
		}.
\NAMECITE{Place-Aware}{%
		Murukannaiah:2015:PAL%
		}.
\NAMECITE{Planning}{%
		Chondamrongkul:2021:SAM,%
		Oni:2022:AUR,%
		Zhang:2018:ESM%
		}.
\NAMECITE{Plasticity}{%
		Biagiola:2022:TPR%
		}.
\NAMECITE{Platform}{%
		Ehsan:2021:ESD,%
		Li:2020:PNF,%
		Lin:2023:CEW,%
		Zarir:2021:DCE%
		}.
\NAMECITE{{Platys}}{%
		Murukannaiah:2015:PAL%
		}.
\NAMECITE{{Play}}{%
		Chen:2021:HSI%
		}.
\NAMECITE{Plugins}{%
		Lin:2023:CEW%
		}.
\NAMECITE{Point}{%
		Bagnara:2021:PAV,%
		Bodden:2014:JPI%
		}.
\NAMECITE{Pointer}{%
		Lu:2021:ECR%
		}.
\NAMECITE{pointers}{%
		Orso:2004:CDD%
		}.
\NAMECITE{points}{%
		Lhotak:2008:EBC,%
		Milanova:2005:POS%
		}.
\NAMECITE{points-to}{%
		Lhotak:2008:EBC,%
		Milanova:2005:POS%
		}.
\NAMECITE{Policies}{%
		Bhatia:2016:MPG,%
		Bogart:2021:WHM,%
		Bauer:2009:CER%
		}.
\NAMECITE{Polychronous}{%
		Gamatie:2007:PDE%
		}.
\NAMECITE{Polynomial}{%
		Nguyen:2014:DDI%
		}.
\NAMECITE{Popular}{%
		Chen:2021:HSI%
		}.
\NAMECITE{{Portfolio}}{%
		Mcmillan:2013:PSR%
		}.
\NAMECITE{Post}{%
		Chatterjee:2021:AIQ,%
		Jalote:2008:PRR%
		}.
\NAMECITE{Post-release}{%
		Jalote:2008:PRR%
		}.
\NAMECITE{Posteriori}{%
		DeLara:2017:PTM%
		}.
\NAMECITE{Posts}{%
		Azad:2017:GAC%
		}.
\NAMECITE{potentially}{%
		Zhou:2014:DSP%
		}.
\NAMECITE{Power}{%
		Louridas:2008:PLS%
		}.
\NAMECITE{Powered}{%
		Zarir:2021:DCE,%
		Chen:2021:EPS%
		}.
\NAMECITE{Practical}{%
		Bagnara:2021:PAV,%
		Chen:2020:PAE,%
		Hough:2022:PAD,%
		Sheng:2019:TPA,%
		Soltana:2020:PCS%
		}.
\NAMECITE{Practice}{%
		Bi:2022:ASP,%
		Estublier:2005:ISE%
		}.
\NAMECITE{Practices}{%
		Bogart:2021:WHM,%
		Wang:2023:SCJ%
		}.
\NAMECITE{Practitioner}{%
		Bi:2022:ASP%
		}.
\NAMECITE{pragmatic}{%
		Holmes:2012:SPS%
		}.
\NAMECITE{Pre}{%
		Lin:2022:XTC%
		}.
\NAMECITE{Pre-Training}{%
		Lin:2022:XTC%
		}.
\NAMECITE{Precise}{%
		AlDallal:2012:PMM,%
		Kim:2019:PLR,%
		Li:2014:RIP,%
		Xu:2013:PML%
		}.
\NAMECITE{Precision}{%
		Lu:2021:ECR,%
		Polyvyanyy:2020:MPR%
		}.
\NAMECITE{Precision-Preserving}{%
		Lu:2021:ECR%
		}.
\NAMECITE{Predicting}{%
		Li:2020:PNF,%
		Mills:2017:PQQ,%
		Tian:2022:PPC,%
		Zhao:2021:PPA%
		}.
\NAMECITE{Prediction}{%
		Catak:2022:UAP,%
		Chen:2021:WMC,%
		Cheng:2023:HHI,%
		Falessi:2022:IDD,%
		Ni:2022:JTD,%
		Song:2019:SEI,%
		Yang:2023:SCP,%
		Zheng:2013:PRP,%
		Zhou:2018:HFW,%
		Zhou:2014:DSP%
		}.
\NAMECITE{Predictions}{%
		Zou:2021:IDL%
		}.
\NAMECITE{Predictive}{%
		Kim:2022:PMA,%
		Li:2014:RIP,%
		Yang:2022:PMS,%
		Huang:2013:SPA%
		}.
\NAMECITE{Preference}{%
		Pan:2023:PWT%
		}.
\NAMECITE{Preference-wise}{%
		Pan:2023:PWT%
		}.
\NAMECITE{preliminary}{%
		Young:1995:CAT%
		}.
\NAMECITE{presence}{%
		Fink:2008:ETV,%
		Fong:2000:PLM,%
		Hierons:2002:CTS,%
		Orso:2004:CDD%
		}.
\NAMECITE{Preserving}{%
		Lu:2021:ECR,%
		Yang:1992:PIA%
		}.
\NAMECITE{Prevalence}{%
		Masri:2014:PCC,%
		Zhang:2022:TCO%
		}.
\NAMECITE{{PRIME}}{%
		Pohl:1999:PTP,%
		Miles:2011:PMD%
		}.
\NAMECITE{Principles}{%
		Bjorner:2019:DAD%
		}.
\NAMECITE{Prioritisation}{%
		Ramirez:2023:TIA%
		}.
\NAMECITE{Prioritization}{%
		Birchler:2023:SMO,%
		Emam:2015:TCP,%
		Hao:2014:UTC,%
		Zhang:2021:UWR,%
		Zhou:2022:PTP,%
		Yoo:2013:FLP%
		}.
\NAMECITE{Privacy}{%
		Bhatia:2016:MPG,%
		Myers:2000:PPU%
		}.
\NAMECITE{Proactive}{%
		Sobhy:2022:CPS%
		}.
\NAMECITE{Probabilistic}{%
		Emam:2018:IEP,%
		Lee:2023:EPS,%
		Pavese:2016:LME,%
		Jennings:2012:TPA%
		}.
\NAMECITE{Probable}{%
		Xiong:2022:LFS%
		}.
\NAMECITE{Problem}{%
		Sahin:2014:CSD,%
		Xue:2020:MOI,%
		Harman:2014:ESS,%
		Minku:2013:SEE%
		}.
\NAMECITE{procedure}{%
		Binkley:1995:PIL,%
		Marin:2013:UFS%
		}.
\NAMECITE{Process}{%
		Brambilla:2006:PMW,%
		Polyvyanyy:2017:IDP,%
		Rosa:2013:BPM,%
		Tamasauskaite:2023:DKG,%
		Taymouri:2020:CAW,%
		Wang:2022:CFA,%
		Ambriola:1997:APC,%
		Bernardo:2002:AFS,%
		Breaux:2008:SPP,%
		Cook:1999:SPV,%
		Doppke:1998:SPM,%
		Goel:2009:IPC,%
		Jaccheri:1998:ESP,%
		Ouyang:2009:BPM,%
		Pohl:1999:PTP,%
		Sommerville:2005:ESI,%
		Sutton:1995:ALS%
		}.
\NAMECITE{process-centered}{%
		Ambriola:1997:APC%
		}.
\NAMECITE{process-integrated}{%
		Pohl:1999:PTP%
		}.
\NAMECITE{process-oriented}{%
		Ouyang:2009:BPM%
		}.
\NAMECITE{Processes}{%
		He:2016:LWA,%
		Ciancarini:1993:CRB,%
		Cook:1998:DMS,%
		Desai:2009:AMM,%
		Ferrari:2003:MCV%
		}.
\NAMECITE{Processing}{%
		Zhang:2022:TRD,%
		Adams:1994:CSR,%
		Brett:1995:CCS%
		}.
\NAMECITE{Product}{%
		Castro:2021:FFS,%
		Dehlinger:2011:GPP,%
		Hierons:2016:SOP,%
		Hierons:2020:MOT,%
		Xiang:2018:CSP,%
		Zheng:2018:MAI,%
		Batory:2002:AET,%
		Kastner:2012:TCA,%
		Mohagheghi:2008:EIS%
		}.
\NAMECITE{product-lines}{%
		Batory:2002:AET%
		}.
\NAMECITE{production}{%
		Trammell:1992:APC%
		}.
\NAMECITE{products}{%
		Jalote:2008:PRR%
		}.
\NAMECITE{profiling}{%
		Xu:2013:PML%
		}.
\NAMECITE{Program}{%
		Al-Sibahi:2021:VPT,%
		Binkley:1995:PIL,%
		Chen:2021:LCF,%
		Gao:2021:BTP,%
		Gay:2016:EPM,%
		Maalej:2014:CPC,%
		Reuling:2019:AWP,%
		Xiong:2022:LFS,%
		Yang:2016:HPP,%
		Yuan:2020:TBE,%
		Zhang:2022:TRD,%
		Zhang:2023:FCPa,%
		Zhang:2023:FCPb,%
		Bergadano:1996:TMI,%
		Binkley:2007:ESS,%
		Bowdidge:1998:SRD,%
		DeCaso:2013:EBP,%
		Erwig:2005:SRS,%
		Griswold:1993:AAP,%
		Huang:2008:DSL,%
		Ko:2010:EAW,%
		Liang:2002:EAA,%
		Orso:2004:CDD,%
		Sun:2021:TRE,%
		Yang:1992:PIA%
		}.
\NAMECITE{Programmed}{%
		Ellis:2019:RFD%
		}.
\NAMECITE{Programming}{%
		Ahmed:2022:VVR,%
		Alesio:2015:CGA,%
		Bao:2020:PDC,%
		Chen:2020:HCT,%
		Cogo:2023:AAB,%
		Furia:2022:ABA,%
		Kapur:2020:DES,%
		Kulkarni:2012:GPF,%
		Mamei:2009:PPM,%
		Sarro:2018:LPB,%
		Xue:2020:MOI,%
		Yoo:2017:HCG,%
		Hoffman:2013:TOM,%
		Klint:1993:MEG,%
		Ryder:2005:ISE,%
		Sutton:1995:ALS%
		}.
\NAMECITE{Programs}{%
		Bagnara:2021:PAV,%
		Ebnenasir:2011:FSD,%
		Gao:2021:HAF,%
		Gong:2021:TDG,%
		Islam:2014:GTC,%
		Kim:2019:PLR,%
		Lauko:2022:VPS,%
		Nikanjam:2022:AFD,%
		Chen:1998:BWI,%
		Cohen:2003:AHQ,%
		Corbett:2000:USA,%
		Doong:1994:AAT,%
		Fong:2000:PLM,%
		Huang:2013:SPA,%
		Masri:2009:MSI,%
		Pezze:1995:GMR,%
		Qi:2012:DAD,%
		Siegel:2008:CSE,%
		Tilevich:2009:JOE,%
		Young:1995:CAT%
		}.
\NAMECITE{Progressed}{%
		Guo:2021:HFW,%
		Zhou:2018:HFW%
		}.
\NAMECITE{Project}{%
		Partachi:2023:AMI,%
		Zhou:2018:HFW,%
		Singh:2010:SWE%
		}.
\NAMECITE{Projections}{%
		Machado:2016:CDD%
		}.
\NAMECITE{Projects}{%
		Falessi:2022:IDD,%
		Joblin:2022:HDS,%
		Khatoonabadi:2023:WCU,%
		Ni:2022:JTD,%
		Pantiuchina:2022:WDD,%
		Rigby:2014:PRO,%
		Shen:2023:CSM,%
		Wang:2020:UED,%
		Wang:2023:SCJ,%
		Zhou:2016:IRO%
		}.
\NAMECITE{Promise}{%
		Xu:2022:ICG%
		}.
\NAMECITE{Prone}{%
		Abidi:2021:MLD%
		}.
\NAMECITE{Proof}{%
		Fong:2000:PLM,%
		Riesco:2018:PII%
		}.
\NAMECITE{proofs}{%
		Keidar:2002:IBT%
		}.
\NAMECITE{Properties}{%
		El-Hokayem:2020:MDS,%
		Layman:2014:MER,%
		Liao:2022:ESI,%
		Cheung:1999:CSP,%
		Dwyer:2004:FAV,%
		Frias:2005:RAS,%
		Jennings:2012:TPA,%
		Singh:2010:SWE,%
		Sistla:2000:SSB%
		}.
\NAMECITE{Property}{%
		Chaki:2013:VAI,%
		Diep:2011:LBS,%
		Nijjar:2015:DMP%
		}.
\NAMECITE{Prospective}{%
		Pezze:2022:ERP%
		}.
\NAMECITE{Protecting}{%
		Myers:2000:PPU,%
		Zou:2022:BSP%
		}.
\NAMECITE{protocol}{%
		Bernhard:1994:RTS,%
		Petrenko:1997:CRT%
		}.
\NAMECITE{Protocols}{%
		Godoy:2021:EBT,%
		Clarke:2000:VSP,%
		Durante:2000:CAC,%
		Ponge:2010:AAT%
		}.
\NAMECITE{prototyping}{%
		Tyszberowicz:1992:OPL%
		}.
\NAMECITE{Prove}{%
		Riesco:2018:PII%
		}.
\NAMECITE{provenance}{%
		Miles:2011:PMD%
		}.
\NAMECITE{provenance-aware}{%
		Miles:2011:PMD%
		}.
\NAMECITE{Proving}{%
		Altoyan:2023:PCR%
		}.
\NAMECITE{{psc2code}}{%
		Bao:2020:PDC%
		}.
\NAMECITE{Psychometrics}{%
		Graziotin:2022:PBS%
		}.
\NAMECITE{Publication}{%
		Dwyer:2015:EJF%
		}.
\NAMECITE{Pull}{%
		Khatoonabadi:2023:WCU,%
		Maddila:2023:NAO,%
		Partachi:2023:AMI%
		}.
\NAMECITE{purely}{%
		Frias:2005:RAS%
		}.
\NAMECITE{{PVS}}{%
		Moscato:2014:DTV%
		}.
\NAMECITE{{Python}}{%
		Holmes:2020:URL%
		}.


\NAMECITE{{Q\&A}}{%
		Uddin:2021:AAU%
		}.
\NAMECITE{{Q8A}}{%
		Gao:2021:TQS%
		}.
\NAMECITE{{QoS}}{%
		Venkatasubramanian:2004:FMR%
		}.
\NAMECITE{{QoS}-enabled}{%
		Venkatasubramanian:2004:FMR%
		}.
\NAMECITE{Qualitative}{%
		Abal:2018:VBH%
		}.
\NAMECITE{Quality}{%
		Ali:2020:QIS,%
		Chatterjee:2021:AIQ,%
		Furia:2022:ABA,%
		Hu:2022:CAH,%
		Mills:2017:PQQ,%
		Cohen:2003:AHQ,%
		Ganesan:2014:AED,%
		Marin:2013:UFS%
		}.
\NAMECITE{Quantifying}{%
		Gao:2019:VQS%
		}.
\NAMECITE{quantitatively}{%
		Cook:1999:SPV%
		}.
\NAMECITE{queries}{%
		Wassermann:2007:SCD%
		}.
\NAMECITE{Query}{%
		Liu:2022:CSC,%
		Mills:2017:PQQ,%
		Payton:2010:SSA,%
		Wursch:2013:EQF%
		}.
\NAMECITE{Question}{%
		Gao:2020:GQT,%
		Gao:2021:TQS%
		}.
\NAMECITE{questions}{%
		Ko:2010:EAW%
		}.
\NAMECITE{Quo}{%
		Wagner:2019:SQR%
		}.
\NAMECITE{{QVM}}{%
		Arnold:2011:QER%
		}.


\NAMECITE{Race}{%
		Costea:2023:HDR,%
		Jain:2022:BRD,%
		Radoi:2015:ETS%
		}.
\NAMECITE{Random}{%
		Tramontana:2019:DEO%
		}.
\NAMECITE{Randomization}{%
		Zou:2022:BSP%
		}.
\NAMECITE{Ranges}{%
		Lee:2023:EPS%
		}.
\NAMECITE{Rank}{%
		Kim:2019:PLR%
		}.
\NAMECITE{Rationale}{%
		Zhang:2022:TCO,%
		Falessi:2013:VDR,%
		Young:1995:CAT%
		}.
\NAMECITE{{RCR}}{%
		Fioraldi:2023:DAFb,%
		Zhang:2023:FCPb%
		}.
\NAMECITE{Re}{%
		Zou:2022:BSP%
		}.
\NAMECITE{Re-Randomization}{%
		Zou:2022:BSP%
		}.
\NAMECITE{Reachability}{%
		Lu:2021:ECR,%
		Cheung:1996:CCC,%
		Cheung:1999:CSP,%
		Pezze:1995:GMR%
		}.
\NAMECITE{reactive}{%
		Feldman:1993:SRS%
		}.
\NAMECITE{Read}{%
		Liu:2022:AOD%
		}.
\NAMECITE{Real}{%
		Lee:2023:EPS,%
		Callison:1995:TSO,%
		Felder:1994:VRT,%
		Felder:2002:FDN,%
		Gamatie:2007:PDE,%
		Moser:1997:GED,%
		Ostroff:1999:CRD,%
		Pons:2002:TAC,%
		Sun:2013:MVH,%
		Wang:1993:DRT%
		}.
\NAMECITE{Real-Time}{%
		Lee:2023:EPS,%
		Callison:1995:TSO,%
		Felder:1994:VRT,%
		Felder:2002:FDN,%
		Gamatie:2007:PDE,%
		Moser:1997:GED,%
		Ostroff:1999:CRD,%
		Pons:2002:TAC,%
		Sun:2013:MVH,%
		Wang:1993:DRT%
		}.
\NAMECITE{Really}{%
		Fraser:2015:DAU,%
		Yang:2022:DDR%
		}.
\NAMECITE{Reasoning}{%
		ElKholy:2014:CCR,%
		Frias:2005:RAS,%
		Gervasi:2005:RAI,%
		Picco:2001:RAC,%
		Cobleigh:2008:BHD,%
		Hunter:1998:MIS,%
		Roman:1997:MUR,%
		Venkatasubramanian:2004:FMR%
		}.
\NAMECITE{Recall}{%
		Polyvyanyy:2020:MPR%
		}.
\NAMECITE{{ReCDroid}}{%
		Zhao:2022:RAE%
		}.
\NAMECITE{Recognition}{%
		He:2023:TAE%
		}.
\NAMECITE{Recommendation}{%
		Gao:2021:TQS,%
		Sworna:2023:AFA,%
		Wang:2022:CFA%
		}.
\NAMECITE{Recommendations}{%
		Ohrndorf:2021:HBM%
		}.
\NAMECITE{Recommenders}{%
		Anvik:2011:REB%
		}.
\NAMECITE{Recommending}{%
		Dagenais:2011:RAC,%
		Jiang:2019:RNF,%
		Safdar:2021:RFC,%
		Sharma:2018:RWF%
		}.
\NAMECITE{recompilation}{%
		Adams:1994:CSR,%
		Brett:1995:CCS%
		}.
\NAMECITE{Recomposition}{%
		Bhatia:2016:MPG%
		}.
\NAMECITE{Reconciling}{%
		Sullivan:1992:REI%
		}.
\NAMECITE{Recovering}{%
		DeLucia:2007:RTL%
		}.
\NAMECITE{reduce}{%
		Corbett:2000:USA%
		}.
\NAMECITE{reduced}{%
		Bernhard:1994:RTS,%
		Petrenko:1997:CRT%
		}.
\NAMECITE{Reducing}{%
		Anvik:2011:REB%
		}.
\NAMECITE{Reduction}{%
		Zhang:2022:MRE,%
		Duri:1994:AEE%
		}.
\NAMECITE{Redundancy}{%
		Carzaniga:2015:AWE,%
		Huang:2013:SPA%
		}.
\NAMECITE{Reengineering}{%
		Snelting:1996:RCB,%
		Cohen:2003:AHQ%
		}.
\NAMECITE{Refactor}{%
		Pantiuchina:2020:WDR%
		}.
\NAMECITE{Refactoring}{%
		Altoyan:2023:PCR,%
		DeLara:2018:RML,%
		Fleming:2013:IFT,%
		Ouni:2016:MCC,%
		Traini:2022:HSR,%
		Vidal:2018:ARB,%
		Shonle:2012:FCR%
		}.
\NAMECITE{Refactorings}{%
		Pantiuchina:2022:WDD%
		}.
\NAMECITE{referees}{%
		Staff:2005:AR%
		}.
\NAMECITE{reference}{%
		Basili:1992:RAC%
		}.
\NAMECITE{Refinement}{%
		Al-Sibahi:2021:VPT,%
		Banach:2023:GRR,%
		Zuo:2023:TME,%
		Ostroff:1999:CRD%
		}.
\NAMECITE{refinements}{%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{Reflection}{%
		Li:2019:UAJ,%
		Pezze:2022:ERP,%
		Sun:2021:TRE%
		}.
\NAMECITE{reflective}{%
		Louridas:2000:GMR%
		}.
\NAMECITE{region}{%
		Duala-Ekoko:2010:CRD%
		}.
\NAMECITE{{RegionTrack}}{%
		Ma:2021:RTB%
		}.
\NAMECITE{regression}{%
		Bible:2001:CSC,%
		Graves:2001:ESR,%
		Memon:2008:ARE,%
		Rothermel:1997:SER,%
		Rothermel:2004:TSC%
		}.
\NAMECITE{regular}{%
		Kiezun:2012:HSW%
		}.
\NAMECITE{Regulation}{%
		Kafali:2020:DSS%
		}.
\NAMECITE{Regulatory}{%
		Gandhi:2011:DMC%
		}.
\NAMECITE{Reifying}{%
		Jezequel:1999:RVC%
		}.
\NAMECITE{reimplementation}{%
		Cohen:2003:AHQ%
		}.
\NAMECITE{Reinforcement}{%
		Biagiola:2022:TPR,%
		Fu:2021:SSC,%
		Romdhana:2022:DRL%
		}.
\NAMECITE{Reject}{%
		Pantiuchina:2022:WDD%
		}.
\NAMECITE{Relatedness}{%
		Mahmoud:2015:ESR%
		}.
\NAMECITE{Relational}{%
		Mcminn:2015:ETC,%
		Frias:2005:RAS%
		}.
\NAMECITE{Relationships}{%
		Hough:2022:PAD%
		}.
\NAMECITE{Relative}{%
		Holmes:2020:URL,%
		Miranda:2020:TRU%
		}.
\NAMECITE{Relaxed}{%
		Jain:2022:BRD%
		}.
\NAMECITE{Release}{%
		Oni:2022:AUR,%
		Zhang:2018:ESM,%
		Harman:2014:ESS,%
		Jalote:2008:PRR%
		}.
\NAMECITE{Relevance}{%
		Ojdanic:2023:MTE%
		}.
\NAMECITE{relevant}{%
		Mcmillan:2013:PSR%
		}.
\NAMECITE{Reliability}{%
		Zheng:2013:PRP,%
		Jalote:2008:PRR,%
		Podgurski:1999:ESR,%
		Weyuker:1996:UFC%
		}.
\NAMECITE{Remodularization}{%
		Candela:2016:UCC,%
		Mkaouer:2015:MOS%
		}.
\NAMECITE{Remote}{%
		Sayar:2023:DSJ%
		}.
\NAMECITE{Remote-Code}{%
		Sayar:2023:DSJ%
		}.
\NAMECITE{Removal}{%
		Williams:2022:GFI%
		}.
\NAMECITE{Removing}{%
		Li:2014:SSA,%
		Huang:2013:SPA%
		}.
\NAMECITE{Renamings}{%
		Dramko:2023:DDN%
		}.
\NAMECITE{Repair}{%
		Ahmed:2022:VVR,%
		Costea:2023:HDR,%
		Gao:2021:BTP,%
		Nijjar:2015:DMP,%
		Ohrndorf:2021:HBM,%
		Polyvyanyy:2017:IDP,%
		Yu:2020:SCR,%
		Yuan:2020:TBE%
		}.
\NAMECITE{repairing}{%
		Memon:2008:ARE%
		}.
\NAMECITE{Replicability}{%
		Liu:2022:RRD%
		}.
\NAMECITE{Replication}{%
		Ni:2022:JTD,%
		Rahman:2021:SSA%
		}.
\NAMECITE{Report}{%
		Fioraldi:2023:DAFb,%
		Zhang:2023:FCPb,%
		Anvik:2011:REB,%
		Khanfir:2023:IBR%
		}.
\NAMECITE{Reports}{%
		Kapur:2020:DES,%
		Zhao:2022:RAE%
		}.
\NAMECITE{repositories}{%
		Henninger:1997:EAC%
		}.
\NAMECITE{Repository}{%
		Dyer:2015:BUL%
		}.
\NAMECITE{Representation}{%
		Bertolotti:2023:FTS,%
		Erwig:2011:CCR,%
		Keller:2022:WYS,%
		Lin:2022:XTC,%
		Wang:2020:MTN%
		}.
\NAMECITE{representations}{%
		Bultan:2000:CMC%
		}.
\NAMECITE{Representing}{%
		Robillard:2007:RCS,%
		Duala-Ekoko:2010:CRD%
		}.
\NAMECITE{Reproducibility}{%
		Liu:2022:RRD%
		}.
\NAMECITE{Reproducing}{%
		Jin:2015:ASR%
		}.
\NAMECITE{Reproduction}{%
		Zhao:2022:RAE%
		}.
\NAMECITE{Request}{%
		Partachi:2023:AMI%
		}.
\NAMECITE{Request-Issue}{%
		Partachi:2023:AMI%
		}.
\NAMECITE{Requests}{%
		Khatoonabadi:2023:WCU,%
		Maddila:2023:NAO%
		}.
\NAMECITE{Required}{%
		Lu:2014:RBS%
		}.
\NAMECITE{Requirements}{%
		DiNardo:2017:AFD,%
		Gandhi:2011:DMC,%
		Lano:2022:MTD,%
		Lara:2019:ARM,%
		Ricca:2014:AES,%
		Wagner:2019:SQR,%
		Zhang:2021:UWR,%
		Cimatti:2012:VRH,%
		Crow:1998:FSS,%
		Gargantini:2001:ADR,%
		Gervasi:2005:RAI,%
		Heitmeyer:1996:ACC,%
		Schneider:1992:ESF,%
		Sommerville:2005:ESI,%
		Unterkalmsteiner:2014:TRE,%
		Zave:1997:FDC%
		}.
\NAMECITE{Resampling}{%
		Song:2019:SEI%
		}.
\NAMECITE{Research}{%
		Calefato:2022:UPD,%
		Marijan:2022:IAR,%
		Stol:2018:ASE,%
		Watson:2022:SLR,%
		Emmerich:2008:IRD,%
		Estublier:2005:ISE,%
		Ryder:2005:ISE%
		}.
\NAMECITE{Residual}{%
		Li:2014:RIP%
		}.
\NAMECITE{Resilient}{%
		Garcia:2018:LOR%
		}.
\NAMECITE{Resistance}{%
		Gao:2019:VQS%
		}.
\NAMECITE{Resolution}{%
		Bernaschina:2019:VDI%
		}.
\NAMECITE{Resource}{%
		Williams:2022:GFI%
		}.
\NAMECITE{Resource-constrained}{%
		Williams:2022:GFI%
		}.
\NAMECITE{Respect}{%
		Dramko:2023:DDN%
		}.
\NAMECITE{Response}{%
		Gao:2022:AAR,%
		Tichy:1995:AR%
		}.
\NAMECITE{{REST}}{%
		Marculescu:2022:FFR,%
		Zhang:2022:AHS%
		}.
\NAMECITE{{RESTful}}{%
		Arcuri:2019:RAA%
		}.
\NAMECITE{restructuring}{%
		Bowdidge:1998:SRD,%
		Griswold:1993:AAP%
		}.
\NAMECITE{results}{%
		DeMillo:1993:ERA,%
		Payton:2010:SSA%
		}.
\NAMECITE{retargetable}{%
		Devanbu:1999:GCF%
		}.
\NAMECITE{Retention}{%
		Zhou:2016:IRO%
		}.
\NAMECITE{Retrenchment}{%
		Banach:2023:GRR%
		}.
\NAMECITE{Retrieval}{%
		Mills:2017:PQQ,%
		Sim:2011:HWD,%
		Wang:2021:CAR,%
		Zhang:2021:CSO,%
		DeLucia:2007:RTL,%
		Poshyvanyk:2012:CLU%
		}.
\NAMECITE{Retrieval-based}{%
		Wang:2021:CAR%
		}.
\NAMECITE{Retrieving}{%
		Podgurski:1993:RRS%
		}.
\NAMECITE{Retrospective}{%
		Pezze:2022:ERP%
		}.
\NAMECITE{Return}{%
		Zou:2022:BSP%
		}.
\NAMECITE{reusable}{%
		Batory:1992:DIH,%
		Podgurski:1993:RRS%
		}.
\NAMECITE{Reuse}{%
		Fleming:2013:IFT,%
		Lara:2019:ARM,%
		Vogel-Heuser:2022:MIA,%
		Erwig:2005:SRS,%
		Henninger:1997:EAC,%
		Holmes:2012:SPS,%
		Mohagheghi:2008:EIS,%
		Ostertag:1992:CSR%
		}.
\NAMECITE{reverse}{%
		Akgul:2004:AIL%
		}.
\NAMECITE{Review}{%
		Araujo:2023:TVV,%
		Gao:2022:AAR,%
		Lin:2022:OMS,%
		Rigby:2014:PRO,%
		Sobhy:2021:ESA,%
		Tamasauskaite:2023:DKG,%
		Watson:2022:SLR,%
		Hall:2009:SRT%
		}.
\NAMECITE{Reviewers}{%
		Staff:2003:R%
		}.
\NAMECITE{Reviews}{%
		Chen:2021:HSI%
		}.
\NAMECITE{revisit}{%
		Chen:2011:RFC%
		}.
\NAMECITE{revisited}{%
		Gencel:2008:FSM%
		}.
\NAMECITE{Revisiting}{%
		Miranda:2020:TRU%
		}.
\NAMECITE{Rewards}{%
		Pavese:2016:LME%
		}.
\NAMECITE{rewriting}{%
		VanDenBrand:2003:TRT%
		}.
\NAMECITE{{RFC}}{%
		Tian:2019:DTC%
		}.
\NAMECITE{{RFC}-guided}{%
		Tian:2019:DTC%
		}.
\NAMECITE{rich}{%
		Reuling:2019:AWP%
		}.
\NAMECITE{Risk}{%
		Gandhi:2011:DMC,%
		Layman:2014:MER,%
		Masso:2022:CTS,%
		Xie:2013:TAR%
		}.
\NAMECITE{Robotic}{%
		Araujo:2023:TVV%
		}.
\NAMECITE{Robustness}{%
		Ardito:2022:FMB,%
		Zhang:2022:TRD,%
		Zhou:2022:ARD%
		}.
\NAMECITE{Role}{%
		Siegmund:2021:MVH,%
		Gruschke:2008:ROF%
		}.
\NAMECITE{router}{%
		Creveuil:1994:FSD%
		}.
\NAMECITE{rule}{%
		Ciancarini:1993:CRB,%
		Kiper:1992:STR,%
		Monperrus:2013:DMM%
		}.
\NAMECITE{rule-based}{%
		Ciancarini:1993:CRB,%
		Kiper:1992:STR%
		}.
\NAMECITE{Rules}{%
		Azad:2017:GAC,%
		Mattsson:2012:AMA,%
		Kramer:2004:CCM%
		}.
\NAMECITE{Run}{%
		Zhao:2021:PPA%
		}.
\NAMECITE{Run-time}{%
		Zhao:2021:PPA%
		}.
\NAMECITE{Runtime}{%
		Arnold:2011:QER,%
		Bauer:2011:RVL,%
		Ellis:2019:RFD,%
		Xu:2014:SRB,%
		Zou:2022:BSP,%
		Bauer:2009:CER%
		}.
\NAMECITE{{Rust}}{%
		Cogo:2023:AAB,%
		Xu:2022:MSC%
		}.


\NAMECITE{{SAEO}}{%
		Gong:2021:TDG%
		}.
\NAMECITE{Safe}{%
		Lee:2023:EPS,%
		Bible:2001:CSC,%
		Bodden:2014:JPI,%
		Rothermel:1997:SER%
		}.
\NAMECITE{Safety}{%
		Xu:2022:MSC,%
		Briand:2014:TSD,%
		Cheung:1999:CSP,%
		Sistla:2000:SSB,%
		Snelting:2006:EPC%
		}.
\NAMECITE{{SAFKASI}}{%
		Wallach:2000:SSM%
		}.
\NAMECITE{Sample}{%
		Zhao:2021:ISD%
		}.
\NAMECITE{Sampling}{%
		Diep:2011:LBS,%
		Podgurski:1993:RRS,%
		Podgurski:1999:ESR%
		}.
\NAMECITE{Sanity}{%
		Wang:2020:IIC%
		}.
\NAMECITE{{SAT}}{%
		Antonino:2019:EVC,%
		Xiang:2018:CSP%
		}.
\NAMECITE{{SAT/SMT}}{%
		Antonino:2019:EVC%
		}.
\NAMECITE{satisfiability}{%
		Balaban:2013:FSU,%
		Pradella:2013:BSC%
		}.
\NAMECITE{{Sator}}{%
		Brogi:2010:DIS%
		}.
\NAMECITE{{Scala}}{%
		Ali:2015:TBC%
		}.
\NAMECITE{Scalable}{%
		Fu:2021:SSC,%
		Wu:2022:TTI,%
		Xu:2014:SRB,%
		Berstel:2005:SFM,%
		Harman:2014:ESS,%
		Hemmati:2013:ASM%
		}.
\NAMECITE{Scale}{%
		Behjati:2014:ALC,%
		Dyer:2015:BUL,%
		Fraser:2014:LSE,%
		Li:2020:PNF,%
		Lin:2022:XTC,%
		VonRhein:2018:VAS,%
		Maddila:2022:CCE,%
		Perry:2001:PCL,%
		Russo:2021:ASM,%
		Yang:2022:DDR%
		}.
\NAMECITE{Scaling}{%
		Huang:2013:SPA,%
		Li:2014:SSA%
		}.
\NAMECITE{{Scanner}}{%
		Yin:2023:SEV%
		}.
\NAMECITE{Scenario}{%
		Uddin:2021:AAU,%
		Uchitel:2004:IES,%
		Whittle:2010:SHS%
		}.
\NAMECITE{scenario-based}{%
		Uchitel:2004:IES%
		}.
\NAMECITE{Scenarios}{%
		Maoz:2011:CMS,%
		Uchitel:2004:IES%
		}.
\NAMECITE{Schedule}{%
		Machado:2016:CDD%
		}.
\NAMECITE{Schema}{%
		Mcminn:2015:ETC,%
		Nie:2011:MFC%
		}.
\NAMECITE{Schemas}{%
		Queralt:2012:VVU%
		}.
\NAMECITE{scientific}{%
		Chen:2011:TDB,%
		Erwig:2005:SRS,%
		Liu:2014:DWN%
		}.
\NAMECITE{Scope}{%
		Miranda:2020:TRU%
		}.
\NAMECITE{Scores}{%
		Riesco:2018:PII%
		}.
\NAMECITE{Screen}{%
		Ricca:2014:AES%
		}.
\NAMECITE{Screencasts}{%
		Bao:2020:PDC%
		}.
\NAMECITE{Scripts}{%
		Rahman:2021:SSA,%
		Riesco:2018:PII%
		}.
\NAMECITE{{SEADS}}{%
		Fu:2021:SSC%
		}.
\NAMECITE{Search}{%
		Ali:2020:QIS,%
		Arcuri:2022:ESB,%
		Arrieta:2023:SSS,%
		Baki:2016:MSL,%
		Chen:2020:WBU,%
		Chen:2023:WCH,%
		Ouni:2016:MCC,%
		Safdar:2021:RFC,%
		Scalabrino:2021:ASB,%
		Sim:2011:HWD,%
		Stolee:2014:SSS,%
		Taymouri:2020:CAW,%
		Xue:2020:MOI,%
		Zeng:2023:DEV,%
		Zhang:2018:ESM,%
		Zhang:2021:UWR,%
		Zhang:2022:AHS%
		}.
\NAMECITE{Search-Based}{%
		Ouni:2016:MCC,%
		Scalabrino:2021:ASB,%
		Zhang:2022:AHS,%
		Ali:2020:QIS,%
		Arcuri:2022:ESB,%
		Arrieta:2023:SSS,%
		Chen:2023:WCH,%
		Xue:2020:MOI%
		}.
\NAMECITE{Searching}{%
		Liu:2022:CSC,%
		Mcmillan:2013:PSR,%
		Zou:2021:IDL%
		}.
\NAMECITE{second}{%
		Tateishi:2013:PIS%
		}.
\NAMECITE{second-order}{%
		Tateishi:2013:PIS%
		}.
\NAMECITE{section}{%
		Notkin:2008:ISS%
		}.
\NAMECITE{Secure}{%
		Zdun:2023:MSM%
		}.
\NAMECITE{Security}{%
		Ahmadjee:2022:SBA,%
		Rahman:2021:SSA,%
		Rauf:2022:CAS,%
		Sworna:2023:AFA,%
		Zdun:2023:MSM,%
		Zhou:2022:SAI,%
		Basin:2006:MDS,%
		Bauer:2009:CER,%
		Clarke:2000:VSP,%
		Wallach:2000:SSM%
		}.
\NAMECITE{See}{%
		Keller:2022:WYS%
		}.
\NAMECITE{Seeding}{%
		Arrieta:2023:SSS%
		}.
\NAMECITE{Seeds}{%
		Arrieta:2023:SSS%
		}.
\NAMECITE{segments}{%
		Le:2013:MDF%
		}.
\NAMECITE{Selection}{%
		Arrieta:2023:SSS,%
		Hierons:2016:SOP,%
		Hu:2022:ESD,%
		Ma:2021:TSD,%
		Bible:2001:CSC,%
		Chen:2011:TDB,%
		Graves:2001:ESR,%
		Rothermel:1997:SER%
		}.
\NAMECITE{selective}{%
		Adams:1994:CSR,%
		Brett:1995:CCS%
		}.
\NAMECITE{Self}{%
		Birchler:2023:SMO,%
		Chen:2018:FFG,%
		Chen:2022:WDS,%
		Guo:2021:HFW,%
		Ren:2019:NNB,%
		Weyns:2023:AFF,%
		Payton:2010:SSA%
		}.
\NAMECITE{Self-Adaptive}{%
		Chen:2018:FFG,%
		Weyns:2023:AFF%
		}.
\NAMECITE{Self-Admitted}{%
		Ren:2019:NNB,%
		Guo:2021:HFW%
		}.
\NAMECITE{self-assessment}{%
		Payton:2010:SSA%
		}.
\NAMECITE{Self-Destruct}{%
		Chen:2022:WDS%
		}.
\NAMECITE{Self-driving}{%
		Birchler:2023:SMO%
		}.
\NAMECITE{Selfdestruct}{%
		Chen:2022:WDS%
		}.
\NAMECITE{Semantic}{%
		Breaux:2008:SPP,%
		Cao:2022:SSB,%
		Mahmoud:2015:ESR,%
		Payton:2010:SSA,%
		Yu:2022:AIE,%
		Mills:2000:KBM,%
		Keller:2022:WYS%
		}.
\NAMECITE{Semantic-Based}{%
		Cao:2022:SSB%
		}.
\NAMECITE{Semantics}{%
		El-Hokayem:2020:MDS,%
		Liu:2022:CSC,%
		Lu:2014:RBS,%
		Sheng:2019:TPA,%
		Xu:2023:SFC,%
		Harel:1996:SSS,%
		Yang:1992:PIA%
		}.
\NAMECITE{semantics-preserving}{%
		Yang:1992:PIA%
		}.
\NAMECITE{{SemMT}}{%
		Cao:2022:SSB%
		}.
\NAMECITE{Sensing}{%
		Banach:2014:CAM%
		}.
\NAMECITE{Sensitive}{%
		Lauko:2022:VPS,%
		Lu:2021:ECR,%
		Sherman:2015:DTB,%
		Sun:2023:DHS,%
		Broy:1993:FST,%
		Callison:1995:TSO,%
		Forgacs:1994:DIF,%
		Lhotak:2008:EBC,%
		Tateishi:2013:PIS%
		}.
\NAMECITE{Sensitivity}{%
		Lu:2021:ECR,%
		Harman:2014:ESS,%
		Milanova:2005:POS%
		}.
\NAMECITE{Sentiment}{%
		Chen:2021:EPS,%
		Uddin:2022:ESE%
		}.
\NAMECITE{Sequence}{%
		Roychoudhury:2012:SMS,%
		Lu:2014:RBS,%
		Memon:2008:ARE%
		}.
\NAMECITE{sequence-based}{%
		Memon:2008:ARE%
		}.
\NAMECITE{Sequences}{%
		Hierons:2017:PAG%
		}.
\NAMECITE{sequencing}{%
		Olender:1992:ISA%
		}.
\NAMECITE{Sequential}{%
		DiStefano:2022:VDS,%
		Liu:2022:CSC%
		}.
\NAMECITE{Serializable}{%
		Ma:2021:RTB%
		}.
\NAMECITE{Serverless}{%
		Barcelona-Pons:2022:SSC%
		}.
\NAMECITE{service}{%
		Brogi:2010:DIS,%
		Denaro:2013:TAA,%
		Fantechi:2012:LVM,%
		Haesevoets:2014:ACS,%
		Ponge:2010:AAT%
		}.
\NAMECITE{service-oriented}{%
		Fantechi:2012:LVM%
		}.
\NAMECITE{Services}{%
		Zheng:2013:PRP,%
		Broy:2007:FMS%
		}.
\NAMECITE{sets}{%
		Hierons:2002:CTS%
		}.
\NAMECITE{Shadow}{%
		Kuchta:2018:SSE%
		}.
\NAMECITE{shape}{%
		Corbett:2000:USA%
		}.
\NAMECITE{Should}{%
		Chen:2021:HSI%
		}.
\NAMECITE{shuttle}{%
		Crow:1998:FSS%
		}.
\NAMECITE{Side}{%
		Eldib:2014:FVS,%
		Gao:2019:VQS%
		}.
\NAMECITE{Side-Channel}{%
		Eldib:2014:FVS,%
		Gao:2019:VQS%
		}.
\NAMECITE{signal}{%
		Beauvais:2001:MSA%
		}.
\NAMECITE{Signature}{%
		Zaremski:1995:SMT%
		}.
\NAMECITE{Significance}{%
		Yang:2023:SCP%
		}.
\NAMECITE{Significant}{%
		Hall:2014:SCS%
		}.
\NAMECITE{Similarity}{%
		Kapur:2022:OEE,%
		Tian:2022:PPC,%
		Ostertag:1992:CSR%
		}.
\NAMECITE{simplified}{%
		Jeng:1994:SDT%
		}.
\NAMECITE{Simulating}{%
		Feldman:1993:SRS%
		}.
\NAMECITE{Simulation}{%
		Banach:2023:GRR,%
		El-Hokayem:2020:MDS,%
		Keidar:2002:IBT%
		}.
\NAMECITE{Single}{%
		Birchler:2023:SMO,%
		Zheng:2018:MAI%
		}.
\NAMECITE{{SIP}}{%
		Hierons:2016:SOP%
		}.
\NAMECITE{Site}{%
		Gao:2021:TQS%
		}.
\NAMECITE{Sites}{%
		Uddin:2021:AAU%
		}.
\NAMECITE{Six}{%
		Pezze:2023:EAS%
		}.
\NAMECITE{size}{%
		Binkley:2007:ESS,%
		Gencel:2008:FSM,%
		Harrold:1993:MCS,%
		Marin:2013:UFS,%
		Tan:2009:CDM,%
		Zhou:2014:DSP%
		}.
\NAMECITE{slice}{%
		Binkley:2007:ESS,%
		Meyers:2007:ESS%
		}.
\NAMECITE{slice-based}{%
		Meyers:2007:ESS%
		}.
\NAMECITE{slices}{%
		Briand:2014:TSD%
		}.
\NAMECITE{Slicing}{%
		Xu:2014:SRB,%
		Gupta:1997:HSI,%
		Liang:2002:EAA,%
		Tip:2001:SBA%
		}.
\NAMECITE{slicing-based}{%
		Tip:2001:SBA%
		}.
\NAMECITE{Small}{%
		Hall:2014:SCS,%
		Singh:2010:SWE%
		}.
\NAMECITE{small-world}{%
		Singh:2010:SWE%
		}.
\NAMECITE{{Smalltalk}}{%
		Cheon:1994:LSI%
		}.
\NAMECITE{Smart}{%
		Albert:2022:SOS,%
		Chen:2022:WDS,%
		He:2023:TAE,%
		Yu:2020:SCR,%
		Zarir:2021:DCE%
		}.
\NAMECITE{{SMC}}{%
		Sistla:2000:SSB%
		}.
\NAMECITE{Smell}{%
		Sahin:2014:CSD%
		}.
\NAMECITE{Smells}{%
		Abidi:2021:MLD,%
		Dong:2023:BWL,%
		Hall:2014:SCS,%
		Rahman:2021:SSA%
		}.
\NAMECITE{{SMT}}{%
		Antonino:2019:EVC,%
		Chen:2021:LCF%
		}.
\NAMECITE{{SNIAFL}}{%
		Zhao:2006:STS%
		}.
\NAMECITE{Snippets}{%
		Gao:2020:GQT%
		}.
\NAMECITE{{SNOW}}{%
		Liu:2022:AOD%
		}.
\NAMECITE{{SNOW}-optimal}{%
		Liu:2022:AOD%
		}.
\NAMECITE{Socio}{%
		Joblin:2022:HDS%
		}.
\NAMECITE{Socio-Technical}{%
		Joblin:2022:HDS%
		}.
\NAMECITE{Sociotechnical}{%
		Kafali:2020:DSS%
		}.
\NAMECITE{Software}{%
		Ali:2020:QIS,%
		Behjati:2014:ALC,%
		Bi:2022:ASP,%
		Bock:2022:MMG,%
		Bogart:2021:WHM,%
		Bohme:2018:SST,%
		Calefato:2022:UPD,%
		Candela:2016:UCC,%
		Castro:2021:FFS,%
		Chen:2018:FFG,%
		Chen:2021:EPS,%
		Chen:2023:WCH,%
		Cheng:2021:DSD,%
		Chondamrongkul:2021:SAM,%
		Cook:1999:SPV,%
		Czekster:2016:SPA,%
		Czepa:2019:HUP,%
		Doppke:1998:SPM,%
		Dramko:2023:DDN,%
		Dwyer:2015:EJF,%
		Dyer:2015:BUL,%
		Eldib:2014:FVS,%
		Emam:2018:IEP,%
		Erwig:2005:SRS,%
		Erwig:2011:CCR,%
		Ford:2022:TTC,%
		Fraser:2015:DAU,%
		Furia:2022:ABA,%
		Gao:2019:VQS,%
		Graziotin:2022:PBS,%
		Hierons:2020:MOT,%
		Howden:1995:STA,%
		Jain:2022:BRD,%
		Kapur:2022:OEE,%
		Kuchta:2018:SSE,%
		Lin:2022:OMS,%
		Liu:2022:RRD,%
		Maddila:2022:CCE,%
		Martinez-Fernandez:2022:SEA,%
		Masso:2022:CTS,%
		Mattsson:2012:AMA,%
		Mills:2017:PQQ,%
		Minku:2013:SEE,%
		Miranda:2020:TRU,%
		Mkaouer:2015:MOS,%
		Murphy:2014:ISI,%
		Ouni:2016:MCC,%
		Reuling:2019:AWP,%
		Rigby:2014:PRO,%
		Sarro:2018:LPB,%
		Sharma:2018:RWF,%
		Sobhy:2021:ESA,%
		Sobhy:2022:CPS,%
		Song:2019:SEI,%
		Stol:2018:ASE,%
		Sundelin:2022:TAS,%
		Traini:2022:HSR,%
		Trinkenreich:2022:WPO,%
		Uddin:2022:ESE,%
		Vogel-Heuser:2022:MIA,%
		Walkinshaw:2013:ACS,%
		Wang:2019:OTS,%
		Watson:2022:SLR,%
		Whigham:2015:BMS,%
		Xiang:2018:CSP,%
		Xu:2023:LLI,%
		Xue:2020:MOI,%
		Yang:2022:PMS,%
		Yi:2015:SCC,%
		Zhang:2020:MTC,%
		Zhao:2021:PPA,%
		Abowd:1995:FSU,%
		Ambriola:1997:APC,%
		Barrett:1996:FEB,%
		Batory:1992:DIH,%
		Bavota:2014:ISM,%
		Bernardo:2002:AFS,%
		Cai:2012:FMA,%
		Chen:2001:TMO,%
		Chen:2008:UBS,%
		Ciancarini:1993:CRB,%
		Cook:1998:DMS,%
		Costagliola:2004:FMI,%
		Crow:1998:FSS,%
		Dashofy:2005:CAD,%
		DeLucia:2007:RTL,%
		Dwyer:2004:FAV,%
		Engels:1992:BIS,%
		Estublier:2005:ISE,%
		Ferguson:1996:CAS,%
		Fuggetta:1998:AGI,%
		Gruschke:2008:ROF,%
		Gunter:2000:ADB,%
		Hall:2009:SRT,%
		Henninger:1997:EAC,%
		Holmes:2012:SPS,%
		Jaccheri:1998:ESP,%
		Jalote:2008:PRR,%
		Kaiser:1993:PDI,%
		Lizcano:2013:WCA,%
		Louridas:2008:PLS%
		}.
\NAMECITE{software}{%
		Mari:2014:MBS,%
		Medvidovic:2002:MSA,%
		Meneely:2012:VSM,%
		Mockus:2002:TCS,%
		Mohagheghi:2008:EIS,%
		Naish:2011:MSB,%
		Notkin:2008:ISS,%
		Offutt:1992:IST,%
		Ouyang:2009:BPM,%
		Perry:2001:PCL,%
		Podgurski:1993:RRS,%
		Podgurski:1999:ESR,%
		Porter:1998:USV,%
		Robillard:2008:TAS,%
		Ryder:2005:ISE,%
		Snelting:2006:EPC,%
		Sullivan:1992:REI,%
		Sutton:1995:ALS,%
		Tan:2009:CDM,%
		Tiwana:2008:ICD,%
		Trammell:1992:APC,%
		Unterkalmsteiner:2014:TRE,%
		Vouillon:2013:SCC,%
		Whittaker:1993:MAS,%
		Wursch:2013:EQF,%
		Xie:2007:DCA,%
		Xu:2013:PML,%
		Zaremski:1995:SMT,%
		Zaremski:1997:SMS,%
		Dilhara:2021:USS%
		}.
\NAMECITE{{Software-2.0}}{%
		Dilhara:2021:USS%
		}.
\NAMECITE{Software-engineering}{%
		Xue:2020:MOI%
		}.
\NAMECITE{Solution}{%
		Li:2020:PNF%
		}.
\NAMECITE{Solutions}{%
		Lyu:2021:ESI,%
		Xue:2020:MOI%
		}.
\NAMECITE{Solved}{%
		Xu:2022:MSC%
		}.
\NAMECITE{solver}{%
		Kiezun:2012:HSW%
		}.
\NAMECITE{Solvers}{%
		Xiang:2018:CSP%
		}.
\NAMECITE{Solving}{%
		Antonino:2019:EVC,%
		Chen:2021:LCF,%
		Soltana:2020:PCS,%
		Stolee:2014:SSS,%
		Xue:2020:MOI%
		}.
\NAMECITE{Some}{%
		Arrieta:2023:SSS,%
		Hall:2014:SCS%
		}.
\NAMECITE{Sound}{%
		Ma:2021:RTB,%
		Xue:2020:MOI%
		}.
\NAMECITE{Source}{%
		Bock:2022:MMG,%
		Bogart:2021:WHM,%
		Chen:2020:HCT,%
		Dyer:2015:BUL,%
		Gao:2023:CSG,%
		Haas:2020:SAA,%
		Kapur:2020:DES,%
		Khatoonabadi:2023:WCU,%
		Kim:2022:PMA,%
		Mahmoud:2015:ESR,%
		Pantiuchina:2020:WDR,%
		Pantiuchina:2022:WDD,%
		Rigby:2014:PRO,%
		Scanniello:2015:DDP,%
		Scanniello:2017:FFC,%
		Stolee:2014:SSS,%
		Trinkenreich:2022:WPO,%
		Wang:2020:MTN,%
		Wang:2020:UED,%
		Xu:2023:LLI,%
		Devanbu:1999:GCF,%
		Duala-Ekoko:2010:CRD,%
		Mockus:2002:TCS,%
		Murphy:1996:LLS,%
		Robillard:2007:RCS,%
		Scanniello:2014:IUA,%
		Singh:2010:SWE,%
		Stol:2014:KFA%
		}.
\NAMECITE{Source-Code}{%
		Dyer:2015:BUL,%
		Scanniello:2015:DDP,%
		Scanniello:2014:IUA%
		}.
\NAMECITE{sources}{%
		Porter:1998:USV%
		}.
\NAMECITE{Space}{%
		Sharma:2018:RWF,%
		Zohdinasab:2023:EEF,%
		Crow:1998:FSS,%
		Duri:1994:AEE%
		}.
\NAMECITE{Special}{%
		Harman:2015:ISI,%
		Murphy:2014:ISI,%
		Notkin:2008:ISS%
		}.
\NAMECITE{specialization}{%
		Schrefl:2002:BCS%
		}.
\NAMECITE{Species}{%
		Bohme:2018:SST%
		}.
\NAMECITE{specific}{%
		Batory:2002:AET,%
		Bultan:2000:CMC,%
		Huang:2008:DSL,%
		Sinha:2006:HMB%
		}.
\NAMECITE{Specification}{%
		Kafali:2020:DSS,%
		Kang:2021:ASM,%
		Xiong:2022:LFS,%
		Zaremski:1997:SMS,%
		Broy:1993:FST,%
		Chen:2010:VSI,%
		Cheon:1994:LSI,%
		Creveuil:1994:FSD,%
		Engels:1992:BIS,%
		Felty:2003:FSA,%
		Kuhn:1999:FCE,%
		Lau:2005:EFC,%
		Morzenti:1994:OOL,%
		Parisi-Presicce:1994:ATC,%
		Roman:1997:MUR,%
		Tsuchiya:2002:FCE,%
		Wang:1993:DRT%
		}.
\NAMECITE{specification-based}{%
		Kuhn:1999:FCE,%
		Lau:2005:EFC,%
		Tsuchiya:2002:FCE%
		}.
\NAMECITE{Specifications}{%
		El-Hokayem:2020:MDS,%
		Polyvyanyy:2020:MPR,%
		Chen:2011:RFC,%
		Durante:2003:ATE,%
		Felder:1994:VRT,%
		Heitmeyer:1996:ACC,%
		Henkel:2008:DDA,%
		Hunter:1998:MIS,%
		Jackson:1995:SZS,%
		Kapoor:2007:TCF,%
		Mari:2014:MBS,%
		Miller:2003:FTS,%
		Pons:2002:TAC,%
		Pradella:2013:BSC,%
		Uchitel:2004:IES,%
		Whittaker:1993:MAS,%
		Frias:2007:EAD%
		}.
\NAMECITE{specify}{%
		Ciancarini:2000:UCL%
		}.
\NAMECITE{Specifying}{%
		Paulweber:2021:SIT,%
		Dillon:1994:GIL%
		}.
\NAMECITE{spectra}{%
		Naish:2011:MSB%
		}.
\NAMECITE{spectra-based}{%
		Naish:2011:MSB%
		}.
\NAMECITE{Spectrum}{%
		Troya:2018:SBF,%
		Yoo:2017:HCG,%
		Meneely:2012:VSM,%
		Xie:2013:TAR%
		}.
\NAMECITE{Spectrum-Based}{%
		Troya:2018:SBF,%
		Yoo:2017:HCG,%
		Xie:2013:TAR%
		}.
\NAMECITE{Speculative}{%
		Wang:2020:KDI%
		}.
\NAMECITE{Speed}{%
		Ore:2021:EST%
		}.
\NAMECITE{Speeding}{%
		Tao:2021:SDM%
		}.
\NAMECITE{spi}{%
		Durante:2003:ATE,%
		Zhou:2022:SAI%
		}.
\NAMECITE{Splitting}{%
		Lyu:2021:ESI%
		}.
\NAMECITE{spreadsheet}{%
		Fisher:2006:IAT%
		}.
\NAMECITE{spreadsheets}{%
		Rothermel:2001:MTS%
		}.
\NAMECITE{{SQL}}{%
		Arcuri:2020:HSD%
		}.
\NAMECITE{{SSL}}{%
		Nie:2023:CDD,%
		Tian:2019:DTC%
		}.
\NAMECITE{{SSL/TLS}}{%
		Nie:2023:CDD,%
		Tian:2019:DTC%
		}.
\NAMECITE{Stack}{%
		Anand:2016:SMA,%
		Azad:2017:GAC,%
		Gao:2020:GQT,%
		Yang:2022:DDR,%
		Zhang:2021:CSO%
		}.
\NAMECITE{Stacks}{%
		Zou:2022:BSP%
		}.
\NAMECITE{{STADS}}{%
		Bohme:2018:SST%
		}.
\NAMECITE{Stages}{%
		Lee:2023:EPS%
		}.
\NAMECITE{Stand}{%
		Uddin:2022:ESE%
		}.
\NAMECITE{Stand-alone}{%
		Uddin:2022:ESE%
		}.
\NAMECITE{State}{%
		Emam:2018:IEP,%
		Moller:2014:ADC,%
		Paulweber:2021:SIT,%
		Razzaq:2019:SEE,%
		Walkinshaw:2013:ACS,%
		Corbett:2000:USA,%
		Duri:1994:AEE,%
		Whittle:2010:SHS%
		}.
\NAMECITE{State-Based}{%
		Walkinshaw:2013:ACS%
		}.
\NAMECITE{statecharts}{%
		Beauvais:2001:MSA,%
		Harel:1992:SO,%
		Harel:1996:SSS%
		}.
\NAMECITE{Stateful}{%
		Barcelona-Pons:2022:SSC,%
		Sun:2013:MVH%
		}.
\NAMECITE{{STATEMATE}}{%
		Harel:1996:SSS%
		}.
\NAMECITE{Statement}{%
		Bertolotti:2023:FTS%
		}.
\NAMECITE{Statement-Based}{%
		Bertolotti:2023:FTS%
		}.
\NAMECITE{States}{%
		Li:2014:SSA%
		}.
\NAMECITE{Static}{%
		Costea:2023:HDR,%
		Haas:2020:SAA,%
		Inverardi:2000:SCS,%
		Kim:2019:PLR,%
		Radoi:2015:ETS,%
		Razzaq:2019:SEE,%
		Robillard:2003:SAS,%
		VonRhein:2018:VAS,%
		Wassermann:2007:SCD,%
		Binkley:2007:ESS,%
		Frias:2005:RAS,%
		Gupta:1997:HSI,%
		Murphy:1998:ESS,%
		Olender:1992:ISA,%
		Zhao:2006:STS%
		}.
\NAMECITE{Statically}{%
		Cheng:2021:DSD%
		}.
\NAMECITE{Statistical}{%
		Rigby:2014:PRO,%
		Zuo:2023:TME%
		}.
\NAMECITE{Status}{%
		Wagner:2019:SQR%
		}.
\NAMECITE{Step}{%
		Baki:2016:MSL,%
		Sun:2021:TRE%
		}.
\NAMECITE{Stepwise}{%
		Ebnenasir:2011:FSD%
		}.
\NAMECITE{Stochastic}{%
		Czekster:2016:SPA%
		}.
\NAMECITE{Storage}{%
		Zou:2022:BSP%
		}.
\NAMECITE{Strategies}{%
		Arrieta:2023:SSS%
		}.
\NAMECITE{strategy}{%
		Jeng:1994:SDT%
		}.
\NAMECITE{stratified}{%
		Podgurski:1999:ESR%
		}.
\NAMECITE{{StreamGen}}{%
		Guerriero:2021:SMD%
		}.
\NAMECITE{Streaming}{%
		Guerriero:2021:SMD%
		}.
\NAMECITE{strength}{%
		Masri:2009:MSI%
		}.
\NAMECITE{Stress}{%
		Alesio:2015:CGA%
		}.
\NAMECITE{string}{%
		Tateishi:2013:PIS%
		}.
\NAMECITE{strings}{%
		Kiezun:2012:HSW%
		}.
\NAMECITE{Strong}{%
		Arrieta:2023:SSS%
		}.
\NAMECITE{Structural}{%
		Kiper:1992:STR%
		}.
\NAMECITE{Structure}{%
		Gao:2023:CSG,%
		Gay:2016:EPM,%
		Walkinshaw:2013:ACS,%
		Robillard:2003:SAS%
		}.
\NAMECITE{Structure-Guided}{%
		Gao:2023:CSG%
		}.
\NAMECITE{structured}{%
		Baresi:1998:TFS%
		}.
\NAMECITE{Structures}{%
		Karanikolas:2017:EEI%
		}.
\NAMECITE{Structuring}{%
		Jackson:1995:SZS%
		}.
\NAMECITE{Stubborn}{%
		Chekam:2021:KSM%
		}.
\NAMECITE{Studies}{%
		Cai:2020:AIM,%
		Siegmund:2021:MVH,%
		Baresi:2007:TES,%
		Crow:1998:FSS,%
		Hall:2009:SRT,%
		Mockus:2002:TCS%
		}.
\NAMECITE{Study}{%
		Abidi:2021:MLD,%
		Ahmadjee:2022:SBA,%
		Chen:2020:HCT,%
		Chen:2021:HSI,%
		Cogo:2023:AAB,%
		Dilhara:2021:USS,%
		Ehsan:2021:ESD,%
		Falessi:2022:IDD,%
		Fraser:2015:DAU,%
		Guo:2021:HFW,%
		Hu:2022:ESD,%
		Khatoonabadi:2023:WCU,%
		Liao:2022:ESI,%
		Lyu:2021:ESI,%
		Ni:2022:JTD,%
		Ore:2021:EST,%
		Ouni:2016:MCC,%
		Pantiuchina:2020:WDR,%
		Rahman:2021:SSA,%
		Russo:2021:ASM,%
		Sayar:2023:DSJ,%
		Shen:2023:CSM,%
		Tao:2021:SDM,%
		Tufano:2019:ESL,%
		Uddin:2022:ESE,%
		VonRhein:2018:VAS,%
		Xu:2022:MSC,%
		Yang:2022:DDR,%
		Zarir:2021:DCE,%
		Zhang:2014:ATV,%
		Zhang:2018:ESM,%
		Zhang:2022:AHS,%
		Zhou:2016:IRO,%
		Batory:2002:AET,%
		Bible:2001:CSC,%
		Binkley:2007:ESS,%
		Conboy:2010:MDC,%
		Graves:2001:ESR,%
		Meyers:2007:ESS,%
		Murphy:1998:ESS,%
		Perry:2001:PCL,%
		Schneider:1992:ESF,%
		Sommerville:2005:ESI,%
		Tiwana:2008:ICD,%
		Trammell:1992:APC,%
		Xie:2008:UPS,%
		Zhou:2014:DSP%
		}.
\NAMECITE{Studying}{%
		Ojdanic:2023:MTE%
		}.
\NAMECITE{style}{%
		Abowd:1995:FSU%
		}.
\NAMECITE{Subject}{%
		DiNardo:2017:AFD%
		}.
\NAMECITE{Suboptimal}{%
		Wang:2023:SCJ%
		}.
\NAMECITE{Success}{%
		Russo:2021:ASM,%
		Singh:2010:SWE%
		}.
\NAMECITE{Successful}{%
		Joblin:2022:HDS%
		}.
\NAMECITE{Such}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{sufficient}{%
		Offutt:1996:EDS%
		}.
\NAMECITE{Suggestion}{%
		Ore:2021:EST%
		}.
\NAMECITE{Suite}{%
		Hierons:2020:MOT,%
		Bernhard:1994:RTS,%
		Harrold:1993:MCS,%
		Petrenko:1997:CRT,%
		Rothermel:2004:TSC,%
		Xue:2020:MOI,%
		Young:1995:CAT%
		}.
\NAMECITE{Suites}{%
		Gligoric:2015:GCB,%
		Memon:2008:ARE%
		}.
\NAMECITE{Summaries}{%
		Costea:2023:HDR,%
		Palepu:2017:DDS%
		}.
\NAMECITE{Summarization}{%
		Chen:2021:WMC,%
		Gao:2023:CSG%
		}.
\NAMECITE{Super}{%
		Albert:2022:SOS%
		}.
\NAMECITE{Super-optimization}{%
		Albert:2022:SOS%
		}.
\NAMECITE{Support}{%
		Alesio:2015:CGA,%
		Jin:2015:ASR,%
		Sim:2011:HWD,%
		Zheng:2018:MAI,%
		Briand:2014:TSD,%
		Haesevoets:2014:ACS,%
		Miller:2003:FTS,%
		Robillard:2003:SAS%
		}.
\NAMECITE{Supporting}{%
		Bowdidge:1998:SRD,%
		Dyer:2010:SDA,%
		Hamlet:2009:TES,%
		Murphy:2006:LCM%
		}.
\NAMECITE{Surprise}{%
		Kim:2023:ESA%
		}.
\NAMECITE{Survey}{%
		Martinez-Fernandez:2022:SEA,%
		Parry:2022:SFT,%
		Trinkenreich:2022:WPO%
		}.
\NAMECITE{Surveys}{%
		Wagner:2019:SQR%
		}.
\NAMECITE{Sustainability}{%
		Cai:2020:AIM%
		}.
\NAMECITE{Symbolic}{%
		Anand:2016:SMA,%
		Bauch:2016:CED,%
		Chekam:2021:KSM,%
		Eshuis:2006:SMC,%
		Kuchta:2018:SSE,%
		Li:2014:SSA,%
		Roychoudhury:2012:SMS,%
		Wang:2020:KDI,%
		Yang:2014:DIS,%
		Bultan:2000:CMC,%
		Chechik:2003:MVS,%
		Qi:2013:PEB,%
		Siegel:2008:CSE%
		}.
\NAMECITE{symmetry}{%
		Sistla:2000:SSB%
		}.
\NAMECITE{symmetry-based}{%
		Sistla:2000:SSB%
		}.
\NAMECITE{symposium}{%
		Notkin:2008:ISS%
		}.
\NAMECITE{Synchronisation}{%
		Antonino:2019:EVC%
		}.
\NAMECITE{Synchronization}{%
		Yang:2023:SCP,%
		Yin:2023:SEV%
		}.
\NAMECITE{synthesis}{%
		Mari:2014:MBS%
		}.
\NAMECITE{synthesized}{%
		Pan:2014:GTG%
		}.
\NAMECITE{Synthesizing}{%
		Dippolito:2013:SNE,%
		Whittle:2010:SHS,%
		Xiong:2022:LFS,%
		Demsky:2013:VSF%
		}.
\NAMECITE{Synthetic}{%
		Song:2019:SEI%
		}.
\NAMECITE{{SysML}}{%
		Briand:2014:TSD%
		}.
\NAMECITE{System}{%
		Arcuri:2020:HSD,%
		Beschastnikh:2020:VDS,%
		Catak:2022:UAP,%
		Kim:2023:ESA,%
		Layman:2014:MER,%
		Pavese:2016:LME,%
		Soltana:2020:PCS,%
		Zhang:2022:AHS,%
		Zheng:2018:MAI,%
		Ballance:1992:PLB,%
		Chen:2010:VSI,%
		Inverardi:2000:SCS,%
		Mari:2014:MBS,%
		Mills:2000:KBM,%
		Ostertag:1992:CSR,%
		Roshandel:2004:MSM,%
		Trammell:1992:APC,%
		Wang:1993:DRT%
		}.
\NAMECITE{system-level}{%
		Mari:2014:MBS%
		}.
\NAMECITE{Systematic}{%
		Araujo:2023:TVV,%
		Lin:2022:OMS,%
		Sobhy:2021:ESA,%
		Tamasauskaite:2023:DKG,%
		Vogel-Heuser:2022:MIA,%
		Watson:2022:SLR,%
		Hall:2009:SRT,%
		Miller:2003:FTS%
		}.
\NAMECITE{Systematizing}{%
		Holmes:2012:SPS%
		}.
\NAMECITE{{SystemC}}{%
		Yan:2020:AGS%
		}.
\NAMECITE{Systems}{%
		Abal:2018:VBH,%
		Antonino:2019:EVC,%
		Araujo:2023:TVV,%
		Arcega:2022:BLM,%
		Arnold:2011:QER,%
		Behjati:2014:ALC,%
		Biagiola:2022:TPR,%
		Cao:2022:SSB,%
		Chen:2020:HCT,%
		Cheng:2023:HHI,%
		Dehlinger:2011:GPP,%
		DiNardo:2017:AFD,%
		DiStefano:2022:VDS,%
		Ellis:2019:RFD,%
		Ferrando:2021:THA,%
		Fu:2021:SSC,%
		Kafali:2020:DSS,%
		Lee:2023:EPS,%
		Ma:2021:TSD,%
		Martinez-Fernandez:2022:SEA,%
		Nguyen:2018:UCM,%
		Ojdanic:2023:MTE,%
		Polyvyanyy:2020:MPR,%
		Safdar:2021:RFC,%
		Tilevich:2011:EEP,%
		Weyns:2023:AFF,%
		Xu:2023:SFC,%
		Yanez:2021:AIT,%
		Zhao:2021:PPA,%
		Zohdinasab:2023:EEF,%
		Batory:1992:DIH,%
		Bernardo:2002:AFS,%
		Broy:1993:FST,%
		Callison:1995:TSO,%
		Chang:2013:EHH,%
		Chen:2011:TDB,%
		Ciancarini:2000:UCL,%
		Cimatti:2012:VRH,%
		Cugola:1996:FFI,%
		DeLucia:2007:RTL,%
		Devanbu:1997:UDL,%
		Dillon:1994:GIL,%
		Dwyer:2004:FAV,%
		Felder:1994:VRT,%
		Felder:2002:FDN,%
		Feldman:1993:SRS,%
		Gargantini:2001:ADR,%
		Jennings:2012:TPA,%
		Kiper:1992:STR,%
		Kramer:2004:CCM,%
		Liu:2014:DWN,%
		Minsky:2000:LGI,%
		Morzenti:1994:OOL,%
		Moser:1997:GED,%
		Ostroff:1999:CRD,%
		Ouyang:2009:BPM,%
		Pons:2002:TAC,%
		Robillard:2003:SAS,%
		Sun:2013:MVH,%
		Tan:2009:CDM,%
		Thiran:2006:WBE,%
		Wallach:2000:SSM,%
		Zambonelli:2003:DMS%
		}.


\NAMECITE{{TACCLE}}{%
		Chen:2001:TMO%
		}.
\NAMECITE{Tactics}{%
		Yanez:2021:AIT%
		}.
\NAMECITE{Tagger}{%
		Wang:2020:IIC%
		}.
\NAMECITE{tailoring}{%
		Conboy:2010:MDC%
		}.
\NAMECITE{Taint}{%
		Hough:2022:PAD%
		}.
\NAMECITE{Tale}{%
		Ford:2022:TTC%
		}.
\NAMECITE{Taming}{%
		Sun:2021:TRE%
		}.
\NAMECITE{Target}{%
		Kim:2019:PLR%
		}.
\NAMECITE{Task}{%
		Alesio:2015:CGA,%
		Bhatia:2016:MPG,%
		Dillon:1997:TDT,%
		Ding:2023:TLG,%
		Zhang:2020:MTC,%
		Sinnig:2013:UCT%
		}.
\NAMECITE{Task-agnostic}{%
		Ding:2023:TLG%
		}.
\NAMECITE{tasking}{%
		Dillon:1993:VEM%
		}.
\NAMECITE{Tasks}{%
		Fleming:2013:IFT,%
		Mills:2017:PQQ,%
		Tao:2021:SDM%
		}.
\NAMECITE{Taxonomy}{%
		Ramirez:2023:TIA,%
		Unterkalmsteiner:2014:TRE%
		}.
\NAMECITE{Teams}{%
		Czekster:2016:SPA%
		}.
\NAMECITE{Technical}{%
		Gao:2021:TQS,%
		Guo:2021:HFW,%
		Joblin:2022:HDS,%
		Ren:2019:NNB,%
		Uddin:2021:AAU%
		}.
\NAMECITE{technique}{%
		Keidar:2002:IBT,%
		Rothermel:1997:SER,%
		Sinha:2006:HMB,%
		Smaragdakis:2002:MLO%
		}.
\NAMECITE{Techniques}{%
		Bjorner:2019:DAD,%
		Radoi:2015:ETS,%
		Bible:2001:CSC,%
		Graves:2001:ESR,%
		Strecker:2012:ADC%
		}.
\NAMECITE{technology}{%
		Emmerich:2008:IRD%
		}.
\NAMECITE{telecom}{%
		Mohagheghi:2008:EIS%
		}.
\NAMECITE{telecommunication}{%
		Zave:2004:ATT%
		}.
\NAMECITE{Templates}{%
		Chen:2020:HCT%
		}.
\NAMECITE{Temporal}{%
		Chen:2011:TDB,%
		DeGiacomo:2022:MCM,%
		Pons:2002:TAC,%
		Liu:2014:DWN,%
		Pradella:2013:BSC%
		}.
\NAMECITE{Tensor}{%
		Bock:2022:MMG%
		}.
\NAMECITE{Term}{%
		VanDenBrand:2003:TRT%
		}.
\NAMECITE{Termination}{%
		Tramontana:2019:DEO,%
		Dillon:1997:TDT%
		}.
\NAMECITE{Terminology}{%
		Masso:2022:CTS%
		}.
\NAMECITE{Terms}{%
		Walkinshaw:2013:ACS%
		}.
\NAMECITE{Test}{%
		Arcuri:2019:RAA,%
		Arcuri:2020:HSD,%
		Arrieta:2023:SSS,%
		Birchler:2023:SMO,%
		Ceccato:2015:DAG,%
		Denaro:2013:TAA,%
		Emam:2015:TCP,%
		Fraser:2014:LSE,%
		Fraser:2015:DAU,%
		Gay:2016:EPM,%
		Gligoric:2015:GCB,%
		Gong:2021:TDG,%
		Hao:2014:UTC,%
		Hierons:2020:MOT,%
		Holmes:2020:URL,%
		Hu:2022:ESD,%
		Islam:2014:GTC,%
		Kapoor:2007:TCF,%
		Ma:2021:TSD,%
		Marculescu:2022:FFR,%
		Mcminn:2015:ETC,%
		Mechtaev:2018:TEA,%
		Pan:2023:PWT,%
		Ramirez:2023:TIA,%
		Safdar:2021:RFC,%
		Scalabrino:2021:ASB,%
		Soltana:2020:PCS,%
		Tian:2022:PPC,%
		Xue:2020:MOI,%
		Zhang:2022:AHS,%
		Zhou:2022:PTP,%
		Bernhard:1994:RTS,%
		Bible:2001:CSC,%
		DeMillo:1993:ERA,%
		Ferguson:1996:CAS,%
		Fisher:2006:IAT,%
		Graves:2001:ESR,%
		Harrold:1993:MCS,%
		Hemmati:2013:ASM,%
		Hierons:2002:CTS,%
		Hierons:2009:VFT,%
		Karam:2008:ULT,%
		Memon:2008:ARE,%
		Pan:2014:GTG,%
		Petrenko:1997:CRT,%
		Rothermel:1997:SER,%
		Rothermel:2004:TSC,%
		Sinha:2006:HMB,%
		Unterkalmsteiner:2014:TRE,%
		Xie:2007:DCA%
		}.
\NAMECITE{Test-and-adapt}{%
		Denaro:2013:TAA%
		}.
\NAMECITE{Test-Equivalence}{%
		Mechtaev:2018:TEA%
		}.
\NAMECITE{test-selection}{%
		Bible:2001:CSC%
		}.
\NAMECITE{Test-suite}{%
		Xue:2020:MOI%
		}.
\NAMECITE{Testability}{%
		Arcuri:2022:ESB,%
		Binkley:2011:FTT,%
		McMinn:2009:EEN%
		}.
\NAMECITE{Tester}{%
		Meyers:2022:EPT%
		}.
\NAMECITE{Testers}{%
		Fraser:2015:DAU%
		}.
\NAMECITE{Testing}{%
		Alesio:2015:CGA,%
		Araujo:2023:TVV,%
		Arcuri:2022:ESB,%
		Ardito:2022:FMB,%
		Bergadano:1996:TMI,%
		Biagiola:2022:TPR,%
		Bohme:2018:SST,%
		Cao:2022:SSB,%
		Chen:2020:PAE,%
		Chen:2022:BCT,%
		DiNardo:2017:AFD,%
		Godoy:2021:EBT,%
		Hierons:2014:CCD,%
		Kim:2023:ESA,%
		Kuchta:2018:SSE,%
		Menendez:2021:DFT,%
		Meyers:2022:EPT,%
		Miranda:2020:TRU,%
		Ngo:2022:ACE,%
		Nie:2011:MFC,%
		Nie:2023:CDD,%
		Ojdanic:2023:MTE,%
		Pan:2023:PWT,%
		Pilgun:2020:FGC,%
		Romdhana:2022:DRL,%
		Sun:2023:FDM,%
		Tian:2019:DTC,%
		Tramontana:2019:DEO,%
		Wang:2019:OTS,%
		Zhang:2020:MTC,%
		Zohdinasab:2023:EEF,%
		Bernhard:1994:RTS,%
		Chen:1998:BWI,%
		Chen:2001:TMO,%
		Chen:2008:UBS,%
		Devanbu:1996:GTA,%
		Doong:1994:AAT,%
		Durante:2003:ATE,%
		Fisher:2006:IAT,%
		Hamlet:2009:TES,%
		Hemmati:2013:ASM,%
		Hierons:2009:VFT,%
		Jeng:1994:SDT,%
		Karam:2008:ULT,%
		Kiper:1992:STR,%
		Kuhn:1999:FCE,%
		Lau:2005:EFC,%
		Martignoni:2013:MTC,%
		McMinn:2009:EEN,%
		Memon:2008:ARE,%
		Miller:2003:FTS,%
		Notkin:2008:ISS,%
		Offutt:1992:IST,%
		Orso:2004:CDD,%
		Petrenko:1997:CRT,%
		Rothermel:2001:MTS,%
		Rothermel:2004:TSC,%
		Sinha:2006:HMB,%
		Strecker:2012:ADC,%
		Tappenden:2014:ACC,%
		Tsuchiya:2002:FCE,%
		Weyuker:1996:UFC,%
		Xie:2008:UPS,%
		Zeil:1992:DLE%
		}.
\NAMECITE{testing-based}{%
		Hamlet:2009:TES%
		}.
\NAMECITE{Tests}{%
		Gao:2021:BTP,%
		Parry:2022:SFT,%
		Santhiar:2014:MUT,%
		Wu:2023:AIU,%
		Zhang:2014:ATV%
		}.
\NAMECITE{Text}{%
		Mills:2017:PQQ%
		}.
\NAMECITE{Their}{%
		Ahmadjee:2022:SBA,%
		Walkinshaw:2013:ACS,%
		Mcmillan:2013:PSR%
		}.
\NAMECITE{theoretic}{%
		Yoo:2013:FLP%
		}.
\NAMECITE{Theoretical}{%
		Sheng:2019:TPA,%
		Yoo:2017:HCG,%
		Xie:2013:TAR%
		}.
\NAMECITE{Theory}{%
		Fleming:2013:IFT,%
		Rigby:2014:PRO,%
		Wagner:2019:SQR,%
		Hall:2009:SRT,%
		Hamlet:2009:TES,%
		Parisi-Presicce:1994:ATC%
		}.
\NAMECITE{There}{%
		Rombaut:2023:TNS,%
		Zhang:2022:MRE%
		}.
\NAMECITE{Thing}{%
		Rombaut:2023:TNS%
		}.
\NAMECITE{{Things}}{%
		Yanez:2021:AIT%
		}.
\NAMECITE{Thread}{%
		Zou:2022:BSP%
		}.
\NAMECITE{Thread-Local}{%
		Zou:2022:BSP%
		}.
\NAMECITE{Threats}{%
		Ahmadjee:2022:SBA%
		}.
\NAMECITE{Three}{%
		Baresi:2007:TES,%
		Zhou:2016:IRO,%
		Counsell:2006:IUT%
		}.
\NAMECITE{Time}{%
		Lee:2023:EPS,%
		Ni:2022:JTD,%
		Traini:2022:HSR,%
		Wu:2022:TTI,%
		Broy:1993:FST,%
		Callison:1995:TSO,%
		Felder:1994:VRT,%
		Felder:2002:FDN,%
		Gamatie:2007:PDE,%
		Morzenti:1994:OOL,%
		Moser:1997:GED,%
		Ostroff:1999:CRD,%
		Pons:2002:TAC,%
		Sun:2013:MVH,%
		Wang:1993:DRT,%
		Zhao:2021:PPA%
		}.
\NAMECITE{time-critical}{%
		Morzenti:1994:OOL%
		}.
\NAMECITE{time-sensitive}{%
		Broy:1993:FST,%
		Callison:1995:TSO%
		}.
\NAMECITE{Time-travel}{%
		Wu:2022:TTI%
		}.
\NAMECITE{Timed}{%
		Andre:2022:GTO,%
		Baresi:2017:LBA,%
		Waga:2023:PTP,%
		Ponge:2010:AAT,%
		Sun:2013:MVH%
		}.
\NAMECITE{Timeliness}{%
		Wang:2019:OTS%
		}.
\NAMECITE{Titles}{%
		Gao:2020:GQT%
		}.
\NAMECITE{{TLS}}{%
		Nie:2023:CDD,%
		Tian:2019:DTC%
		}.
\NAMECITE{{TLTL}}{%
		Bauer:2011:RVL%
		}.
\NAMECITE{Token}{%
		He:2023:TAE%
		}.
\NAMECITE{{TokenAware}}{%
		He:2023:TAE%
		}.
\NAMECITE{Tool}{%
		Maddila:2022:CCE,%
		deFrancesco:2014:GTE,%
		Csallner:2008:DCH,%
		Engels:1992:BIS,%
		Miller:2003:FTS,%
		Moscato:2014:DTV,%
		Young:1995:CAT,%
		Zaremski:1995:SMT%
		}.
\NAMECITE{Tools}{%
		Calefato:2022:UPD,%
		Fleming:2013:IFT,%
		Hamlet:2009:TES,%
		Sworna:2023:AFA,%
		Uddin:2022:ESE,%
		Devanbu:1996:GTA,%
		Tiwana:2008:ICD%
		}.
\NAMECITE{topics}{%
		Bavota:2014:ISM%
		}.
\NAMECITE{Topology}{%
		Robillard:2008:TAS%
		}.
\NAMECITE{{TOSEM}}{%
		Pezze:2023:EAS%
		}.
\NAMECITE{{TOTA}}{%
		Mamei:2009:PPM%
		}.
\NAMECITE{Trace}{%
		Ma:2021:RTB,%
		Huang:2013:SPA%
		}.
\NAMECITE{Trace-Based}{%
		Ma:2021:RTB%
		}.
\NAMECITE{Traceability}{%
		Briand:2014:TSD,%
		DeLucia:2007:RTL%
		}.
\NAMECITE{Traces}{%
		DeGiacomo:2022:MCM,%
		Ma:2021:RTB%
		}.
\NAMECITE{Tracking}{%
		Hough:2022:PAD,%
		Duala-Ekoko:2010:CRD%
		}.
\NAMECITE{Trading}{%
		Hoffman:2013:TOM%
		}.
\NAMECITE{Training}{%
		Lin:2022:XTC%
		}.
\NAMECITE{Trait}{%
		Paulweber:2021:SIT%
		}.
\NAMECITE{Transactional}{%
		Ma:2021:RTB%
		}.
\NAMECITE{Transactions}{%
		Liu:2022:AOD,%
		Zarir:2021:DCE%
		}.
\NAMECITE{Transfer}{%
		Keller:2022:WYS%
		}.
\NAMECITE{Transformation}{%
		Lano:2022:MTD,%
		Russo:2021:ASM,%
		Binkley:2011:FTT,%
		Cohen:2003:AHQ,%
		McMinn:2009:EEN%
		}.
\NAMECITE{Transformations}{%
		Al-Sibahi:2021:VPT,%
		Arcuri:2022:ESB,%
		Baki:2016:MSL,%
		Lara:2019:ARM,%
		Nikanjam:2022:AFD,%
		Troya:2018:SBF,%
		Yang:1992:PIA%
		}.
\NAMECITE{Transformer}{%
		Gao:2023:CSG%
		}.
\NAMECITE{Transforming}{%
		Maoz:2011:CMS,%
		Binkley:2011:FTT%
		}.
\NAMECITE{transition}{%
		Yue:2013:FTU%
		}.
\NAMECITE{Translation}{%
		Cao:2022:SSB,%
		Tufano:2019:ESL,%
		Zave:2004:ATT%
		}.
\NAMECITE{Transplantation}{%
		Shariffdeen:2021:APT%
		}.
\NAMECITE{travel}{%
		Wu:2022:TTI%
		}.
\NAMECITE{traversal}{%
		VanDenBrand:2003:TRT%
		}.
\NAMECITE{Tree}{%
		Wang:2020:MTN%
		}.
\NAMECITE{triage}{%
		Anvik:2011:REB%
		}.
\NAMECITE{Triggering}{%
		Zhang:2013:CDC%
		}.
\NAMECITE{{TRIO}}{%
		Felder:1994:VRT%
		}.
\NAMECITE{trustability}{%
		Howden:1995:STA%
		}.
\NAMECITE{Tuning}{%
		Liao:2022:ESI%
		}.
\NAMECITE{Turnover}{%
		Zhang:2022:TCO%
		}.
\NAMECITE{{Twitter}}{%
		Sharma:2018:RWF%
		}.
\NAMECITE{Two}{%
		Ford:2022:TTC,%
		Mockus:2002:TCS,%
		Jennings:2012:TPA%
		}.
\NAMECITE{two-phase}{%
		Jennings:2012:TPA%
		}.
\NAMECITE{Type}{%
		Ali:2015:TBC,%
		Kastner:2012:TCA,%
		Ore:2021:EST,%
		Sherman:2015:DTB,%
		Bultan:2000:CMC,%
		Tip:2001:SBA%
		}.
\NAMECITE{Type-Based}{%
		Ali:2015:TBC,%
		Sherman:2015:DTB%
		}.
\NAMECITE{type-specific}{%
		Bultan:2000:CMC%
		}.
\NAMECITE{Types}{%
		Al-Sibahi:2021:VPT,%
		Steimann:2010:TMI%
		}.
\NAMECITE{typestate}{%
		Fink:2008:ETV%
		}.
\NAMECITE{Typing}{%
		DeLara:2017:PTM,%
		Lara:2019:ARM%
		}.


\NAMECITE{{UI}}{%
		Chen:2020:WBU,%
		Chen:2021:HSI%
		}.
\NAMECITE{Ultra}{%
		Dyer:2015:BUL,%
		Li:2020:PNF%
		}.
\NAMECITE{Ultra-Large-Scale}{%
		Dyer:2015:BUL,%
		Li:2020:PNF%
		}.
\NAMECITE{{UML}}{%
		Balaban:2013:FSU,%
		Baresi:2017:LBA,%
		Basin:2006:MDS,%
		Eshuis:2006:SMC,%
		Mattsson:2012:AMA,%
		Queralt:2012:VVU,%
		Scanniello:2014:IUA,%
		Snook:2006:UBF,%
		Yue:2015:AAF%
		}.
\NAMECITE{{UML-B}}{%
		Snook:2006:UBF%
		}.
\NAMECITE{unbounded}{%
		Jennings:2012:TPA%
		}.
\NAMECITE{Uncertainty}{%
		Burgueno:2023:DBU,%
		Catak:2022:UAP,%
		Oni:2022:AUR,%
		Sobhy:2021:ESA,%
		Wang:2019:OTS,%
		Zhang:2021:UWR,%
		Gruschke:2008:ROF%
		}.
\NAMECITE{Uncertainty-aware}{%
		Catak:2022:UAP%
		}.
\NAMECITE{Uncertainty-wise}{%
		Zhang:2021:UWR%
		}.
\NAMECITE{Understand}{%
		Gandhi:2011:DMC,%
		Abowd:1995:FSU%
		}.
\NAMECITE{Understandable}{%
		Czepa:2019:HUP%
		}.
\NAMECITE{Understanding}{%
		Alimadadi:2016:UJE,%
		Dietz:2015:UIO,%
		Dilhara:2021:USS,%
		Khatoonabadi:2023:WCU,%
		Li:2019:UAJ,%
		Nguyen:2018:UCM,%
		Porter:1998:USV%
		}.
\NAMECITE{Unified}{%
		Hao:2014:UTC,%
		Zeller:1997:UVT,%
		Medvidovic:2002:MSA%
		}.
\NAMECITE{Unifying}{%
		Cai:2016:DUD,%
		Rajan:2009:UAO%
		}.
\NAMECITE{Uniqueness}{%
		Wu:2023:AIU%
		}.
\NAMECITE{Unit}{%
		Fraser:2014:LSE,%
		Fraser:2015:DAU,%
		Karam:2008:ULT,%
		Menendez:2021:DFT,%
		Santhiar:2014:MUT%
		}.
\NAMECITE{Unit-level}{%
		Karam:2008:ULT%
		}.
\NAMECITE{{UNITY}}{%
		McCann:1999:MMI,%
		Picco:2001:RAC,%
		Roman:1997:MUR%
		}.
\NAMECITE{Unnecessary}{%
		Haas:2020:SAA%
		}.
\NAMECITE{until}{%
		Jennings:2012:TPA%
		}.
\NAMECITE{Unveiling}{%
		Wang:2020:UED%
		}.
\NAMECITE{Update}{%
		Ngo:2022:ACE%
		}.
\NAMECITE{Update-driven}{%
		Ngo:2022:ACE%
		}.
\NAMECITE{upper}{%
		Chen:2008:UBS%
		}.
\NAMECITE{Usage}{%
		Dilhara:2021:USS,%
		Dong:2023:BWL,%
		Kapur:2020:DES,%
		Miranda:2020:TRU,%
		Uddin:2021:AAU,%
		Zarir:2021:DCE%
		}.
\NAMECITE{usages}{%
		Mcmillan:2013:PSR%
		}.
\NAMECITE{Use}{%
		Chatterjee:2021:AIQ,%
		DeLara:2014:WHU,%
		Sinnig:2013:UCT,%
		Watson:2022:SLR,%
		Yang:2022:DDR,%
		Yue:2015:AAF,%
		Devanbu:1997:UDL,%
		Hall:2009:SRT,%
		Yue:2013:FTU%
		}.
\NAMECITE{Used}{%
		Chen:2020:HCT%
		}.
\NAMECITE{User}{%
		Chen:2021:HSI,%
		Berstel:2005:SFM,%
		Lizcano:2013:WCA,%
		Schneider:1992:ESF%
		}.
\NAMECITE{Using}{%
		Antonino:2019:EVC,%
		Bhatia:2016:MPG,%
		Calefato:2022:UPD,%
		Candela:2016:UCC,%
		Cheng:2021:DSD,%
		Ciancarini:2000:UCL,%
		Corbett:2000:USA,%
		Costea:2023:HDR,%
		Ding:2023:TLG,%
		Ebrahimi:2022:CMA,%
		Emam:2015:TCP,%
		Fraser:2014:LSE,%
		Gong:2021:TDG,%
		Hierons:2016:SOP,%
		Holmes:2020:URL,%
		Kapur:2022:OEE,%
		Kim:2019:PLR,%
		Lano:2022:MTD,%
		Marin:2007:ICC,%
		Marin:2013:UFS,%
		Mkaouer:2015:MOS,%
		Nikanjam:2022:AFD,%
		Ouni:2016:MCC,%
		Safdar:2021:RFC,%
		Weyuker:1996:UFC,%
		Xie:2008:UPS,%
		Xu:2014:SRB,%
		Xu:2023:SFC,%
		Yang:2022:DDR,%
		Andre:2022:GTO,%
		Cheung:1999:CSP,%
		DeLucia:2007:RTL,%
		Durante:2000:CAC,%
		Inverardi:2000:SCS,%
		Kramer:2004:CCM,%
		Le:2013:MDF,%
		Lhotak:2008:EBC,%
		Myers:2000:PPU,%
		Poshyvanyk:2012:CLU,%
		Sun:2013:MVH,%
		Taymouri:2020:CAW,%
		Uchitel:2004:IES,%
		Xu:2013:PML,%
		Zaremski:1995:SMT%
		}.
\NAMECITE{utility}{%
		Counsell:2006:IUT%
		}.
\NAMECITE{{UTP}}{%
		Xu:2023:SFC%
		}.


\NAMECITE{Validate}{%
		Zhang:2014:ATV%
		}.
\NAMECITE{Validating}{%
		Felder:1994:VRT,%
		Meneely:2012:VSM%
		}.
\NAMECITE{Validation}{%
		Araujo:2023:TVV,%
		Cimatti:2012:VRH,%
		Ferrando:2021:THA,%
		Nie:2023:CDD,%
		Queralt:2012:VVU,%
		Tian:2019:DTC,%
		Cook:1999:SPV,%
		DeCaso:2013:EBP%
		}.
\NAMECITE{Validator}{%
		Catak:2022:UAP%
		}.
\NAMECITE{value}{%
		Falessi:2013:VDR,%
		Hierons:2006:ACC%
		}.
\NAMECITE{valued}{%
		Chechik:2003:MVS%
		}.
\NAMECITE{Variability}{%
		Abal:2018:VBH,%
		VonRhein:2018:VAS%
		}.
\NAMECITE{Variability-Aware}{%
		VonRhein:2018:VAS%
		}.
\NAMECITE{Variable}{%
		Cai:2016:DUD,%
		Dramko:2023:DDN,%
		Zeng:2023:DEV%
		}.
\NAMECITE{Variable-based}{%
		Zeng:2023:DEV%
		}.
\NAMECITE{Variant}{%
		Reuling:2019:AWP%
		}.
\NAMECITE{Variant-rich}{%
		Reuling:2019:AWP%
		}.
\NAMECITE{variants}{%
		Jezequel:1999:RVC%
		}.
\NAMECITE{Variation}{%
		Erwig:2011:CCR,%
		Siegmund:2021:MVH,%
		Porter:1998:USV%
		}.
\NAMECITE{Verdict}{%
		Hierons:2009:VFT%
		}.
\NAMECITE{Verification}{%
		Al-Sibahi:2021:VPT,%
		Antonino:2019:EVC,%
		Araujo:2023:TVV,%
		Bagnara:2021:PAV,%
		Baresi:2017:LBA,%
		Bauer:2011:RVL,%
		Beyer:2022:VW,%
		Chaki:2013:VAI,%
		Chen:2021:LCF,%
		DiStefano:2022:VDS,%
		Eldib:2014:FVS,%
		Ferrando:2021:THA,%
		Gao:2021:HAF,%
		He:2016:LWA,%
		Lauko:2022:VPS,%
		Liu:2022:AOD,%
		Nijjar:2015:DMP,%
		Queralt:2012:VVU,%
		Robol:2023:CVM,%
		Bultan:2000:CMC,%
		Chen:2010:VSI,%
		Chen:2011:TDB,%
		Durante:2003:ATE,%
		Fantechi:2012:LVM,%
		Ferrari:2003:MCV,%
		Fink:2008:ETV,%
		Fong:2000:PLM,%
		Moscato:2014:DTV,%
		Sistla:2000:SSB,%
		Wang:1993:DRT%
		}.
\NAMECITE{Verified}{%
		Ahmed:2022:VVR%
		}.
\NAMECITE{{Verifix}}{%
		Ahmed:2022:VVR%
		}.
\NAMECITE{verify}{%
		Siegel:2008:CSE%
		}.
\NAMECITE{Verifying}{%
		Clarke:2000:VSP,%
		Gao:2019:VQS,%
		Dwyer:2004:FAV,%
		Sun:2013:MVH%
		}.
\NAMECITE{Version}{%
		Azad:2017:GAC%
		}.
\NAMECITE{versioning}{%
		Zeller:1997:UVT%
		}.
\NAMECITE{Versions}{%
		Vandehei:2021:LDL%
		}.
\NAMECITE{versus}{%
		Chen:2023:WCH%
		}.
\NAMECITE{via}{%
		Bavota:2014:ISM,%
		Chen:2022:BCT,%
		DiStefano:2022:VDS,%
		Fu:2021:SSC,%
		Gao:2021:BTP,%
		Gao:2021:TQS,%
		Kafali:2020:DSS,%
		Kim:2022:PMA,%
		Pan:2014:GTG,%
		Pan:2023:PWT,%
		Partachi:2023:AMI,%
		Song:2019:SEI,%
		Tufano:2019:ESL,%
		Wang:2020:KDI,%
		Xie:2022:NNP,%
		Yu:2022:AIE,%
		Zeil:1992:DLE,%
		Zhou:2022:SAI%
		}.
\NAMECITE{Views}{%
		Demsky:2013:VSF,%
		Jackson:1995:SZS%
		}.
\NAMECITE{violation}{%
		Liu:2014:DWN%
		}.
\NAMECITE{Violations}{%
		Ma:2021:RTB,%
		Monperrus:2013:DMM%
		}.
\NAMECITE{Virtual}{%
		Bernaschina:2019:VDI,%
		Birchler:2023:SMO,%
		Doppke:1998:SPM,%
		Pons:2002:TAC%
		}.
\NAMECITE{Visual}{%
		Ardito:2022:FMB,%
		Costagliola:2004:FMI,%
		Dillon:1993:VEM,%
		Karam:2008:ULT,%
		Mills:2000:KBM%
		}.
\NAMECITE{Visualization}{%
		Keller:2022:WYS,%
		Bowdidge:1998:SRD%
		}.
\NAMECITE{Visualizing}{%
		Beschastnikh:2020:VDS%
		}.
\NAMECITE{vs}{%
		Scanniello:2017:FFC%
		}.
\NAMECITE{Vulnerabilities}{%
		Cheng:2021:DSD,%
		Moller:2014:ADC,%
		Sayar:2023:DSJ%
		}.
\NAMECITE{Vulnerability}{%
		Gao:2021:BTP,%
		Guo:2022:DAM,%
		Yin:2023:SEV,%
		Zou:2021:IDL%
		}.


\NAMECITE{warehouses}{%
		Bonifati:2001:DDM%
		}.
\NAMECITE{Wasted}{%
		Khatoonabadi:2023:WCU%
		}.
\NAMECITE{{way}}{%
		Reuling:2019:AWP%
		}.
\NAMECITE{{WCET}}{%
		Lee:2023:EPS%
		}.
\NAMECITE{Weak}{%
		Fischbein:2012:WAM%
		}.
\NAMECITE{web}{%
		Lizcano:2013:WCA,%
		Baresi:2007:TES,%
		Brambilla:2006:PMW,%
		Brogi:2010:DIS,%
		Carzaniga:2015:AWE,%
		Nijjar:2015:DMP,%
		Sim:2011:HWD,%
		Yin:2023:SEV,%
		Zheng:2013:PRP%
		}.
\NAMECITE{web-centred}{%
		Lizcano:2013:WCA%
		}.
\NAMECITE{Weighted}{%
		Chen:2023:WCH,%
		He:2016:LWA%
		}.
\NAMECITE{Weights}{%
		Chen:2023:WCH%
		}.
\NAMECITE{Well}{%
		Sim:2011:HWD,%
		Taymouri:2020:CAW,%
		Zhang:2021:CSO%
		}.
\NAMECITE{Well-Formed}{%
		Taymouri:2020:CAW%
		}.
\NAMECITE{white}{%
		Chen:1998:BWI%
		}.
\NAMECITE{Who}{%
		Sharma:2018:RWF%
		}.
\NAMECITE{Whole}{%
		Sun:2021:TRE%
		}.
\NAMECITE{Whole-program}{%
		Sun:2021:TRE%
		}.
\NAMECITE{Wild}{%
		Arcega:2022:BLM,%
		Dong:2023:BWL,%
		Tufano:2019:ESL%
		}.
\NAMECITE{Wireframe}{%
		Chen:2020:WBU%
		}.
\NAMECITE{Wireframe-based}{%
		Chen:2020:WBU%
		}.
\NAMECITE{wise}{%
		Pan:2023:PWT,%
		Zhang:2021:UWR%
		}.
\NAMECITE{within}{%
		Doppke:1998:SPM%
		}.
\NAMECITE{Witnesses}{%
		Beyer:2022:VW%
		}.
\NAMECITE{Women}{%
		Trinkenreich:2022:WPO%
		}.
\NAMECITE{Word}{%
		Ebrahimi:2022:CMA,%
		Scanniello:2017:FFC,%
		Kiezun:2012:HSW%
		}.
\NAMECITE{{WordPress}}{%
		Lin:2023:CEW%
		}.
\NAMECITE{Words}{%
		Liu:2022:CSC%
		}.
\NAMECITE{Work}{%
		Chen:2021:WMC%
		}.
\NAMECITE{Workarounds}{%
		Carzaniga:2015:AWE%
		}.
\NAMECITE{workflow}{%
		Chen:2011:TDB,%
		Liu:2014:DWN%
		}.
\NAMECITE{Working}{%
		Ford:2022:TTC%
		}.
\NAMECITE{world}{%
		Singh:2010:SWE%
		}.
\NAMECITE{Wrapper}{%
		Thiran:2006:WBE%
		}.
\NAMECITE{Wrapper-based}{%
		Thiran:2006:WBE%
		}.
\NAMECITE{Wybe}{%
		Anonymous:2002:OOJ%
		}.
\NAMECITE{{WYSIWYT}}{%
		Fisher:2006:IAT%
		}.


\NAMECITE{{X.509}}{%
		Nie:2023:CDD%
		}.
\NAMECITE{{XCode}}{%
		Lin:2022:XTC%
		}.
\NAMECITE{{XP}}{%
		Conboy:2010:MDC%
		}.
\NAMECITE{{XPIs}}{%
		Sullivan:2010:MAO%
		}.


\NAMECITE{Year}{%
		Pezze:2023:EAS%
		}.


\NAMECITE{{Z}}{%
		Jackson:1995:SZS%
		}.