%%====================================================================== %% 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 Wed May 26 07:06:34 MDT 2021 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$I$}{% Lam:1994:TIM% }. \NAMECITE{$N$}{% Brilliant:1990:AFE% }. \NAMECITE{$t$}{% Itai:1990:ODR% }. \NAMECITE{$x$}{% Hutchinson:1991:EEK% }. \NAMECITE{{}-composition}{% Lam:1994:TIM% }. \NAMECITE{{-Kernel}}{% Hutchinson:1991:EEK% }. \NAMECITE{-resilient}{% Itai:1990:ODR% }. \NAMECITE{{}-version}{% Brilliant:1990:AFE% }. \NAMECITE{{0.1}}{% Lin:1998:MFIb% }. \NAMECITE{{1}}{% Bandinelli:1996:SCS% }. \NAMECITE{3D}{% Elliott:1999:EML% }. \NAMECITE{{80x86}}{% Sibert:1996:AIS% }. \NAMECITE{{95}}{% Wellings:1997:IAA% }. \NAMECITE{{A*}}{% Ladd:1995:LIL% }. \NAMECITE{abilities}{% DeMillo:1995:SCR% }. \NAMECITE{ability}{% Frankl:1993:FAF% }. \NAMECITE{Abstract}{% Cowan:1995:ADV,% Inverardi:1995:FSA,% Sitaraman:1997:PNA% }. \NAMECITE{abstraction}{% Bishop:1990:EDA,% Chen:1990:CIA,% Goldman:1995:PPA,% Heitmeyer:1998:UAM,% Sitaraman:1997:PNA% }. \NAMECITE{Abstractions}{% Shaw:1995:ASA,% Clemencon:1996:DSA,% Ernst:1994:MVD,% Griswold:1998:TSP,% McCann:1998:CPA% }. \NAMECITE{{ABYSS}}{% White:1990:AAS% }. \NAMECITE{access}{% Dubois:1990:MAD,% Grandi:1993:BAE,% Hailpern:1990:EOS,% Karamanolis:1999:CAP,% Valenzano:1990:SPT% }. \NAMECITE{Accessing}{% Rao:1993:AFI% }. \NAMECITE{Accountability}{% Kailar:1996:AEC% }. \NAMECITE{accuracy}{% Jorgensen:1995:EAS% }. \NAMECITE{accurate}{% Hatton:1994:HAS,% Kalbarczyk:1999:HSA,% Lim:1995:AWC% }. \NAMECITE{Achieving}{% Hellerstein:1993:ASR,% Kelly:1990:ADT,% Triantafillou:1995:LBP,% Triantafillou:1997:ASC,% Ahuja:1993:PST% }. \NAMECITE{{ACL2}}{% Young:1997:CVS% }. \NAMECITE{acquisition}{% Reubenstein:1991:RAA% }. \NAMECITE{action}{% Krishnamurthy:1995:YGP,% Laprie:1991:KKA% }. \NAMECITE{actions}{% Tyrrell:1995:CMI,% Wellings:1997:IAA,% Wilcox:1996:RAP% }. \NAMECITE{activity}{% Qureshi:1996:AGS% }. \NAMECITE{Ada}{% Karam:1990:CMA,% McNamee:1990:CCR,% Young:1993:CTL,% Agresti:1992:PSD,% Corbett:1996:TAA,% Dillon:1990:VGS,% Gallagher:1997:ATD,% Guaspari:1990:FVA,% Hemmendinger:1990:SAS,% Howes:1989:MAO,% Karam:1989:CRA,% Karam:1990:SCR,% Karam:1991:TLB,% Lee:1997:ESS,% Moser:1990:DDG,% Tai:1991:DCA,% Wellings:1997:IAA% }. \NAMECITE{{Ada95}}{% Chen:1997:CAL% }. \NAMECITE{{Ada95}-like}{% Chen:1997:CAL% }. \NAMECITE{Adaptive}{% Ferscha:1999:ATW,% Gouda:1991:AP,% Krueger:1994:ALP,% Ferrucci:1996:SBI,% Hayes-Roth:1995:DSS% }. \NAMECITE{Addendum}{% Stoller:1994:APR% }. \NAMECITE{Additivity}{% Briand:1997:RCP,% Poels:1997:CPB% }. \NAMECITE{adequacy}{% Parrish:1991:ARS,% Zhu:1996:FAS% }. \NAMECITE{{ADTEST}}{% Gallagher:1997:ATD% }. \NAMECITE{advanced}{% Aue:1994:DIS% }. \NAMECITE{{AETG}}{% Cohen:1997:ASA% }. \NAMECITE{after}{% Ebrahimi:1997:SAN% }. \NAMECITE{against}{% Chang:1990:BAC% }. \NAMECITE{agent}{% Huang:1994:DAS% }. \NAMECITE{agents}{% DeNicola:1998:KKL% }. \NAMECITE{aggregation}{% Sullivan:1999:ACB% }. \NAMECITE{aid}{% Cordy:1990:TUI% }. \NAMECITE{aided}{% Banker:1994:AOS,% Torii:1999:GEC,% Wang:1992:CAA% }. \NAMECITE{{AIN}}{% Lin:1998:MFIb% }. \NAMECITE{{Albrecht}}{% Rask:1993:SCA% }. \NAMECITE{algebra}{% Paul:1996:QAP,% Tsai:1990:ATC% }. \NAMECITE{algebraic}{% Battiston:1996:MAN% }. \NAMECITE{algorithm}{% Aagaard:1995:VLS,% Abdelzaher:1997:CPR,% Ammarguellat:1992:CFN,% Balasubramanian:1990:TDE,% Graefe:1991:HFM,% Heindl:1999:FOA,% Kshemkalyani:1991:IBV,% Lang:1999:EBA,% Ripoll:1997:OAS,% Ryder:1990:PID,% Shepard:1991:PRT,% Shih:1993:MRM,% Vose:1991:LAG,% Wang:1996:TII,% Ward:1996:DDI,% Yang:1988:IAB% }. \NAMECITE{algorithm-based}{% Balasubramanian:1990:TDE% }. \NAMECITE{Algorithmic}{% Kim:1992:ATN% }. \NAMECITE{Algorithms}{% Feng:1997:ASR,% Qureshi:1996:AGS,% Burke:1990:CAI,% Ferrucci:1996:SBI,% Flatebo:1994:TSS,% Iazeolla:1993:LMT,% Micallef:1993:SAI,% Mishra:1991:EAS,% Pike:2006:NIA,% Qadah:1991:EAI,% Rushby:1993:FVA,% Rushby:1999:SFV,% Varvarigou:1999:RMA,% Venkatesh:1992:SDE,% Wang:1997:DVC,% Ward:1996:DDI,% Wu:1997:PSS% }. \NAMECITE{{Algres}}{% Cacace:1992:DPD% }. \NAMECITE{alias}{% Harrold:1996:SCA% }. \NAMECITE{all-{DU}-paths}{% Parrish:1995:RAA% }. \NAMECITE{all-edges}{% Parrish:1995:RAA% }. \NAMECITE{all-uses}{% Parrish:1995:RAA% }. \NAMECITE{Allocating}{% Kaudel:1990:CAP,% Towsley:1986:APC,% Towsley:1990:CAP% }. \NAMECITE{allocation}{% Houstics:1990:MAR,% Huang:1993:RAP,% Zahedi:1991:SRA% }. \NAMECITE{alternating}{% Suzuki:1990:FAA% }. \NAMECITE{alternative}{% Hu:1997:EAS,% Pickard:1999:CEA% }. \NAMECITE{alternatives}{% Smith:1993:SPE,% Waheed:1998:MED% }. \NAMECITE{ambitious}{% Choi:1994:EEA% }. \NAMECITE{{Amdahl}}{% Kleinrock:1992:PPS% }. \NAMECITE{among}{% Parrish:1995:RAA% }. \NAMECITE{{Amulet}}{% Myers:1997:AEN% }. \NAMECITE{analogies}{% Shepperd:1997:ESP% }. \NAMECITE{analogy}{% Myrtveit:1999:CEA% }. \NAMECITE{analyses}{% Feather:1998:RAL,% Kanoun:1994:SRT,% Tian:1995:ITD% }. \NAMECITE{Analysis}{% Brilliant:1990:AFE,% Carson:1992:APU,% Cheng:1993:ART,% Ciciani:1992:ACC,% Kinsley:1992:AVM,% Parrish:1991:ARS,% Sullivan:1999:ACB,% Yu:1992:AHC,% Abd-El-Hafiz:1996:KBA,% Abran:1996:FPA,% Agrawala:1993:DMT,% Avrunin:1991:AAC,% Bertolino:1994:AGP,% Briand:1992:PRA,% Burke:1990:CAI,% Burns:1995:EAE,% Campodonico:1994:BAL,% Canfora:1998:ESS,% Chen:1993:MAC,% Chen:1998:CDM,% Chen:1999:PSA,% Cheung:1994:TDA,% Chidamber:1998:MUM,% Choi:1994:EEA,% Chulani:1999:BAE,% Cook:1998:CEA,% Corbett:1996:TAA,% DeAntonellis:1990:DAO,% Dutertre:1997:FRA,% Dwyer:1996:CPN,% Dzida:1998:MUS,% Ebrahimi:1997:SAN,% Frankl:1993:FAF,% Gupta:1991:PAT,% Haban:1990:HMB,% Hamidzadeh:1993:SAR,% Han:1995:PPL,% Hansen:1998:SAS,% Harbour:1994:TAF,% Heindl:1999:FOA,% Helman:1993:SFA,% Higashino:1994:AAT,% Howden:1990:CAP,% Howden:1994:QMS,% Iazeolla:1993:LMT,% Ilgun:1995:STA,% Inverardi:1995:FSA,% Jaffe:1991:SRA,% Johnson:1995:AAR,% Kanoun:1991:MSR,% Karam:1991:TLB,% Katcher:1993:EAF,% Kemper:1996:NAS,% Kemper:1999:TAS,% Lee:1995:RAP,% Lee:1998:IAU,% Levendel:1990:RAL,% Levy:1995:EAB,% Lim:1995:AWC,% Liu:1990:SAR,% Liu:1998:PAS,% Lopez-Benitez:1994:DMA,% Luckham:1995:SAS,% Nakajo:1991:CHA,% Nicola:1990:CAD,% Notomi:1994:HRG,% Olender:1990:CSC,% Papelis:1992:SAP,% Porter:1997:ASR,% Richardson:1993:ATD,% Ryder:1990:PID,% Ryu:1990:PAD,% Sereno:1996:AMV,% Sibert:1996:AIS,% Siff:1999:IMC,% Strom:1993:ETC,% Suzuki:1990:FAA,% Sztrik:1991:AAH,% Thomasian:1991:PAT,% Tsai:1992:HKR,% Tsai:1995:TCP,% Venkatesh:1992:SDE,% Vestal:1994:FPS,% Wang:1992:CAA,% Willson:1990:PNT,% Woodbury:1990:MAW,% Young:1993:CTL,% Yu:1993:PAC,% Zhu:1996:FAS,% vonMayrhauser:1999:CSS% }. \NAMECITE{analyzers}{% Jarzabek:1998:DFS,% Karam:1990:SCR% }. \NAMECITE{Analyzing}{% Avrunin:1998:API,% Dolev:1995:AET,% Rothermel:1996:ART,% Selby:1991:AEP,% Stoyenko:1991:AHR,% Weyuker:1991:APT,% Agresti:1992:PSD,% Chmura:1990:ESD,% Ebert:1992:CVT,% Jackson:1996:ESA,% Kemmerer:1991:CFT,% Kitchenham:1998:PAU% }. \NAMECITE{animation}{% Elliott:1999:EML% }. \NAMECITE{Anonymous}{% Joshi:1999:ARC% }. \NAMECITE{aperiodic}{% Buttazzo:1999:MAR,% Ripoll:1997:OAS% }. \NAMECITE{{Apollo}}{% Pekergin:1992:PCO% }. \NAMECITE{Application}{% Haban:1990:ART,% Bhansali:1998:ASS,% Feather:1998:RAL,% Honiden:1994:AAI,% Kanoun:1991:MSR,% Levy:1996:CAP,% Thibault:1999:DSL,% Tohma:1991:EPH,% Tsai:1995:TCP% }. \NAMECITE{applications}{% Arlat:1990:FID,% Bolliger:1998:FBA,% Boucherie:1994:CIC,% Cacace:1992:DPD,% Ciancarini:1998:CMA,% Goldman:1995:PPA,% Houstics:1990:MAR,% Karam:1990:CIP,% Liu:1998:CSF,% Liu:1998:SFE,% Maxwell:1996:SDP,% Mukhopadhyay:1992:SEM,% Radivojevic:1991:EDA,% Sellis:1991:QON,% Stoyen:1999:DEC,% Ukelson:1993:UNC,% Welling:1998:AEE% }. \NAMECITE{{Apprentice}}{% Reubenstein:1991:RAA% }. \NAMECITE{approach}{% Abd-El-Hafiz:1996:KBA,% Adams:1996:TVA,% Babin:1991:SDT,% Belli:1991:ARO,% Belli:1991:SFT,% Bolliger:1998:FBA,% Briand:1992:PRA,% Canfora:1992:LBA,% Canfora:1993:CAL,% Chernak:1996:SAI,% Chu:1991:CAE,% Chu:1993:TBA,% Cohen:1997:ASA,% Cornell:1990:EAV,% DeAntonellis:1990:DAO,% Elliott:1999:EML,% Gerber:1992:LAA,% Gupta:1990:RSA,% Hsu:1991:IRM,% Ilgun:1995:STA,% Kalbarczyk:1999:HSA,% Kemerer:1999:EAS,% Kemmerer:1991:CFT,% Laprie:1991:KKA,% Liao:1992:SAH,% Liu:1994:DAD,% Liu:1998:PAS,% Maarek:1991:IRA,% Mylopoulos:1992:RUN,% Oivo:1992:RSE,% Paulson:1992:AAI,% Plaice:1993:NAV,% Pucci:1992:NAM,% Rosenblum:1995:PAP,% Shin:1991:FRH,% Song:1994:EAC,% Suzuki:1990:PMV% }. \NAMECITE{approaches}{% Srinivasan:1995:MLA% }. \NAMECITE{appropriateness}{% Sears:1993:LAM% }. \NAMECITE{Approximate}{% Campos:1994:ATC,% Johnson:1995:AAR,% Moriconi:1990:ARA,% Sereno:1996:AMV% }. \NAMECITE{arbitrary}{% Sun:1997:BCT% }. \NAMECITE{Architectural}{% Griswold:1995:ATM,% Buhr:1998:UCM,% Taylor:1996:CMB% }. \NAMECITE{Architecture}{% Roman:1994:ADR,% Ciancarini:1998:CMA,% Dean:1995:STS,% Graefe:1993:EPA,% Hayes-Roth:1995:DSS,% Hutchinson:1991:EEK,% Jackson:1998:DFC,% LeMetayer:1998:DSA,% Luckham:1995:EBA,% Luckham:1995:SAS,% Moriconi:1995:CAR,% Rajlich:1996:ERO,% Roussopoulos:1991:AHP,% Setliff:1992:KRR,% Shaw:1995:ASA,% Sibert:1996:AIS,% Welling:1998:AEE,% White:1990:AAS% }. \NAMECITE{Architecture-directed}{% Roman:1994:ADR% }. \NAMECITE{architecture-independence}{% Graefe:1993:EPA% }. \NAMECITE{architectures}{% Delis:1993:PCT,% Inverardi:1995:FSA,% Owre:1995:FVF% }. \NAMECITE{argument}{% Prechelt:1998:CEA% }. \NAMECITE{{Argus}}{% Greif:1992:CSC% }. \NAMECITE{arrivals}{% Craig:1990:RRT% }. \NAMECITE{artificial}{% Honiden:1994:AAI,% Solheim:1993:EST,% Wang:1992:CAA% }. \NAMECITE{{ASN.1}}{% Neufeld:1990:DIA% }. \NAMECITE{{ASN.1-C}}{% Neufeld:1990:DIA% }. \NAMECITE{aspect}{% Murphy:1999:EES% }. \NAMECITE{aspect-oriented}{% Murphy:1999:EES% }. \NAMECITE{aspects}{% Snoeck:1998:EDK% }. \NAMECITE{assertions}{% Cheng:1993:ART,% Rosenblum:1995:PAP,% Saxena:1994:LCA% }. \NAMECITE{assess}{% Myrtveit:1999:CEA,% Porter:1997:EAC,% Prechelt:1998:CEA% }. \NAMECITE{Assessing}{% Porter:1997:ASR,% VanderWiel:1993:ASD,% Murphy:1999:EES% }. \NAMECITE{assessment}{% Ammann:1994:EIE,% Avritzer:1995:AGL,% Bertolino:1996:UTM% }. \NAMECITE{Assignment}{% Peng:1997:ASC,% Levy:1996:CAP,% Lortz:1995:SQP% }. \NAMECITE{assistance}{% Reubenstein:1991:RAA% }. \NAMECITE{associations}{% Pande:1994:IDU% }. \NAMECITE{{ASTRAL}}{% Coen-Porisini:1994:FFA,% Coen-Porisini:1997:SRS% }. \NAMECITE{Asymptotic}{% Sztrik:1991:AAH% }. \NAMECITE{asynchronous}{% Caspi:1999:ADR,% Micallef:1993:SAI% }. \NAMECITE{asynchronously}{% Campos:1999:SSA% }. \NAMECITE{atomic}{% Tyrrell:1995:CMI,% Wellings:1997:IAA% }. \NAMECITE{atomicity}{% Cabrera:1993:IAT% }. \NAMECITE{attacker}{% Jonsson:1997:QMS% }. \NAMECITE{attacks}{% Abadi:1997:ECR% }. \NAMECITE{attainment}{% Menasce:1994:UFE% }. \NAMECITE{attention}{% Lee:1997:ESS% }. \NAMECITE{attribute}{% Micallef:1993:SAI% }. \NAMECITE{auction}{% Franklin:1996:DIS% }. \NAMECITE{audit}{% Helman:1993:SFA% }. \NAMECITE{authentication}{% Abadi:1997:ECR,% Schneider:1998:VAP% }. \NAMECITE{Author}{% Anonymous:1997:AI,% Anonymous:1998:AI% }. \NAMECITE{automata}{% Nicollin:1992:CRT,% Plateau:1991:SAN% }. \NAMECITE{Automated}{% Avrunin:1991:AAC,% Avrunin:1994:ADT,% Bhansali:1998:ASS,% Hoffman:1991:AMT,% Korel:1990:AST,% Tsai:1990:ATC,% Ding:1990:FAD,% Paulson:1992:AAI,% Reubenstein:1991:RAA% }. \NAMECITE{Automatic}{% Alur:1996:ASV,% Bertolino:1994:AGP,% Caspi:1999:ADR,% Higashino:1994:AAT,% Lecerof:1998:ASU,% Lor:1991:ASS,% Miriyala:1991:ADF,% Avritzer:1995:AGL,% DeMillo:1991:CBA,% Girgis:1993:CCB,% Heindl:1999:FOA,% Kunz:1995:UAP,% Nishida:1991:SAP,% Olender:1990:CSC,% Protsko:1991:TAG% }. \NAMECITE{Automatically}{% Weyuker:1994:AGT,% Maarek:1991:IRA% }. \NAMECITE{Automating}{% Banker:1994:AOS,% Crimi:1990:AVL,% Gerber:1992:LAA% }. \NAMECITE{availability}{% Gait:1991:SAR,% Hariri:1995:HMA,% Laprie:1991:KKA,% Laprie:1992:XWR,% Triantafillou:1995:LBP% }. \NAMECITE{available}{% Fetzer:1999:HAL% }. \NAMECITE{{Avalon}}{% Wing:1990:ULS% }. \NAMECITE{{Avalon/C}}{% Wing:1990:ULS% }. \NAMECITE{avionics}{% Dutertre:1997:FRA% }. \NAMECITE{avoid}{% Tsang:1998:LDA% }. \NAMECITE{avoidance}{% Lang:1999:EBA% }. \NAMECITE{Aware}{% Anonymous:1998:SIM,% Bolliger:1998:FBA% }. \NAMECITE{awareness}{% Welling:1998:AEE% }. \NAMECITE{axioms}{% Cherniavsky:1991:WAS,% Pike:2006:NIA% }. \NAMECITE{{B}}{% Bicarregui:1995:IFP% }. \NAMECITE{balancing}{% Ahmad:1991:SDL,% Kunz:1991:IDW,% Lin:1992:DLB,% Rommen:1991:PLB% }. \NAMECITE{bang}{% Rask:1993:SCA% }. \NAMECITE{banishing}{% Debray:1990:TBC% }. \NAMECITE{banker}{% Lang:1999:EBA% }. \NAMECITE{base}{% Ramanathan:1993:UCT% }. \NAMECITE{based}{% Abd-El-Hafiz:1996:KBA,% Arora:1998:CBD,% Atkins:1999:MDS,% Atlee:1993:SBM,% Balasubramanian:1990:TDE,% Banker:1994:AOS,% Bertolino:1994:AGP,% Berzins:1993:UTS,% Bolliger:1998:FBA,% Briand:1996:PBS,% Briand:1997:RCP,% Briand:1999:DVM,% Campodonico:1994:BAL,% Canfora:1992:LBA,% Canfora:1993:CAL,% Carroll:1998:RDS,% Carver:1998:USC,% Chen:1997:CAL,% Cheng:1993:ART,% Chu:1993:TBA,% Cohen:1997:ASA,% DeMillo:1991:CBA,% Etessami:1991:RBD,% Ferrucci:1996:SBI,% Fujiwara:1991:TSB,% Gerber:1995:GRT,% Girgis:1993:CCB,% Hahn:1991:TSK,% Harrison:1992:EBM,% Heimdahl:1996:CCH,% Hrischuk:1999:TBL,% Ilgun:1995:STA,% Jonsson:1997:QMS,% Karam:1991:TLB,% Kaufmann:1997:IST,% Kshemkalyani:1991:IBV,% Lanubile:1997:ERF,% Luckham:1995:EBA,% Luo:1994:STB,% Luo:1994:TSB,% Lupu:1999:CPB,% Lustman:1994:STB,% Mainkar:1996:SCE,% Mark:1992:CBS,% McLellan:1998:EUW,% Mili:1997:SRS,% Morell:1990:TFB,% Niemi:1991:PBM,% Poels:1997:CPB,% Roma:1993:FDR,% Shilling:1993:ILP,% Shin:1991:FRH,% Stewart:1997:DDR,% Stocks:1996:FSB,% Sutcliffe:1998:SSB,% Suzuki:1990:PMV,% Tai:1996:TFB,% Taylor:1996:CMB,% Tian:1995:ITD,% Tian:1995:TEB,% Triantafillou:1995:LBP,% Voas:1992:PDF,% Wang:1995:RTB,% Wang:1996:TII,% Weerahandi:1994:SQM,% Yang:1988:IAB,% Young:1993:CTL,% Zahedi:1991:SRA,% Zuse:1997:RPB% }. \NAMECITE{basis}{% Fenton:1994:SMN,% Tsai:1992:HKR% }. \NAMECITE{batched}{% Lang:1990:EEC% }. \NAMECITE{{Bayesian}}{% Becker:1990:BEM,% Campodonico:1994:BAL,% Chulani:1999:BAE% }. \NAMECITE{{BDL}}{% Bertrand:1999:BSL% }. \NAMECITE{behavior}{% Gallivan:1990:ECB,% Haban:1990:HMB,% Jonsson:1997:QMS,% Kao:1993:FFI,% Lee:1991:ELM,% Seiter:1998:EOB,% Wang:1994:SBS% }. \NAMECITE{behavioral}{% Cheng:1993:ART,% Snoeck:1998:EDK% }. \NAMECITE{benchmarking}{% Mukherjee:1997:MSD% }. \NAMECITE{benefits}{% Myrtveit:1999:CEA,% Porter:1997:EAC,% Prechelt:1998:CEA% }. \NAMECITE{{Bernoulli}}{% Levy:1995:EAB% }. \NAMECITE{between}{% Chen:1994:RBP,% Lichter:1994:PIS,% Nuseibeh:1994:FER,% Snoeck:1998:EDK,% Sullivan:1999:ACB,% Zhu:1996:FAS% }. \NAMECITE{Bidding}{% Chang:1990:BAC% }. \NAMECITE{bifunctional}{% Leong:1990:TPL% }. \NAMECITE{binary}{% Chen:1996:BMP% }. \NAMECITE{bit}{% Suzuki:1990:FAA% }. \NAMECITE{blackboard}{% Vranes:1995:IMP% }. \NAMECITE{Block}{% Grandi:1993:BAE,% Pucci:1992:NAM% }. \NAMECITE{blocking}{% Yu:1993:PAC% }. \NAMECITE{blocks}{% Tomek:1993:MCS% }. \NAMECITE{{Boolean}}{% Weyuker:1994:AGT% }. \NAMECITE{{Botting}}{% Bourdeau:1996:CRB% }. \NAMECITE{bottlenecking}{% Neilson:1995:SBC% }. \NAMECITE{bound}{% Al-Mouhamed:1990:LBN% }. \NAMECITE{bounded}{% Notomi:1994:HRG% }. \NAMECITE{Bounding}{% Sun:1997:BCT% }. \NAMECITE{bounds}{% Avrunin:1994:ADT,% Burton:1996:GGM,% Campos:1991:ETB,% Franceschinis:1994:CBP,% Wang:1995:RTB,% Yazia-Pekergin:1991:SBE% }. \NAMECITE{box}{% Edwards:1997:RIS% }. \NAMECITE{{Boyer}}{% Goldschlag:1990:MVC% }. \NAMECITE{branch}{% Frankl:1993:ECE,% Frankl:1993:PIB% }. \NAMECITE{branches}{% Kaudel:1990:CAP,% Towsley:1986:APC,% Towsley:1990:CAP% }. \NAMECITE{bridging}{% Fraser:1991:IFR,% Lichter:1994:PIS% }. \NAMECITE{buffer}{% Danzig:1994:FCL,% Grandi:1993:BAE,% Levy:1996:CAP% }. \NAMECITE{Building}{% Basili:1999:BKT% }. \NAMECITE{{Burh}}{% Young:1993:CTL% }. \NAMECITE{{C}}{% Chen:1990:CIA,% Chen:1998:CDM,% Neufeld:1990:DIA,% Pande:1994:IDU,% Wang:1997:DVC,% Wing:1990:ULS,% Yasumatsu:1995:SST% }. \NAMECITE{cache}{% Carson:1992:APU,% Chandra:1999:TDS,% Levy:1995:EAB,% Levy:1996:CAP% }. \NAMECITE{Caching}{% Kato:1992:PCI% }. \NAMECITE{{CAD}}{% Bhansali:1998:ASS% }. \NAMECITE{calibration}{% Ebrahimi:1999:HIC,% Gerber:1995:GRT% }. \NAMECITE{Call}{% Franki:1999:CP,% Hall:1995:CPR,% Callahan:1990:CPC% }. \NAMECITE{Capacity}{% Rangarajan:1993:CVS,% Mutka:1992:ECS% }. \NAMECITE{capture}{% VanderWiel:1993:ASD% }. \NAMECITE{capture-recapture}{% VanderWiel:1993:ASD% }. \NAMECITE{capturing}{% Ramesh:1992:SSD% }. \NAMECITE{case}{% Aagaard:1995:VLS,% Belli:1991:SFT,% Bhandari:1993:CSS,% Buhr:1998:UCM,% Fields:1992:VCS,% Gallivan:1990:ECB,% Greif:1992:CSC,% Higashino:1994:AAT,% Lim:1995:AWC,% Mahony:1992:CST,% Nakajo:1991:CHA,% Nakajo:1993:CHD,% Smith:1993:SPE,% Sullivan:1996:EMM,% Tsai:1990:ATC,% Waheed:1998:MED,% Banker:1994:AOS,% Rask:1993:SCA% }. \NAMECITE{case-study}{% Mahony:1992:CST% }. \NAMECITE{cases}{% Lee:1998:IAU% }. \NAMECITE{causal}{% Alvisi:1998:MLP,% Lederer:1998:CMS% }. \NAMECITE{cause}{% Nakajo:1991:CHA% }. \NAMECITE{cause-effect}{% Nakajo:1991:CHA% }. \NAMECITE{cautious}{% Ibaraki:1990:MCS% }. \NAMECITE{{Cecil}}{% Olender:1990:CSC% }. \NAMECITE{central}{% Lin:1992:DLB% }. \NAMECITE{centralized}{% Ciciani:1990:HDC% }. \NAMECITE{Certification}{% Wohlin:1994:CSC% }. \NAMECITE{{CES}}{% Greif:1992:CSC% }. \NAMECITE{chain}{% Whittaker:1994:MCM% }. \NAMECITE{chains}{% Boucherie:1994:CIC% }. \NAMECITE{change}{% Chmura:1990:ESD,% Gupta:1996:FFL,% Kramer:1990:EPP% }. \NAMECITE{changes}{% Bustard:1994:MCF,% Madhavji:1992:EEP,% Moriconi:1990:ARA% }. \NAMECITE{changing}{% Dalal:1994:WST,% Sztrik:1991:AAH% }. \NAMECITE{channel}{% Barrett:1995:MCP% }. \NAMECITE{channels}{% Camp:1993:PRF,% Kemmerer:1991:CFT,% Stoller:1994:APR,% Tsai:1990:ICS% }. \NAMECITE{characterization}{% Boucherie:1994:CIC,% Ciardo:1994:CSP,% Hrischuk:1999:TBL,% McLellan:1998:EUW,% Saavedra:1995:PCO,% Yu:1992:WCR% }. \NAMECITE{characterizing}{% Gallivan:1990:ECB% }. \NAMECITE{check}{% Craigen:1995:FMR% }. \NAMECITE{Checker}{% Bang:2001:CMC,% Focardi:1997:CSC,% Holzmann:1997:MCS% }. \NAMECITE{checking}{% Atlee:1993:SBM,% Barrett:1995:MCP,% Chan:1998:MCL,% Heitmeyer:1998:UAM,% Mahajan:1997:VTC,% Prechelt:1998:CEA,% Strom:1993:ETC% }. \NAMECITE{checklist}{% Chernak:1996:SAI% }. \NAMECITE{checkpointing}{% Grassi:1992:OCC,% Nicola:1990:CAD,% Ramanathan:1993:UCT% }. \NAMECITE{checkpoints}{% Dimitrov:1991:OTP,% Helary:1999:CID% }. \NAMECITE{checks}{% Leveson:1990:USC% }. \NAMECITE{chemical}{% Inverardi:1995:FSA% }. \NAMECITE{{Cheung}}{% Hirakawa:1990:CRP% }. \NAMECITE{{Chidamber}}{% Hitz:1996:CKM% }. \NAMECITE{{Cicero}}{% Huang:1998:CPS% }. \NAMECITE{circuits}{% Agrawala:1993:DMT% }. \NAMECITE{circularity}{% Muhanna:1991:CPH% }. \NAMECITE{Clarifying}{% Parrish:1993:CSF% }. \NAMECITE{class}{% Higashino:1994:AAT,% McLean:1996:GTC% }. \NAMECITE{classification}{% Chillarege:1992:ODC% }. \NAMECITE{Client}{% Karamanolis:1999:CAP,% Neilson:1995:SBC% }. \NAMECITE{Client-access}{% Karamanolis:1999:CAP% }. \NAMECITE{client-server}{% Neilson:1995:SBC% }. \NAMECITE{Clock}{% Audenaert:1997:CTL% }. \NAMECITE{clocks}{% Ahuja:1993:PST,% Audenaert:1997:CTL% }. \NAMECITE{Closure}{% Arora:1993:CCF,% Qadah:1991:EAI% }. \NAMECITE{closures}{% Wang:1996:TII,% Yang:1988:IAB% }. \NAMECITE{clustered}{% Grandi:1993:BAE% }. \NAMECITE{clustering}{% Kunz:1995:UAP% }. \NAMECITE{{CNC}}{% Mortazavi:1990:PMR% }. \NAMECITE{code}{% Canfora:1998:ESS,% Chen:1998:CDM,% Dalal:1994:WST,% Devanbu:1995:FSC,% Edwards:1997:RIS,% Fuggetta:1998:UCM,% Gerber:1995:CRT,% May:1995:MCS,% Paul:1994:FSC,% Porter:1997:EAC% }. \NAMECITE{coding}{% vonMayrhauser:1999:CSS% }. \NAMECITE{Cognitive}{% Sinha:1992:CFE% }. \NAMECITE{coherence}{% Chandra:1999:TDS% }. \NAMECITE{coherency}{% Ciciani:1992:ACC% }. \NAMECITE{cohesion}{% Bieman:1994:MFC,% Bieman:1998:MDL% }. \NAMECITE{collaborative}{% Greif:1992:CSC% }. \NAMECITE{colored}{% Gaeta:1996:EDE% }. \NAMECITE{combinatorial}{% Cohen:1997:ASA,% Li:1990:CEP% }. \NAMECITE{combinators}{% Cardelli:1999:SCW% }. \NAMECITE{come}{% Zave:1996:WDO% }. \NAMECITE{Comment}{% Abdelzaher:1997:CPR% }. \NAMECITE{Comments}{% Bang:2001:CMC,% Botting:1996:CFS,% Bourdeau:1996:CRB,% Briand:1997:RCP,% Churcher:1995:CMS,% Constantine:1990:CRC,% Falkowski:1992:COS,% Foo:1993:CDS,% Griswold:1994:CLD,% Hirakawa:1990:CRP,% Howden:1990:CAP,% Karam:1990:CMA,% Kaudel:1990:CAP,% Kitchenham:1997:RCT,% McNamee:1990:CCR,% Morasca:1997:CTF,% Pickard:1999:CEA,% Poels:1997:CPB,% Roberts:2001:RCF,% Yadav:2001:CFI,% Young:1993:CTL% }. \NAMECITE{commerce}{% Kailar:1996:AEC% }. \NAMECITE{commercial}{% Tian:1995:TEB% }. \NAMECITE{Commitment}{% Mark:1992:CBS% }. \NAMECITE{Commitment-based}{% Mark:1992:CBS% }. \NAMECITE{common}{% Ramanathan:1993:UCT,% Kaufmann:1997:IST% }. \NAMECITE{Communicating}{% Shaw:1992:CRT,% Bucci:1995:CVT,% Campos:1999:SSA,% Erdogmus:1990:SSC,% Luo:1994:TSB,% Peng:1997:ASC% }. \NAMECITE{Communication}{% Dutoit:1998:CMS,% Seaman:1998:COE,% Abadi:1997:ECR,% Al-Mouhamed:1990:LBN,% Barbosa:1990:SPC,% Braccini:1991:ICD,% Huang:1994:DAS,% Mehra:1997:SCS,% Rangan:1993:TRP,% Wolfson:1991:MCN% }. \NAMECITE{communications}{% Howes:1989:MAO,% Karam:1990:CMA% }. \NAMECITE{community}{% Nicola:1990:MCF% }. \NAMECITE{compact}{% Dwyer:1996:CPN% }. \NAMECITE{Comparative}{% Nicola:1990:CAD,% Porter:1997:ASR% }. \NAMECITE{Comparing}{% Porter:1995:CDM,% Young:1997:CVS,% Song:1994:EAC% }. \NAMECITE{comparison}{% Bicarregui:1995:IFP,% Delis:1993:PCT,% Frankl:1993:ECE,% Jeffery:1993:CFP,% Rask:1993:SCA,% Shimeall:1991:ECS,% Smith:1993:SPE,% Yen:1993:HFE% }. \NAMECITE{Compartmented}{% Berger:1990:CMW% }. \NAMECITE{competing}{% Boucherie:1994:CIC% }. \NAMECITE{competitors}{% Chang:1990:BAC% }. \NAMECITE{compilation}{% Engler:1999:ICS% }. \NAMECITE{compiler}{% Chang:1990:VLC,% Leong:1990:TPL,% Neufeld:1990:DIA% }. \NAMECITE{compilers}{% Saavedra:1995:PCO% }. \NAMECITE{Compiling}{% Gerber:1995:CRT,% Nicollin:1992:CRT,% Engler:1999:ICS% }. \NAMECITE{complete}{% Itai:1990:ODR% }. \NAMECITE{completely}{% Lang:1990:EEC% }. \NAMECITE{Completeness}{% Heimdahl:1996:CCH% }. \NAMECITE{completion}{% Sun:1997:BCT% }. \NAMECITE{Complex}{% Kato:1992:PCI,% Buhr:1998:UCM,% Deubler:1994:IOO,% Harel:1990:SWE,% Stoyen:1999:DEC% }. \NAMECITE{Complexity}{% Tian:1995:CME,% Ammarguellat:1992:CFN,% Boyd:1991:CGO,% Cherniavsky:1991:WAS,% Gill:1991:CCD,% Harrison:1992:EBM,% Lakshmanan:1991:PCF,% Saxena:1994:LCA% }. \NAMECITE{compliance}{% Emmerich:1999:MSC% }. \NAMECITE{Component}{% Arora:1998:CBD,% Taylor:1996:CMB,% Sullivan:1999:ACB% }. \NAMECITE{component-}{% Taylor:1996:CMB% }. \NAMECITE{components}{% Briand:1993:DIM,% Frakes:1994:ESR,% Freedman:1991:TSC,% Harms:1991:CSI,% Mili:1997:SRS,% Wohlin:1994:CSC% }. \NAMECITE{Composite}{% Muhanna:1991:CPH,% Fickas:1992:KRR% }. \NAMECITE{Composition}{% Batory:1997:CVS,% Jackson:1998:DFC,% Lam:1994:TIM,% McLean:1996:GTC% }. \NAMECITE{Compositional}{% Bucci:1995:CVT,% Focardi:1997:CSC,% Kramer:1993:CSR,% McCann:1998:CPA% }. \NAMECITE{compositions}{% Heintze:1996:MSP% }. \NAMECITE{Compound}{% Sahinoglu:1992:CPS% }. \NAMECITE{Compound-{Poisson}}{% Sahinoglu:1992:CPS% }. \NAMECITE{Comprehending}{% Agarwal:1999:COP% }. \NAMECITE{comprehension}{% VonMayrhauser:1996:IDC,% vonMayrhauser:1999:CSS% }. \NAMECITE{Computation}{% Korel:1997:CDP,% Campos:1994:ATC,% Harrold:1996:SCA% }. \NAMECITE{Computational}{% Gong:1996:CIS,% Karam:1990:CIP,% Li:1990:CEP,% Mesrobian:1992:SES,% Waldspurger:1992:SDC% }. \NAMECITE{compute}{% Vestal:1994:FPS% }. \NAMECITE{Computer}{% Wang:1992:CAA,% Banker:1994:AOS,% Bertolino:1994:AGP,% Helman:1993:SFA,% Lu:1990:MMS,% Tai:1996:TFB,% Torii:1999:GEC,% Ukelson:1993:UNC% }. \NAMECITE{computer-aided}{% Banker:1994:AOS,% Torii:1999:GEC% }. \NAMECITE{computers}{% Carreira:1998:XTE% }. \NAMECITE{Computing}{% Anonymous:1998:SIM,% Franceschinis:1994:CBP,% Adam:1993:RVC,% Ahuja:1993:PST,% Arora:1993:CCF,% Cardelli:1999:SCW,% Joshi:1999:ARC,% Kim:1992:ATN,% McCann:1998:CPA,% Pekergin:1992:PCO,% Sriram:1995:MPL,% Welling:1998:AEE,% Wojcik:1991:RGE% }. \NAMECITE{concept}{% Chillarege:1992:ODC,% Cowan:1995:ADV,% Diaz:1994:OCF,% Kozaczynski:1992:PCR,% Siff:1999:IMC% }. \NAMECITE{concepts}{% Parrish:1993:CSF% }. \NAMECITE{concurrency}{% Ciciani:1992:ACC,% Halici:1991:OLT,% Ibaraki:1990:MCS,% Roman:1990:MPM,% Yu:1992:AHC,% Yu:1993:PAC% }. \NAMECITE{concurrency-coherency}{% Ciciani:1992:ACC% }. \NAMECITE{concurrent}{% Avrunin:1991:AAC,% Avrunin:1994:ADT,% Battiston:1996:MAN,% Carver:1998:USC,% Chen:1993:MAC,% Chetali:1998:FVC,% Corbett:1996:EDD,% Dotan:1991:UFC,% Godefroid:1996:UPO,% Goldschlag:1990:MVC,% Heileman:1992:GFC,% Ness:1993:TCE,% Notomi:1994:HRG,% Staskauskas:1993:FDC,% Tai:1991:DCA,% Taylor:1992:LFC,% Taylor:1992:STC,% Tyrrell:1995:CMI,% Woodside:1995:TVM% }. \NAMECITE{concurrent-software}{% Notomi:1994:HRG% }. \NAMECITE{conditional}{% Strom:1993:ETC% }. \NAMECITE{conditions}{% Mainkar:1996:SCE% }. \NAMECITE{confidence}{% Hamlet:1990:PTD% }. \NAMECITE{confidentiality}{% Jacob:1991:UPC% }. \NAMECITE{configurable}{% Goldman:1995:PPA% }. \NAMECITE{conflict}{% Sullivan:1999:ACB% }. \NAMECITE{Conflicts}{% Lupu:1999:CPB,% vanLamsweerde:1998:MCG% }. \NAMECITE{conformance}{% Pitt:1990:DCT% }. \NAMECITE{conjunctions}{% Hurfin:1998:EDD% }. \NAMECITE{connectionist}{% Karunanithi:1992:PSR% }. \NAMECITE{Connectors}{% Wermelinger:1998:CMP% }. \NAMECITE{conservative}{% Littlewood:1997:SCS% }. \NAMECITE{considerations}{% Kanoun:1994:SRT% }. \NAMECITE{Consistency}{% Helary:1999:CID,% Feather:1998:RAL,% Heimdahl:1996:CCH,% Krishnan:1999:MPC,% Mahajan:1997:VTC,% Triantafillou:1997:ASC,% Young:1997:CVS% }. \NAMECITE{consistent}{% Campos:1991:ETB% }. \NAMECITE{constrained}{% Avrunin:1991:AAC% }. \NAMECITE{Constraint}{% DeMillo:1991:CBA,% Girgis:1993:CCB,% Cheng:1993:ART,% Gerber:1995:CRT,% Go:1999:DFS,% Olender:1990:CSC,% Tsai:1995:TCP% }. \NAMECITE{Constraint-based}{% DeMillo:1991:CBA,% Girgis:1993:CCB% }. \NAMECITE{constraint-oriented}{% Go:1999:DFS% }. \NAMECITE{constraints}{% Carver:1998:USC,% Huang:1990:SCP,% Xu:1993:CST,% Xu:1993:STC% }. \NAMECITE{Constructing}{% Callahan:1990:CPC,% Maarek:1991:IRA% }. \NAMECITE{construction}{% Muhanna:1991:CPH,% Nishida:1991:SAP% }. \NAMECITE{Constructive}{% Huang:1998:CPS% }. \NAMECITE{containing}{% Kaudel:1990:CAP,% Towsley:1986:APC,% Towsley:1990:CAP% }. \NAMECITE{contention}{% Yu:1992:AHC% }. \NAMECITE{contentions}{% Chu:1991:TRT% }. \NAMECITE{context}{% Seiter:1998:EOB% }. \NAMECITE{contingency}{% Chu:1991:CAE% }. \NAMECITE{continuous}{% DeMillo:1991:DSC,% Foo:1993:CDS% }. \NAMECITE{contribution}{% DiFelice:1993:RMS% }. \NAMECITE{Control}{% Yadav:1990:CDM,% Abdel-Hamid:1993:SPC,% Akella:1994:SVC,% Ammarguellat:1992:CFN,% Bertolino:1994:AGP,% Bertrand:1999:BSL,% Chen:1994:WSH,% Ciciani:1992:ACC,% Danzig:1994:FCL,% Dutertre:1997:FRA,% Etessami:1991:RBD,% Hailpern:1990:EOS,% Halici:1991:OLT,% Heindl:1999:FOA,% Ibaraki:1990:MCS,% Jacky:1995:SSC,% Jaffe:1991:SRA,% Lakshmanan:1991:PCF,% Leveson:1994:RSP,% Mukhopadhyay:1992:SEM,% Plaice:1993:NAV,% Yu:1992:AHC,% Yu:1993:PAC% }. \NAMECITE{control-flow}{% Ammarguellat:1992:CFN,% Lakshmanan:1991:PCF% }. \NAMECITE{control-intensive}{% Akella:1994:SVC% }. \NAMECITE{Controlled}{% Litwin:1991:THC,% Myrtveit:1999:CEA,% Prechelt:1998:CEA% }. \NAMECITE{controllers}{% Willson:1990:PNT% }. \NAMECITE{convergence}{% Arora:1993:CCF% }. \NAMECITE{Conversion}{% Novak:1995:CUM% }. \NAMECITE{cooperation}{% Bandinelli:1996:SCS,% Stiemerling:1998:UCS% }. \NAMECITE{cooperative}{% DePaoli:1994:CLC,% Peng:1993:OSC% }. \NAMECITE{Coordinating}{% Ciancarini:1998:CMA% }. \NAMECITE{copies}{% Adam:1993:RVC,% Hilderman:1997:NRV% }. \NAMECITE{Copying}{% Harms:1991:CSI% }. \NAMECITE{Correct}{% Moriconi:1995:CAR,% Becker:1990:BEM% }. \NAMECITE{Correction}{% Canfora:1993:CAL,% Daskalantonakis:1993:CPV,% Liu:1998:CSF,% Towsley:1990:CAP,% Xu:1993:CST,% Ahuja:1993:PST% }. \NAMECITE{correlated}{% Nicola:1990:MCF% }. \NAMECITE{correlation}{% Tomek:1993:MCS% }. \NAMECITE{Correspondence}{% Bourdeau:1996:CRB,% Ebert:1992:CVT% }. \NAMECITE{Corrigenda}{% Henderson-Sellers:1997:CSS% }. \NAMECITE{Corrigendum}{% Girgis:1993:CCB% }. \NAMECITE{Cost}{% Cook:1998:CEA,% Binkley:1997:SGR,% Chulani:1999:BAE,% Ebrahimi:1999:HIC,% Gutjahr:1995:OTD,% Helander:1998:PMS,% Lederer:1998:CMS,% Matson:1994:SDC,% Pillai:1997:MSD,% Porter:1997:EAC,% Rosenblum:1997:UCI,% Weyuker:1990:CDF,% Zahedi:1991:SRA,% Zweben:1995:ELE% }. \NAMECITE{cost-benefits}{% Porter:1997:EAC% }. \NAMECITE{Cost-effective}{% Cook:1998:CEA% }. \NAMECITE{cost-effectiveness}{% Rosenblum:1997:UCI% }. \NAMECITE{costs}{% Al-Mouhamed:1990:LBN% }. \NAMECITE{count}{% Campos:1991:ETB% }. \NAMECITE{counterexample}{% Jackson:1996:ESA% }. \NAMECITE{counting}{% Jeffery:1993:CFP% }. \NAMECITE{coupling}{% Briand:1999:UFC% }. \NAMECITE{coverage}{% Rosenblum:1997:UCI% }. \NAMECITE{covers}{% Bertolino:1994:AGP% }. \NAMECITE{Covert}{% Kemmerer:1991:CFT,% Tsai:1990:ICS% }. \NAMECITE{Creation}{% Novak:1995:CVR% }. \NAMECITE{criteria}{% Constantine:1990:CRC,% Hoffman:1990:CMI,% Parrish:1995:RAA,% Richardson:1993:ATD,% Zhu:1996:FAS% }. \NAMECITE{Critical}{% Karam:1989:CRA,% McNamee:1990:CCR,% Bucci:1995:CVT,% Burke:1990:CAI,% Butler:1993:IQR,% DeMillo:1995:SCR,% Ghezzi:1991:UHL,% Grassi:1992:OCC,% Jacky:1995:SSC,% Karam:1990:SCR,% Littlewood:1997:SCS,% Rushby:1993:FVA% }. \NAMECITE{critique}{% Fenton:1999:CSD% }. \NAMECITE{cross}{% Huang:1994:DAS% }. \NAMECITE{cross-{RPC}}{% Huang:1994:DAS% }. \NAMECITE{cryptographic}{% Abadi:1996:PEP% }. \NAMECITE{{CSCW}}{% Stiemerling:1998:UCS% }. \NAMECITE{{CSDL}}{% DePaoli:1994:CLC% }. \NAMECITE{{CSP}}{% Camilleri:1990:MCT,% Kay:1993:RGM,% Lowe:1997:UCD,% Moore:1990:SVD,% Schneider:1998:VAP,% Sorensen:1993:CMM,% Tyrrell:1995:CMI% }. \NAMECITE{{CSPL}}{% Chen:1997:CAL% }. \NAMECITE{cut}{% Debray:1990:TBC% }. \NAMECITE{Cyclomatic}{% Gill:1991:CCD% }. \NAMECITE{D}{% Constantine:1990:CRC,% Kaudel:1990:CAP,% Xu:1993:CST% }. \NAMECITE{Data}{% Biswas:1993:DSP,% Cui:1992:DOE,% Gaudiot:1990:DDP,% Moser:1990:DDG,% Batini:1993:SPD,% Bishop:1990:EDA,% Briand:1992:PRA,% Burke:1990:CAI,% Cacace:1992:DPD,% Campodonico:1994:BAL,% Chen:1993:MAC,% Chen:1998:CDM,% Chen:1999:PSA,% Chmura:1990:ESD,% Cowan:1995:ADV,% DeMillo:1991:CBA,% Ding:1990:FAD,% Ernst:1994:MVD,% Frankl:1993:ECE,% Gallagher:1997:ATD,% Girgis:1993:CCB,% Grandi:1993:BAE,% Griswold:1998:TSP,% Halbwachs:1992:PVR,% Higashino:1994:AAT,% Korel:1990:AST,% Lee:1995:RAP,% Levendel:1990:RAL,% Mannino:1990:OOF,% Milewski:1990:FDS,% Novak:1995:CVR,% Parrish:1991:ARS,% Richardson:1993:ATD,% Ryder:1990:PID,% Schneidewind:1993:SRM,% Sitaraman:1997:PNA,% Smith:1991:MSR,% Stavely:1995:VDI,% Ward:1996:DDI,% Weerahandi:1994:SQM,% Weyuker:1990:CDF,% Weyuker:1993:MED,% Weyuker:1994:AGT,% Yu:1992:AHC% }. \NAMECITE{Data-driven}{% Gaudiot:1990:DDP% }. \NAMECITE{data-flow}{% Halbwachs:1992:PVR% }. \NAMECITE{data-intensive}{% Cacace:1992:DPD% }. \NAMECITE{Data-oriented}{% Cui:1992:DOE% }. \NAMECITE{database}{% Chu:1993:TBA,% DelBimbo:1993:TDI,% Falkowski:1992:COS,% Graefe:1993:EPA,% Ibaraki:1990:MCS,% Kinsley:1992:AVM,% Levy:1996:CAP,% Mullin:1990:OSD,% Niemi:1991:PBM,% Sellis:1991:QON,% Singhal:1990:UTN,% Wang:1996:TII,% Whang:1992:TDS,% Yang:1988:IAB,% Yu:1992:WCR% }. \NAMECITE{databases}{% Cornell:1990:EAV,% Halici:1991:OLT,% Paul:1996:QAP,% Wolfson:1991:MCN% }. \NAMECITE{dataflow}{% Cheung:1994:TDA,% France:1992:SED,% Kim:1992:ATN,% Radivojevic:1991:EDA% }. \NAMECITE{datasets}{% Kitchenham:1998:PAU% }. \NAMECITE{dataspace}{% Roman:1990:MPM% }. \NAMECITE{{DBMS}}{% Delis:1993:PCT% }. \NAMECITE{dead}{% Chen:1998:CDM% }. \NAMECITE{deadlines}{% Craig:1990:RRT,% Feng:1997:ASR,% Shih:1993:MRM,% Xu:1990:SPR,% Xu:1993:MSP% }. \NAMECITE{deadlock}{% Corbett:1996:EDD,% Karam:1991:TLB,% Kshemkalyani:1991:IBV,% Lang:1999:EBA,% Young:1993:CTL% }. \NAMECITE{deadlocks}{% Barbosa:1990:SPC,% Kshemkalyani:1994:EDR,% Muhanna:1991:CPH% }. \NAMECITE{Debugging}{% Garland:1990:DLS,% Gorla:1990:DEE,% Tai:1991:DCA,% Kunz:1995:UAP,% Podgurski:1990:FMP,% Singpurwalla:1991:DOT,% Tsai:1990:NMR,% Venkatesan:1995:TDD% }. \NAMECITE{Dec}{% Canfora:1993:CAL% }. \NAMECITE{decay}{% Hellerstein:1993:ASR% }. \NAMECITE{declarative}{% vanLamsweerde:1998:IDR% }. \NAMECITE{decomposition}{% Go:1999:DFS,% Huang:1990:SCP,% Moore:1990:SVD,% Paulson:1992:AAI% }. \NAMECITE{decompositional}{% Liu:1994:DAD% }. \NAMECITE{deductive}{% Manna:1992:FDP% }. \NAMECITE{def}{% Pande:1994:IDU% }. \NAMECITE{def-use}{% Pande:1994:IDU% }. \NAMECITE{defect}{% Chillarege:1992:ODC,% Fenton:1999:CSD,% Levendel:1990:RAL% }. \NAMECITE{defects}{% Agresti:1992:PSD,% Krishnan:1999:MPC% }. \NAMECITE{deferred}{% Chen:1999:PSA,% Shih:1993:MRM,% Yu:1993:PAC% }. \NAMECITE{Defining}{% Briand:1999:DVM,% DeMillo:1991:DSC,% Foo:1993:CDS% }. \NAMECITE{definite}{% Stavely:1995:VDI% }. \NAMECITE{definition}{% Chiola:1993:GSP,% Luckham:1995:EBA,% Yadav:1990:CDM% }. \NAMECITE{delay}{% vanGenuchten:1991:WSL% }. \NAMECITE{deliberations}{% Ramesh:1992:SSD% }. \NAMECITE{delivered}{% Frankl:1998:ETM% }. \NAMECITE{demand}{% May:1995:MCS% }. \NAMECITE{{DeMarco}}{% Rask:1993:SCA% }. \NAMECITE{DeMillo}{% Girgis:1993:CCB% }. \NAMECITE{denial}{% Yu:1990:SVM% }. \NAMECITE{density}{% Gill:1991:CCD% }. \NAMECITE{Dependability}{% Lopez-Benitez:1994:DMA,% Arlat:1990:FID,% Bertolino:1996:UTM,% Carreira:1998:XTE,% Kalbarczyk:1999:HSA,% Kelly:1990:ADT,% Lee:1995:SDT,% Mukherjee:1997:MSD% }. \NAMECITE{dependences}{% Podgurski:1990:FMP% }. \NAMECITE{dependencies}{% Dubois:1990:MAD% }. \NAMECITE{dependency}{% Braccini:1991:ICD,% Moser:1990:DDG,% Snoeck:1998:EDK% }. \NAMECITE{dependent}{% Berthomieu:1991:MVT,% Hanna:1990:SVU% }. \NAMECITE{Derivation}{% Ward:1996:DDI,% Avrunin:1994:ADT,% Higashino:1994:AAT,% Miriyala:1991:ADF,% Pitt:1990:DCT,% Roma:1993:FDR,% Staskauskas:1993:FDC,% Wang:1992:CAA% }. \NAMECITE{Describing}{% LeMetayer:1998:DSA% }. \NAMECITE{descriptions}{% Kunz:1991:IDW,% Miriyala:1991:ADF% }. \NAMECITE{Design}{% Holtzblatt:1997:DRD,% Jarzabek:1998:DFS,% Stewart:1997:DDR,% Weide:1994:DSI,% Arora:1998:CBD,% Babin:1991:SDT,% Bagrodia:1991:MID,% Bagrodia:1994:MLD,% Balasubramanian:1990:TDE,% Basili:1996:VOO,% Bieman:1998:MDL,% Briand:1999:DVM,% Cardenas-Garcia:1991:MTE,% Carroll:1998:RDS,% Chidamber:1994:MSO,% Chmura:1990:ESD,% Churcher:1995:CMS,% Cohen:1997:ASA,% Coleman:1992:IOH,% Cornell:1990:EAV,% Cowan:1995:ADV,% DePaoli:1994:CLC,% Dzida:1998:MUS,% Ebrahimi:1997:SAN,% Etessami:1991:RBD,% Fickas:1992:KRR,% Fischer:1992:SSD,% Franklin:1996:DIS,% Gerrard:1990:FSD,% Griswold:1994:CLD,% Harms:1991:CSI,% Honiden:1994:AAI,% Jackson:1996:ESA,% Kay:1993:RGM,% Kleinrock:1992:PPS,% Kunz:1995:UAP,% Kurki-Suonio:1993:SDR,% Liu:1994:DAD,% Lor:1991:ASS,% Merks:1992:LDP,% Neufeld:1990:DIA,% Owre:1995:FVF,% Satyanarayanan:1992:ISD,% Sen:1997:ROS,% Smith:1993:SPE,% Song:1994:EAC,% Song:1998:ESD,% Stiemerling:1998:UCS,% Thibault:1999:DSL,% Tyrrell:1995:CMI,% Waheed:1998:MED,% Yadav:1990:CDM% }. \NAMECITE{design-level}{% Bieman:1998:MDL% }. \NAMECITE{designers}{% Fischer:1992:SSD% }. \NAMECITE{Designing}{% Arora:1998:DMF,% Cacace:1992:DPD,% Huang:1994:DAS% }. \NAMECITE{designs}{% Agresti:1992:PSD,% VanderWiel:1993:ASD% }. \NAMECITE{detect}{% Heitmeyer:1998:UAM,% Lowe:1997:UCD,% Tsang:1998:LDA% }. \NAMECITE{detected}{% Chen:1996:ENF% }. \NAMECITE{Detecting}{% Lutz:1992:DUE,% DeMillo:1995:SCR,% Frankl:1993:FAF,% Gupta:1990:RSA% }. \NAMECITE{detection}{% Ammann:1994:EIE,% Balasubramanian:1990:TDE,% Chen:1998:CDM,% Corbett:1996:EDD,% Helman:1993:SFA,% Hurfin:1998:EDD,% Ilgun:1995:STA,% Kshemkalyani:1991:IBV,% Kshemkalyani:1994:EDR,% Leveson:1990:USC,% Lin:1998:MFIb,% Munson:1992:DFP,% Porter:1995:CDM,% Puketza:1996:MTI,% Richardson:1993:ATD,% Weerahandi:1994:SQM% }. \NAMECITE{detector}{% Jackson:1996:ESA% }. \NAMECITE{Determining}{% Singpurwalla:1991:DOT% }. \NAMECITE{Deterministic}{% Agrawala:1993:DMT,% Simpson:1999:SEE,% Tai:1991:DCA% }. \NAMECITE{developers}{% Blackburn:1996:ISP% }. \NAMECITE{Developing}{% Briand:1993:DIM,% Purtilo:1991:EDF% }. \NAMECITE{development}{% Bhandari:1993:CSS,% Blackburn:1996:ISP,% Bolliger:1998:FBA,% Carroll:1998:RDS,% Dutoit:1998:CMS,% Grundy:1998:IMM,% Harel:1990:SWE,% Kelly:1990:ADT,% Mark:1992:CBS,% Matson:1994:SDC,% Maxwell:1996:SDP,% Miyoshi:1993:ESE,% Murphy:1999:EES,% Myers:1997:AEN,% Nakajo:1993:CHD,% Perry:1991:MSD,% Pillai:1997:MSD,% Porter:1997:EAC,% Ramesh:1992:SSD,% Rich:1992:SLK,% Roberts:1998:FII,% Roberts:2001:RCF,% Robinson:1999:MRI,% Smith:1990:KSP,% Srinivasan:1995:MLA,% Stoyen:1999:DEC,% Taff:1991:EDE,% Venkatesh:1992:SDE,% Yadav:2001:CFI,% Zweben:1995:ELE,% vanGenuchten:1991:WSL% }. \NAMECITE{deviations}{% Cugola:1998:TDP% }. \NAMECITE{device}{% Thibault:1999:DSL% }. \NAMECITE{diagnosis}{% Walter:1997:FVL% }. \NAMECITE{diagrams}{% Botting:1996:CFS,% Bourdeau:1995:FSO,% Ding:1990:FAD,% France:1992:SED,% Protsko:1991:TAG% }. \NAMECITE{dictionary}{% Batini:1993:SPD% }. \NAMECITE{different}{% Kunz:1991:IDW,% Nicola:1990:CAD,% Novak:1995:CVR% }. \NAMECITE{difficult}{% Finney:1996:MNF% }. \NAMECITE{{Dijkstra}}{% Ng:1995:ITS% }. \NAMECITE{dimensional}{% DelBimbo:1993:TDI,% Whang:1992:TDS% }. \NAMECITE{directed}{% Gansner:1993:TDD,% Roman:1994:ADR% }. \NAMECITE{directions}{% Mili:1995:RSI% }. \NAMECITE{disciplined}{% DeAntonellis:1990:DAO% }. \NAMECITE{Discrete}{% Ciardo:1999:DES,% Bagrodia:1994:MLD,% DeVries:1990:RNM,% Gaeta:1996:EDE,% Willson:1990:PNT% }. \NAMECITE{Discrete-event}{% Ciardo:1999:DES,% Bagrodia:1994:MLD,% Gaeta:1996:EDE% }. \NAMECITE{discussion}{% Seaman:1998:COE% }. \NAMECITE{disk}{% Carson:1992:APU% }. \NAMECITE{dispatcher}{% Lin:1992:DLB% }. \NAMECITE{Distributed}{% Aue:1994:DIS,% Clemencon:1996:DSA,% Jackson:1998:DFC,% Adam:1993:RVC,% Ahmad:1991:SDL,% Ahuja:1993:PST,% Bagrodia:1991:MID,% Bal:1992:OLP,% Barbosa:1990:SPC,% Cheung:1994:TDA,% Chu:1991:TRT,% Ciciani:1990:HDC,% Ciciani:1992:ACC,% DeVries:1990:RNM,% Diaz:1994:OCF,% Goldman:1995:PPA,% Greif:1992:CSC,% Haban:1990:HMB,% Halici:1991:OLT,% Hariri:1995:HMA,% Helary:1999:CID,% Holtzblatt:1997:DRD,% Houstics:1990:MAR,% Hsu:1991:IRM,% Hurfin:1998:EDD,% Itai:1990:ODR,% Kelly:1990:ADT,% Kshemkalyani:1991:IBV,% Kshemkalyani:1994:EDR,% Kunz:1995:UAP,% Liu:1990:SAR,% Lopez-Benitez:1994:DMA,% Lupu:1999:CPB,% Menasce:1994:UFE,% Minsky:1991:IPO,% Mullin:1990:OSD,% Papelis:1992:SAP,% Peng:1993:OSC,% Peng:1997:ASC,% Ramanathan:1993:UCT,% Satyanarayanan:1992:ISD,% Shieh:1990:MHD,% Sriram:1995:MPL,% Stoyen:1999:DEC,% Triantafillou:1995:LBP,% Triantafillou:1996:IRL,% Triantafillou:1997:ASC,% Venkatesan:1995:TDD,% Waldspurger:1992:SDC,% Wojcik:1991:RGE% }. \NAMECITE{distribution}{% Caspi:1999:ADR,% Tohma:1991:EPH,% Vose:1991:LAG% }. \NAMECITE{distributions}{% Gutjahr:1995:OTD% }. \NAMECITE{do}{% Zave:1996:WDO% }. \NAMECITE{document}{% Ebrahimi:1997:SAN% }. \NAMECITE{documentation}{% Nakajo:1993:CHD,% Parnas:1994:PDW,% Peters:1998:UTO% }. \NAMECITE{does}{% Hamlet:1990:PTD% }. \NAMECITE{Domain}{% Thibault:1999:DSL,% Atkins:1999:MDS,% Chandra:1999:TDS,% Fischer:1992:SSD,% Hayes-Roth:1995:DSS,% Klarlund:1999:DSL,% Sutcliffe:1998:DTR,% Tian:1995:ITD,% Pekergin:1992:PCO% }. \NAMECITE{domain-oriented}{% Fischer:1992:SSD% }. \NAMECITE{Domain-specific}{% Thibault:1999:DSL,% Atkins:1999:MDS,% Chandra:1999:TDS,% Hayes-Roth:1995:DSS,% Klarlund:1999:DSL% }. \NAMECITE{drawing}{% Bertolazzi:1995:PGD,% Ding:1990:FAD,% Gansner:1993:TDD% }. \NAMECITE{driven}{% Atlee:1993:SBM,% Gaudiot:1990:DDP,% vanLamsweerde:1998:MCG% }. \NAMECITE{drivers}{% Thibault:1999:DSL% }. \NAMECITE{{DSA}}{% Clemencon:1996:DSA% }. \NAMECITE{{DSP}}{% Radivojevic:1991:EDA% }. \NAMECITE{{DSPNs}}{% Heindl:1999:FOA% }. \NAMECITE{during}{% Bhandari:1993:CSS,% Ramesh:1992:SSD,% VonMayrhauser:1996:IDC% }. \NAMECITE{Dynamic}{% Schwan:1992:DSH,% Wang:1997:DVC,% Korel:1997:CDP,% Kramer:1990:EPP,% Lin:1992:DLB,% Ripoll:1997:OAS,% Ryu:1990:PAD,% Voas:1992:PDF,% VonMayrhauser:1996:IDC% }. \NAMECITE{dynamic-priority}{% Ripoll:1997:OAS% }. \NAMECITE{dynamically}{% Stewart:1997:DDR% }. \NAMECITE{Early}{% Rubin:1990:EEV,% Mukhopadhyay:1992:SEM% }. \NAMECITE{economic}{% Chan:1996:EME% }. \NAMECITE{economy}{% Waldspurger:1992:SDC% }. \NAMECITE{edges}{% Parrish:1995:RAA% }. \NAMECITE{editing}{% Greif:1992:CSC% }. \NAMECITE{{Editor}}{% Rajlich:1992:GEI% }. \NAMECITE{Editorial}{% Anonymous:1997:GEI,% Chiola:1999:GEI,% Ciardo:1996:GEI,% Garlan:1998:GEI,% Jazayeri:1998:GEI,% Lin:1998:MFIa,% Meadows:1996:GEI,% Notkin:1996:GEI,% Son:1997:GEI,% Ghezzi:1999:GEI,% Harrold:1999:GEI,% Ramming:1999:GEI% }. \NAMECITE{editors}{% Shilling:1993:ILP% }. \NAMECITE{effect}{% Ammann:1994:EIE,% Bishop:1990:EDA,% Nakajo:1991:CHA% }. \NAMECITE{Effective}{% Burns:1995:EAE,% Cook:1998:CEA,% Cornell:1990:EAV,% Myers:1997:AEN% }. \NAMECITE{effectiveness}{% Frankl:1993:ECE,% Rosenblum:1997:UCI% }. \NAMECITE{effects}{% Davidson:1992:SIS,% Moriconi:1990:ARA,% Woodbury:1990:MAW,% Zhang:1991:PMM,% Zweben:1995:ELE% }. \NAMECITE{efficiency}{% Li:1990:CEP,% Triantafillou:1995:LBP% }. \NAMECITE{Efficient}{% Gaeta:1996:EDE,% Han:1991:EEM,% Hurfin:1998:EDD,% Kshemkalyani:1994:EDR,% Lang:1990:EEC,% Mishra:1991:EAS,% Qadah:1991:EAI,% Bagrodia:1994:MLD,% Balasubramanian:1990:TDE,% Choi:1994:EEA,% Simpson:1999:SEE,% Wojcik:1991:RGE% }. \NAMECITE{effort}{% Gorla:1990:DEE,% Jorgensen:1995:EAS,% Mukhopadhyay:1992:SEM,% Pillai:1997:MSD,% Shepperd:1997:ESP,% Srinivasan:1995:MLA% }. \NAMECITE{election}{% Fetzer:1999:HAL,% Itai:1990:ODR% }. \NAMECITE{electronic}{% Anderson:1996:REP,% Kailar:1996:AEC% }. \NAMECITE{Elements}{% Jackson:1996:ESA% }. \NAMECITE{elicitation}{% Haumer:1998:REV% }. \NAMECITE{elimination}{% Lee:1995:RAP,% Shimeall:1991:ECS% }. \NAMECITE{Embedded}{% Henderson:1991:EPS,% Alur:1996:ASV,% Elliott:1999:EML% }. \NAMECITE{emerging}{% Murphy:1999:EES% }. \NAMECITE{Empirical}{% Jeffery:1999:ESE,% Rothermel:1998:ESS,% Abran:1996:FPA,% Agarwal:1999:COP,% Chulani:1999:BAE,% Frakes:1994:ESR,% Kemerer:1992:IRF,% Kemerer:1999:EAS,% Lee:1997:ESS,% Leveson:1990:USC,% Miyoshi:1993:ESE,% Offutt:1994:EEW,% Seaman:1998:COE,% Seaman:1999:QME,% Shimeall:1991:ECS,% Sinha:1992:CFE,% Solheim:1993:EST,% Torii:1999:GEC,% Weyuker:1990:CDF,% vanGenuchten:1991:WSL% }. \NAMECITE{enabling}{% Papelis:1992:SAP% }. \NAMECITE{enactment}{% Cugola:1998:TDP% }. \NAMECITE{Encapsulation}{% Graefe:1993:EPA,% Zweben:1995:ELE% }. \NAMECITE{end}{% Feng:1997:ASR,% Taff:1991:EDE% }. \NAMECITE{end-to-end}{% Feng:1997:ASR% }. \NAMECITE{Engineering}{% Briand:1997:RCP,% Jeffery:1999:ESE,% Katcher:1993:EAF,% Song:1998:ESD,% Abadi:1996:PEP,% Banker:1994:AOS,% Briand:1992:PRA,% Briand:1996:PBS,% Burns:1995:EAE,% Canfora:1992:LBA,% Canfora:1993:CAL,% Choi:1994:EEA,% Chulani:1999:BAE,% Eisenstadt:1990:VKE,% Fenton:1998:SIS,% Lee:1998:IAU,% Liu:1998:CSF,% Liu:1998:SFE,% Oivo:1992:RSE,% Parnas:1993:PLS,% Poels:1997:CPB,% Ramesh:1992:SSD,% Roussopoulos:1991:AHP,% Seaman:1999:QME,% Smith:1993:SPE,% Sutcliffe:1998:DTR,% Sutcliffe:1998:SSB,% Torii:1999:GEC,% Woodside:1995:TVM,% Zuse:1997:RPB,% vanLamsweerde:1998:MCG,% Anonymous:1995:IIT% }. \NAMECITE{enhance}{% Bloom:1997:UPL,% Cowan:1995:ADV% }. \NAMECITE{entities}{% Buhr:1998:UCM% }. \NAMECITE{entity}{% Batini:1993:SPD,% Markowitz:1990:IEE% }. \NAMECITE{entity-relationship}{% Markowitz:1990:IEE% }. \NAMECITE{entropy}{% Harrison:1992:EBM% }. \NAMECITE{entropy-based}{% Harrison:1992:EBM% }. \NAMECITE{enumerative}{% Peng:1993:OSC% }. \NAMECITE{Environment}{% Madhavji:1992:EEP,% Bandinelli:1993:SPM,% Bandinelli:1996:SCS,% Banker:1994:AOS,% Browne:1990:EER,% Buttazzo:1999:MAR,% Cacace:1992:DPD,% Cavalieri:1995:PRT,% Chen:1997:CAL,% DelBimbo:1993:TDI,% Hahn:1991:TSK,% Harel:1990:SWE,% Harrold:1993:UIP,% Kao:1993:FFI,% Madhavji:1991:PMP,% Mesrobian:1992:SES,% Miyoshi:1993:ESE,% Mutka:1992:ECS,% Myers:1997:AEN,% Purtilo:1991:EDF,% Radivojevic:1991:EDA,% Ramamoorthy:1990:ESE,% Rask:1993:SCA,% Stoyen:1999:DEC,% Sztrik:1991:AAH,% Torii:1999:GEC,% Venkatesh:1992:SDE,% Welling:1998:AEE,% Yasumatsu:1995:SST,% Yu:1992:AHC% }. \NAMECITE{environments}{% Callahan:1991:PSH,% Ferrucci:1996:SBI,% Fischer:1992:SSD,% Grundy:1998:IMM,% Hsu:1991:IRM,% Perry:1991:MSD,% Yu:1992:WCR% }. \NAMECITE{{EPOS}}{% Jaccheri:1993:TPM% }. \NAMECITE{{EQL}}{% Wang:1995:RTB% }. \NAMECITE{Ergodicity}{% Campos:1991:ETB% }. \NAMECITE{error}{% Ammann:1994:EIE,% Balasubramanian:1990:TDE,% Feng:1997:ASR,% Lederer:1998:CMS,% Leveson:1990:USC,% Lutz:1992:DUE,% Nakajo:1991:CHA,% Nicola:1990:MCF,% Selby:1991:AEP,% Steegmans:1992:GIP% }. \NAMECITE{error-prone}{% Selby:1991:AEP% }. \NAMECITE{errors}{% Ebrahimi:1997:SAN,% Howden:1990:CAP,% Lowe:1997:UCD% }. \NAMECITE{{ESML}}{% Richter:1993:TRI% }. \NAMECITE{{ESML}-extended}{% Richter:1993:TRI% }. \NAMECITE{{Estella}}{% Cheng:1993:ART% }. \NAMECITE{estimate}{% Chan:1996:EME% }. \NAMECITE{estimates}{% Taff:1991:EDE% }. \NAMECITE{Estimating}{% Miller:1992:EPF,% Mutka:1992:ECS,% Sarkar:1990:ESP,% Shepperd:1997:ESP,% Chu:1991:CAE,% Lederer:1998:CMS,% May:1995:MCS,% Myrtveit:1999:CEA,% Srinivasan:1995:MLA% }. \NAMECITE{Estimation}{% Haas:1999:EMN,% Adams:1996:TVA,% Becker:1990:BEM,% Gorla:1990:DEE,% Grandi:1993:BAE,% Gutjahr:1995:OTD,% Henderson-Sellers:1997:CSS,% Laranjeira:1990:SSE,% Low:1990:FPE,% Matson:1994:SDC,% Mukhopadhyay:1992:SEM,% Pillai:1997:MSD,% Tohma:1991:EPH,% Tsoukalas:1993:SRE% }. \NAMECITE{{Estimeetings}}{% Taff:1991:EDE% }. \NAMECITE{{European}}{% Maxwell:1996:SDP% }. \NAMECITE{{EVA}}{% Matsuura:1997:EFP% }. \NAMECITE{evaluate}{% Zhang:1991:PMM% }. \NAMECITE{Evaluating}{% Chmura:1990:ESD,% Corbett:1996:EDD,% Frankl:1998:ETM,% Hu:1997:EAS,% Murphy:1999:EES,% Pickard:1999:CEA,% Sullivan:1996:EMM,% Ardis:1996:FES,% Ebert:1992:CVT,% Miyoshi:1993:ESE,% Schneidewind:1999:MEM,% Sears:1993:LAM,% Waheed:1998:MED% }. \NAMECITE{evaluation}{% Banker:1993:RES,% Blake:1991:EER,% Browne:1990:EER,% Cardenas-Garcia:1991:MTE,% Carreira:1998:XTE,% Chaar:1993:PES,% Eckhardt:1991:EES,% Granda:1992:PEP,% Han:1991:EEM,% Harrison:1998:EMS,% Kalbarczyk:1999:HSA,% Laprie:1991:KKA,% Lecerof:1998:ASU,% Low:1990:FPE,% Menasce:1994:UFE,% Micallef:1993:SAI,% Offutt:1994:EEW,% Ortalo:1999:EQE,% Stamos:1990:IRE,% Stiemerling:1998:UCS,% Tian:1995:CME,% Yan:1997:SSM,% Zave:1991:IEP,% Zhang:1991:PPE% }. \NAMECITE{event}{% Atlee:1993:SBM,% Bagrodia:1994:MLD,% Ciardo:1999:DES,% DeVries:1990:RNM,% Gaeta:1996:EDE,% Krishnamurthy:1995:YGP,% Luckham:1995:EBA% }. \NAMECITE{event-action}{% Krishnamurthy:1995:YGP% }. \NAMECITE{event-based}{% Luckham:1995:EBA% }. \NAMECITE{event-driven}{% Atlee:1993:SBM% }. \NAMECITE{Evolution}{% Rajlich:1996:ERO,% Seiter:1998:EOB,% Bandinelli:1993:SPM,% Jaccheri:1993:TPM,% Kemerer:1999:EAS,% Lieberherr:1993:OOS,% Luqi:1990:GMS,% Madhavji:1992:EEP,% Ramamoorthy:1990:ESE% }. \NAMECITE{evolving}{% Kramer:1990:EPP,% Matsuura:1997:EFP% }. \NAMECITE{Exact}{% Levy:1995:EAB% }. \NAMECITE{examination}{% Malaiya:1993:EFE% }. \NAMECITE{example}{% Bustard:1994:MCF,% Staskauskas:1993:FDC% }. \NAMECITE{Exception}{% Govindarajan:1993:EHF,% Cui:1992:DOE% }. \NAMECITE{exchange}{% Kay:1993:RGM% }. \NAMECITE{exclusion}{% Xu:1990:SPR,% Xu:1993:MSP% }. \NAMECITE{executable}{% DeglInnocenti:1990:RFE,% Hemmendinger:1990:SAS,% Lee:1991:ELM,% Ness:1993:TCE,% Nota:1992:QES% }. \NAMECITE{Executing}{% Radivojevic:1991:EDA% }. \NAMECITE{execution}{% Callahan:1991:PSH,% Campodonico:1994:BAL,% Coen-Porisini:1991:SSS,% Davidson:1992:SIS,% Graefe:1993:EPA,% Haban:1990:ART,% Simpson:1999:SEE,% Song:1998:ESD,% Sun:1997:BCT,% Tai:1991:DCA,% Tian:1995:TEB,% Yazia-Pekergin:1991:SBE,% Younis:1999:SSS% }. \NAMECITE{Existence}{% Snoeck:1998:EDK,% Mainkar:1996:SCE% }. \NAMECITE{expected}{% Chen:1996:ENF,% Dolev:1995:AET% }. \NAMECITE{Experience}{% Jorgensen:1995:EAS,% McLellan:1998:EUW,% Song:1994:EAC,% Ardis:1996:FES,% Cabrera:1993:IAT,% Rubin:1990:EEV,% Weyuker:1993:MED% }. \NAMECITE{Experiences}{% Easterbrook:1998:EUL,% Daskalantonakis:1992:PVS,% Daskalantonakis:1993:CPV% }. \NAMECITE{experiment}{% Bradac:1994:PPM,% Brilliant:1990:AFE,% Kelly:1990:ADT,% Myrtveit:1999:CEA,% Porter:1995:CDM,% Porter:1997:EAC,% Prechelt:1998:CEA% }. \NAMECITE{Experimental}{% Blake:1991:EER,% Browne:1990:EER,% Abdel-Hamid:1993:SPC,% Carreira:1998:XTE,% Eckhardt:1991:EES,% Frankl:1993:ECE,% Porter:1997:ASR,% Yen:1993:HFE% }. \NAMECITE{Experimentally}{% Gallivan:1990:ECB% }. \NAMECITE{Experimenting}{% Ortalo:1999:EQE% }. \NAMECITE{experiments}{% Basili:1999:BKT% }. \NAMECITE{expert}{% Campodonico:1994:BAL% }. \NAMECITE{Explicit}{% Abadi:1997:ECR% }. \NAMECITE{exploratory}{% Chidamber:1998:MUM% }. \NAMECITE{exporting}{% Welling:1998:AEE% }. \NAMECITE{exposure}{% Malaiya:1993:EFE% }. \NAMECITE{expressing}{% Nuseibeh:1994:FER% }. \NAMECITE{expression}{% Avrunin:1991:AAC% }. \NAMECITE{expressions}{% Belli:1991:SFT,% Higashino:1994:AAT,% Lang:1990:EEC,% Lustman:1994:STB% }. \NAMECITE{expressiveness}{% Bloom:1997:UPL% }. \NAMECITE{extended}{% France:1992:SED,% Lang:1999:EBA,% Markowitz:1990:IEE,% Nicollin:1992:CRT,% Paulo:1999:HES,% Richter:1993:TRI% }. \NAMECITE{Extending}{% Hailpern:1990:EOS,% Sowmya:1998:EST,% Strom:1993:ETC% }. \NAMECITE{extensible}{% Canfora:1998:ESS,% Graefe:1993:EPA% }. \NAMECITE{extensions}{% Deavours:1998:FST% }. \NAMECITE{Extracting}{% Lanubile:1997:ERF% }. \NAMECITE{Factors}{% Roberts:1998:FII,% Yadav:2001:CFI,% Roberts:2001:RCF,% Yen:1993:HFE% }. \NAMECITE{failure}{% Becker:1990:BEM,% Campodonico:1994:BAL,% Frakes:1996:QIU,% Gutjahr:1995:OTD,% May:1995:MCS,% Miller:1992:EPF,% Schneidewind:1993:SRM,% Voas:1992:PDF% }. \NAMECITE{failure-based}{% Voas:1992:PDF% }. \NAMECITE{failures}{% Chen:1996:ENF,% Miller:1992:EPF,% Nicola:1990:MCF% }. \NAMECITE{fallible}{% Abdel-Hamid:1993:SPC% }. \NAMECITE{families}{% Basili:1999:BKT% }. \NAMECITE{fast}{% Rangan:1993:TRP% }. \NAMECITE{Fault}{% Arlat:1990:FID,% Arora:1993:CCF,% Arora:1998:DMF,% Belli:1991:SFT,% DeMillo:1995:SCR,% Frankl:1993:FAF,% Huang:1993:RAP,% Kalbarczyk:1999:HSA,% Kao:1993:FFI,% Malaiya:1993:EFE,% Morell:1990:TFB,% Munson:1992:DFP,% Ohlsson:1996:PFP,% Owre:1995:FVF,% Pike:2006:NIA,% Purtilo:1991:EDF,% Richardson:1993:ATD,% Rushby:1999:SFV,% Shieh:1990:MHD,% Shimeall:1991:ECS,% Tai:1996:TFB,% Tyrrell:1995:CMI,% Weerahandi:1994:SQM,% Wojcik:1991:RGE,% Woodbury:1990:MAW% }. \NAMECITE{fault-based}{% Morell:1990:TFB,% Tai:1996:TFB% }. \NAMECITE{fault-detecting}{% DeMillo:1995:SCR,% Frankl:1993:FAF% }. \NAMECITE{fault-detection}{% Weerahandi:1994:SQM% }. \NAMECITE{fault-prone}{% Munson:1992:DFP,% Ohlsson:1996:PFP% }. \NAMECITE{fault-tolerance}{% Arora:1998:DMF,% Shieh:1990:MHD% }. \NAMECITE{fault-tolerant}{% Arora:1993:CCF,% Belli:1991:SFT,% Huang:1993:RAP,% Owre:1995:FVF,% Pike:2006:NIA,% Purtilo:1991:EDF,% Rushby:1999:SFV,% Wojcik:1991:RGE% }. \NAMECITE{faults}{% Brilliant:1990:AFE,% Kao:1993:FFI% }. \NAMECITE{Feature}{% Lin:1998:MFIa,% Jackson:1996:ESA,% Jackson:1998:DFC,% Keck:1998:FSI,% Lin:1998:MFIb,% Tsang:1998:LDA% }. \NAMECITE{{FieldBus}}{% Cavalieri:1995:PRT% }. \NAMECITE{file}{% Gait:1991:SAR,% Rao:1993:AFI,% Satyanarayanan:1992:ISD,% Triantafillou:1997:ASC% }. \NAMECITE{files}{% Lang:1990:EEC,% Rao:1993:AFI% }. \NAMECITE{filter}{% Graefe:1991:HFM% }. \NAMECITE{fine}{% Radivojevic:1991:EDA,% Kao:1993:FFI% }. \NAMECITE{fine-grained}{% Radivojevic:1991:EDA% }. \NAMECITE{finite}{% Fujiwara:1991:TSB,% Grandi:1993:BAE,% Luo:1994:TSB% }. \NAMECITE{finite-state}{% Luo:1994:TSB% }. \NAMECITE{firing}{% Campos:1991:ETB% }. \NAMECITE{firm}{% Buttazzo:1999:MAR% }. \NAMECITE{fit}{% Sinha:1992:CFE% }. \NAMECITE{Fixed}{% Vestal:1994:FPS,% Burns:1995:EAE,% Harbour:1994:TAF,% Katcher:1993:EAF,% Mainkar:1996:SCE% }. \NAMECITE{Fixed-priority}{% Vestal:1994:FPS,% Harbour:1994:TAF% }. \NAMECITE{flat}{% Dotan:1991:UFC% }. \NAMECITE{flexible}{% Cugola:1998:TDP,% Hatono:1991:MOS,% Jarzabek:1998:DFS,% Matsuura:1997:EFP% }. \NAMECITE{Flow}{% Danzig:1994:FCL,% Ammarguellat:1992:CFN,% Bertolino:1994:AGP,% Burke:1990:CAI,% Eich:1990:PFG,% Focardi:1997:CSC,% Frankl:1993:ECE,% Halbwachs:1992:PVR,% Kemmerer:1991:CFT,% Lakshmanan:1991:PCF,% Lanubile:1997:ERF,% Lee:1995:RAP,% Ryder:1990:PID,% Weyuker:1990:CDF,% Weyuker:1993:MED% }. \NAMECITE{fluid}{% Ciardo:1999:DES% }. \NAMECITE{flush}{% Camp:1993:PRF,% Stoller:1994:APR% }. \NAMECITE{fly}{% Deavours:1998:FST% }. \NAMECITE{foolproofing}{% Nakajo:1993:CHD% }. \NAMECITE{form}{% Atkins:1999:MDS,% Edwards:1997:RIS,% Florin:1991:GQN% }. \NAMECITE{form-based}{% Atkins:1999:MDS% }. \NAMECITE{Formal}{% Chetali:1998:FVC,% Craigen:1995:FMR,% Dutertre:1997:FRA,% Gerrard:1990:FSD,% Guaspari:1990:FVA,% Inverardi:1995:FSA,% Narayana:1990:FSL,% Owre:1995:FVF,% Roma:1993:FDR,% Rushby:1993:FVA,% Staskauskas:1993:FDC,% Suzuki:1990:FAA,% Babin:1991:SDT,% Botting:1996:CFS,% Bourdeau:1995:FSO,% Bustard:1994:MCF,% Chernak:1996:SAI,% Coen-Porisini:1994:FFA,% Diaz:1994:OCF,% Easterbrook:1998:EUL,% Feather:1998:RAL,% Finney:1996:MNF,% France:1992:SED,% Frankl:1993:FAF,% Fraser:1991:IFR,% Go:1999:DFS,% Godefroid:1996:UPO,% Gupta:1996:FFL,% Hemmendinger:1990:SAS,% Liu:1998:CSF,% Liu:1998:SFE,% Miriyala:1991:ADF,% Pike:2006:NIA,% Podgurski:1990:FMP,% Rice:1994:FMM,% Rushby:1999:SFV,% Ward:1996:DDI,% Zhu:1996:FAS% }. \NAMECITE{formalism}{% DeglInnocenti:1990:RFE,% Ghezzi:1991:UHL% }. \NAMECITE{Formally}{% Walter:1997:FVL% }. \NAMECITE{formed}{% Franceschinis:1994:CBP% }. \NAMECITE{foundation}{% Arora:1993:CCF% }. \NAMECITE{foundations}{% Helman:1993:SFA% }. \NAMECITE{fourth}{% Heindl:1999:FOA% }. \NAMECITE{fourth-order}{% Heindl:1999:FOA% }. \NAMECITE{Fragmenting}{% Shin:1991:FRH% }. \NAMECITE{frame}{% Borgida:1995:FPP% }. \NAMECITE{frames}{% Bicarregui:1995:IFP% }. \NAMECITE{Framework}{% Kitchenham:1997:RCT,% Ardis:1996:FES,% Bolliger:1998:FBA,% Briand:1999:UFC,% Coen-Porisini:1994:FFA,% Devanbu:1995:FSC,% Ding:1990:FAD,% Gupta:1996:FFL,% Heileman:1992:GFC,% Kitchenham:1995:TFS,% Lin:1998:MFIb,% Menasce:1994:UFE,% Morasca:1997:CTF,% Nuseibeh:1994:FER,% Paul:1994:FSC,% Smith:1992:FNN,% Stocks:1996:FSB,% Vranes:1995:IMP% }. \NAMECITE{franca}{% Taylor:1992:LFC% }. \NAMECITE{front}{% Taff:1991:EDE% }. \NAMECITE{front-end}{% Taff:1991:EDE% }. \NAMECITE{Function}{% Abran:1996:FPA,% Low:1990:FPE,% Jeffery:1993:CFP,% Kemerer:1992:IRF,% Matson:1994:SDC,% Rask:1993:SCA% }. \NAMECITE{Functional}{% Milewski:1990:FDS,% Bieman:1994:MFC,% Govindarajan:1993:EHF,% Mannino:1990:OOF% }. \NAMECITE{functions}{% DeMillo:1991:DSC,% Foo:1993:CDS,% Hu:1997:EAS,% Lanubile:1997:ERF,% Papelis:1992:SAP,% Pickard:1999:CEA% }. \NAMECITE{fundamental}{% Parrish:1993:CSF% }. \NAMECITE{Fundamentals}{% Manna:1992:FDP% }. \NAMECITE{G}{% Young:1993:CTL% }. \NAMECITE{galaxy}{% Beetem:1991:ISP% }. \NAMECITE{games}{% Dolev:1995:AET% }. \NAMECITE{gap}{% Fraser:1991:IFR,% Lichter:1994:PIS% }. \NAMECITE{general}{% Dillon:1990:VGS,% Heileman:1992:GFC,% Krishnamurthy:1995:YGP,% McLean:1996:GTC,% Qureshi:1996:AGS% }. \NAMECITE{Generalization}{% Florin:1991:GQN% }. \NAMECITE{Generalized}{% Chiola:1993:GSP,% Granda:1992:PEP,% Kleinrock:1992:PPS,% Kshemkalyani:1994:EDR,% Luo:1994:TSB% }. \NAMECITE{generated}{% Peters:1998:UTO% }. \NAMECITE{generating}{% Boyd:1991:CGO,% Hrischuk:1999:TBL,% Vose:1991:LAG,% Weyuker:1994:AGT% }. \NAMECITE{Generation}{% Steegmans:1992:GIP,% Avritzer:1995:AGL,% Bertolino:1994:AGP,% Crimi:1990:AVL,% DeMillo:1991:CBA,% Gallagher:1997:ATD,% Girgis:1993:CCB,% Heering:1990:IGP,% Korel:1990:AST,% Olender:1990:CSC,% Protsko:1991:TAG,% Qureshi:1996:AGS,% Thibault:1999:DSL,% Tsai:1990:ATC% }. \NAMECITE{generators}{% Batory:1997:CVS% }. \NAMECITE{generic}{% Novak:1997:SRS,% Wang:1997:DVC% }. \NAMECITE{{GenVoca}}{% Batory:1997:CVS% }. \NAMECITE{{Ginger2}}{% Torii:1999:GEC% }. \NAMECITE{given}{% Vose:1991:LAG% }. \NAMECITE{global}{% Blackburn:1996:ISP,% Krueger:1994:ALP,% Venkatesan:1995:TDD% }. \NAMECITE{goal}{% Oivo:1992:RSE,% Robinson:1999:MRI,% Rolland:1998:GGM,% vanLamsweerde:1998:MCG% }. \NAMECITE{goal-driven}{% vanLamsweerde:1998:MCG% }. \NAMECITE{good}{% Burton:1996:GGM% }. \NAMECITE{grained}{% Radivojevic:1991:EDA% }. \NAMECITE{grammar}{% Wojcik:1991:RGE% }. \NAMECITE{Grammars}{% Mark:1992:GR,% Hemmendinger:1990:SAS,% LeMetayer:1998:DSA% }. \NAMECITE{graph}{% Bertolazzi:1995:PGD,% Eich:1990:PFG,% Lanubile:1997:ERF,% LeMetayer:1998:DSA,% Luqi:1990:GMS,% Notomi:1994:HRG,% Ward:1996:DDI% }. \NAMECITE{graphical}{% Angelaccio:1990:QGQ,% Mahajan:1997:VTC,% Whang:1992:TDS% }. \NAMECITE{graphs}{% Al-Mouhamed:1990:LBN,% Campos:1994:ATC,% Gansner:1993:TDD,% Moser:1990:DDG,% Sereno:1996:AMV% }. \NAMECITE{{Gries}}{% Ng:1995:ITS% }. \NAMECITE{group}{% Reiter:1996:SGM% }. \NAMECITE{Growth}{% Anonymous:1996:RMS,% Laprie:1991:KKA,% Tohma:1991:EPH% }. \NAMECITE{{GSPNs}}{% Buchholz:1999:HSS,% Kemper:1996:NAS,% Kemper:1999:TAS% }. \NAMECITE{guarantee}{% Kay:1993:RGM% }. \NAMECITE{guaranteed}{% Stoyenko:1991:AHR% }. \NAMECITE{Guaranteeing}{% Burton:1996:GGM,% Gerber:1995:GRT% }. \NAMECITE{guarantees}{% Mehra:1997:SCS% }. \NAMECITE{{GUARDIAN}}{% Lee:1995:SDT% }. \NAMECITE{Guest}{% Anonymous:1997:GEI,% Chiola:1999:GEI,% Ciardo:1996:GEI,% Garlan:1998:GEI,% Ghezzi:1999:GEI,% Harrold:1999:GEI,% Jazayeri:1998:GEI,% Lin:1998:MFIa,% Meadows:1996:GEI,% Notkin:1996:GEI,% Ramming:1999:GEI,% Son:1997:GEI,% Rajlich:1992:GEI% }. \NAMECITE{{GUI}}{% Taylor:1996:CMB% }. \NAMECITE{guide}{% Song:1998:ESD% }. \NAMECITE{guided}{% Binkley:1997:SGR% }. \NAMECITE{Guiding}{% Rolland:1998:GGM% }. \NAMECITE{handlers}{% Govindarajan:1993:EHF% }. \NAMECITE{handling}{% Cui:1992:DOE,% Finkelstein:1994:IHM,% Steegmans:1992:GIP% }. \NAMECITE{hard}{% Abdelzaher:1997:CPR,% Harbour:1994:TAF,% Schwan:1992:DSH,% Shepard:1991:PRT,% Stoyenko:1991:AHR,% Xu:1993:CST,% Xu:1993:STC% }. \NAMECITE{hard-real-time}{% Stoyenko:1991:AHR,% Xu:1993:CST,% Xu:1993:STC% }. \NAMECITE{Hashing}{% Litwin:1991:THC% }. \NAMECITE{Heap}{% Graefe:1991:HFM% }. \NAMECITE{Heap-filter}{% Graefe:1991:HFM% }. \NAMECITE{heterogeneous}{% Callahan:1991:PSH,% Hsu:1991:IRM,% Sztrik:1991:AAH% }. \NAMECITE{heuristic}{% Kunz:1991:IDW% }. \NAMECITE{{HI}}{% Hirakawa:1990:IPS% }. \NAMECITE{{HI-VISUAL}}{% Hirakawa:1990:IPS% }. \NAMECITE{Hierarchical}{% Buchholz:1999:HSS,% Hariri:1995:HMA,% Kalbarczyk:1999:HSA,% Notomi:1994:HRG,% Heimdahl:1996:CCH,% Muhanna:1991:CPH,% Shieh:1990:MHD% }. \NAMECITE{hierarchically}{% Chen:1994:WSH% }. \NAMECITE{hierarchy}{% DeMillo:1995:SCR% }. \NAMECITE{High}{% Krauser:1991:HPS,% Briand:1993:DIM,% Briand:1999:DVM,% Ghezzi:1991:UHL,% Liao:1992:SAH,% Roussopoulos:1991:AHP,% Yu:1992:AHC% }. \NAMECITE{high-level}{% Briand:1999:DVM,% Ghezzi:1991:UHL% }. \NAMECITE{high-risk}{% Briand:1993:DIM% }. \NAMECITE{higher}{% Ahuja:1993:PST,% Camilleri:1990:MCT% }. \NAMECITE{highlights}{% Berger:1990:CMW% }. \NAMECITE{highly}{% Fetzer:1999:HAL% }. \NAMECITE{history}{% Nakajo:1991:CHA,% Nakajo:1993:CHD% }. \NAMECITE{{Hoffman}}{% Constantine:1990:CRC% }. \NAMECITE{homogeneous}{% Gupta:1991:PAT,% Rommen:1991:PLB% }. \NAMECITE{hookup}{% McCullough:1990:HTM% }. \NAMECITE{{hopCP}}{% Akella:1994:SVC% }. \NAMECITE{horizontally}{% Shin:1991:FRH% }. \NAMECITE{human}{% Yen:1993:HFE% }. \NAMECITE{hybrid}{% Ciciani:1990:HDC,% Haban:1990:HMB,% Tsai:1992:HKR,% Yu:1992:AHC% }. \NAMECITE{{Hypercharts}}{% Paulo:1999:HES% }. \NAMECITE{hypercube}{% Balasubramanian:1990:TDE% }. \NAMECITE{hypergeometric}{% Tohma:1991:EPH% }. \NAMECITE{hypermedia}{% Paulo:1999:HES% }. \NAMECITE{hypertext}{% Osterbye:1995:LSP% }. \NAMECITE{{I/O}}{% Goldman:1995:PPA% }. \NAMECITE{{IC}}{% Akella:1994:SVC% }. \NAMECITE{iconic}{% DelBimbo:1993:TDI,% Hirakawa:1990:IPS% }. \NAMECITE{Identification}{% VonMayrhauser:1996:IDC,% Tsai:1990:ICS% }. \NAMECITE{Identifying}{% Markowitz:1990:IEE,% Siff:1999:IMC,% Briand:1993:DIM,% Tyrrell:1995:CMI% }. \NAMECITE{Identity}{% Kato:1992:PCI% }. \NAMECITE{{{{IEEE}}}}{% Anonymous:1995:IIT,% Anonymous:1996:IIT,% Anonymous:1997:IIT% }. \NAMECITE{{II}}{% Leong:1990:TPL% }. \NAMECITE{image}{% DelBimbo:1993:TDI% }. \NAMECITE{impact}{% Roberts:1998:FII,% Roberts:2001:RCF,% Yadav:2001:CFI% }. \NAMECITE{imperfect}{% Ammann:1994:EIE% }. \NAMECITE{Implementation}{% Kato:1992:PCI,% Aagaard:1995:VLS,% Costagliola:1997:PMI,% Daskalantonakis:1992:PVS,% Daskalantonakis:1993:CPV,% Franklin:1996:DIS,% Neufeld:1990:DIA,% Roberts:2001:RCF,% Thibault:1999:DSL% }. \NAMECITE{implementations}{% Sibert:1996:AIS% }. \NAMECITE{implemented}{% Avrunin:1998:API,% Greif:1992:CSC% }. \NAMECITE{Implementing}{% Cabrera:1993:IAT,% Stamos:1990:IRE,% Wellings:1997:IAA,% Hutchinson:1991:EEK,% Ladd:1995:LIL,% Roberts:1998:FII,% Yadav:2001:CFI% }. \NAMECITE{implications}{% Chiola:1993:GSP,% Dwyer:1996:CPN,% Krishnan:1999:MPC,% Podgurski:1990:FMP% }. \NAMECITE{imposition}{% Minsky:1991:IPO% }. \NAMECITE{improve}{% Ebrahimi:1999:HIC% }. \NAMECITE{improved}{% Go:1999:DFS,% Wang:1996:TII,% Yadav:1990:CDM,% Yang:1988:IAB% }. \NAMECITE{improvement}{% Bhandari:1993:CSS,% Chernak:1996:SAI,% Frakes:1996:QIU,% McLellan:1998:EUW,% Wohlwend:1994:SSI% }. \NAMECITE{improvements}{% Frankl:1993:PIB,% Karam:1990:CIP% }. \NAMECITE{Improving}{% Blackburn:1996:ISP,% Kemerer:1992:IRF,% Bandinelli:1995:MII,% Eckhardt:1991:EES,% Fenton:1998:SIS% }. \NAMECITE{in-place}{% Cook:1998:CEA% }. \NAMECITE{In-process}{% Chaar:1993:PES,% Chillarege:1992:ODC% }. \NAMECITE{including}{% Smith:1993:SPE% }. \NAMECITE{Inconsistency}{% Finkelstein:1994:IHM,% Grundy:1998:IMM,% Robinson:1999:MRI,% Sommerville:1999:MPI% }. \NAMECITE{inconsistent}{% Pike:2006:NIA% }. \NAMECITE{Incremental}{% Beetem:1991:ISP,% Heering:1990:IGP,% Shilling:1993:ILP,% Burke:1990:CAI,% Micallef:1993:SAI,% Ryder:1990:PID% }. \NAMECITE{independence}{% Boucherie:1994:CIC,% Graefe:1993:EPA% }. \NAMECITE{Independent}{% Triantafillou:1996:IRL% }. \NAMECITE{Index}{% Anonymous:1995:IIT,% Anonymous:1996:IIT,% Anonymous:1997:IIT,% Anonymous:1997:AI,% Anonymous:1998:AI% }. \NAMECITE{indexes}{% Barcucci:1990:OSS% }. \NAMECITE{indicators}{% Basili:1996:VOO% }. \NAMECITE{indices}{% Falkowski:1992:COS,% Franceschinis:1994:CBP% }. \NAMECITE{individual}{% Humphrey:1991:PIS% }. \NAMECITE{induction}{% Li:1994:NSI% }. \NAMECITE{industrial}{% Bandinelli:1995:MII,% Craigen:1995:FMR,% Godefroid:1996:UPO,% Kaufmann:1997:IST,% Lichter:1994:PIS,% Liu:1998:CSF,% Liu:1998:SFE,% Maxwell:1996:SDP% }. \NAMECITE{industry}{% Staskauskas:1993:FDC% }. \NAMECITE{infeasibility}{% Butler:1993:IQR% }. \NAMECITE{inference}{% Ferrucci:1996:SBI% }. \NAMECITE{Inferring}{% vanLamsweerde:1998:IDR% }. \NAMECITE{influence}{% Gutjahr:1999:PTV,% Kunz:1991:IDW,% Satyanarayanan:1992:ISD% }. \NAMECITE{influences}{% Harms:1991:CSI% }. \NAMECITE{Informal}{% Fraser:1991:IFR,% Howden:1994:QMS,% Miriyala:1991:ADF% }. \NAMECITE{Information}{% Hsu:1991:IRM,% Abdel-Hamid:1993:SPC,% Aue:1994:DIS,% Babin:1991:SDT,% Chang:1990:VLC,% Chen:1990:CIA,% Focardi:1997:CSC,% Hahn:1991:TSK,% Harrold:1996:SCA,% Lustman:1994:STB,% Maarek:1991:IRA,% Paulson:1992:AAI,% Rosenblum:1997:UCI,% Roussopoulos:1991:AHP,% Stafylopatis:1992:PIR,% Wand:1990:OMI% }. \NAMECITE{inheritance}{% Edwards:1997:RIS% }. \NAMECITE{injection}{% Arlat:1990:FID,% Kao:1993:FFI% }. \NAMECITE{inlining}{% Davidson:1992:SIS% }. \NAMECITE{input}{% Feng:1997:ASR,% Tian:1995:ITD% }. \NAMECITE{inputs}{% Graefe:1991:HFM% }. \NAMECITE{insider}{% Zave:1991:IEP% }. \NAMECITE{inspection}{% Chaar:1993:PES,% Chernak:1996:SAI,% Ebrahimi:1997:SAN,% Seaman:1998:COE% }. \NAMECITE{inspections}{% Porter:1995:CDM,% Porter:1997:EAC% }. \NAMECITE{inspire}{% Hamlet:1990:PTD% }. \NAMECITE{instantiated}{% Qadah:1991:EAI% }. \NAMECITE{instrumentation}{% Waheed:1998:MED% }. \NAMECITE{integrated}{% Bagrodia:1991:MID,% Fischer:1992:SSD% }. \NAMECITE{Integrating}{% Tian:1995:ITD,% Vranes:1995:IMP% }. \NAMECITE{Integration}{% Desharnais:1998:ISS,% Lee:1998:IAU,% Solheim:1993:EST% }. \NAMECITE{integrity}{% Snoeck:1998:EDK% }. \NAMECITE{{Intel}}{% Sibert:1996:AIS% }. \NAMECITE{intelligence}{% Honiden:1994:AAI% }. \NAMECITE{intelligent}{% Hayes-Roth:1995:DSS,% Ng:1995:ITS,% Tsang:1998:LDA% }. \NAMECITE{intensive}{% Akella:1994:SVC,% Cacace:1992:DPD,% Ward:1996:DDI% }. \NAMECITE{interaction}{% DeNicola:1998:KKL,% Keck:1998:FSI,% Lin:1998:MFIb% }. \NAMECITE{Interactions}{% Lin:1998:MFIa,% Tsang:1998:LDA% }. \NAMECITE{interactive}{% Elliott:1999:EML,% Steegmans:1992:GIP,% Varvarigou:1999:RMA,% Young:1997:CVS% }. \NAMECITE{interconnected}{% Joshi:1999:ARC% }. \NAMECITE{interconnection}{% Rice:1994:FMM% }. \NAMECITE{Interface}{% Engler:1999:ICS,% Cordy:1990:TUI,% Cowan:1995:ADV,% Myers:1997:AEN,% Nakajo:1993:CHD,% Sears:1993:LAM,% Sullivan:1999:ACB% }. \NAMECITE{interfaces}{% Constantine:1990:CRC,% Engler:1999:ICS,% Hailpern:1990:EOS,% Hoffman:1990:CMI,% Lam:1994:TIM,% Mahajan:1997:VTC,% Novak:1992:NIS% }. \NAMECITE{{Internet}}{% Rao:1993:AFI% }. \NAMECITE{interoperation}{% Gong:1996:CIS% }. \NAMECITE{interpretable}{% Briand:1993:DIM% }. \NAMECITE{interpretation}{% Richter:1993:TRI% }. \NAMECITE{Interprocedural}{% Pande:1994:IDU,% Harrold:1993:UIP% }. \NAMECITE{Interprocess}{% Braccini:1991:ICD% }. \NAMECITE{interval}{% Singpurwalla:1991:DOT% }. \NAMECITE{intralevel}{% Coen-Porisini:1994:FFA% }. \NAMECITE{Introducing}{% Coleman:1992:IOH,% Deubler:1994:IOO% }. \NAMECITE{Introduction}{% Anonymous:1997:GEI,% Chiola:1999:GEI,% Ciardo:1996:GEI,% Dillon:1997:ISI,% Faulk:1997:ISS,% Fuggetta:1998:ISS,% Jarke:1998:ISI,% Jazayeri:1998:GEI,% McHugh:1996:ISS,% Meadows:1996:GEI,% Notkin:1996:GEI,% Roman:1998:ISI,% Son:1997:GEI,% Ghezzi:1999:GEI,% Harrold:1999:GEI,% Rajlich:1992:GEI,% Ramming:1999:GEI,% Garlan:1998:GEI% }. \NAMECITE{intrusion}{% Ilgun:1995:STA,% Jonsson:1997:QMS,% Puketza:1996:MTI% }. \NAMECITE{Invariant}{% Kshemkalyani:1991:IBV% }. \NAMECITE{Invariant-based}{% Kshemkalyani:1991:IBV% }. \NAMECITE{Invariants}{% Bicarregui:1995:IFP% }. \NAMECITE{investigation}{% Abdel-Hamid:1993:SPC,% Wang:1996:TII% }. \NAMECITE{Issue}{% Anonymous:1998:SIM,% Dillon:1997:ISI,% Jarke:1998:ISI,% Rajlich:1992:GEI,% Roman:1998:ISI% }. \NAMECITE{issues}{% Belli:1991:SFT,% Gong:1996:CIS,% Helary:1999:CID,% Mili:1995:RSI% }. \NAMECITE{iteration}{% Sinha:1992:CFE,% Stavely:1995:VDI% }. \NAMECITE{iterative}{% Burke:1990:CAI,% Mainkar:1996:SCE% }. \NAMECITE{iterators}{% Lamb:1990:SI,% Weide:1994:DSI% }. \NAMECITE{J}{% Foo:1993:CDS,% Girgis:1993:CCB,% Xu:1993:CST,% Young:1993:CTL% }. \NAMECITE{{Jade}}{% Rao:1993:AFI% }. \NAMECITE{job}{% Lin:1992:DLB% }. \NAMECITE{jobs}{% Shih:1993:MRM,% Sun:1997:BCT% }. \NAMECITE{join}{% Graefe:1991:HFM% }. \NAMECITE{joining}{% Graefe:1991:HFM% }. \NAMECITE{judgment}{% Abdel-Hamid:1993:SPC% }. \NAMECITE{Karam}{% Young:1993:CTL% }. \NAMECITE{{KAT}}{% Laprie:1991:KKA% }. \NAMECITE{{Kemerer}}{% Hitz:1996:CKM% }. \NAMECITE{kernel}{% DeNicola:1998:KKL,% Karger:1991:RVV,% Hutchinson:1991:EEK% }. \NAMECITE{key}{% Snoeck:1998:EDK% }. \NAMECITE{{KIDS}}{% Smith:1990:KSP% }. \NAMECITE{{KLAIM}}{% DeNicola:1998:KKL% }. \NAMECITE{Knowledge}{% Fickas:1992:KRR,% Setliff:1992:KRR,% Abd-El-Hafiz:1996:KBA,% Basili:1999:BKT,% Eisenstadt:1990:VKE,% Hahn:1991:TSK,% Johnson:1992:RPR,% Laprie:1991:KKA,% Rich:1992:SLK,% Shin:1991:FRH,% Tsai:1992:HKR% }. \NAMECITE{knowledge-based}{% Abd-El-Hafiz:1996:KBA,% Hahn:1991:TSK,% Shin:1991:FRH% }. \NAMECITE{L}{% Xu:1993:CST% }. \NAMECITE{{L.0}}{% Ness:1993:TCE% }. \NAMECITE{Language}{% Griswold:1994:CLD,% Merks:1992:LDP,% Angelaccio:1990:QGQ,% Atkins:1999:MDS,% Bagrodia:1994:MLD,% Bal:1992:OLP,% Bertrand:1999:BSL,% Bloom:1997:UPL,% Boussinot:1996:SSL,% Chandra:1999:TDS,% Chang:1990:VLC,% Crimi:1990:AVL,% DeNicola:1998:KKL,% DePaoli:1994:CLC,% Elliott:1999:EML,% Garland:1990:DLS,% Halbwachs:1992:PVR,% Hildum:1990:LSP,% Jahanian:1994:MSL,% Kiskis:1994:SSW,% Klarlund:1999:DSL,% Kramer:1993:CSR,% Ladd:1995:LIL,% Lee:1991:ELM,% Leong:1990:TPL,% Luckham:1995:EBA,% Mannino:1990:OOF,% Nakata:1991:PSP,% Ness:1993:TCE,% Olender:1990:CSC,% Richter:1993:TRI,% Shilling:1993:ILP,% Suzuki:1990:PMV,% Whang:1992:TDS% }. \NAMECITE{language-based}{% Shilling:1993:ILP% }. \NAMECITE{languages}{% Engler:1999:ICS,% Fraser:1991:IFR,% Govindarajan:1993:EHF,% Rice:1994:FMM,% Thibault:1999:DSL,% Tucci:1994:PNL% }. \NAMECITE{Larch}{% Chetali:1998:FVC,% Garland:1990:DLS,% Wing:1990:ULS% }. \NAMECITE{large}{% Chan:1998:MCL,% Dalal:1994:WST,% Deubler:1994:IOO,% Griswold:1998:TSP,% Levendel:1990:RAL,% McLellan:1998:EUW,% Porter:1997:EAC,% Taff:1991:EDE,% Tian:1995:TEB,% Triantafillou:1996:IRL,% VonMayrhauser:1996:IDC% }. \NAMECITE{large-scale}{% Triantafillou:1996:IRL% }. \NAMECITE{large-system}{% McLellan:1998:EUW% }. \NAMECITE{late}{% vanGenuchten:1991:WSL% }. \NAMECITE{latency}{% Woodbury:1990:MAW,% Yan:1997:SSM% }. \NAMECITE{law}{% Kleinrock:1992:PPS% }. \NAMECITE{layered}{% Gerber:1992:LAA% }. \NAMECITE{layering}{% Zweben:1995:ELE% }. \NAMECITE{Layers}{% Rolia:1995:ML,% Rich:1992:SLK% }. \NAMECITE{Layout}{% Sears:1993:LAM% }. \NAMECITE{{LBC}}{% Lin:1992:DLB% }. \NAMECITE{leader}{% Fetzer:1999:HAL% }. \NAMECITE{learned}{% Murphy:1999:EES% }. \NAMECITE{Learning}{% Tsang:1998:LDA,% Kim:1992:ATN,% Srinivasan:1995:MLA% }. \NAMECITE{least}{% Levy:1995:EAB% }. \NAMECITE{length}{% Cavalieri:1995:PRT% }. \NAMECITE{Lessons}{% Neil:1998:LUZ,% Murphy:1999:EES% }. \NAMECITE{level}{% Bieman:1998:MDL,% Briand:1999:DVM,% Chiola:1993:GSP,% Ghezzi:1991:UHL,% Liao:1992:SAH,% Pande:1994:IDU,% Qureshi:1996:AGS,% Rangan:1993:TRP% }. \NAMECITE{libraries}{% Maarek:1991:IRA% }. \NAMECITE{library}{% Nishida:1991:SAP% }. \NAMECITE{life}{% Ammann:1994:EIE,% Butler:1993:IQR% }. \NAMECITE{life-critical}{% Butler:1993:IQR% }. \NAMECITE{lightweight}{% Easterbrook:1998:EUL,% Feather:1998:RAL% }. \NAMECITE{like}{% Chen:1997:CAL,% Nakata:1991:PSP% }. \NAMECITE{limited}{% Danzig:1994:FCL% }. \NAMECITE{line}{% Diaz:1994:OCF,% Eick:1992:STV,% Gupta:1996:FFL,% Waheed:1998:MED,% Walter:1997:FVL% }. \NAMECITE{Linear}{% Saxena:1994:LCA,% Han:1991:EEM,% Liu:1998:PAS,% Vestal:1994:FPS,% Vose:1991:LAG% }. \NAMECITE{lingua}{% Taylor:1992:LFC% }. \NAMECITE{{Lipton}}{% Foo:1993:CDS% }. \NAMECITE{{Lisp}}{% Kaufmann:1997:IST% }. \NAMECITE{{LISPACK}}{% Iazeolla:1993:LMT% }. \NAMECITE{list}{% Anonymous:1999:RL% }. \NAMECITE{Literate}{% Osterbye:1995:LSP% }. \NAMECITE{liveness}{% Strom:1993:ETC% }. \NAMECITE{{LL}}{% Shilling:1993:ILP% }. \NAMECITE{Load}{% Litwin:1991:THC,% Ahmad:1991:SDL,% Avritzer:1995:AGL,% Braccini:1991:ICD,% Hrischuk:1999:TBL,% Kunz:1991:IDW,% Lin:1992:DLB,% Rommen:1991:PLB,% Sriram:1995:MPL% }. \NAMECITE{load-balancing}{% Lin:1992:DLB% }. \NAMECITE{local}{% Fetzer:1999:HAL,% Hurfin:1998:EDD% }. \NAMECITE{locality}{% Ciciani:1992:ACC% }. \NAMECITE{location}{% Krueger:1994:ALP,% Triantafillou:1995:LBP% }. \NAMECITE{location-based}{% Triantafillou:1995:LBP% }. \NAMECITE{locking}{% Eich:1990:PFG,% Halici:1991:OLT,% Ryu:1990:PAD,% Thomasian:1991:PAT,% Yu:1993:PAC% }. \NAMECITE{logarithmic}{% Campodonico:1994:BAL% }. \NAMECITE{logging}{% Alvisi:1998:MLP% }. \NAMECITE{logic}{% Aagaard:1995:VLS,% Camilleri:1990:MCT,% Canfora:1992:LBA,% Canfora:1993:CAL,% Han:1995:PPL,% Karam:1991:TLB,% Kaufmann:1997:IST,% Ness:1993:TCE,% Parnas:1993:PLS,% Sowmya:1998:EST,% Taylor:1992:LFC,% Young:1993:CTL% }. \NAMECITE{logic-based}{% Canfora:1992:LBA,% Canfora:1993:CAL,% Karam:1991:TLB,% Young:1993:CTL% }. \NAMECITE{logic-synthesis}{% Aagaard:1995:VLS% }. \NAMECITE{logical}{% Audenaert:1997:CTL,% Felder:1994:PPR% }. \NAMECITE{{Logres}}{% Cacace:1992:DPD% }. \NAMECITE{look}{% Narayana:1990:FSL% }. \NAMECITE{Loop}{% Spezialetti:1995:LMS,% Bishop:1990:EDA% }. \NAMECITE{loops}{% Abd-El-Hafiz:1996:KBA,% Kaudel:1990:CAP,% Towsley:1986:APC,% Towsley:1990:CAP% }. \NAMECITE{{LOTOS}}{% Higashino:1994:AAT,% Pitt:1990:DCT% }. \NAMECITE{Lower}{% Al-Mouhamed:1990:LBN% }. \NAMECITE{{LRU}}{% Grandi:1993:BAE% }. \NAMECITE{luck}{% Dolev:1995:AET% }. \NAMECITE{lumpable}{% Franceschinis:1994:CBP% }. \NAMECITE{{LUSTRE}}{% Halbwachs:1992:PVR% }. \NAMECITE{M}{% Young:1993:CTL% }. \NAMECITE{Machine}{% Srinivasan:1995:MLA,% Inverardi:1995:FSA,% Kim:1992:ATN% }. \NAMECITE{machines}{% Krauser:1991:HPS,% Luo:1994:TSB,% Shaw:1992:CRT% }. \NAMECITE{maintaining}{% Kinsley:1992:AVM,% Lejter:1992:SMO% }. \NAMECITE{Maintenance}{% Wilde:1992:MSO,% Chen:1993:MAC,% Cordy:1990:TUI,% Gallagher:1991:UPS,% Gill:1991:CCD,% Harrold:1993:UIP,% Jorgensen:1995:EAS,% Podgurski:1990:FMP,% Rajlich:1992:GEI,% Schneidewind:1999:MEM,% VonMayrhauser:1996:IDC% }. \NAMECITE{{Maisie}}{% Bagrodia:1994:MLD% }. \NAMECITE{Making}{% Bustard:1994:MCF,% Dzida:1998:MUS% }. \NAMECITE{management}{% Biswas:1993:DSP,% Cardenas-Garcia:1991:MTE,% Grundy:1998:IMM,% Hsu:1991:IRM,% Kramer:1990:EPP,% Levy:1996:CAP,% Lupu:1999:CPB,% Wu:1993:RTU% }. \NAMECITE{manager}{% Narayana:1990:FSL% }. \NAMECITE{Managerial}{% Chidamber:1998:MUM% }. \NAMECITE{Managing}{% Emmerich:1999:MSC,% Lin:1998:MFIa,% Robinson:1999:MRI,% Sommerville:1999:MPI,% Wolfson:1991:MCN,% vanLamsweerde:1998:MCG% }. \NAMECITE{manipulation}{% Griswold:1994:CLD,% Merks:1992:LDP,% Niemi:1991:PBM% }. \NAMECITE{manufacturing}{% Hatono:1991:MOS% }. \NAMECITE{{MAP}}{% Mortazavi:1990:PMR% }. \NAMECITE{maps}{% Buhr:1998:UCM% }. \NAMECITE{marked}{% Campos:1994:ATC,% Sereno:1996:AMV% }. \NAMECITE{marking}{% Ward:1996:DDI% }. \NAMECITE{{Markov}}{% Boucherie:1994:CIC,% Chen:1996:BMP,% Sorensen:1993:CMM,% Whittaker:1994:MCM% }. \NAMECITE{masking}{% Arora:1998:DMF% }. \NAMECITE{masses}{% Finney:1996:MNF% }. \NAMECITE{massively}{% Ahmad:1991:SDL% }. \NAMECITE{Mathematical}{% Finney:1996:MNF,% DiFelice:1993:RMS% }. \NAMECITE{{Mawl}}{% Atkins:1999:MDS% }. \NAMECITE{maximally}{% Qin:1993:MRT% }. \NAMECITE{mean}{% Sereno:1996:AMV% }. \NAMECITE{meaning}{% Griswold:1995:ATM% }. \NAMECITE{meaning-preserving}{% Griswold:1995:ATM% }. \NAMECITE{means}{% Halbwachs:1992:PVR% }. \NAMECITE{measure}{% Harrison:1992:EBM,% Tian:1995:CME% }. \NAMECITE{Measurement}{% Briand:1997:RCP,% Kitchenham:1997:RCT,% Woodbury:1990:MAW,% Abran:1996:FPA,% Briand:1996:PBS,% Briand:1999:UFC,% Daskalantonakis:1992:PVS,% Daskalantonakis:1993:CPV,% Fenton:1994:SMN,% Hitz:1996:CKM,% Kemerer:1992:IRF,% Kitchenham:1995:TFS,% Morasca:1997:CTF,% Novak:1995:CUM,% Poels:1997:CPB,% Tian:1995:TEB,% Weerahandi:1994:SQM,% Yan:1997:SSM,% Zhang:1991:PMM,% Zuse:1997:RPB% }. \NAMECITE{Measurements}{% Howes:1989:MAO,% Karam:1990:CMA,% Chillarege:1992:ODC% }. \NAMECITE{Measures}{% Sriram:1995:MPL,% Bertolino:1996:UTM,% Briand:1999:DVM,% Cherniavsky:1991:WAS,% Ebert:1992:CVT,% Khoshgoftaar:1992:PMT,% Lakshmanan:1991:PCF,% McLellan:1998:EUW% }. \NAMECITE{Measuring}{% Bieman:1994:MFC,% Bieman:1998:MDL,% Krishnan:1999:MPC,% Mukherjee:1997:MSD,% Schneidewind:1999:MEM,% Liao:1992:SAH% }. \NAMECITE{mechanical}{% Bhansali:1998:ASS% }. \NAMECITE{Mechanically}{% Goldschlag:1990:MVC% }. \NAMECITE{mechanism}{% Tsai:1990:NMR% }. \NAMECITE{Mechanizing}{% Camilleri:1990:MCT% }. \NAMECITE{mediator}{% Sullivan:1996:EMM% }. \NAMECITE{medium}{% Graefe:1991:HFM,% Valenzano:1990:SPT% }. \NAMECITE{medium-size}{% Graefe:1991:HFM% }. \NAMECITE{Meet}{% Qin:1993:MRT% }. \NAMECITE{meetings}{% Porter:1997:ASR,% Seaman:1998:COE% }. \NAMECITE{membership}{% Reiter:1996:SGM% }. \NAMECITE{Memory}{% Dubois:1990:MAD,% Burton:1996:GGM,% Gallivan:1990:ECB,% Ganesan:1992:SMR,% Kinsley:1992:AVM,% Zhang:1991:PMM% }. \NAMECITE{merge}{% Graefe:1991:HFM% }. \NAMECITE{Message}{% Alvisi:1998:MLP,% Taylor:1996:CMB% }. \NAMECITE{message-based}{% Taylor:1996:CMB% }. \NAMECITE{messages}{% DeVries:1990:RNM% }. \NAMECITE{meta}{% Niemi:1991:PBM% }. \NAMECITE{meta-rules}{% Niemi:1991:PBM% }. \NAMECITE{metadatabase}{% Hsu:1991:IRM% }. \NAMECITE{metaphors}{% Roman:1990:MPM% }. \NAMECITE{metaprogramming}{% Lee:1995:RM% }. \NAMECITE{Method}{% Rolia:1995:ML,% Becker:1990:BEM,% Cheung:1986:PMP,% DeVries:1990:RNM,% Go:1999:DFS,% Hirakawa:1990:CRP,% Howden:1994:QMS,% Kanoun:1991:MSR,% Kay:1993:RGM,% Lee:1995:RAP,% Luo:1994:TSB,% Matsuura:1997:EFP,% Peng:1993:OSC,% Sullivan:1996:EMM,% Yu:1990:SVM% }. \NAMECITE{methodologies}{% Song:1994:EAC% }. \NAMECITE{Methodology}{% Schneidewind:1992:MVS,% Arlat:1990:FID,% Aue:1994:DIS,% Costagliola:1997:PMI,% Etessami:1991:RBD,% Iazeolla:1993:LMT,% Lin:1998:MFIb,% Liu:1998:CSF,% Liu:1998:SFE,% Madhavji:1991:PMP,% Ng:1995:ITS,% Puketza:1996:MTI,% Roberts:1998:FII,% Roberts:2001:RCF,% Yadav:2001:CFI% }. \NAMECITE{methods}{% Ardis:1996:FES,% Corbett:1996:EDD,% Craigen:1995:FMR,% DeMillo:1995:SCR,% Easterbrook:1998:EUL,% Feather:1998:RAL,% Frakes:1994:ESR,% Frankl:1993:FAF,% Frankl:1998:ETM,% Godefroid:1996:UPO,% Haas:1999:EMN,% Porter:1995:CDM,% Seaman:1999:QME,% Tyrrell:1995:CMI,% VanderWiel:1993:ASD% }. \NAMECITE{metric}{% Sears:1993:LAM% }. \NAMECITE{metrics}{% Banker:1994:AOS,% Basili:1996:VOO,% Chidamber:1994:MSO,% Chidamber:1998:MUM,% Churcher:1995:CMS,% Dutoit:1998:CMS,% Gorla:1990:DEE,% Harrison:1998:EMS,% Hitz:1996:CKM,% Rask:1993:SCA,% Schneidewind:1992:MVS,% Schneidewind:1999:MEM% }. \NAMECITE{{Microsoft}}{% Sullivan:1999:ACB% }. \NAMECITE{{MIDAS}}{% Bagrodia:1991:MID% }. \NAMECITE{military}{% Maxwell:1996:SDP% }. \NAMECITE{Millo}{% Foo:1993:CDS% }. \NAMECITE{mine}{% Mahony:1992:CST% }. \NAMECITE{Minimizing}{% Buttazzo:1999:MAR% }. \NAMECITE{{Miro}}{% Heydon:1990:MVS% }. \NAMECITE{{Misra}}{% DeVries:1990:RNM% }. \NAMECITE{misuse}{% Helman:1993:SFA% }. \NAMECITE{Mixed}{% Roman:1990:MPM% }. \NAMECITE{mobile}{% McCann:1998:CPA,% Welling:1998:AEE,% Wermelinger:1998:CMP% }. \NAMECITE{Mobility}{% Anonymous:1998:SIM,% DeNicola:1998:KKL,% Fuggetta:1998:UCM,% Wilcox:1996:RAP% }. \NAMECITE{mode}{% Berger:1990:CMW% }. \NAMECITE{{Modechart}}{% Jahanian:1994:MSL% }. \NAMECITE{Model}{% Anonymous:1996:RMS,% Bang:2001:CMC,% Barrett:1995:MCP,% Chan:1998:MCL,% Agrawala:1993:DMT,% Atlee:1993:SBM,% Bandinelli:1993:SPM,% Boswell:1995:SVS,% Botting:1996:CFS,% Bourdeau:1995:FSO,% Campodonico:1994:BAL,% Chan:1996:EME,% Chen:1996:BMP,% Chen:1998:CDM,% Dromey:1995:MSP,% Frakes:1996:QIU,% Heintze:1996:MSP,% Heitmeyer:1998:UAM,% Holzmann:1997:MCS,% Inverardi:1995:FSA,% Jaccheri:1993:TPM,% Jonsson:1997:QMS,% Kinsley:1992:AVM,% Lederer:1998:CMS,% Lu:1990:MMS,% Lunt:1990:SSM,% Luqi:1990:GMS,% Madhavji:1992:EEP,% May:1995:MCS,% Mok:1997:MMR,% Nicholl:1990:USM,% Pillai:1997:MSD,% Podgurski:1990:FMP,% Rice:1994:FMM,% Richardson:1993:ATD,% Roman:1990:MPM,% Sahinoglu:1992:CPS,% Schneidewind:1993:SRM,% Tohma:1991:EPH,% Verner:1992:SSM,% Wand:1990:OMI,% Whittaker:1994:MCM,% Woodside:1995:TVM,% Sullivan:1999:ACB% }. \NAMECITE{model-oriented}{% Nicholl:1990:USM% }. \NAMECITE{Modeling}{% Bandinelli:1995:MII,% Berthomieu:1991:MVT,% Chen:1993:MAC,% Hatono:1991:MOS,% Nicola:1990:MCF,% Shieh:1990:MHD,% Smith:1991:MSR,% Tomek:1993:MCS,% Waheed:1998:MED,% Dotan:1991:UFC,% Easterbrook:1998:EUL,% Elliott:1999:EML,% Hariri:1995:HMA,% Kalbarczyk:1999:HSA,% Khoshgoftaar:1992:PMT,% Laprie:1991:KKA,% Laprie:1992:XWR,% Lee:1991:ELM,% Levendel:1990:RAL,% Lopez-Benitez:1994:DMA,% Plateau:1991:SAN,% Pucci:1992:NAM,% Richter:1993:TRI,% Rolland:1998:GGM,% Suzuki:1990:PMV,% Tian:1995:TEB,% Zhang:1991:PMM% }. \NAMECITE{Models}{% Perry:1991:MSD,% Agarwal:1999:COP,% Berman:1993:OMR,% Briand:1993:DIM,% Brocklehurst:1990:RSR,% Chulani:1999:BAE,% Cugola:1998:TDP,% Ebrahimi:1999:HIC,% Felder:1994:PPR,% Fenton:1999:CSD,% Fujiwara:1991:TSB,% Heileman:1992:GFC,% Helander:1998:PMS,% Hrischuk:1999:TBL,% Jorgensen:1995:EAS,% Karunanithi:1992:PSR,% Lor:1991:ASS,% Mainkar:1996:SCE,% Mishra:1991:EAS,% Mukhopadhyay:1992:SEM,% Myers:1997:AEN,% Myrtveit:1999:CEA,% Nicola:1990:CAD,% Oivo:1992:RSE,% Sarper:1995:NSS,% Sorensen:1993:CMM,% Tian:1995:ITD,% Varvarigou:1999:RMA,% Vestal:1994:FPS% }. \NAMECITE{modern}{% Carreira:1998:XTE,% Delis:1993:PCT% }. \NAMECITE{modes}{% Frakes:1996:QIU% }. \NAMECITE{Modified}{% Shih:1993:MRM% }. \NAMECITE{Modular}{% Battiston:1996:MAN,% Ernst:1994:MVD,% Berman:1993:OMR,% Lee:1998:IAU% }. \NAMECITE{modularization}{% Yadav:1990:CDM% }. \NAMECITE{Module}{% Houstics:1990:MAR,% Constantine:1990:CRC,% Hoffman:1990:CMI,% Hoffman:1991:AMT,% Rice:1994:FMM% }. \NAMECITE{modules}{% Campos:1999:SSA,% Lam:1994:TIM,% Nishida:1991:SAP,% Ohlsson:1996:PFP,% Siff:1999:IMC,% Wang:1994:SBS% }. \NAMECITE{monitor}{% Haban:1990:HMB% }. \NAMECITE{monitoring}{% Bradac:1994:PPM,% Haban:1990:ART,% Kao:1993:FFI,% Liao:1992:SAH,% Ortalo:1999:EQE,% Tsai:1990:NMR,% Wolfson:1991:MCN% }. \NAMECITE{monitors}{% Robinson:1999:MRI% }. \NAMECITE{monotonic}{% Shih:1993:MRM,% Spezialetti:1995:LMS% }. \NAMECITE{{MOOD}}{% Harrison:1998:EMS% }. \NAMECITE{{Moore}}{% Goldschlag:1990:MVC% }. \NAMECITE{motion}{% Gerber:1995:CRT% }. \NAMECITE{Motorola}{% Daskalantonakis:1993:CPV,% Daskalantonakis:1992:PVS% }. \NAMECITE{multiagent}{% Ciancarini:1998:CMA% }. \NAMECITE{multicast}{% Danzig:1994:FCL% }. \NAMECITE{multicomputer}{% Ahmad:1991:SDL% }. \NAMECITE{multiframe}{% Mok:1997:MMR% }. \NAMECITE{multigraph}{% Callahan:1990:CPC% }. \NAMECITE{multilevel}{% Chen:1999:PSA,% Lu:1990:MMS,% McCullough:1990:HTM% }. \NAMECITE{multimedia}{% Elliott:1999:EML% }. \NAMECITE{multiparadigm}{% Zave:1996:WDO% }. \NAMECITE{multiperspective}{% Finkelstein:1994:IHM% }. \NAMECITE{multiple}{% Grundy:1998:IMM,% Gupta:1991:PAT,% Hailpern:1990:EOS,% Han:1991:EEM,% Kaudel:1990:CAP,% Nuseibeh:1994:FER,% Towsley:1986:APC,% Towsley:1990:CAP,% Vranes:1995:IMP% }. \NAMECITE{multiple-view}{% Grundy:1998:IMM% }. \NAMECITE{Multiprocessor}{% Xu:1993:MSP,% Blake:1991:EER,% Gallivan:1990:ECB,% Ghosal:1991:PWS,% Lortz:1995:SQP,% Sztrik:1991:AAH,% Yan:1997:SSM,% Zhang:1991:PMM,% Zhang:1991:PPE% }. \NAMECITE{multiprocessors}{% Balasubramanian:1990:TDE,% Clemencon:1996:DSA,% Dubois:1990:MAD,% Ganesan:1992:SMR% }. \NAMECITE{multitolerant}{% Arora:1998:CBD% }. \NAMECITE{Multiversion}{% Ibaraki:1990:MCS,% Nicola:1990:MCF% }. \NAMECITE{mural}{% Fields:1992:VCS% }. \NAMECITE{mutation}{% Offutt:1994:EEW% }. \NAMECITE{navigation}{% Ukelson:1993:UNC% }. \NAMECITE{necessary}{% Fenton:1994:SMN% }. \NAMECITE{need}{% Sitaraman:1997:PNA% }. \NAMECITE{needed}{% Sarper:1995:NSS% }. \NAMECITE{Negotiated}{% Novak:1992:NIS% }. \NAMECITE{negotiation}{% Sullivan:1999:ACB% }. \NAMECITE{nested}{% Audenaert:1997:CTL% }. \NAMECITE{net}{% Chiola:1993:GSP,% Ciardo:1994:CSP,% Dwyer:1996:CPN,% Felder:1994:PPR,% Ghezzi:1991:UHL,% Mainkar:1996:SCE,% Smith:1992:FNN,% Willson:1990:PNT% }. \NAMECITE{net-based}{% Mainkar:1996:SCE% }. \NAMECITE{nets}{% Battiston:1996:MAN,% Belli:1991:SFT,% Berthomieu:1991:MVT,% Boucherie:1994:CIC,% Bucci:1995:CVT,% Campos:1991:ETB,% Chiola:1993:GSP,% Ciardo:1999:DES,% Deavours:1998:FST,% Ferscha:1999:ATW,% Florin:1991:GQN,% Franceschinis:1994:CBP,% Gaeta:1996:EDE,% Granda:1992:PEP,% Haas:1999:EMN,% Hatono:1991:MOS,% Henderson:1991:EPS,% Lee:1998:IAU,% Li:1994:NSI,% Liu:1998:PAS,% Notomi:1994:HRG,% Papelis:1992:SAP,% Suzuki:1990:FAA,% Suzuki:1990:PMV,% Tsai:1995:TCP% }. \NAMECITE{Network}{% Anonymous:1998:SIM,% Bolliger:1998:FBA,% Braccini:1991:ICD,% Florin:1991:GQN,% Gait:1991:SAR,% Heileman:1992:GFC,% Hutchinson:1991:EEK,% Kang:1996:NP,% Pekergin:1992:PCO,% Plateau:1991:SAN,% Rommen:1991:PLB,% Stafylopatis:1992:PIR% }. \NAMECITE{Network-Aware}{% Anonymous:1998:SIM% }. \NAMECITE{networks}{% Caspi:1999:ADR,% Itai:1990:ODR,% Lu:1990:MMS,% Neilson:1995:SBC,% Qureshi:1996:AGS,% Tsang:1998:LDA,% Wolfson:1991:MCN% }. \NAMECITE{neural}{% Heileman:1992:GFC,% Kim:1992:ATN,% Mesrobian:1992:SES,% Smith:1992:FNN,% Stafylopatis:1992:PIR,% Wang:1992:CAA% }. \NAMECITE{No}{% Sarper:1995:NSS,% Miller:1992:EPF,% Ryu:1990:PAD% }. \NAMECITE{no-waiting}{% Ryu:1990:PAD% }. \NAMECITE{nondeterministic}{% Luo:1994:TSB% }. \NAMECITE{nonfunctional}{% Mylopoulos:1992:RUN% }. \NAMECITE{noninterference}{% Tsai:1990:NMR% }. \NAMECITE{nonlinear}{% Tucci:1994:PNL% }. \NAMECITE{nonmasking}{% Arora:1998:DMF% }. \NAMECITE{nonrandomness}{% Feldman:1990:NST% }. \NAMECITE{nonregenerative}{% Haas:1999:EMN% }. \NAMECITE{nontraditional}{% Sellis:1991:QON% }. \NAMECITE{normalization}{% Ammarguellat:1992:CFN% }. \NAMECITE{notation}{% Finney:1996:MNF,% Lam:1990:RNS% }. \NAMECITE{notations}{% Bicarregui:1995:IFP% }. \NAMECITE{note}{% Hilderman:1997:NRV,% Pike:2006:NIA% }. \NAMECITE{null}{% DeVries:1990:RNM% }. \NAMECITE{{NUMA}}{% Zhang:1991:PPE% }. \NAMECITE{number}{% Al-Mouhamed:1990:LBN,% Chen:1996:ENF,% Ebrahimi:1997:SAN% }. \NAMECITE{numbers}{% Vose:1991:LAG% }. \NAMECITE{Numerical}{% Kemper:1996:NAS% }. \NAMECITE{{O}}{% Goldman:1995:PPA% }. \NAMECITE{Object}{% Kato:1992:PCI,% Lieberherr:1993:OOS,% Sullivan:1999:ACB,% Agarwal:1999:COP,% Basili:1996:VOO,% Bertrand:1999:BSL,% Botting:1996:CFS,% Bourdeau:1995:FSO,% Briand:1999:DVM,% Briand:1999:UFC,% Chidamber:1994:MSO,% Chidamber:1998:MUM,% Churcher:1995:CMS,% Coleman:1992:IOH,% Deubler:1994:IOO,% Harrison:1998:EMS,% Henderson-Sellers:1997:CSS,% Honiden:1994:AAI,% Laranjeira:1990:SSE,% Lejter:1992:SMO,% Mannino:1990:OOF,% Markowitz:1990:IEE,% Seiter:1998:EOB,% Snoeck:1998:EDK,% Wilde:1992:MSO% }. \NAMECITE{object-based}{% Briand:1999:DVM% }. \NAMECITE{Object-oriented}{% Lieberherr:1993:OOS,% Basili:1996:VOO,% Briand:1999:UFC,% Chidamber:1998:MUM,% Coleman:1992:IOH,% Harrison:1998:EMS,% Henderson-Sellers:1997:CSS,% Honiden:1994:AAI,% Laranjeira:1990:SSE,% Lejter:1992:SMO,% Mannino:1990:OOF,% Wilde:1992:MSO% }. \NAMECITE{{Objectcharts}}{% Coleman:1992:IOH% }. \NAMECITE{objectives}{% Hellerstein:1993:ASR% }. \NAMECITE{Objects}{% Kato:1992:PCI,% Hailpern:1990:EOS,% Isakowitz:1996:SSR,% Milewski:1990:FDS,% Moss:1992:WPO,% Stewart:1997:DDR,% Wing:1990:ULS% }. \NAMECITE{obligations}{% Coen-Porisini:1994:FFA% }. \NAMECITE{{Observer}}{% Diaz:1994:OCF% }. \NAMECITE{office}{% DeAntonellis:1990:DAO% }. \NAMECITE{{Offutt}}{% Girgis:1993:CCB% }. \NAMECITE{on-line}{% Diaz:1994:OCF,% Gupta:1996:FFL,% Waheed:1998:MED,% Walter:1997:FVL% }. \NAMECITE{{On}-the-fly}{% Deavours:1998:FST% }. \NAMECITE{online}{% Hatono:1991:MOS% }. \NAMECITE{ontological}{% Wand:1990:OMI% }. \NAMECITE{open}{% Minsky:1991:IPO% }. \NAMECITE{operation}{% Mortazavi:1990:PMR% }. \NAMECITE{operational}{% Littlewood:1997:SCS,% Ortalo:1999:EQE,% vanLamsweerde:1998:IDR% }. \NAMECITE{operations}{% Zave:1996:WDO% }. \NAMECITE{opinion}{% Campodonico:1994:BAL% }. \NAMECITE{opportunism}{% Sen:1997:ROS% }. \NAMECITE{Optimal}{% Barcucci:1990:OSS,% Gutjahr:1995:OTD,% Itai:1990:ODR,% Mullin:1990:OSD,% Peng:1993:OSC,% Alvisi:1998:MLP,% Boyd:1991:CGO,% Dimitrov:1991:OTP,% Falkowski:1992:COS,% Grassi:1992:OCC,% Kleinrock:1992:PPS,% Ripoll:1997:OAS,% Schneidewind:1993:SRM,% Singpurwalla:1991:DOT% }. \NAMECITE{optimistic}{% Alvisi:1998:MLP,% Halici:1991:OLT% }. \NAMECITE{Optimization}{% Berman:1993:OMR,% Belli:1991:ARO,% Pekergin:1992:PCO,% Sarper:1995:NSS,% Sellis:1991:QON% }. \NAMECITE{optimized}{% Briand:1993:DIM% }. \NAMECITE{optimizing}{% Saavedra:1995:PCO% }. \NAMECITE{{OR}-tree}{% Li:1990:CEP% }. \NAMECITE{oracles}{% Peters:1998:UTO% }. \NAMECITE{{Orca}}{% Bal:1992:OLP% }. \NAMECITE{order}{% Camilleri:1990:MCT,% Godefroid:1996:UPO,% Heindl:1999:FOA% }. \NAMECITE{organization}{% Seaman:1998:COE% }. \NAMECITE{organizing}{% Yadav:1990:CDM% }. \NAMECITE{orientation}{% Deubler:1994:IOO% }. \NAMECITE{oriented}{% Basili:1996:VOO,% Briand:1999:UFC,% Browne:1990:EER,% Chidamber:1994:MSO,% Chidamber:1998:MUM,% Churcher:1995:CMS,% Coleman:1992:IOH,% Cui:1992:DOE,% Eick:1992:STV,% Fischer:1992:SSD,% Go:1999:DFS,% Grassi:1992:OCC,% Harrison:1998:EMS,% Henderson-Sellers:1997:CSS,% Honiden:1994:AAI,% Laranjeira:1990:SSE,% Lejter:1992:SMO,% Lieberherr:1993:OOS,% Madhavji:1991:PMP,% Mannino:1990:OOF,% Murphy:1999:EES,% Mylopoulos:1992:RUN,% Nicholl:1990:USM,% Oivo:1992:RSE,% Wilde:1992:MSO% }. \NAMECITE{Orthogonal}{% Chillarege:1992:ODC,% Rajlich:1996:ERO% }. \NAMECITE{OSI}{% Karam:1990:CMA,% Howes:1989:MAO% }. \NAMECITE{OSI-style}{% Karam:1990:CMA,% Howes:1989:MAO% }. \NAMECITE{output}{% Banker:1994:AOS% }. \NAMECITE{overhead}{% Howes:1989:MAO,% Karam:1990:CMA% }. \NAMECITE{owned}{% Mutka:1992:ECS% }. \NAMECITE{packaging}{% Callahan:1991:PSH% }. \NAMECITE{page}{% Wu:1993:RTU% }. \NAMECITE{{PAISLey}}{% Zave:1991:IEP% }. \NAMECITE{papers}{% Franki:1999:CP% }. \NAMECITE{paradigm}{% Joshi:1999:ARC,% Triantafillou:1995:LBP,% Weide:1994:DSI% }. \NAMECITE{paradigms}{% Vranes:1995:IMP% }. \NAMECITE{Parallel}{% Pekergin:1992:PCO,% Ahmad:1991:SDL,% Bal:1992:OLP,% Barbosa:1990:SPC,% Biswas:1993:DSP,% Browne:1990:EER,% Burton:1996:GGM,% Gaudiot:1990:DDP,% Granda:1992:PEP,% Iazeolla:1993:LMT,% Joshi:1999:ARC,% Kleinrock:1992:PPS,% Lee:1995:RAP,% Li:1990:CEP,% Liu:1994:DAD,% Papelis:1992:SAP,% Plateau:1991:SAN,% Qin:1993:MRT,% Sarkar:1990:ESP,% Simpson:1999:SEE,% Yazia-Pekergin:1991:SBE,% Zhang:1991:PPE% }. \NAMECITE{parallel/distributed}{% Papelis:1992:SAP% }. \NAMECITE{parallelism}{% Audenaert:1997:CTL,% Graefe:1993:EPA,% Gupta:1990:RSA% }. \NAMECITE{parallelization}{% Wu:1997:PSS% }. \NAMECITE{parameters}{% Higashino:1994:AAT,% Tohma:1991:EPH% }. \NAMECITE{Parametric}{% Bertolazzi:1995:PGD% }. \NAMECITE{{Parnas}}{% Xu:1993:CST% }. \NAMECITE{parsers}{% Heering:1990:IGP,% Steegmans:1992:GIP% }. \NAMECITE{Parsing}{% Tucci:1994:PNL,% Beetem:1991:ISP,% Costagliola:1997:PMI,% Sarkar:1990:ESP,% Shilling:1993:ILP% }. \NAMECITE{partial}{% Godefroid:1996:UPO% }. \NAMECITE{partial-order}{% Godefroid:1996:UPO% }. \NAMECITE{partially}{% Avrunin:1998:API% }. \NAMECITE{partially-implemented}{% Avrunin:1998:API% }. \NAMECITE{Partition}{% Gutjahr:1999:PTV,% Hamlet:1990:PTD,% Chen:1994:RBP,% Han:1995:PPL,% Tsoukalas:1993:SRE,% Weyuker:1991:APT% }. \NAMECITE{partitioning}{% Chu:1993:TBA,% Cornell:1990:EAV% }. \NAMECITE{partly}{% Lang:1990:EEC% }. \NAMECITE{{Pascal}}{% Nakata:1991:PSP% }. \NAMECITE{{Pascal}-like}{% Nakata:1991:PSP% }. \NAMECITE{Passive}{% Ahuja:1993:PST% }. \NAMECITE{Passive-space}{% Ahuja:1993:PST% }. \NAMECITE{path}{% Bertolino:1994:AGP,% Hall:1995:CPR% }. \NAMECITE{paths}{% Parrish:1995:RAA% }. \NAMECITE{pathwise}{% Huang:1990:SCP% }. \NAMECITE{pattern}{% Briand:1992:PRA% }. \NAMECITE{patterns}{% Devanbu:1995:FSC,% Paul:1994:FSC% }. \NAMECITE{payment}{% Anderson:1996:REP% }. \NAMECITE{per-object}{% Bertrand:1999:BSL% }. \NAMECITE{Performance}{% Chen:1999:PSA,% Delis:1993:PCT,% Granda:1992:PEP,% Gupta:1991:PAT,% Liu:1998:PAS,% Mortazavi:1990:PMR,% Ryu:1990:PAD,% Saavedra:1995:PCO,% Thomasian:1991:PAT,% Yu:1993:PAC,% Zhang:1991:PMM,% Zhang:1991:PPE,% Ahuja:1993:PST,% Eich:1990:PFG,% Franceschinis:1994:CBP,% Ganesan:1992:SMR,% Haban:1990:HMB,% Honiden:1994:AAI,% Hrischuk:1999:TBL,% Iazeolla:1993:LMT,% Kim:1992:ATN,% Krauser:1991:HPS,% Rangan:1993:TRP,% Roussopoulos:1991:AHP,% Smith:1993:SPE,% Woodside:1995:TVM% }. \NAMECITE{periodic}{% Carson:1992:APU,% Gerber:1995:GRT,% Peng:1997:ASC,% Shih:1993:MRM% }. \NAMECITE{Persistent}{% Kato:1992:PCI,% Moss:1992:WPO% }. \NAMECITE{perspective}{% Hitz:1996:CKM% }. \NAMECITE{pessimistic}{% Alvisi:1998:MLP% }. \NAMECITE{{Petri}}{% Berthomieu:1991:MVT,% Boucherie:1994:CIC,% Bucci:1995:CVT,% Campos:1991:ETB,% Chiola:1993:GSP,% Ciardo:1994:CSP,% Ciardo:1999:DES,% Deavours:1998:FST,% Dwyer:1996:CPN,% Felder:1994:PPR,% Ferscha:1999:ATW,% Florin:1991:GQN,% Gaeta:1996:EDE,% Ghezzi:1991:UHL,% Granda:1992:PEP,% Haas:1999:EMN,% Hatono:1991:MOS,% Henderson:1991:EPS,% Lee:1998:IAU,% Li:1994:NSI,% Liu:1998:PAS,% Notomi:1994:HRG,% Papelis:1992:SAP,% Suzuki:1990:FAA,% Suzuki:1990:PMV,% Tsai:1995:TCP,% Willson:1990:PNT% }. \NAMECITE{phase}{% Thomasian:1991:PAT% }. \NAMECITE{philosophers}{% Kramer:1990:EPP% }. \NAMECITE{physical}{% Cornell:1990:EAV% }. \NAMECITE{Pictorial}{% Stafylopatis:1992:PIR% }. \NAMECITE{pictures}{% Lamport:1995:TP% }. \NAMECITE{{PIE}}{% Voas:1992:PDF% }. \NAMECITE{pipelined}{% Ganesan:1992:SMR% }. \NAMECITE{place}{% Cook:1998:CEA% }. \NAMECITE{places}{% Wilcox:1996:RAP% }. \NAMECITE{Planning}{% Helander:1998:PMS,% Griswold:1998:TSP% }. \NAMECITE{{Playground}}{% Goldman:1995:PPA% }. \NAMECITE{point}{% Jeffery:1993:CFP,% Kemerer:1992:IRF,% Mainkar:1996:SCE,% Rask:1993:SCA% }. \NAMECITE{pointers}{% Chen:1993:MAC,% Karam:1990:CIP,% Pande:1994:IDU% }. \NAMECITE{points}{% Abran:1996:FPA,% Low:1990:FPE,% Matson:1994:SDC,% Mishra:1991:EAS% }. \NAMECITE{{Poisson}}{% Campodonico:1994:BAL,% Sahinoglu:1992:CPS% }. \NAMECITE{policies}{% Chen:1993:MAC,% Krueger:1994:ALP% }. \NAMECITE{policy}{% Boswell:1995:SVS,% Carson:1992:APU,% Lin:1992:DLB,% Lupu:1999:CPB,% Ryu:1990:PAD% }. \NAMECITE{policy-based}{% Lupu:1999:CPB% }. \NAMECITE{port}{% Stewart:1997:DDR% }. \NAMECITE{port-based}{% Stewart:1997:DDR% }. \NAMECITE{possibilistic}{% McLean:1996:GTC% }. \NAMECITE{possibly}{% Becker:1990:BEM% }. \NAMECITE{postconditions}{% Bicarregui:1995:IFP% }. \NAMECITE{potential}{% Sriram:1995:MPL% }. \NAMECITE{{PQL}}{% Jarzabek:1998:DFS% }. \NAMECITE{practical}{% Daskalantonakis:1992:PVS,% Daskalantonakis:1993:CPV,% Kanoun:1994:SRT,% Rosenblum:1995:PAP,% Sitaraman:1997:PNA% }. \NAMECITE{practice}{% Abadi:1996:PEP,% Barrett:1995:MCP,% Lichter:1994:PIS% }. \NAMECITE{Pre}{% Cavalieri:1995:PRT,% Abdelzaher:1997:CPR,% Shepard:1991:PRT% }. \NAMECITE{Pre-run-time}{% Cavalieri:1995:PRT,% Abdelzaher:1997:CPR,% Shepard:1991:PRT% }. \NAMECITE{precedence}{% Al-Mouhamed:1990:LBN,% Xu:1990:SPR,% Xu:1993:MSP% }. \NAMECITE{Precise}{% Parnas:1994:PDW% }. \NAMECITE{Predicate}{% Parnas:1993:PLS,% Belli:1991:SFT,% Karam:1990:CIP,% Rushby:1998:SSP,% Tai:1996:TFB% }. \NAMECITE{predicate/transition}{% Belli:1991:SFT% }. \NAMECITE{predicates}{% Hurfin:1998:EDD,% Venkatesan:1995:TDD% }. \NAMECITE{predict}{% Rosenblum:1997:UCI% }. \NAMECITE{Predicting}{% Humphrey:1991:PIS,% Ohlsson:1996:PFP% }. \NAMECITE{Prediction}{% Karunanithi:1992:PSR,% Fenton:1999:CSD,% Jorgensen:1995:EAS,% Kanoun:1991:MSR,% Zhang:1991:PPE% }. \NAMECITE{Predictive}{% Khoshgoftaar:1992:PMT% }. \NAMECITE{preemptive}{% Craig:1990:RRT,% Ripoll:1997:OAS% }. \NAMECITE{presence}{% Wilcox:1996:RAP% }. \NAMECITE{presentation}{% Jacob:1991:UPC,% Johnson:1992:RPR% }. \NAMECITE{preserving}{% Griswold:1995:ATM% }. \NAMECITE{preventing}{% Yu:1990:SVM% }. \NAMECITE{prevention}{% Barbosa:1990:SPC% }. \NAMECITE{price}{% Zahedi:1991:SRA% }. \NAMECITE{primary}{% Huang:1993:RAP% }. \NAMECITE{primary-site}{% Huang:1993:RAP% }. \NAMECITE{primitives}{% Batini:1993:SPD% }. \NAMECITE{priority}{% Burns:1995:EAE,% Harbour:1994:TAF,% Katcher:1993:EAF,% Lortz:1995:SQP,% Ripoll:1997:OAS,% Vestal:1994:FPS,% Wang:1995:RTB% }. \NAMECITE{Prism}{% Madhavji:1991:PMP,% Sullivan:1996:EMM,% Madhavji:1992:EEP% }. \NAMECITE{Prism-methodology}{% Madhavji:1991:PMP% }. \NAMECITE{privately}{% Mutka:1992:ECS% }. \NAMECITE{probabilities}{% May:1995:MCS% }. \NAMECITE{probability}{% Miller:1992:EPF,% Rommen:1991:PLB% }. \NAMECITE{problem}{% Borgida:1995:FPP,% Hamidzadeh:1993:SAR,% Keck:1998:FSI,% Kramer:1990:EPP,% Levy:1996:CAP% }. \NAMECITE{problems}{% Etessami:1991:RBD,% Tsoukalas:1993:SRE% }. \NAMECITE{procedure}{% Borgida:1995:FPP,% Callahan:1990:CPC,% Kitchenham:1998:PAU,% Prechelt:1998:CEA% }. \NAMECITE{procedures}{% Novak:1997:SRS% }. \NAMECITE{process}{% Agarwal:1999:COP,% Bandinelli:1993:SPM,% Bandinelli:1995:MII,% Bhandari:1993:CSS,% Bradac:1994:PPM,% Chaar:1993:PES,% Chen:1994:WSH,% Chen:1996:BMP,% Chen:1997:CAL,% Chillarege:1992:ODC,% Ciardo:1994:CSP,% Cugola:1998:TDP,% Jaccheri:1993:TPM,% Jaffe:1991:SRA,% Jonsson:1997:QMS,% Kelly:1990:ADT,% Krishnan:1999:MPC,% Kunz:1995:UAP,% Leveson:1994:RSP,% Low:1990:FPE,% Madhavji:1991:PMP,% Mukhopadhyay:1992:SEM,% Mylopoulos:1992:RUN,% Schneidewind:1999:MEM,% Sen:1997:ROS,% Sommerville:1999:MPI,% Song:1998:ESD,% Taff:1991:EDE% }. \NAMECITE{process-control}{% Chen:1994:WSH,% Jaffe:1991:SRA,% Leveson:1994:RSP% }. \NAMECITE{process-oriented}{% Madhavji:1991:PMP,% Mylopoulos:1992:RUN% }. \NAMECITE{processes}{% Abran:1996:FPA,% Chmura:1990:ESD,% Cook:1998:CEA,% Erdogmus:1990:SSC,% Gerber:1995:GRT,% Henderson:1991:EPS,% Song:1998:ESD,% Varvarigou:1999:RMA,% VonMayrhauser:1996:IDC,% Xu:1990:SPR,% Xu:1993:MSP% }. \NAMECITE{processing}{% Ciciani:1990:HDC,% Ciciani:1992:ACC,% Dimitrov:1991:OTP,% Kleinrock:1992:PPS,% Zhang:1991:PPE% }. \NAMECITE{processor}{% Barrett:1995:MCP,% Ghosal:1991:PWS,% Kaudel:1990:CAP,% Towsley:1986:APC,% Towsley:1990:CAP% }. \NAMECITE{processors}{% Al-Mouhamed:1990:LBN,% Caspi:1999:ADR,% Gupta:1991:PAT,% Ladd:1995:LIL,% Lim:1995:AWC% }. \NAMECITE{product}{% Dromey:1995:MSP,% Florin:1991:GQN% }. \NAMECITE{production}{% Canfora:1992:LBA,% Canfora:1993:CAL,% Gaudiot:1990:DDP,% Hu:1997:EAS,% Pickard:1999:CEA% }. \NAMECITE{productivity}{% Blackburn:1996:ISP,% Gill:1991:CCD,% Humphrey:1991:PIS,% Maxwell:1996:SDP% }. \NAMECITE{profiles}{% Hall:1995:CPR% }. \NAMECITE{Profiling}{% Ryder:1990:PID% }. \NAMECITE{Program}{% Han:1995:PPL,% Kozaczynski:1992:PCR,% Ahuja:1993:PST,% Becker:1990:BEM,% Choi:1994:EEA,% Davidson:1992:SIS,% Devanbu:1995:FSC,% Engler:1999:ICS,% Gallagher:1991:UPS,% Griswold:1994:CLD,% Griswold:1995:ATM,% Hamlet:1990:PTD,% Harrold:1993:UIP,% Hildum:1990:LSP,% Howden:1994:QMS,% Jarzabek:1998:DFS,% Korel:1997:CDP,% Lanubile:1997:ERF,% Liao:1992:SAH,% Manna:1992:FDP,% Merks:1992:LDP,% Moriconi:1990:ARA,% Nishida:1991:SAP,% Paul:1994:FSC,% Paul:1996:QAP,% Peters:1998:UTO,% Podgurski:1990:FMP,% Smith:1990:KSP,% Venkatesh:1992:SDE,% Wohlwend:1994:SSI% }. \NAMECITE{Programmer}{% Rubin:1990:EEV,% Goldman:1995:PPA% }. \NAMECITE{Programming}{% Halbwachs:1992:PVR,% Nakata:1991:PSP,% Bal:1992:OLP,% Bishop:1990:EDA,% Browne:1990:EER,% Cacace:1992:DPD,% Gouda:1991:AP,% Govindarajan:1993:EHF,% Hirakawa:1990:IPS,% Howden:1990:CAP,% Joshi:1999:ARC,% Leong:1990:TPL,% Liu:1998:PAS,% Matsuura:1997:EFP,% McCann:1998:CPA,% Murphy:1999:EES,% Osterbye:1995:LSP,% Roman:1990:MPM,% Rosenblum:1995:PAP,% Taylor:1992:LFC% }. \NAMECITE{programs}{% Audenaert:1997:CTL,% Barbosa:1990:SPC,% Bertolino:1994:AGP,% Burton:1996:GGM,% Carver:1998:USC,% Chen:1994:WSH,% Chetali:1998:FVC,% Corbett:1996:TAA,% Dillon:1990:VGS,% Gerber:1995:CRT,% Godefroid:1996:UPO,% Goldschlag:1990:MVC,% Guaspari:1990:FVA,% Huang:1990:SCP,% Karam:1989:CRA,% Kaudel:1990:CAP,% Korel:1997:CDP,% Lejter:1992:SMO,% Liu:1994:DAD,% Lopez-Benitez:1994:DMA,% McNamee:1990:CCR,% Moser:1990:DDG,% Muhanna:1991:CPH,% Munson:1992:DFP,% Parnas:1994:PDW,% Qin:1993:MRT,% Roma:1993:FDR,% Simpson:1999:SEE,% Staskauskas:1993:FDC,% Stoyenko:1991:AHR,% Tai:1991:DCA,% Tai:1996:TFB,% Taylor:1992:STC,% Towsley:1986:APC,% Towsley:1990:CAP,% Tsai:1990:ATC,% Venkatesan:1995:TDD,% Wang:1995:RTB,% Wermelinger:1998:CMP,% Wilde:1992:MSO,% Yadav:1990:CDM,% Yasumatsu:1995:SST,% Yazia-Pekergin:1991:SBE% }. \NAMECITE{project}{% Abdel-Hamid:1993:SPC,% Shepperd:1997:ESP,% Taff:1991:EDE% }. \NAMECITE{Projecting}{% Agresti:1992:PSD% }. \NAMECITE{projection}{% Cheung:1986:PMP,% Hirakawa:1990:CRP% }. \NAMECITE{projects}{% Lichter:1994:PIS% }. \NAMECITE{projects-bridging}{% Lichter:1994:PIS% }. \NAMECITE{prolegomena}{% Owre:1995:FVF% }. \NAMECITE{{Prolog}}{% Debray:1990:TBC,% Dotan:1991:UFC,% Hoffman:1991:AMT,% Karam:1990:CIP,% Niemi:1991:PBM% }. \NAMECITE{{Prolog}-based}{% Niemi:1991:PBM% }. \NAMECITE{prone}{% Munson:1992:DFP,% Ohlsson:1996:PFP,% Selby:1991:AEP% }. \NAMECITE{Proof}{% Camp:1993:PRF,% Stoller:1994:APR,% Coen-Porisini:1994:FFA% }. \NAMECITE{Properties}{% Briand:1997:RCP,% Lakshmanan:1991:PCF,% Dillon:1990:VGS,% Felder:1994:PPR,% Focardi:1997:CSC,% Jacob:1991:UPC,% McLean:1996:GTC,% Parrish:1991:ARS,% Poels:1997:CPB,% Valenzano:1990:SPT% }. \NAMECITE{Property}{% Briand:1996:PBS,% Briand:1997:RCP,% Poels:1997:CPB,% Zuse:1997:RPB% }. \NAMECITE{Property-based}{% Briand:1996:PBS,% Briand:1997:RCP,% Poels:1997:CPB,% Zuse:1997:RPB% }. \NAMECITE{{Protean}}{% Bloom:1997:UPL% }. \NAMECITE{protection}{% White:1990:AAS% }. \NAMECITE{protocol}{% Cheung:1986:PMP,% Hirakawa:1990:CRP,% Huang:1998:CPS,% Lowe:1997:UCD,% Rangan:1993:TRP,% Reiter:1996:SGM,% Suzuki:1990:FAA,% Suzuki:1990:PMV% }. \NAMECITE{protocols}{% Abadi:1996:PEP,% Abadi:1997:ECR,% Chandra:1999:TDS,% Ciciani:1992:ACC,% Heintze:1996:MSP,% Hutchinson:1991:EEK,% Kailar:1996:AEC,% Karamanolis:1999:CAP,% Menasce:1994:UFE,% Minsky:1991:IPO,% Ness:1993:TCE,% Schneider:1998:VAP,% Valenzano:1990:SPT% }. \NAMECITE{prototype}{% Berger:1990:CMW% }. \NAMECITE{Prototyping}{% Bradac:1994:PPM,% Lichter:1994:PIS,% Berzins:1993:UTS,% Cacace:1992:DPD,% Kramer:1993:CSR% }. \NAMECITE{Provable}{% Frankl:1993:PIB% }. \NAMECITE{prover}{% Chetali:1998:FVC,% Goldschlag:1990:MVC,% Kaufmann:1997:IST% }. \NAMECITE{Proving}{% Felder:1994:PPR% }. \NAMECITE{Prudent}{% Abadi:1996:PEP% }. \NAMECITE{pump}{% Kang:1996:NP,% Mahony:1992:CST% }. \NAMECITE{purpose}{% Krishnamurthy:1995:YGP% }. \NAMECITE{{PVS}}{% Owre:1995:FVF,% Rushby:1998:SSP% }. \NAMECITE{{QBD*}}{% Angelaccio:1990:QGQ% }. \NAMECITE{{QBE}}{% Yen:1993:HFE% }. \NAMECITE{{QDA}}{% Howden:1994:QMS% }. \NAMECITE{Qualitative}{% Seaman:1999:QME% }. \NAMECITE{Quality}{% Frakes:1996:QIU,% Basili:1996:VOO,% Dromey:1995:MSP,% Khoshgoftaar:1992:PMT,% Mehra:1997:SCS,% Miyoshi:1993:ESE,% Weerahandi:1994:SQM,% Zweben:1995:ELE% }. \NAMECITE{quality-of-service}{% Mehra:1997:SCS% }. \NAMECITE{quantification}{% Whang:1992:TDS% }. \NAMECITE{quantifying}{% Butler:1993:IQR% }. \NAMECITE{quantitative}{% Jonsson:1997:QMS,% Ortalo:1999:EQE% }. \NAMECITE{quasi}{% Franceschinis:1994:CBP% }. \NAMECITE{quasi-lumpable}{% Franceschinis:1994:CBP% }. \NAMECITE{queries}{% Qadah:1991:EAI,% Tsai:1990:ATC% }. \NAMECITE{Query}{% Sellis:1991:QON,% Angelaccio:1990:QGQ,% Graefe:1993:EPA,% Paul:1996:QAP,% Whang:1992:TDS% }. \NAMECITE{Querying}{% Nota:1992:QES,% DelBimbo:1993:TDI% }. \NAMECITE{queue}{% Lortz:1995:SQP% }. \NAMECITE{queueing}{% Florin:1991:GQN% }. \NAMECITE{queues}{% Johnson:1995:AAR% }. \NAMECITE{quorum}{% Menasce:1994:UFE% }. \NAMECITE{R}{% Foo:1993:CDS,% Girgis:1993:CCB,% Young:1993:CTL,% Kanoun:1991:MSR% }. \NAMECITE{race}{% Karam:1990:SCR% }. \NAMECITE{races}{% Karam:1989:CRA,% McNamee:1990:CCR% }. \NAMECITE{random}{% Chen:1994:RBP,% Chen:1996:BMP,% Chen:1996:ENF,% Craig:1990:RRT,% Gutjahr:1999:PTV,% Haban:1990:ART,% Stafylopatis:1992:PIR,% Tsoukalas:1993:SRE,% Vose:1991:LAG% }. \NAMECITE{randomly}{% Sztrik:1991:AAH% }. \NAMECITE{Rapid}{% Feather:1998:RAL,% Wu:1993:RTU% }. \NAMECITE{{Rapide}}{% Luckham:1995:SAS% }. \NAMECITE{rate}{% Becker:1990:BEM,% Craig:1990:RRT,% Hellerstein:1993:ASR,% Shih:1993:MRM% }. \NAMECITE{rate-monotonic}{% Shih:1993:MRM% }. \NAMECITE{ratio}{% Malaiya:1993:EFE% }. \NAMECITE{reachability}{% Chen:1998:CDM,% Notomi:1994:HRG% }. \NAMECITE{reactive}{% Ardis:1996:FES,% Bertrand:1999:BSL,% Caspi:1999:ADR,% Harel:1990:SWE% }. \NAMECITE{reader}{% Johnson:1995:AAR% }. \NAMECITE{reader/writer}{% Johnson:1995:AAR% }. \NAMECITE{Real}{% Anonymous:1997:RTS,% Abdelzaher:1997:CPR,% Avrunin:1998:API,% Blake:1991:EER,% Burns:1995:EAE,% Butler:1993:IQR,% Buttazzo:1999:MAR,% Cheng:1993:ART,% Chu:1991:TRT,% Felder:1994:PPR,% Feng:1997:ASR,% Gerber:1992:LAA,% Gerber:1995:CRT,% Gerber:1995:GRT,% Haban:1990:ART,% Halbwachs:1992:PVR,% Hamidzadeh:1993:SAR,% Harbour:1994:TAF,% Haumer:1998:REV,% Honiden:1994:AAI,% Houstics:1990:MAR,% Jaffe:1991:SRA,% Jahanian:1994:MSL,% Kiskis:1994:SSW,% Kramer:1993:CSR,% Kurki-Suonio:1993:SDR,% Liu:1990:SAR,% Lortz:1995:SQP,% Mok:1997:MMR,% Nicollin:1992:CRT,% Peng:1997:ASC,% Qin:1993:MRT,% Ravn:1993:SVR,% Schwan:1992:DSH,% Shaw:1992:CRT,% Shepard:1991:PRT,% Stewart:1997:DDR,% Stoyen:1999:DEC,% Stoyenko:1991:AHR,% Tsai:1990:NMR,% Tsai:1995:TCP,% Woodbury:1990:MAW,% Xu:1993:CST,% Xu:1993:STC,% Younis:1999:SSS% }. \NAMECITE{Real-time}{% Anonymous:1997:RTS,% Abdelzaher:1997:CPR,% Avrunin:1998:API,% Blake:1991:EER,% Burns:1995:EAE,% Butler:1993:IQR,% Buttazzo:1999:MAR,% Cheng:1993:ART,% Chu:1991:TRT,% Felder:1994:PPR,% Feng:1997:ASR,% Gerber:1992:LAA,% Gerber:1995:CRT,% Gerber:1995:GRT,% Haban:1990:ART,% Halbwachs:1992:PVR,% Hamidzadeh:1993:SAR,% Harbour:1994:TAF,% Honiden:1994:AAI,% Houstics:1990:MAR,% Jaffe:1991:SRA,% Jahanian:1994:MSL,% Kiskis:1994:SSW,% Kramer:1993:CSR,% Kurki-Suonio:1993:SDR,% Liu:1990:SAR,% Lortz:1995:SQP,% Mok:1997:MMR,% Nicollin:1992:CRT,% Peng:1997:ASC,% Qin:1993:MRT,% Ravn:1993:SVR,% Schwan:1992:DSH,% Shaw:1992:CRT,% Shepard:1991:PRT,% Stewart:1997:DDR,% Stoyen:1999:DEC,% Tsai:1990:NMR,% Tsai:1995:TCP,% Woodbury:1990:MAW,% Younis:1999:SSS% }. \NAMECITE{reality}{% Craigen:1995:FMR% }. \NAMECITE{realizations}{% Ernst:1994:MVD% }. \NAMECITE{realtime}{% Coen-Porisini:1997:SRS% }. \NAMECITE{Reasoning}{% Wilcox:1996:RAP,% Chang:1990:VLC,% Fickas:1992:KRR,% Moriconi:1990:ARA,% Rich:1992:SLK,% Setliff:1992:KRR% }. \NAMECITE{reasons}{% vanGenuchten:1991:WSL% }. \NAMECITE{Recalibrating}{% Brocklehurst:1990:RSR% }. \NAMECITE{recapture}{% VanderWiel:1993:ASD% }. \NAMECITE{recently}{% Levy:1995:EAB% }. \NAMECITE{recognition}{% Briand:1992:PRA,% Kozaczynski:1992:PCR% }. \NAMECITE{reconfigurable}{% Stewart:1997:DDR% }. \NAMECITE{Reconfiguration}{% Varvarigou:1999:RMA% }. \NAMECITE{record}{% Chu:1991:CAE% }. \NAMECITE{recovery}{% Holtzblatt:1997:DRD,% Kunz:1995:UAP,% Lutz:1992:DUE,% Mishra:1991:EAS,% Nicola:1990:CAD,% Nicola:1990:MCF,% Pucci:1992:NAM,% Ramanathan:1993:UCT,% Tomek:1993:MCS,% Triantafillou:1996:IRL,% Wu:1993:RTU% }. \NAMECITE{recursion}{% Angelaccio:1990:QGQ,% Sinha:1992:CFE% }. \NAMECITE{recursions}{% Han:1991:EEM% }. \NAMECITE{redistributing}{% Gupta:1990:RSA% }. \NAMECITE{reduce}{% Cavalieri:1995:PRT% }. \NAMECITE{Reducing}{% DeVries:1990:RNM,% Krishnan:1999:MPC% }. \NAMECITE{reduction}{% Binkley:1997:SGR,% Briand:1993:DIM% }. \NAMECITE{redundancy}{% Belli:1991:ARO,% Eckhardt:1991:EES% }. \NAMECITE{Reference}{% Anonymous:1996:RMS,% Ciancarini:1998:CMA% }. \NAMECITE{references}{% Ganesan:1992:SMR% }. \NAMECITE{refinement}{% Gerber:1995:CRT,% Hall:1995:CPR,% Mahony:1992:CST,% Mili:1997:SRS,% Moriconi:1995:CAR,% Parrish:1991:ARS,% Roman:1994:ADR% }. \NAMECITE{Refining}{% Briand:1997:RCP,% Poels:1997:CPB% }. \NAMECITE{Reflections}{% Lee:1995:RM% }. \NAMECITE{Regeneration}{% Adam:1993:RVC,% Hilderman:1997:NRV% }. \NAMECITE{Region}{% Gupta:1990:RSA,% Lee:1995:RAP% }. \NAMECITE{regional}{% Ciciani:1992:ACC% }. \NAMECITE{regression}{% Binkley:1997:SGR,% Myrtveit:1999:CEA,% Rosenblum:1997:UCI,% Rothermel:1996:ART,% Rothermel:1998:ESS% }. \NAMECITE{regular}{% Belli:1991:SFT,% Klarlund:1999:DSL,% Lustman:1994:STB% }. \NAMECITE{rejection}{% Craig:1990:RRT% }. \NAMECITE{related}{% Fenton:1998:SIS% }. \NAMECITE{relation}{% Zhu:1996:FAS% }. \NAMECITE{relational}{% Chu:1993:TBA,% Cornell:1990:EAV,% Falkowski:1992:COS,% Lam:1990:RNS,% Markowitz:1990:IEE,% Niemi:1991:PBM,% Tsai:1990:ATC,% Wang:1996:TII,% Yang:1988:IAB,% Yu:1992:WCR% }. \NAMECITE{relations}{% Mark:1992:GR,% Seiter:1998:EOB,% Shin:1991:FRH,% Sitaraman:1997:PNA,% Xu:1990:SPR,% Xu:1993:MSP% }. \NAMECITE{relationship}{% Batini:1993:SPD,% Chen:1994:RBP,% Markowitz:1990:IEE% }. \NAMECITE{relationships}{% Nakajo:1991:CHA,% Nuseibeh:1994:FER,% Parrish:1995:RAA% }. \NAMECITE{{RELAY}}{% Richardson:1993:ATD% }. \NAMECITE{release}{% Sun:1997:BCT,% Xu:1990:SPR,% Xu:1993:MSP% }. \NAMECITE{relevant}{% Smith:1991:MSR% }. \NAMECITE{Reliability}{% Levendel:1990:RAL,% Adams:1996:TVA,% Ammann:1994:EIE,% Anderson:1996:REP,% Belli:1991:ARO,% Berman:1993:OMR,% Brocklehurst:1990:RSR,% Butler:1993:IQR,% Eckhardt:1991:EES,% Frankl:1998:ETM,% Helander:1998:PMS,% Kanoun:1991:MSR,% Kanoun:1994:SRT,% Karunanithi:1992:PSR,% Kemerer:1992:IRF,% Laprie:1991:KKA,% Laprie:1992:XWR,% Sahinoglu:1992:CPS,% Sarper:1995:NSS,% Schneidewind:1993:SRM,% Schneidewind:1999:MEM,% Tian:1995:ITD,% Tian:1995:TEB,% Tohma:1991:EPH,% Tsoukalas:1993:SRE,% Zahedi:1991:SRA% }. \NAMECITE{rely}{% Kay:1993:RGM% }. \NAMECITE{remaining}{% Ebrahimi:1997:SAN% }. \NAMECITE{remarks}{% DeMillo:1995:SCR% }. \NAMECITE{remote}{% Joshi:1999:ARC,% Mortazavi:1990:PMR,% Stamos:1990:IRE% }. \NAMECITE{rendezvous}{% Neilson:1995:SBC% }. \NAMECITE{reorganization}{% Chen:1999:PSA% }. \NAMECITE{replacement}{% Chan:1996:EME% }. \NAMECITE{replacements}{% Micallef:1993:SAI% }. \NAMECITE{replay}{% Tsai:1990:NMR% }. \NAMECITE{replicated}{% Karamanolis:1999:CAP,% Porter:1995:CDM,% Singhal:1990:UTN% }. \NAMECITE{replication}{% Triantafillou:1995:LBP% }. \NAMECITE{Reply}{% Kitchenham:1997:RCT,% Zuse:1997:RPB,% Constantine:1990:CRC,% DeMillo:1995:SCR,% Hirakawa:1990:CRP,% Yadav:2001:CFI% }. \NAMECITE{report}{% Ardis:1996:FES% }. \NAMECITE{Repository}{% Banker:1993:RES,% Banker:1994:AOS% }. \NAMECITE{repository-based}{% Banker:1994:AOS% }. \NAMECITE{Representation}{% Edwards:1997:RIS,% Johnson:1992:RPR,% Dwyer:1996:CPN,% Fickas:1992:KRR,% Frakes:1994:ESR,% Harrold:1993:UIP,% Niemi:1991:PBM,% Rich:1992:SLK,% Setliff:1992:KRR,% Tsai:1992:HKR% }. \NAMECITE{representations}{% Novak:1995:CVR,% Qureshi:1996:AGS,% Sitaraman:1997:PNA% }. \NAMECITE{Representing}{% Mylopoulos:1992:RUN,% Oivo:1992:RSE% }. \NAMECITE{requirement}{% DeglInnocenti:1990:RFE,% Tsai:1992:HKR% }. \NAMECITE{Requirements}{% Carroll:1998:RDS,% Haumer:1998:REV,% Leite:1991:RVT,% Leveson:1994:RSP,% Atlee:1993:SBM,% Bustard:1994:MCF,% Dutertre:1997:FRA,% Easterbrook:1998:EUL,% Fraser:1991:IFR,% Gerber:1995:GRT,% Hansen:1998:SAS,% Heimdahl:1996:CCH,% Heitmeyer:1998:UAM,% Jaffe:1991:SRA,% Johnson:1992:RPR,% Lee:1998:IAU,% Lor:1991:ASS,% Moore:1990:SVD,% Mylopoulos:1992:RUN,% Nuseibeh:1994:FER,% Porter:1995:CDM,% Qin:1993:MRT,% Ramesh:1992:SSD,% Rangan:1993:TRP,% Ravn:1993:SVR,% Reubenstein:1991:RAA,% Robinson:1999:MRI,% Sutcliffe:1998:DTR,% Sutcliffe:1998:SSB,% vanLamsweerde:1998:IDR,% vanLamsweerde:1998:MCG,% Reubenstein:1991:RAA% }. \NAMECITE{research}{% Mili:1995:RSI% }. \NAMECITE{resilient}{% Itai:1990:ODR% }. \NAMECITE{resolution}{% Kshemkalyani:1994:EDR,% Leite:1991:RVT% }. \NAMECITE{Resource}{% Huang:1993:RAP,% Biswas:1993:DSP,% Chu:1991:TRT,% Gerber:1995:GRT,% Sun:1997:BCT% }. \NAMECITE{resource-based}{% Gerber:1995:GRT% }. \NAMECITE{resources}{% Hsu:1991:IRM,% Qin:1993:MRT% }. \NAMECITE{Response}{% Bourdeau:1996:CRB,% Briand:1997:RCP,% Roberts:2001:RCF,% Wang:1995:RTB,% Buttazzo:1999:MAR,% Chu:1991:TRT,% Gait:1991:SAR% }. \NAMECITE{Response-time}{% Wang:1995:RTB% }. \NAMECITE{restricted}{% Higashino:1994:AAT% }. \NAMECITE{restructuring}{% Griswold:1995:ATM,% Griswold:1998:TSP% }. \NAMECITE{resulting}{% Avritzer:1995:AGL% }. \NAMECITE{results}{% Kleinrock:1992:PPS,% Porter:1997:ASR% }. \NAMECITE{retrieval}{% Chang:1990:VLC,% Maarek:1991:IRA,% Stafylopatis:1992:PIR% }. \NAMECITE{retrieving}{% Mili:1997:SRS% }. \NAMECITE{retrospective}{% Karger:1991:RVV% }. \NAMECITE{Reusability}{% DiFelice:1993:RMS,% Browne:1990:EER% }. \NAMECITE{reusability-oriented}{% Browne:1990:EER% }. \NAMECITE{reusable}{% Frakes:1994:ESR,% Harms:1991:CSI,% Isakowitz:1996:SSR,% Lanubile:1997:ERF% }. \NAMECITE{reuse}{% Banker:1993:RES,% Banker:1994:AOS,% Cowan:1995:ADV,% Frakes:1996:QIU,% Harrold:1996:SCA,% Lee:1997:ESS,% Novak:1992:NIS,% Novak:1995:CVR,% Novak:1997:SRS,% Rajlich:1996:ERO,% Sen:1997:ROS% }. \NAMECITE{Reusing}{% Mili:1995:RSI% }. \NAMECITE{reveals}{% Miller:1992:EPF% }. \NAMECITE{reverse}{% Canfora:1992:LBA,% Canfora:1993:CAL% }. \NAMECITE{review}{% Porter:1997:ASR% }. \NAMECITE{reviewer}{% Anonymous:1999:RL% }. \NAMECITE{revisited}{% Abadi:1997:ECR% }. \NAMECITE{reward}{% Mainkar:1996:SCE,% Qureshi:1996:AGS% }. \NAMECITE{rewriting}{% Antoy:1994:UTR,% Chan:1996:EME,% Wang:1994:SBS% }. \NAMECITE{rigorous}{% Breitbart:1991:RTS,% Richter:1993:TRI% }. \NAMECITE{rings}{% Flatebo:1994:TSS,% Li:1994:NSI% }. \NAMECITE{{RISC}}{% Lim:1995:AWC% }. \NAMECITE{risk}{% Briand:1993:DIM,% Schneidewind:1999:MEM% }. \NAMECITE{robustness}{% Mukherjee:1997:MSD% }. \NAMECITE{role}{% Sen:1997:ROS% }. \NAMECITE{rollback}{% Ramanathan:1993:UCT% }. \NAMECITE{Rough}{% Wojcik:1991:RGE% }. \NAMECITE{{RPC}}{% Huang:1994:DAS% }. \NAMECITE{{RSF}}{% DeglInnocenti:1990:RFE% }. \NAMECITE{RTSS'96}{% Anonymous:1997:RTS% }. \NAMECITE{Rule}{% Etessami:1991:RBD,% Cheng:1993:ART,% Ilgun:1995:STA,% Roma:1993:FDR,% Wang:1995:RTB% }. \NAMECITE{Rule-based}{% Etessami:1991:RBD,% Cheng:1993:ART,% Ilgun:1995:STA,% Roma:1993:FDR,% Wang:1995:RTB% }. \NAMECITE{rules}{% Camp:1993:PRF,% Littlewood:1997:SCS,% Niemi:1991:PBM,% Stoller:1994:APR% }. \NAMECITE{run}{% Abdelzaher:1997:CPR,% Cavalieri:1995:PRT,% Shepard:1991:PRT,% Tsang:1998:LDA% }. \NAMECITE{run-time}{% Tsang:1998:LDA% }. \NAMECITE{{Rushby}}{% Pike:2006:NIA% }. \NAMECITE{safe}{% Edwards:1997:RIS,% Rothermel:1998:ESS,% Younis:1999:SSS% }. \NAMECITE{safety}{% Dillon:1990:VGS,% Fenton:1998:SIS,% Hansen:1998:SAS,% Heitmeyer:1998:UAM,% Jacky:1995:SSC,% Littlewood:1997:SCS% }. \NAMECITE{safety-critical}{% Jacky:1995:SSC% }. \NAMECITE{{SARA}}{% Lor:1991:ASS% }. \NAMECITE{satisfying}{% Xu:1993:CST,% Xu:1993:STC% }. \NAMECITE{save}{% Luo:1994:STB% }. \NAMECITE{Scalar}{% Ganesan:1992:SMR% }. \NAMECITE{scale}{% Porter:1997:EAC,% Satyanarayanan:1992:ISD,% Triantafillou:1996:IRL,% VonMayrhauser:1996:IDC% }. \NAMECITE{scanning}{% Beetem:1991:ISP% }. \NAMECITE{scenario}{% Carroll:1998:RDS,% Sutcliffe:1998:SSB% }. \NAMECITE{scenario-based}{% Carroll:1998:RDS,% Sutcliffe:1998:SSB% }. \NAMECITE{scenarios}{% Desharnais:1998:ISS,% Dzida:1998:MUS,% Rolland:1998:GGM,% Stiemerling:1998:UCS,% vanLamsweerde:1998:IDR% }. \NAMECITE{scenes}{% Haumer:1998:REV% }. \NAMECITE{schedulability}{% Stoyenko:1991:AHR,% Tsai:1995:TCP% }. \NAMECITE{schedule}{% Cavalieri:1995:PRT% }. \NAMECITE{scheduler}{% Blake:1991:EER,% Dolev:1995:AET% }. \NAMECITE{scheduler-luck}{% Dolev:1995:AET% }. \NAMECITE{schedulers}{% Burns:1995:EAE,% Ibaraki:1990:MCS,% Katcher:1993:EAF% }. \NAMECITE{schedules}{% Lutz:1992:DUE% }. \NAMECITE{Scheduling}{% Xu:1990:SPR,% Abdelzaher:1997:CPR,% Al-Mouhamed:1990:LBN,% Breitbart:1991:RTS,% Cavalieri:1995:PRT,% Craig:1990:RRT,% Feng:1997:ASR,% Ghosal:1991:PWS,% Gupta:1990:RSA,% Haban:1990:ART,% Harbour:1994:TAF,% Hatono:1991:MOS,% Hellerstein:1993:ASR,% Krueger:1994:ALP,% Peng:1993:OSC,% Peng:1997:ASC,% Ripoll:1997:OAS,% Schwan:1992:DSH,% Shepard:1991:PRT,% Shih:1993:MRM,% Wu:1997:PSS,% Xu:1993:MSP% }. \NAMECITE{schemas}{% Batini:1993:SPD,% Markowitz:1990:IEE% }. \NAMECITE{scheme}{% Kunz:1991:IDW,% Wang:1996:TII,% Yang:1988:IAB,% vonMayrhauser:1999:CSS% }. \NAMECITE{schemes}{% Balasubramanian:1990:TDE,% Sarper:1995:NSS,% Yu:1992:AHC% }. \NAMECITE{{Schlumberger}}{% Wohlwend:1994:SSI% }. \NAMECITE{{Schnorr}}{% Ward:1996:DDI% }. \NAMECITE{scientific}{% Fenton:1994:SMN,% Hatton:1994:HAS% }. \NAMECITE{{SDL}}{% Luo:1994:STB% }. \NAMECITE{search}{% Devanbu:1995:FSC,% Isakowitz:1996:SSR,% Lang:1990:EEC,% Paul:1994:FSC% }. \NAMECITE{searches}{% Li:1990:CEP% }. \NAMECITE{{SeaView}}{% Lunt:1990:SSM% }. \NAMECITE{secondary}{% Barcucci:1990:OSS% }. \NAMECITE{Section}{% Anonymous:1997:GEI,% Chiola:1999:GEI,% Ciardo:1996:GEI,% Faulk:1997:ISS,% Fuggetta:1998:ISS,% Garlan:1998:GEI,% Jazayeri:1998:GEI,% McHugh:1996:ISS,% Meadows:1996:GEI,% Notkin:1996:GEI,% Son:1997:GEI,% Ghezzi:1999:GEI,% Harrold:1999:GEI,% Ramming:1999:GEI% }. \NAMECITE{secure}{% Franklin:1996:DIS,% Gong:1996:CIS,% Heintze:1996:MSP,% Rangan:1993:TRP,% Reiter:1996:SGM,% Tsai:1990:ICS% }. \NAMECITE{Security}{% Focardi:1997:CSC,% Boswell:1995:SVS,% Heydon:1990:MVS,% Jonsson:1997:QMS,% Karger:1991:RVV,% Lu:1990:MMS,% Lunt:1990:SSM,% McCullough:1990:HTM,% Ortalo:1999:EQE,% Sibert:1996:AIS,% Smith:1991:MSR% }. \NAMECITE{security-relevant}{% Smith:1991:MSR% }. \NAMECITE{{Seesoft}}{% Eick:1992:STV% }. \NAMECITE{selection}{% Barcucci:1990:OSS,% Fujiwara:1991:TSB,% Luo:1994:TSB,% Mishra:1991:EAS,% Richardson:1993:ATD,% Rothermel:1996:ART,% Rothermel:1998:ESS,% Schneidewind:1993:SRM,% Tian:1995:CME% }. \NAMECITE{selectivities}{% Chu:1991:CAE% }. \NAMECITE{self}{% Flatebo:1994:TSS,% Leveson:1990:USC% }. \NAMECITE{self-stabilizing}{% Flatebo:1994:TSS% }. \NAMECITE{semantic}{% Moriconi:1990:ARA,% Snoeck:1998:EDK% }. \NAMECITE{Semantically}{% France:1992:SED% }. \NAMECITE{Semantics}{% Binkley:1997:SGR,% Ferrucci:1996:SBI,% Botting:1996:CFS,% Bourdeau:1995:FSO,% Kramer:1993:CSR,% Smith:1991:MSR% }. \NAMECITE{Semantics-based}{% Ferrucci:1996:SBI% }. \NAMECITE{Semaphore}{% Lortz:1995:SQP% }. \NAMECITE{Semi}{% Ahmad:1991:SDL,% Nishida:1991:SAP% }. \NAMECITE{Semi-automatic}{% Nishida:1991:SAP% }. \NAMECITE{Semi-distributed}{% Ahmad:1991:SDL% }. \NAMECITE{semiautomatic}{% Smith:1990:KSP% }. \NAMECITE{semijoins}{% Mullin:1990:OSD% }. \NAMECITE{sensitivity}{% Vestal:1994:FPS% }. \NAMECITE{Separate}{% Harrold:1996:SCA% }. \NAMECITE{sequences}{% Boyd:1991:CGO% }. \NAMECITE{sequencing}{% Carver:1998:USC,% Olender:1990:CSC% }. \NAMECITE{sequential}{% Desharnais:1998:ISS% }. \NAMECITE{server}{% Hemmendinger:1990:SAS,% Neilson:1995:SBC% }. \NAMECITE{Service}{% Cardelli:1999:SCW,% Fetzer:1999:HAL,% Franklin:1996:DIS,% Gait:1991:SAR,% Hellerstein:1993:ASR,% Keck:1998:FSI,% Mehra:1997:SCS,% Yu:1990:SVM% }. \NAMECITE{services}{% Atkins:1999:MDS,% Jackson:1998:DFC,% Karamanolis:1999:CAP% }. \NAMECITE{set}{% Briand:1993:DIM,% Falkowski:1992:COS,% Ghosal:1991:PWS,% Harrison:1998:EMS% }. \NAMECITE{sets}{% Klarlund:1999:DSL% }. \NAMECITE{Seven}{% Rich:1992:SLK% }. \NAMECITE{shared}{% Clemencon:1996:DSA,% Dubois:1990:MAD,% Ernst:1994:MVD,% Garland:1990:DLS,% Roman:1990:MPM,% Zhang:1991:PMM% }. \NAMECITE{shared-memory}{% Dubois:1990:MAD% }. \NAMECITE{sharing}{% May:1995:MCS,% Mutka:1992:ECS,% Sriram:1995:MPL,% Sun:1997:BCT% }. \NAMECITE{shotgun}{% McLellan:1998:EUW% }. \NAMECITE{{SIMD}}{% Krauser:1991:HPS% }. \NAMECITE{simple}{% Lee:1991:ELM% }. \NAMECITE{Simulating}{% Wang:1994:SBS% }. \NAMECITE{Simulation}{% Rask:1993:SCA,% Bagrodia:1991:MID,% Ciardo:1999:DES,% DeVries:1990:RNM,% Ferscha:1999:ATW,% Gaeta:1996:EDE,% Heileman:1992:GFC,% Kalbarczyk:1999:HSA% }. \NAMECITE{simulations}{% Bagrodia:1994:MLD% }. \NAMECITE{single}{% Pande:1994:IDU% }. \NAMECITE{site}{% Huang:1993:RAP% }. \NAMECITE{size}{% Banker:1994:AOS,% Graefe:1991:HFM,% Henderson-Sellers:1997:CSS,% Laranjeira:1990:SSE,% Verner:1992:SSM% }. \NAMECITE{slices}{% Korel:1997:CDP% }. \NAMECITE{slicing}{% Gallagher:1991:UPS,% Lanubile:1997:ERF% }. \NAMECITE{{Smalltalk}}{% Osterbye:1995:LSP,% Yasumatsu:1995:SST% }. \NAMECITE{Smooth}{% Anonymous:1996:RMS,% DeMillo:1991:DSC,% Foo:1993:CDS% }. \NAMECITE{SOFL}{% Liu:1998:CSF,% Liu:1998:SFE% }. \NAMECITE{soft}{% Ripoll:1997:OAS% }. \NAMECITE{Software}{% Abdel-Hamid:1993:SPC,% Anonymous:1995:IIT,% Anonymous:1996:RMS,% Bandinelli:1993:SPM,% Briand:1997:RCP,% Coen-Porisini:1991:SSS,% Fenton:1994:SMN,% Henderson-Sellers:1997:CSS,% Jaffe:1991:SRA,% Jeffery:1999:ESE,% Kanoun:1994:SRT,% Kitchenham:1997:RCT,% Laranjeira:1990:SSE,% Lee:1995:SDT,% Lin:1998:MFIa,% Luo:1994:STB,% Matson:1994:SDC,% Maxwell:1996:SDP,% Mukhopadhyay:1992:SEM,% Neilson:1995:SBC,% Novak:1997:SRS,% Schneidewind:1993:SRM,% Smith:1993:SPE,% Weerahandi:1994:SQM,% Yan:1997:SSM,% Zahedi:1991:SRA,% Aagaard:1995:VLS,% Adams:1996:TVA,% Agresti:1992:PSD,% Antoy:1994:UTR,% Avritzer:1995:AGL,% Bandinelli:1995:MII,% Banker:1993:RES,% Banker:1994:AOS,% Belli:1991:ARO,% Berman:1993:OMR,% Bhandari:1993:CSS,% Bhansali:1998:ASS,% Blackburn:1996:ISP,% Briand:1992:PRA,% Briand:1993:DIM,% Briand:1996:PBS,% Brilliant:1990:AFE,% Brocklehurst:1990:RSR,% Butler:1993:IQR,% Cardenas-Garcia:1991:MTE,% Chaar:1993:PES,% Chan:1996:EME,% Chan:1998:MCL,% Cherniavsky:1991:WAS,% Chidamber:1998:MUM,% Chmura:1990:ESD,% Chulani:1999:BAE,% Cook:1998:CEA,% Corbett:1996:EDD,% Cordy:1990:TUI,% Dalal:1994:WST,% Daskalantonakis:1992:PVS,% Daskalantonakis:1993:CPV,% DeMillo:1991:DSC,% Dean:1995:STS,% DiFelice:1993:RMS,% Dromey:1995:MSP,% Dutoit:1998:CMS,% Ebert:1992:CVT,% Ebrahimi:1997:SAN,% Eckhardt:1991:EES,% Eick:1992:STV,% Fenton:1998:SIS,% Fenton:1999:CSD,% Fischer:1992:SSD,% Foo:1993:CDS,% Frakes:1994:ESR,% Frakes:1996:QIU,% Frankl:1998:ETM,% Freedman:1991:TSC,% Gallagher:1991:UPS,% Gallagher:1997:ATD,% Gill:1991:CCD,% Gorla:1990:DEE,% Grundy:1998:IMM,% Gupta:1996:FFL,% Gutjahr:1995:OTD,% Hansen:1998:SAS,% Harms:1991:CSI,% Harrison:1992:EBM,% Harrison:1998:EMS,% Hatton:1994:HAS,% Hayes-Roth:1995:DSS,% Helander:1998:PMS,% Hrischuk:1999:TBL,% Hu:1997:EAS,% Humphrey:1991:PIS,% Inverardi:1995:FSA,% Isakowitz:1996:SSR% }. \NAMECITE{software}{% Jackson:1996:ESA,% Jorgensen:1995:EAS,% Kanoun:1991:MSR,% Karunanithi:1992:PSR,% Kelly:1990:ADT,% Kemerer:1999:EAS,% Khoshgoftaar:1992:PMT,% Kitchenham:1995:TFS,% Korel:1990:AST,% Krauser:1991:HPS,% Krishnan:1999:MPC,% LeMetayer:1998:DSA,% Lederer:1998:CMS,% Lee:1997:ESS,% Levendel:1990:RAL,% Leveson:1990:USC,% Lichter:1994:PIS,% Lieberherr:1993:OOS,% Littlewood:1997:SCS,% Low:1990:FPE,% Luqi:1990:GMS,% Maarek:1991:IRA,% Mark:1992:CBS,% May:1995:MCS,% Mehra:1997:SCS,% Mesrobian:1992:SES,% Mili:1995:RSI,% Mili:1997:SRS,% Miriyala:1991:ADF,% Miyoshi:1993:ESE,% Morasca:1997:CTF,% Mukherjee:1997:MSD,% Murphy:1999:EES,% Myers:1997:AEN,% Nakajo:1991:CHA,% Neil:1998:LUZ,% Nicola:1990:MCF,% Nota:1992:QES,% Notomi:1994:HRG,% Novak:1992:NIS,% Novak:1995:CVR,% Ohlsson:1996:PFP,% Oivo:1992:RSE,% Papelis:1992:SAP,% Parnas:1993:PLS,% Parrish:1991:ARS,% Parrish:1993:CSF,% Perry:1991:MSD,% Pickard:1999:CEA,% Pillai:1997:MSD,% Podgurski:1990:FMP,% Poels:1997:CPB,% Porter:1995:CDM,% Porter:1997:ASR,% Porter:1997:EAC,% Protsko:1991:TAG,% Purtilo:1991:EDF,% Rajlich:1992:GEI,% Rich:1992:SLK,% Sahinoglu:1992:CPS,% Sarper:1995:NSS,% Schneidewind:1992:MVS,% Seaman:1999:QME,% Sen:1997:ROS,% Setliff:1992:KRR,% Shaw:1995:ASA,% Shepperd:1997:ESP,% Shimeall:1991:ECS,% Singpurwalla:1991:DOT,% Solheim:1993:EST,% Song:1994:EAC,% Song:1998:ESD,% Srinivasan:1995:MLA,% Stewart:1997:DDR,% Taylor:1996:CMB,% Tian:1995:ITD,% Tian:1995:TEB,% Tohma:1991:EPH,% Tomek:1993:MCS,% Torii:1999:GEC,% Tsai:1990:NMR,% VanderWiel:1993:ASD,% Verner:1992:SSM,% Wang:1994:SBS,% White:1990:AAS,% Whittaker:1994:MCM,% Wohlin:1994:CSC,% Wohlwend:1994:SSI,% Woodside:1995:TVM,% Yadav:1990:CDM,% Zhu:1996:FAS,% Zuse:1997:RPB,% Zweben:1995:ELE,% vanGenuchten:1991:WSL,% vonMayrhauser:1999:CSS,% Anonymous:1996:IIT,% Anonymous:1997:IIT% }. \NAMECITE{solution}{% Campos:1999:SSA,% Deavours:1998:FST% }. \NAMECITE{solutions}{% Florin:1991:GQN% }. \NAMECITE{solvers}{% Hamidzadeh:1993:SAR% }. \NAMECITE{solving}{% Etessami:1991:RBD,% Sarper:1995:NSS% }. \NAMECITE{Some}{% DeMillo:1995:SCR,% Littlewood:1997:SCS,% Valenzano:1990:SPT,% Arlat:1990:FID,% Kleinrock:1992:PPS,% Parrish:1993:CSF,% Tsoukalas:1993:SRE% }. \NAMECITE{sorting}{% Saxena:1994:LCA% }. \NAMECITE{source}{% Canfora:1998:ESS,% Devanbu:1995:FSC,% Paul:1994:FSC% }. \NAMECITE{Space}{% Simpson:1999:SEE,% Ahuja:1993:PST,% Maxwell:1996:SDP% }. \NAMECITE{{SPADE}}{% Bandinelli:1993:SPM,% Bandinelli:1996:SCS% }. \NAMECITE{{SPADE-1}}{% Bandinelli:1996:SCS% }. \NAMECITE{{SPARE}}{% Venkatesh:1992:SDE% }. \NAMECITE{{Spawn}}{% Waldspurger:1992:SDC% }. \NAMECITE{Special}{% Anonymous:1997:GEI,% Anonymous:1998:SIM,% Chiola:1999:GEI,% Ciardo:1996:GEI,% Faulk:1997:ISS,% Fuggetta:1998:ISS,% Garlan:1998:GEI,% Jazayeri:1998:GEI,% McHugh:1996:ISS,% Meadows:1996:GEI,% Notkin:1996:GEI,% Son:1997:GEI,% Dillon:1997:ISI,% Ghezzi:1999:GEI,% Harrold:1999:GEI,% Jarke:1998:ISI,% Lee:1997:ESS,% Rajlich:1992:GEI,% Ramming:1999:GEI,% Roman:1998:ISI,% Sarper:1995:NSS% }. \NAMECITE{specialization}{% Coen-Porisini:1991:SSS,% Novak:1997:SRS% }. \NAMECITE{specialized}{% Bertrand:1999:BSL% }. \NAMECITE{specific}{% Atkins:1999:MDS,% Chandra:1999:TDS,% Hayes-Roth:1995:DSS,% Klarlund:1999:DSL,% Thibault:1999:DSL% }. \NAMECITE{Specification}{% Akella:1994:SVC,% Babin:1991:SDT,% Belli:1991:SFT,% Boswell:1995:SVS,% Coen-Porisini:1997:SRS,% Hamidzadeh:1993:SAR,% Hanna:1990:SVU,% Lamb:1990:SI,% Luckham:1995:SAS,% Papelis:1992:SAP,% Ardis:1996:FES,% Berzins:1993:UTS,% Bloom:1997:UPL,% Carver:1998:USC,% Cowan:1995:ADV,% Erdogmus:1990:SSC,% Finney:1996:MNF,% France:1992:SED,% Fraser:1991:IFR,% Gerrard:1990:FSD,% Go:1999:DFS,% Heydon:1990:MVS,% Huang:1998:CPS,% Inverardi:1995:FSA,% Jahanian:1994:MSL,% Kay:1993:RGM,% Kiskis:1994:SSW,% Leveson:1994:RSP,% Moore:1990:SVD,% Narayana:1990:FSL,% Nuseibeh:1994:FER,% Paulo:1999:HES,% Smith:1992:FNN,% Stocks:1996:FSB,% Suzuki:1990:PMV,% Tsai:1992:HKR,% Weide:1994:DSI,% Weyuker:1994:AGT,% Whang:1992:TDS,% Willson:1990:PNT,% Yu:1990:SVM,% Zave:1996:WDO% }. \NAMECITE{specification-based}{% Berzins:1993:UTS,% Carver:1998:USC,% Stocks:1996:FSB% }. \NAMECITE{specificational}{% Liao:1992:SAH% }. \NAMECITE{specifications}{% Borgida:1995:FPP,% Bustard:1994:MCF,% Chan:1998:MCL,% DeglInnocenti:1990:RFE,% Felder:1994:PPR,% Finkelstein:1994:IHM,% Garland:1990:DLS,% Heitmeyer:1998:UAM,% Luo:1994:STB,% Miriyala:1991:ADF,% Nicholl:1990:USM,% Nicollin:1992:CRT,% Nishida:1991:SAP,% Nota:1992:QES,% Pitt:1990:DCT,% Rushby:1998:SSP,% Tsai:1995:TCP,% vanLamsweerde:1998:IDR% }. \NAMECITE{specified}{% Cheng:1993:ART,% Tsai:1990:ATC% }. \NAMECITE{specify}{% Battiston:1996:MAN,% Neil:1998:LUZ,% Wing:1990:ULS% }. \NAMECITE{Specifying}{% Hemmendinger:1990:SAS,% Jacky:1995:SSC,% Lustman:1994:STB,% Ravn:1993:SVR,% Hildum:1990:LSP% }. \NAMECITE{spectral}{% Feldman:1990:NST% }. \NAMECITE{speculative}{% Younis:1999:SSS% }. \NAMECITE{speed}{% Blackburn:1996:ISP% }. \NAMECITE{speedup}{% Sarkar:1990:ESP% }. \NAMECITE{{SPiCE}}{% Yasumatsu:1995:SST% }. \NAMECITE{SPIN}{% Bang:2001:CMC,% Holzmann:1997:MCS% }. \NAMECITE{{SQL}}{% Yen:1993:HFE% }. \NAMECITE{Stability}{% Gait:1991:SAR,% Chen:1999:PSA% }. \NAMECITE{stabilizing}{% Flatebo:1994:TSS% }. \NAMECITE{standards}{% Emmerich:1999:MSC,% Fenton:1998:SIS% }. \NAMECITE{standby}{% Chen:1994:WSH% }. \NAMECITE{Starvation}{% Karam:1990:SCR% }. \NAMECITE{State}{% Atlee:1993:SBM,% Huang:1990:SCP,% Ilgun:1995:STA,% Flatebo:1994:TSS,% Fujiwara:1991:TSB,% Heimdahl:1996:CCH,% Lam:1990:RNS,% Luo:1994:TSB,% Qureshi:1996:AGS,% Shaw:1992:CRT% }. \NAMECITE{State-based}{% Atlee:1993:SBM,% Heimdahl:1996:CCH% }. \NAMECITE{state-level}{% Qureshi:1996:AGS% }. \NAMECITE{statecharts}{% Paulo:1999:HES,% Sowmya:1998:EST,% Coleman:1992:IOH% }. \NAMECITE{stateful}{% Varvarigou:1999:RMA% }. \NAMECITE{{STATEMATE}}{% Harel:1990:SWE% }. \NAMECITE{statements}{% Spezialetti:1995:LMS% }. \NAMECITE{states}{% Nicholl:1990:USM% }. \NAMECITE{Static}{% Liu:1990:SAR,% Jarzabek:1998:DFS,% Olender:1990:CSC,% Wu:1997:PSS% }. \NAMECITE{Statically}{% Younis:1999:SSS% }. \NAMECITE{Statistical}{% Helman:1993:SFA,% Chernak:1996:SAI,% Ebrahimi:1997:SAN,% Whittaker:1994:MCM% }. \NAMECITE{statistics}{% Eick:1992:STV% }. \NAMECITE{steps}{% Engler:1999:ICS% }. \NAMECITE{stepsize}{% Heindl:1999:FOA% }. \NAMECITE{Stepwise}{% Kurki-Suonio:1993:SDR% }. \NAMECITE{Stochastic}{% Plateau:1991:SAN,% Yazia-Pekergin:1991:SBE,% Boucherie:1994:CIC,% Campos:1994:ATC,% Campos:1999:SSA,% Chiola:1993:GSP,% Ciardo:1994:CSP,% Ciardo:1999:DES,% Deavours:1998:FST,% Florin:1991:GQN,% Franceschinis:1994:CBP,% Granda:1992:PEP,% Haas:1999:EMN,% Hatono:1991:MOS,% Henderson:1991:EPS,% Liu:1998:PAS,% Mainkar:1996:SCE,% Qureshi:1996:AGS,% Sereno:1996:AMV% }. \NAMECITE{stop}{% Dalal:1994:WST% }. \NAMECITE{stopping}{% Littlewood:1997:SCS% }. \NAMECITE{storage}{% Kemmerer:1991:CFT,% Tsai:1990:ICS,% Wu:1993:RTU% }. \NAMECITE{Storing}{% Mili:1997:SRS% }. \NAMECITE{Strategies}{% Barbosa:1990:SPC,% Rosenblum:1997:UCI,% Solheim:1993:EST,% Weyuker:1991:APT% }. \NAMECITE{strategy}{% Eckhardt:1991:EES,% Fenton:1998:SIS% }. \NAMECITE{streams}{% Levy:1995:EAB,% Nakata:1991:PSP% }. \NAMECITE{strength}{% Kaufmann:1997:IST% }. \NAMECITE{strings}{% Klarlund:1999:DSL% }. \NAMECITE{strong}{% Triantafillou:1997:ASC% }. \NAMECITE{Structural}{% Taylor:1992:STC,% Gerber:1995:CRT,% Li:1994:NSI,% Snoeck:1998:EDK% }. \NAMECITE{structure}{% Ciciani:1990:HDC,% Ding:1990:FAD,% Selby:1991:AEP,% Wang:1995:RTB,% Zahedi:1991:SRA% }. \NAMECITE{Structured}{% Campos:1999:SSA,% Chen:1994:WSH,% Lang:1990:EEC,% Parnas:1994:PDW% }. \NAMECITE{structures}{% Biswas:1993:DSP,% Chen:1993:MAC,% Chen:1999:PSA,% Markowitz:1990:IEE,% Milewski:1990:FDS,% Pucci:1992:NAM,% Qureshi:1996:AGS,% Stavely:1995:VDI% }. \NAMECITE{Structuring}{% Batini:1993:SPD,% Mehra:1997:SCS,% Buchholz:1999:HSS% }. \NAMECITE{studies}{% Porter:1997:ASR,% Rothermel:1998:ESS,% Seaman:1999:QME% }. \NAMECITE{study}{% Aagaard:1995:VLS,% Abran:1996:FPA,% Agarwal:1999:COP,% Belli:1991:SFT,% Bhandari:1993:CSS,% Davidson:1992:SIS,% Fields:1992:VCS,% Frakes:1994:ESR,% Gallivan:1990:ECB,% Ganesan:1992:SMR,% Greif:1992:CSC,% Kemerer:1992:IRF,% Lee:1997:ESS,% Leveson:1990:USC,% Mahony:1992:CST,% Miyoshi:1993:ESE,% Seaman:1998:COE,% Sinha:1992:CFE,% Smith:1993:SPE,% Solheim:1993:EST,% Sullivan:1996:EMM,% Waheed:1998:MED,% Weyuker:1990:CDF,% vanGenuchten:1991:WSL% }. \NAMECITE{studying}{% Kemerer:1999:EAS,% Mesrobian:1992:SES% }. \NAMECITE{style}{% Howes:1989:MAO,% Jackson:1996:ESA,% Karam:1990:CMA,% Taylor:1996:CMB% }. \NAMECITE{styles}{% LeMetayer:1998:DSA% }. \NAMECITE{subdomain}{% Chen:1996:ENF% }. \NAMECITE{subjectivity}{% Batory:1997:CVS% }. \NAMECITE{Subprogram}{% Davidson:1992:SIS% }. \NAMECITE{subset}{% Wang:1996:TII,% Yang:1988:IAB% }. \NAMECITE{subsume}{% Zhu:1996:FAS% }. \NAMECITE{subtransport}{% Rangan:1993:TRP% }. \NAMECITE{subtransport-level}{% Rangan:1993:TRP% }. \NAMECITE{subtree}{% Micallef:1993:SAI% }. \NAMECITE{Subtypes}{% Rushby:1998:SSP% }. \NAMECITE{subtyping}{% Rushby:1998:SSP% }. \NAMECITE{success}{% Rommen:1991:PLB% }. \NAMECITE{Sufficient}{% Mainkar:1996:SCE% }. \NAMECITE{suite}{% Chidamber:1994:MSO,% Churcher:1995:CMS,% Gallagher:1997:ATD,% Hitz:1996:CKM% }. \NAMECITE{suites}{% Avritzer:1995:AGL% }. \NAMECITE{superposed}{% Buchholz:1999:HSS,% Kemper:1996:NAS,% Kemper:1999:TAS% }. \NAMECITE{superposition}{% Levy:1995:EAB% }. \NAMECITE{supervised}{% Kim:1992:ATN% }. \NAMECITE{Support}{% Lejter:1992:SMO,% Micallef:1993:SAI,% Cugola:1998:TDP,% Griswold:1998:TSP,% Hahn:1991:TSK,% Hailpern:1990:EOS,% Lecerof:1998:ASU,% Paulo:1999:HES,% Ramamoorthy:1990:ESE,% Rich:1992:SLK,% Shaw:1995:ASA,% Wilde:1992:MSO,% Yan:1997:SSM,% vonMayrhauser:1999:CSS% }. \NAMECITE{Supporting}{% Bandinelli:1996:SCS,% Fischer:1992:SSD,% Isakowitz:1996:SSR,% Ramesh:1992:SSD,% Sutcliffe:1998:SSB,% Chen:1998:CDM% }. \NAMECITE{survey}{% Blackburn:1996:ISP,% Keck:1998:FSI% }. \NAMECITE{swapping}{% Harms:1991:CSI,% Weide:1994:DSI% }. \NAMECITE{switches}{% Ohlsson:1996:PFP% }. \NAMECITE{switching}{% Kanoun:1991:MSR% }. \NAMECITE{swizzle}{% Moss:1992:WPO% }. \NAMECITE{{SWSL}}{% Kiskis:1994:SSW% }. \NAMECITE{symbolic}{% Alur:1996:ASV,% Coen-Porisini:1991:SSS% }. \NAMECITE{Symposium}{% Anonymous:1997:RTS% }. \NAMECITE{synchronization}{% Lortz:1995:SQP,% Singhal:1990:UTN% }. \NAMECITE{synchronous}{% Boussinot:1996:SSL,% Halbwachs:1992:PVR% }. \NAMECITE{syntactic}{% Dean:1995:STS% }. \NAMECITE{synthesis}{% Aagaard:1995:VLS,% Bhansali:1998:ASS,% Chernak:1996:SAI,% Erdogmus:1990:SSC,% Huang:1994:DAS,% Lor:1991:ASS,% Manna:1992:FDP,% Setliff:1992:KRR% }. \NAMECITE{synthesizing}{% Wang:1996:TII,% Yang:1988:IAB% }. \NAMECITE{synthetic}{% Kiskis:1994:SSW% }. \NAMECITE{system}{% Atlee:1993:SBM,% Belli:1991:SFT,% Blake:1991:EER,% Callahan:1991:PSH,% Canfora:1998:ESS,% Chen:1990:CIA,% Ciciani:1990:HDC,% Cohen:1997:ASA,% Dotan:1991:UFC,% Dutertre:1997:FRA,% Greif:1992:CSC,% Hirakawa:1990:IPS,% Huang:1994:DAS,% Jacky:1995:SSC,% Kalbarczyk:1999:HSA,% Kanoun:1991:MSR,% Kao:1993:FFI,% Kaudel:1990:CAP,% Krishnamurthy:1995:YGP,% Lee:1995:SDT,% Leong:1990:TPL,% Lor:1991:ASS,% Luckham:1995:SAS,% McLellan:1998:EUW,% Mili:1997:SRS,% Moore:1990:SVD,% Nakajo:1993:CHD,% Ng:1995:ITS,% Peng:1993:OSC,% Qin:1993:MRT,% Ramamoorthy:1990:ESE,% Ramanathan:1993:UCT,% Rao:1993:AFI,% Roberts:1998:FII,% Satyanarayanan:1992:ISD,% Selby:1991:AEP,% Smith:1990:KSP,% Stiemerling:1998:UCS,% Sztrik:1991:AAH,% Towsley:1986:APC,% Towsley:1990:CAP,% Triantafillou:1997:ASC,% Tsai:1995:TCP,% Waheed:1998:MED,% Wand:1990:OMI,% Wojcik:1991:RGE,% Xu:1993:CST,% Yadav:2001:CFI,% Yasumatsu:1995:SST% }. \NAMECITE{Systematic}{% Pike:2006:NIA,% Rushby:1999:SFV,% Howden:1994:QMS,% vonMayrhauser:1999:CSS% }. \NAMECITE{Systems}{% Anonymous:1996:RMS,% Anonymous:1997:RTS,% Lin:1998:MFIa,% Abdelzaher:1997:CPR,% Adam:1993:RVC,% Ahmad:1991:SDL,% Alur:1996:ASV,% Anderson:1996:REP,% Ardis:1996:FES,% Arora:1998:CBD,% Aue:1994:DIS,% Avrunin:1991:AAC,% Avrunin:1994:ADT,% Avrunin:1998:API,% Babin:1991:SDT,% Bagrodia:1991:MID,% Bal:1992:OLP,% Battiston:1996:MAN,% Berman:1993:OMR,% Berthomieu:1991:MVT,% Briand:1999:UFC,% Bucci:1995:CVT,% Buhr:1998:UCM,% Cabrera:1993:IAT,% Caspi:1999:ADR,% Cheng:1993:ART,% Cheung:1994:TDA,% Chu:1991:TRT,% Chu:1993:TBA,% Ciciani:1992:ACC,% Coen-Porisini:1997:SRS,% Costagliola:1997:PMI,% Cugola:1998:TDP,% Dalal:1994:WST,% DePaoli:1994:CLC,% Deubler:1994:IOO,% Diaz:1994:OCF,% Felder:1994:PPR,% Fickas:1992:KRR,% Gallagher:1997:ATD,% Gallivan:1990:ECB,% Gaudiot:1990:DDP,% Gerber:1992:LAA,% Ghezzi:1991:UHL,% Ghosal:1991:PWS,% Granda:1992:PEP,% Grassi:1992:OCC,% Griswold:1998:TSP,% Haban:1990:HMB,% Hahn:1991:TSK,% Halbwachs:1992:PVR,% Harbour:1994:TAF,% Harel:1990:SWE,% Hariri:1995:HMA,% Hatono:1991:MOS,% Hayes-Roth:1995:DSS,% Henderson-Sellers:1997:CSS,% Holtzblatt:1997:DRD,% Honiden:1994:AAI,% Houstics:1990:MAR,% Howes:1989:MAO,% Huang:1993:RAP,% Iazeolla:1993:LMT,% Jaffe:1991:SRA,% Jahanian:1994:MSL,% Karam:1990:CMA,% Keck:1998:FSI,% Kiskis:1994:SSW,% Kleinrock:1992:PPS,% Kurki-Suonio:1993:SDR,% Lam:1990:RNS,% Laranjeira:1990:SSE,% Levendel:1990:RAL,% Leveson:1994:RSP,% Liu:1990:SAR,% Lupu:1999:CPB,% Lustman:1994:STB,% Matsuura:1997:EFP,% Mesrobian:1992:SES,% Minsky:1991:IPO,% Mullin:1990:OSD,% Neilson:1995:SBC,% Pande:1994:IDU,% Papelis:1992:SAP,% Paulson:1992:AAI,% Peng:1997:ASC,% Plateau:1991:SAN,% Puketza:1996:MTI,% Ramesh:1992:SSD,% Rangarajan:1993:CVS,% Ravn:1993:SVR,% Richter:1993:TRI,% Ripoll:1997:OAS,% Roberts:2001:RCF,% Roussopoulos:1991:AHP,% Rushby:1993:FVA,% Shepard:1991:PRT% }. \NAMECITE{systems}{% Shieh:1990:MHD,% Singhal:1990:UTN,% Solheim:1993:EST,% Sriram:1995:MPL,% Triantafillou:1995:LBP,% Triantafillou:1996:IRL,% Tsai:1990:ICS,% Tyrrell:1995:CMI,% Wang:1992:CAA,% Woodbury:1990:MAW,% Xu:1993:STC,% Young:1997:CVS,% Younis:1999:SSS% }. \NAMECITE{systems-experience}{% Ardis:1996:FES% }. \NAMECITE{T}{% Hirakawa:1990:CRP% }. \NAMECITE{T.-Y}{% Hirakawa:1990:CRP% }. \NAMECITE{{T9000}}{% Barrett:1995:MCP% }. \NAMECITE{{TAME}}{% Oivo:1992:RSE% }. \NAMECITE{{Tandem}}{% Lee:1995:SDT% }. \NAMECITE{Task}{% Chu:1991:TRT,% Cordy:1990:TUI,% Jorgensen:1995:EAS,% Mishra:1991:EAS% }. \NAMECITE{tasking}{% Corbett:1996:TAA,% Dillon:1990:VGS% }. \NAMECITE{tasks}{% Craig:1990:RRT,% Feng:1997:ASR,% Grassi:1992:OCC,% Haban:1990:ART,% Hemmendinger:1990:SAS,% Mok:1997:MMR,% Peng:1993:OSC,% Peng:1997:ASC,% Ripoll:1997:OAS,% Schwan:1992:DSH% }. \NAMECITE{Teamwork}{% Hahn:1991:TSK% }. \NAMECITE{{Teapot}}{% Chandra:1999:TDS% }. \NAMECITE{Technique}{% Kato:1992:PCI,% Carreira:1998:XTE,% Gansner:1993:TDD,% Halici:1991:OLT,% Rothermel:1998:ESS,% Singhal:1990:UTN,% Voas:1992:PDF,% Yadav:1990:CDM,% Zave:1996:WDO% }. \NAMECITE{Techniques}{% Jaccheri:1993:TPM,% Bishop:1990:EDA,% Cabrera:1993:IAT,% Deavours:1998:FST,% Ebert:1992:CVT,% Jeffery:1993:CFP,% Khoshgoftaar:1992:PMT,% Rothermel:1996:ART% }. \NAMECITE{technologies}{% Murphy:1999:EES% }. \NAMECITE{Telecommunications}{% Lin:1998:MFIa,% Jackson:1998:DFC,% Keck:1998:FSI% }. \NAMECITE{telephone}{% Kay:1993:RGM,% Ohlsson:1996:PFP% }. \NAMECITE{Temporal}{% Karam:1991:TLB,% Young:1993:CTL,% Li:1994:NSI,% Ness:1993:TCE,% Sowmya:1998:EST,% Suzuki:1990:FAA% }. \NAMECITE{term}{% Antoy:1994:UTR% }. \NAMECITE{Test}{% Fujiwara:1991:TSB,% Luo:1994:TSB,% Tian:1995:TEB,% Avritzer:1995:AGL,% Binkley:1997:SGR,% Boyd:1991:CGO,% Chaar:1993:PES,% DeMillo:1991:CBA,% DeMillo:1995:SCR,% Feldman:1990:NST,% Gallagher:1997:ATD,% Girgis:1993:CCB,% Gutjahr:1995:OTD,% Higashino:1994:AAT,% Korel:1990:AST,% Parrish:1991:ARS,% Peters:1998:UTO,% Richardson:1993:ATD,% Rothermel:1996:ART,% Rothermel:1998:ESS,% Schneidewind:1999:MEM,% Tsai:1990:ATC,% Weyuker:1994:AGT,% Zhu:1996:FAS% }. \NAMECITE{Test-execution-based}{% Tian:1995:TEB% }. \NAMECITE{Testability}{% Freedman:1991:TSC,% Bertolino:1996:UTM% }. \NAMECITE{Testing}{% Venkatesan:1995:TDD,% Ammann:1994:EIE,% Carver:1998:USC,% Chen:1994:RBP,% Chen:1996:BMP,% Chen:1996:ENF,% Cohen:1997:ASA,% Dalal:1994:WST,% Frankl:1993:ECE,% Frankl:1993:FAF,% Frankl:1993:PIB,% Frankl:1998:ETM,% Gerrard:1990:FSD,% Gutjahr:1999:PTV,% Hamlet:1990:PTD,% Hoffman:1991:AMT,% Krauser:1991:HPS,% Littlewood:1997:SCS,% Luo:1994:STB,% Miller:1992:EPF,% Morell:1990:TFB,% Parrish:1993:CSF,% Parrish:1995:RAA,% Podgurski:1990:FMP,% Puketza:1996:MTI,% Rosenblum:1997:UCI,% Singpurwalla:1991:DOT,% Solheim:1993:EST,% Stocks:1996:FSB,% Tai:1996:TFB,% Taylor:1992:STC,% Tsai:1990:NMR,% Tsoukalas:1993:SRE,% Weyuker:1990:CDF,% Weyuker:1991:APT,% Weyuker:1993:MED,% Whittaker:1994:MCM% }. \NAMECITE{tests}{% Pitt:1990:DCT% }. \NAMECITE{textual}{% Mahajan:1997:VTC% }. \NAMECITE{their}{% Heintze:1996:MSP,% Tsai:1995:TCP% }. \NAMECITE{them}{% Shaw:1995:ASA% }. \NAMECITE{theorem}{% Kaufmann:1997:IST,% Lam:1994:TIM,% Li:1994:NSI,% McCullough:1990:HTM% }. \NAMECITE{theoretical}{% Kanoun:1994:SRT% }. \NAMECITE{Theory}{% Tai:1996:TFB,% Camilleri:1990:MCT,% Dean:1995:STS,% Hitz:1996:CKM,% Lam:1994:TIM,% Lichter:1994:PIS,% McLean:1996:GTC,% Morell:1990:TFB,% Sutcliffe:1998:DTR% }. \NAMECITE{Thorough}{% Wang:1996:TII% }. \NAMECITE{threads}{% Schwan:1992:DSH% }. \NAMECITE{three}{% DelBimbo:1993:TDI,% Delis:1993:PCT,% Woodside:1995:TVM% }. \NAMECITE{three-dimensional}{% DelBimbo:1993:TDI% }. \NAMECITE{three-view}{% Woodside:1995:TVM% }. \NAMECITE{throughout}{% Kelly:1990:ADT% }. \NAMECITE{throughput}{% Campos:1991:ETB,% Campos:1994:ATC% }. \NAMECITE{time}{% Abdelzaher:1997:CPR,% Ahuja:1993:PST,% Al-Mouhamed:1990:LBN,% Anonymous:1997:RTS,% Avrunin:1994:ADT,% Avrunin:1998:API,% Berthomieu:1991:MVT,% Blake:1991:EER,% Bucci:1995:CVT,% Burns:1995:EAE,% Butler:1993:IQR,% Buttazzo:1999:MAR,% Campodonico:1994:BAL,% Cavalieri:1995:PRT,% Cheng:1993:ART,% Chmura:1990:ESD,% Chu:1991:TRT,% Davidson:1992:SIS,% Dimitrov:1991:OTP,% Dolev:1995:AET,% Felder:1994:PPR,% Feng:1997:ASR,% Ferscha:1999:ATW,% Gerber:1992:LAA,% Gerber:1995:CRT,% Gerber:1995:GRT,% Gerrard:1990:FSD,% Ghezzi:1991:UHL,% Haban:1990:ART,% Halbwachs:1992:PVR,% Hamidzadeh:1993:SAR,% Harbour:1994:TAF,% Honiden:1994:AAI,% Houstics:1990:MAR,% Jaffe:1991:SRA,% Jahanian:1994:MSL,% Kiskis:1994:SSW,% Kramer:1993:CSR,% Kurki-Suonio:1993:SDR,% Liu:1990:SAR,% Lortz:1995:SQP,% Mok:1997:MMR,% Nicollin:1992:CRT,% Peng:1997:ASC,% Pike:2006:NIA,% Qin:1993:MRT,% Ramanathan:1993:UCT,% Ravn:1993:SVR,% Rushby:1999:SFV,% Schwan:1992:DSH,% Shaw:1992:CRT,% Shepard:1991:PRT,% Singpurwalla:1991:DOT,% Stewart:1997:DDR,% Stoyen:1999:DEC,% Stoyenko:1991:AHR,% Tian:1995:ITD,% Tsai:1990:NMR,% Tsai:1995:TCP,% Tsang:1998:LDA,% Vestal:1994:FPS,% Wang:1995:RTB,% Woodbury:1990:MAW,% Xu:1993:CST,% Xu:1993:STC,% Younis:1999:SSS,% Gupta:1991:PAT% }. \NAMECITE{time-critical}{% Bucci:1995:CVT,% Ghezzi:1991:UHL% }. \NAMECITE{time-triggered}{% Pike:2006:NIA,% Rushby:1999:SFV% }. \NAMECITE{timed}{% Ferscha:1999:ATW,% Kay:1993:RGM,% Liu:1998:PAS,% Mahony:1992:CST,% Valenzano:1990:SPT% }. \NAMECITE{times}{% Buttazzo:1999:MAR,% Chan:1996:EME,% Haban:1990:ART,% Sun:1997:BCT,% Wilcox:1996:RAP,% Xu:1990:SPR,% Xu:1993:MSP,% Yazia-Pekergin:1991:SBE% }. \NAMECITE{Timing}{% Corbett:1996:TAA,% Harbour:1994:TAF,% Tsai:1995:TCP,% Gerber:1995:CRT,% Lim:1995:AWC,% Xu:1993:CST,% Xu:1993:STC% }. \NAMECITE{{TLA}}{% Lamport:1995:TP% }. \NAMECITE{{TMN}}{% Lowe:1997:UCD% }. \NAMECITE{token}{% Flatebo:1994:TSS,% Valenzano:1990:SPT% }. \NAMECITE{tolerance}{% Arora:1998:DMF,% Shieh:1990:MHD,% Shimeall:1991:ECS% }. \NAMECITE{tolerant}{% Arora:1993:CCF,% Belli:1991:SFT,% Huang:1993:RAP,% Owre:1995:FVF,% Pike:2006:NIA,% Purtilo:1991:EDF,% Rushby:1999:SFV,% Tyrrell:1995:CMI,% Wojcik:1991:RGE% }. \NAMECITE{Tolerating}{% Cugola:1998:TDP% }. \NAMECITE{too}{% Finney:1996:MNF% }. \NAMECITE{Tool}{% Griswold:1998:TSP,% Cardenas-Garcia:1991:MTE,% Eick:1992:STV,% Focardi:1997:CSC,% France:1992:SED,% Griswold:1995:ATM,% Iazeolla:1993:LMT,% Neil:1998:LUZ% }. \NAMECITE{tools}{% Canfora:1992:LBA,% Canfora:1993:CAL,% Mahajan:1997:VTC,% Ortalo:1999:EQE,% Shaw:1995:ASA,% Willson:1990:PNT% }. \NAMECITE{toolset}{% Avrunin:1991:AAC% }. \NAMECITE{Total}{% Adams:1996:TVA,% Dimitrov:1991:OTP% }. \NAMECITE{{Towsley}}{% Kaudel:1990:CAP% }. \NAMECITE{{TPL}}{% Leong:1990:TPL% }. \NAMECITE{Trace}{% Hrischuk:1999:TBL,% Camilleri:1990:MCT,% Wang:1994:SBS% }. \NAMECITE{Trace-based}{% Hrischuk:1999:TBL% }. \NAMECITE{tracing}{% Kao:1993:FFI% }. \NAMECITE{Tractable}{% Cheung:1994:TDA% }. \NAMECITE{Tradeoffs}{% Balasubramanian:1990:TDE,% Cabrera:1993:IAT,% Griswold:1995:ATM% }. \NAMECITE{trail}{% Helman:1993:SFA% }. \NAMECITE{transaction}{% Breitbart:1991:RTS,% Chu:1993:TBA,% Ciciani:1990:HDC,% Ciciani:1992:ACC,% Grassi:1992:OCC,% Lustman:1994:STB,% Wu:1993:RTU% }. \NAMECITE{transaction-based}{% Chu:1993:TBA,% Lustman:1994:STB% }. \NAMECITE{transaction-oriented}{% Grassi:1992:OCC% }. \NAMECITE{transaction-undo}{% Wu:1993:RTU% }. \NAMECITE{Transactions}{% Anonymous:1995:IIT,% Anonymous:1996:IIT,% Anonymous:1997:IIT,% Babin:1991:SDT% }. \NAMECITE{transformation}{% Kozaczynski:1992:PCR,% Laprie:1991:KKA,% Ward:1996:DDI% }. \NAMECITE{transformations}{% Berzins:1993:UTS,% Hildum:1990:LSP,% Kim:1992:ATN% }. \NAMECITE{Transient}{% Kemper:1999:TAS,% Agrawala:1993:DMT,% Heindl:1999:FOA% }. \NAMECITE{transition}{% Belli:1991:SFT,% Ilgun:1995:STA,% Lam:1990:RNS,% Papelis:1992:SAP% }. \NAMECITE{transitive}{% Qadah:1991:EAI% }. \NAMECITE{translating}{% Yasumatsu:1995:SST% }. \NAMECITE{transport}{% Singhal:1990:UTN% }. \NAMECITE{transportable}{% Leong:1990:TPL% }. \NAMECITE{tree}{% Lang:1990:EEC,% Li:1990:CEP,% Mishra:1991:EAS,% Tian:1995:ITD% }. \NAMECITE{tree-based}{% Tian:1995:ITD% }. \NAMECITE{tree-structured}{% Lang:1990:EEC% }. \NAMECITE{trees}{% Audenaert:1997:CTL,% Kemmerer:1991:CFT,% Klarlund:1999:DSL% }. \NAMECITE{trend}{% Kanoun:1994:SRT% }. \NAMECITE{Trie}{% Litwin:1991:THC% }. \NAMECITE{triggered}{% Pike:2006:NIA,% Rushby:1999:SFV% }. \NAMECITE{{TROPICO}}{% Kanoun:1991:MSR% }. \NAMECITE{{TROPICO-R}}{% Kanoun:1991:MSR% }. \NAMECITE{truly}{% Ness:1993:TCE% }. \NAMECITE{Trust}{% Rangan:1993:TRP% }. \NAMECITE{{TuringTool}}{% Cordy:1990:TUI% }. \NAMECITE{tutoring}{% Ng:1995:ITS% }. \NAMECITE{twin}{% Wu:1993:RTU% }. \NAMECITE{twin-page}{% Wu:1993:RTU% }. \NAMECITE{Two}{% Flatebo:1994:TSS,% Whang:1992:TDS,% Abadi:1997:ECR,% Cabrera:1993:IAT,% Porter:1997:ASR,% Thomasian:1991:PAT% }. \NAMECITE{Two-dimensional}{% Whang:1992:TDS% }. \NAMECITE{two-phase}{% Thomasian:1991:PAT% }. \NAMECITE{Two-state}{% Flatebo:1994:TSS% }. \NAMECITE{type}{% Prechelt:1998:CEA,% Sitaraman:1997:PNA% }. \NAMECITE{types}{% Hanna:1990:SVU,% Snoeck:1998:EDK% }. \NAMECITE{typestate}{% Strom:1993:ETC% }. \NAMECITE{unbalanced}{% Kitchenham:1998:PAU% }. \NAMECITE{unbounded}{% Granda:1992:PEP% }. \NAMECITE{uncertainty}{% Gutjahr:1999:PTV% }. \NAMECITE{underlying}{% Ciardo:1994:CSP% }. \NAMECITE{Understanding}{% Fuggetta:1998:UCM% }. \NAMECITE{undo}{% Wu:1993:RTU% }. \NAMECITE{unified}{% Briand:1999:UFC,% Ghezzi:1991:UHL,% Harrold:1993:UIP,% Menasce:1994:UFE% }. \NAMECITE{uniform}{% Jacob:1991:UPC% }. \NAMECITE{uniprocessor}{% Avrunin:1994:ADT% }. \NAMECITE{unique}{% Campos:1991:ETB% }. \NAMECITE{units}{% Novak:1995:CUM% }. \NAMECITE{universal}{% Whang:1992:TDS% }. \NAMECITE{{UNIX}}{% Kao:1993:FFI,% Chen:1997:CAL% }. \NAMECITE{{Unix}-based}{% Chen:1997:CAL% }. \NAMECITE{Unreachable}{% Nicholl:1990:USM% }. \NAMECITE{unsafe}{% Lutz:1992:DUE% }. \NAMECITE{unstructured}{% Korel:1997:CDP% }. \NAMECITE{unsuccessful}{% Lang:1990:EEC% }. \NAMECITE{updatable}{% Milewski:1990:FDS% }. \NAMECITE{Update}{% Singhal:1990:UTN,% Carson:1992:APU% }. \NAMECITE{usability}{% Lecerof:1998:ASU% }. \NAMECITE{usage}{% Craigen:1995:FMR,% Hellerstein:1993:ASR% }. \NAMECITE{Use}{% Buhr:1998:UCM,% Carver:1998:USC,% Ramanathan:1993:UCT,% Bertolino:1996:UTM,% Chidamber:1998:MUM,% Coleman:1992:IOH,% Dzida:1998:MUS,% Ghosal:1991:PWS,% Lee:1998:IAU,% Leveson:1990:USC,% Pande:1994:IDU,% Stiemerling:1998:UCS% }. \NAMECITE{used}{% Levy:1995:EAB% }. \NAMECITE{User}{% Ukelson:1993:UNC,% Cordy:1990:TUI,% Goldman:1995:PPA,% Mahajan:1997:VTC,% Myers:1997:AEN,% Sears:1993:LAM% }. \NAMECITE{user-configurable}{% Goldman:1995:PPA% }. \NAMECITE{uses}{% Parrish:1995:RAA% }. \NAMECITE{Using}{% Antoy:1994:UTR,% Berzins:1993:UTS,% Bloom:1997:UPL,% Dotan:1991:UFC,% Gallagher:1991:UPS,% Godefroid:1996:UPO,% Heitmeyer:1998:UAM,% Kunz:1995:UAP,% Lowe:1997:UCD,% Peters:1998:UTO,% Rosenblum:1997:UCI,% Wing:1990:ULS,% Berthomieu:1991:MVT,% Bucci:1995:CVT,% Chen:1993:MAC,% Chetali:1998:FVC,% Coen-Porisini:1997:SRS,% Devanbu:1995:FSC,% Dimitrov:1991:OTP,% Easterbrook:1998:EUL,% Frakes:1996:QIU,% Gorla:1990:DEE,% Granda:1992:PEP,% Grandi:1993:BAE,% Hanna:1990:SVU,% Hatono:1991:MOS,% Huang:1998:CPS,% Inverardi:1995:FSA,% Karunanithi:1992:PSR,% LeMetayer:1998:DSA,% Lee:1998:IAU,% Liu:1998:PAS,% Luckham:1995:SAS,% Luo:1994:TSB,% Matson:1994:SDC,% McLellan:1998:EUW,% Moore:1990:SVD,% Mylopoulos:1992:RUN,% Neil:1998:LUZ,% Nishida:1991:SAP,% Osterbye:1995:LSP,% Paul:1994:FSC,% Peng:1993:OSC,% Richardson:1993:ATD,% Rolland:1998:GGM,% Schneidewind:1999:MEM,% Seiter:1998:EOB,% Shepperd:1997:ESP,% Shin:1991:FRH,% Solheim:1993:EST,% Sommerville:1999:MPI,% Stafylopatis:1992:PIR,% Stewart:1997:DDR,% Strom:1993:ETC,% Tian:1995:ITD,% VanderWiel:1993:ASD,% Venkatesan:1995:TDD,% Weide:1994:DSI,% Wu:1993:RTU,% Yu:1993:PAC% }. \NAMECITE{utility}{% Zahedi:1991:SRA% }. \NAMECITE{utilize}{% Qin:1993:MRT% }. \NAMECITE{validating}{% Briand:1999:DVM,% Dzida:1998:MUS,% Schneidewind:1992:MVS% }. \NAMECITE{Validation}{% Kitchenham:1997:RCT,% Akella:1994:SVC,% Arlat:1990:FID,% Basili:1996:VOO,% Batory:1997:CVS,% Boswell:1995:SVS,% Bucci:1995:CVT,% Diaz:1994:OCF,% Godefroid:1996:UPO,% Haumer:1998:REV,% Kitchenham:1995:TFS,% Leite:1991:RVT,% Morasca:1997:CTF% }. \NAMECITE{value}{% Sereno:1996:AMV% }. \NAMECITE{variable}{% Karam:1990:CIP,% Sun:1997:BCT% }. \NAMECITE{variance}{% Adams:1996:TVA% }. \NAMECITE{various}{% Zhang:1991:PMM% }. \NAMECITE{{VAX}}{% Karger:1991:RVV% }. \NAMECITE{{VDM}}{% Bicarregui:1995:IFP,% Fields:1992:VCS% }. \NAMECITE{vector}{% Ahuja:1993:PST,% Campos:1991:ETB% }. \NAMECITE{verification}{% Aagaard:1995:VLS,% Alur:1996:ASV,% Berthomieu:1991:MVT,% Chetali:1998:FVC,% Cheung:1986:PMP,% Ernst:1994:MVD,% Focardi:1997:CSC,% Gerber:1992:LAA,% Guaspari:1990:FVA,% Hanna:1990:SVU,% Hirakawa:1990:CRP,% Kshemkalyani:1991:IBV,% Owre:1995:FVF,% Pike:2006:NIA,% Rushby:1993:FVA,% Rushby:1999:SFV,% Suzuki:1990:PMV,% Wang:1997:DVC,% Young:1997:CVS,% Yu:1990:SVM% }. \NAMECITE{verified}{% Moore:1990:SVD,% Walter:1997:FVL% }. \NAMECITE{verify}{% Antoy:1994:UTR,% Sitaraman:1997:PNA% }. \NAMECITE{Verifying}{% Aagaard:1995:VLS,% Dillon:1990:VGS,% Schneider:1998:VAP,% Stavely:1995:VDI,% Goldschlag:1990:MVC,% Halbwachs:1992:PVR,% Ravn:1993:SVR% }. \NAMECITE{version}{% Brilliant:1990:AFE,% Gupta:1996:FFL,% Plaice:1993:NAV% }. \NAMECITE{vertical}{% Chu:1993:TBA,% Cornell:1990:EAV% }. \NAMECITE{via}{% Ammann:1994:EIE,% Arora:1998:DMF,% Coen-Porisini:1991:SSS,% Cugola:1998:TDP,% Siff:1999:IMC% }. \NAMECITE{video}{% Thibault:1999:DSL% }. \NAMECITE{view}{% Ahuja:1993:PST,% Daskalantonakis:1992:PVS,% Daskalantonakis:1993:CPV,% Grundy:1998:IMM,% Woodside:1995:TVM% }. \NAMECITE{viewpoint}{% Leite:1991:RVT% }. \NAMECITE{viewpoints}{% Sommerville:1999:MPI% }. \NAMECITE{views}{% Cowan:1995:ADV,% Kinsley:1992:AVM,% Novak:1995:CVR,% Novak:1997:SRS,% Nuseibeh:1994:FER% }. \NAMECITE{violations}{% Heitmeyer:1998:UAM% }. \NAMECITE{virtual}{% Adam:1993:RVC,% Agrawala:1993:DMT,% Barrett:1995:MCP,% Hilderman:1997:NRV,% Jackson:1998:DFC,% Kinsley:1992:AVM% }. \NAMECITE{Visual}{% Eisenstadt:1990:VKE,% Mahajan:1997:VTC,% Chang:1990:VLC,% Costagliola:1997:PMI,% Crimi:1990:AVL,% Ferrucci:1996:SBI,% Heydon:1990:MVS,% Kemmerer:1991:CFT,% Hirakawa:1990:IPS,% Rubin:1990:EEV% }. \NAMECITE{visualization}{% Ebert:1992:CVT% }. \NAMECITE{visualizing}{% Eick:1992:STV% }. \NAMECITE{{VMM}}{% Karger:1991:RVV% }. \NAMECITE{Vol}{% Anonymous:1995:IIT,% Anonymous:1997:IIT,% Anonymous:1996:IIT% }. \NAMECITE{voting}{% Leveson:1990:USC,% Rangarajan:1993:CVS% }. \NAMECITE{vs}{% Gutjahr:1999:PTV% }. \NAMECITE{{Waite}}{% Ward:1996:DDI% }. \NAMECITE{waiting}{% Ryu:1990:PAD% }. \NAMECITE{{ware}}{% Laprie:1992:XWR% }. \NAMECITE{Warm}{% Chen:1994:WSH% }. \NAMECITE{warp}{% Ferscha:1999:ATW,% Gupta:1991:PAT% }. \NAMECITE{weak}{% Offutt:1994:EEW% }. \NAMECITE{{Web}}{% Cardelli:1999:SCW,% McLellan:1998:EUW% }. \NAMECITE{{Web}-based}{% McLellan:1998:EUW% }. \NAMECITE{well}{% Franceschinis:1994:CBP,% Parnas:1994:PDW% }. \NAMECITE{well-formed}{% Franceschinis:1994:CBP% }. \NAMECITE{well-structured}{% Parnas:1994:PDW% }. \NAMECITE{{Weyuker}}{% Cherniavsky:1991:WAS% }. \NAMECITE{Where}{% Zave:1996:WDO% }. \NAMECITE{White}{% Edwards:1997:RIS% }. \NAMECITE{widget}{% Sears:1993:LAM% }. \NAMECITE{within}{% Daskalantonakis:1992:PVS,% Daskalantonakis:1993:CPV,% Kaudel:1990:CAP,% Towsley:1986:APC,% Towsley:1990:CAP,% Vranes:1995:IMP% }. \NAMECITE{{WorkBench}}{% Rubin:1990:EEV% }. \NAMECITE{Working}{% Moss:1992:WPO,% Ghosal:1991:PWS,% Harel:1990:SWE% }. \NAMECITE{workload}{% Kiskis:1994:SSW,% Kunz:1991:IDW,% Woodbury:1990:MAW,% Yu:1992:WCR% }. \NAMECITE{workstation}{% Berger:1990:CMW,% Mutka:1992:ECS% }. \NAMECITE{workstations}{% Joshi:1999:ARC% }. \NAMECITE{world}{% Haumer:1998:REV% }. \NAMECITE{worst}{% Lim:1995:AWC% }. \NAMECITE{Wp}{% Luo:1994:TSB% }. \NAMECITE{Wp-method}{% Luo:1994:TSB% }. \NAMECITE{write}{% Carson:1992:APU% }. \NAMECITE{writer}{% Johnson:1995:AAR% }. \NAMECITE{writing}{% Chandra:1999:TDS% }. \NAMECITE{{WWW}}{% Ciancarini:1998:CMA% }. \NAMECITE{{X}}{% Laprie:1992:XWR% }. \NAMECITE{{X-ware}}{% Laprie:1992:XWR% }. \NAMECITE{{Xception}}{% Carreira:1998:XTE% }. \NAMECITE{{Yeast}}{% Krishnamurthy:1995:YGP% }. \NAMECITE{Z}{% Jacky:1995:SSC,% Neil:1998:LUZ% }.