%%====================================================================== %% 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 Sat Apr 27 11:12:11 MDT 2019 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$^3$}{% Haider:2008:EDB% }. \NAMECITE{$^{\rm TA}$}{% Donatelli:2009:MCT% }. \NAMECITE{$N$}{% Marongiu:2000:AMS% }. \NAMECITE{$ \pi $}{% Norman:2009:MCP% }. \NAMECITE{-Calculus}{% Norman:2009:MCP% }. \NAMECITE{{}-dimensional}{% Marongiu:2000:AMS% }. \NAMECITE{10th}{% vanDeursen:2005:GEI% }. \NAMECITE{{15504}}{% ElEmam:2000:VII% }. \NAMECITE{{2002}}{% Griswold:2003:GEI% }. \NAMECITE{{2004}}{% Rothermel:2005:GEI% }. \NAMECITE{2009-2010}{% Anonymous:2008:SJS% }. \NAMECITE{60-Year}{% Anonymous:2006:ICSb,% Anonymous:2006:ICSc,% Anonymous:2006:ICSa% }. \NAMECITE{{9}}{% Gursaran:2001:AWP,% Sharma:2006:AWP% }. \NAMECITE{'99}{% Wing:2000:SIF% }. \NAMECITE{Abstract}{% Glasser:2004:ACM,% Nottegar:2001:PEM,% Strein:2007:EMP% }. \NAMECITE{Abstractions}{% Shoham:2008:SSM,% Desai:2005:IPD,% Silva:2001:CCO% }. \NAMECITE{acceptance}{% Riemenschneider:2002:ESD% }. \NAMECITE{Access}{% Masood:2009:SET,% Bhatti:2006:XFP% }. \NAMECITE{accesses}{% Yen:2001:DMI% }. \NAMECITE{accuracy}{% Smith:2001:ESU% }. \NAMECITE{Achieving}{% Shinjo:2005:AEP% }. \NAMECITE{{ACM}}{% Devanbu:2008:ISS% }. \NAMECITE{across}{% Briand:2002:AAF,% Ye:2009:AAS% }. \NAMECITE{Actions}{% Baier:2007:MCM% }. \NAMECITE{activation}{% Litoiu:2000:DPR% }. \NAMECITE{active}{% Zheng:2006:MMC% }. \NAMECITE{activities}{% Hendrix:2002:CEC,% Hendrix:2002:ECS% }. \NAMECITE{activity}{% Eshuis:2004:TSV% }. \NAMECITE{Adaptable}{% Zachariadis:2006:SCS% }. \NAMECITE{Adaptation}{% Canal:2008:MBA,% Chuang:2008:DQA,% Ben-Shaul:2001:DAD,% Lum:2003:UCC,% Morel:2004:SAC% }. \NAMECITE{Adaptive}{% Adve:2000:PEE,% Ardagna:2007:ASC,% Fioravanti:2001:EPM% }. \NAMECITE{Addendum}{% Bojic:2004:ALF% }. \NAMECITE{Adding}{% Canal:2003:ARC% }. \NAMECITE{Address}{% Anonymous:2005:ESJ,% Kramer:2009:ESJ,% Kramer:2008:SJA,% Ropponen:2000:CSD% }. \NAMECITE{Adequacy}{% Rutherford:2008:ETS% }. \NAMECITE{adjustment}{% Parsons:2004:CHS% }. \NAMECITE{Advanced}{% Buhr:2000:AEH% }. \NAMECITE{Advancing}{% Hayes:2006:ACL% }. \NAMECITE{Advertisement}{% Anonymous:2004:Aa,% Anonymous:2004:Ab,% Anonymous:2004:Ac,% Anonymous:2004:Ad,% Anonymous:2004:Ae,% Anonymous:2004:Af,% Anonymous:2004:Ag,% Anonymous:2004:Ah,% Anonymous:2004:Aj,% Anonymous:2004:Ak,% Anonymous:2004:Al,% Anonymous:2005:Aa,% Anonymous:2005:Ab,% Anonymous:2005:Ac,% Anonymous:2005:Ad,% Anonymous:2005:Ae,% Anonymous:2005:Af,% Anonymous:2005:Ag,% Anonymous:2005:Ah,% Anonymous:2005:Ai,% Anonymous:2005:Aj,% Anonymous:2005:Ak,% Anonymous:2005:Al,% Anonymous:2005:Am,% Anonymous:2006:A,% Anonymous:2007:AICa,% Anonymous:2007:AICb,% Anonymous:2008:ICSc,% Anonymous:2009:GRJ% }. \NAMECITE{{AE}}{% Anonymous:2004:ENA,% Ball:2004:EAI,% Knight:2003:ENA,% Knight:2004:EAF,% Knight:2004:EAIa,% Knight:2004:EAIb% }. \NAMECITE{{AEIC}}{% Knight:2003:ENA% }. \NAMECITE{Affective}{% Anonymous:2009:CPN% }. \NAMECITE{affine}{% Marongiu:2000:AMS% }. \NAMECITE{after}{% Padberg:2004:UML% }. \NAMECITE{against}{% Antoy:2000:ACI,% Desmet:2008:PPA% }. \NAMECITE{agent}{% Cabri:2002:EMA,% Drummond:2000:LAA,% Xu:2003:FAM,% Xu:2003:FMB% }. \NAMECITE{agent-oriented}{% Xu:2003:FMB% }. \NAMECITE{aggregating}{% Gilmore:2001:EAA% }. \NAMECITE{Agile}{% Olague:2007:EVT% }. \NAMECITE{ahead}{% Yang:2002:CNA% }. \NAMECITE{aid}{% Sawyer:2005:SKA% }. \NAMECITE{al}{% Oliveira:2004:RJA% }. \NAMECITE{algorithm}{% Chen:2002:EDO,% Gilmore:2001:EAA,% Kadamuddi:2000:CAP,% Villadangos:2003:SAR,% Wu:2002:EDD% }. \NAMECITE{Algorithms}{% Li:2007:SAR,% Babaoglu:2001:GCP,% Baier:2003:MCA,% Pike:2006:NIA,% Rushby:1999:SFV% }. \NAMECITE{Allocation}{% Ngo-The:2009:ORA% }. \NAMECITE{Alternative}{% Vandewoude:2007:TLD% }. \NAMECITE{alternatives}{% Tomer:2004:ESR% }. \NAMECITE{among}{% Fu:2005:SCA% }. \NAMECITE{Analogy}{% Keung:2008:AXP,% Auer:2006:OPF,% Keung:2008:AXP% }. \NAMECITE{Analogy-Based}{% Keung:2008:AXP,% Auer:2006:OPF% }. \NAMECITE{{Analogy-X}}{% Keung:2008:AXP% }. \NAMECITE{Analyses}{% Kuncak:2006:MPA% }. \NAMECITE{Analysis}{% Andersson:2007:RQA,% Andrews:2006:UMA,% Baker:2007:FCD,% Binkley:2004:AVP,% Carnevali:2009:SDF,% Cornelissen:2009:SSP,% Cortellessa:2007:ISM,% Dai:2007:UAS,% Elbaum:2008:GEI,% Haley:2008:SRE,% Harrold:2002:GEI,% Kemper:2009:ATA,% Kirkegaard:2004:SAX,% Littlewood:2007:UMA,% Pai:2007:EAS,% Ren:2006:IFC,% Rountev:2004:FCA,% Rovegaard:2008:ESV,% Sampath:2007:ACA,% Sharp:2006:SAO,% Sinha:2000:ATP,% Strein:2007:EMM,% Strein:2007:EMP,% Succi:2001:AES,% Telang:2007:EAI,% Wang:2006:TIA,% Wilson:2007:NAO,% Ye:2009:AAS,% Zhou:2006:EAO,% vanMoorsel:2006:ARM,% Andrews:2003:GTR,% Beyer:2005:ERC,% Bhargavan:2002:VFA,% Bobbio:2003:PFT,% Borger:2000:PMS,% Bruns:2003:SPA,% Brylow:2004:DAI,% Bucci:2004:TSS,% Bucci:2005:CVP,% Cangussu:2003:USA,% Chatterjee:2001:CPA,% Chechik:2001:AAC,% Cortellessa:2005:MBP,% Dillon:2003:IGC,% Dobrica:2002:SSA,% Egyed:2003:SDA,% ElEmam:2000:VII,% Ernst:2002:EAC,% Fenton:2000:QAF,% Godfrey:2005:UOA,% Gokhale:2005:SAS,% Goseva-Popstojanova:2003:ALR,% Gribaudo:2002:FSP,% Gu:2000:EIA,% Havelund:2001:FAS,% Healy:2002:ADE,% Horvath:2002:TDA,% Iyer:2001:ATE,% Jiau:2004:CSP,% Jiau:2006:CAA,% Jorgensen:2004:RSE,% Kang:2000:ESS,% Kim:2004:SRA,% Konrad:2004:OAP,% Lutz:2004:EAS,% Moon:2005:ADD,% Neumann:2002:ENN,% Oliveira:2004:SPR,% Petriu:2000:ABP,% Rothenberger:2003:SSR,% Spinellis:2003:GAT,% Subramanyam:2003:EAC,% Tan:2006:STF,% Tonella:2001:CAM,% Tonella:2003:UCL,% Vicario:2001:SAD,% Vitharana:2003:KBR,% Wang:2004:BBS,% Wang:2005:SPS,% Wang:2006:RAA,% Xu:2002:CSA,% Yacoub:2002:MAL,% Zheng:2006:VSA,% diBlasio:2000:CFA,% Rothermel:2005:GEI% }. \NAMECITE{analytic}{% Chavez:2000:DAS% }. \NAMECITE{Analyzing}{% Breaux:2008:ARR,% Myrtveit:2001:ADS,% Xing:2005:AEH,% Mori:2002:CSD,% Stewart:2003:TAF% }. \NAMECITE{anchoring}{% Parsons:2004:CHS% }. \NAMECITE{Anniversaries}{% Anonymous:2006:ICSb,% Anonymous:2006:ICSc,% Anonymous:2006:ICSa% }. \NAMECITE{annotated}{% Damas:2005:GAB% }. \NAMECITE{Announcements}{% Telang:2007:EAI% }. \NAMECITE{Annual}{% Anonymous:2004:AI,% Anonymous:2006:AI,% Anonymous:2007:AI,% Anonymous:2008:AI% }. \NAMECITE{anomalies}{% Lutz:2004:EAS% }. \NAMECITE{anonymity}{% Vitharana:2003:CMG% }. \NAMECITE{anonymous}{% Camp:2001:AGP% }. \NAMECITE{Answering}{% Sillito:2008:AAQ% }. \NAMECITE{{API}}{% Sarkar:2007:ABI,% Xing:2007:AES% }. \NAMECITE{{API}-Based}{% Sarkar:2007:ABI% }. \NAMECITE{{API}-Evolution}{% Xing:2007:AES% }. \NAMECITE{applets}{% Malkhi:2000:SEJ% }. \NAMECITE{Applicability}{% Sharma:2006:AWP,% Briand:2002:AAF,% Gursaran:2001:AWP,% Zhang:2002:CAW% }. \NAMECITE{Application}{% Anonymous:2008:ICSa,% Anonymous:2009:ICS,% Desmet:2008:PPA,% Gallagher:2008:SAV,% Kistijantoro:2008:EAS,% Lodi:2007:SDC,% Ren:2006:IFC,% Berry:2003:CFM,% Cugola:2001:JEB,% Elbaum:2005:LUS,% Hsiung:2004:VAF,% Kim:2004:SRA,% Li:2004:FVA,% Mok:2004:STC,% Sobel:2002:FMA,% Sobel:2003:RCF,% Tomer:2004:ESR,% Yu:2004:CCC,% Zhang:2001:DCA% }. \NAMECITE{application-level}{% Li:2004:FVA% }. \NAMECITE{application-specific}{% Kim:2004:SRA% }. \NAMECITE{Applications}{% Dong:2007:VDP,% Halfond:2008:WPW,% Sampath:2007:ACA,% Zou:2007:IUC,% Avritzer:2004:RMP,% Cabri:2002:EMA,% Caporuscio:2003:DES,% Capra:2003:CCA,% Chen:2000:ATP,% Diaz:2001:MDB,% Fu:2005:RTJ,% Hwang:2004:CTT,% Hwang:2004:TTN,% Julien:2006:EFR,% Liu:2005:DLP,% Nyland:2000:DMD,% Rosti:2002:MPA,% Whisnant:2004:EAB% }. \NAMECITE{applied}{% Petriu:2000:ABP% }. \NAMECITE{Applying}{% Heitmeyer:2008:AFM,% Sampath:2007:ACA,% Jilani:2001:DAM,% Parsons:2004:CHS% }. \NAMECITE{{Apportioning}}{% Iyer:2001:ATE% }. \NAMECITE{Approach}{% Attiogbe:2007:FTE,% Basit:2009:DMA,% Benaroch:2009:IEO,% Chari:2006:STP,% Cohen:2008:CIT,% Cuadrado:2009:MBA,% Duraes:2006:ESF,% Escalona:2008:NMD,% Gueheneuc:2008:DMA,% Holmes:2006:ASC,% Liu:2006:SDH,% Shen:2009:ESA,% VanRompaey:2007:DTS,% Braberman:2005:SMA,% Chen:2000:ATP,% Costagliola:2005:CPA,% Delamaro:2001:IMA,% Egyed:2003:SDA,% Erdogmus:2005:ETF,% Gokhale:2005:SAS,% Hastings:2001:VBA,% Hsu:2003:SPN,% Jorgensen:2004:RSE,% Khoumsi:2002:TAT,% Lanza:2003:PVL,% Leveson:2000:ISA,% Litoiu:2000:DPR,% Mendonca:2000:VAI,% Moon:2005:ADD,% Nebut:2006:ATG,% Rauber:2000:TAD,% Weyuker:2000:EPT% }. \NAMECITE{Approximate}{% Holmes:2006:ASC% }. \NAMECITE{Arbitrary}{% Kshemkalyani:2007:DAS% }. \NAMECITE{Architectural}{% Goseva-Popstojanova:2003:ALR,% Pelliccione:2009:CFD,% Malek:2005:SAA,% Niemela:2005:TAK,% Verdickt:2005:AIM,% Xu:2003:FAM% }. \NAMECITE{Architectural-level}{% Goseva-Popstojanova:2003:ALR% }. \NAMECITE{Architecture}{% Ducasse:2009:SAR,% Gallagher:2008:SAV,% Maqbool:2007:HCS,% Mattsson:2009:LMD,% Petriu:2000:ABP,% Biggerstaff:2004:NAT,% Bratthall:2002:IPD,% Braunl:2000:PIA,% Dobrica:2002:SSA,% Medvidovic:2000:CCF,% Muccini:2004:USA,% Ravindran:2002:EDR,% Talia:2000:GEIa,% Talia:2000:GEIb,% Westfechtel:2001:LAU,% Yacoub:2002:MAL% }. \NAMECITE{Architecture-based}{% Petriu:2000:ABP% }. \NAMECITE{architecture-independent}{% Braunl:2000:PIA,% Talia:2000:GEIa,% Talia:2000:GEIb% }. \NAMECITE{architecture-level}{% Yacoub:2002:MAL% }. \NAMECITE{Architectures}{% Schmerl:2006:DAR,% Frolund:2002:TEE% }. \NAMECITE{arcs}{% Gribaudo:2002:FSP% }. \NAMECITE{Arguments}{% Littlewood:2007:UMA,% Littlewood:2000:UPD% }. \NAMECITE{aritlces}{% Anonymous:2007:AICa,% Anonymous:2007:AICb% }. \NAMECITE{{ARMOR}}{% Whisnant:2004:EAB% }. \NAMECITE{{ARMOR}-based}{% Whisnant:2004:EAB% }. \NAMECITE{array}{% Gu:2000:EIA% }. \NAMECITE{arrays}{% Yilmaz:2006:CAE% }. \NAMECITE{art}{% Mens:2002:SAS% }. \NAMECITE{artifact}{% Parsons:2004:CHS% }. \NAMECITE{Artifacts}{% Reiss:2006:IMS% }. \NAMECITE{Artificial}{% Hannay:2008:RDA% }. \NAMECITE{ask}{% Jorgensen:2004:RAE% }. \NAMECITE{Asking}{% Sillito:2008:AAQ% }. \NAMECITE{aspect}{% Wang:2005:AAO,% Xu:2006:TDM% }. \NAMECITE{aspect-oriented}{% Wang:2005:AAO,% Xu:2006:TDM% }. \NAMECITE{aspectizable}{% Tonella:2005:RAI% }. \NAMECITE{Aspects}{% Binkley:2006:TSR% }. \NAMECITE{Aspectual}{% Apel:2008:AFM% }. \NAMECITE{assertion}{% Janicki:2001:FTA% }. \NAMECITE{Assessing}{% Andrews:2006:UMA,% Antoniol:2004:ASN,% Briand:2002:AAF,% Briand:2004:AIS,% Elbaum:2005:PDS,% Prechelt:2002:TCE,% Eick:2001:DCD% }. \NAMECITE{Assessment}{% Napier:2009:CPP,% Bansiya:2002:HMO,% Chatzigeorgiou:2003:MAO,% Gregoriades:2005:SBA,% Jorgensen:2004:RAE,% Jorgensen:2005:EBG,% Tian:2002:BRA,% Tonella:2005:RAI% }. \NAMECITE{Assessments}{% Do:2006:UMF,% Jorgensen:2009:ILL% }. \NAMECITE{asset}{% Moon:2005:ADD% }. \NAMECITE{assignment}{% Smith:2001:ESU% }. \NAMECITE{Assist}{% Chittimalli:2009:RCI% }. \NAMECITE{assists}{% Drummond:2000:LAA% }. \NAMECITE{Associate}{% Anonymous:2007:ENA,% Knight:2005:ENAb,% Kramer:2006:ENAa,% Kramer:2006:ENAb,% Kramer:2008:ENAb,% Kramer:2009:ENA,% Anonymous:2005:EAE,% Knight:2005:ENAa,% Kramer:2008:ENAa% }. \NAMECITE{Association}{% Milicev:2007:SAA,% Song:2006:SDA% }. \NAMECITE{Associations}{% Milicev:2007:SAA,% Zhou:2009:EPC,% Souter:2003:CCD% }. \NAMECITE{Assurance}{% Porter:2007:SPI,% Yilmaz:2007:RES,% deLeon:2006:HID,% Coppit:2005:SAB,% Parnas:2003:RIS,% Wang:2005:AAO% }. \NAMECITE{Asynchronous}{% Prakash:2000:APS,% Mitchell:2005:RRC,% Ramesh:2000:MCS% }. \NAMECITE{Atomicity}{% Ye:2009:AAS,% Camp:2001:AGP,% Flanagan:2005:EPA,% Wang:2006:RAA% }. \NAMECITE{atomicity-generating}{% Camp:2001:AGP% }. \NAMECITE{attribute}{% Yang:2002:CNA% }. \NAMECITE{Attributes}{% Menzies:2007:DMS,% Menzies:2007:PPR,% Zhang:2007:CDM,% Verdickt:2005:AIM% }. \NAMECITE{Aug}{% Henkel:2008:EDD% }. \NAMECITE{augmented}{% Gribaudo:2002:FSP% }. \NAMECITE{authentication}{% Stubblebine:2002:ALF% }. \NAMECITE{Author}{% Anonymous:2001:AI,% Anonymous:2002:AIa,% Anonymous:2002:AIb,% Anonymous:2003:AI% }. \NAMECITE{Authors}{% Anonymous:2004:ICSd,% Anonymous:2004:IAa,% Anonymous:2004:IAb,% Anonymous:2004:TIAa,% Anonymous:2004:TIAb,% Anonymous:2004:TIAc,% Anonymous:2004:TIAd,% Anonymous:2004:TIAe,% Anonymous:2004:TIAf,% Anonymous:2004:TIAg,% Anonymous:2004:TIAh,% Anonymous:2004:TIAi,% Anonymous:2004:TIAj,% Anonymous:2005:TIAa,% Anonymous:2005:TIAb,% Anonymous:2005:TIAc,% Anonymous:2005:TIAd,% Anonymous:2005:TIAe,% Anonymous:2005:TIAf,% Anonymous:2005:TIAg,% Anonymous:2005:TIAh,% Anonymous:2005:TIAi,% Anonymous:2005:TIAj,% Anonymous:2005:TIAk,% Anonymous:2005:TIAl,% Anonymous:2006:TIAa,% Anonymous:2006:TIAb,% Anonymous:2006:TIAc,% Anonymous:2006:TIAd,% Anonymous:2006:TIAe,% Anonymous:2006:TIAf,% Anonymous:2006:TIAg,% Anonymous:2006:TIAh,% Anonymous:2006:TIAi,% Anonymous:2006:TIAj,% Anonymous:2006:TIAk,% Anonymous:2006:TIAl,% Anonymous:2007:TIAa,% Anonymous:2007:TIAb,% Anonymous:2007:TIAc,% Anonymous:2007:TIAd,% Anonymous:2007:TIAe,% Anonymous:2007:TIAf,% Anonymous:2007:TIAg,% Anonymous:2007:TIAh,% Anonymous:2007:TIAi,% Anonymous:2007:TIAj,% Anonymous:2007:TIAk,% Anonymous:2007:TIAl,% Anonymous:2008:TIAa,% Anonymous:2008:TIAb,% Anonymous:2008:TIAc,% Anonymous:2008:TIAd,% Anonymous:2008:TIAe,% Anonymous:2008:TIAf,% Anonymous:2009:TIAa,% Anonymous:2009:TIAb,% Anonymous:2009:TIAc,% Anonymous:2009:TIAd,% Anonymous:2009:TIAe,% Anonymous:2009:TIAf% }. \NAMECITE{Automata}{% Dong:2008:TAP,% Shoham:2008:SSM% }. \NAMECITE{Automata-Based}{% Shoham:2008:SSM% }. \NAMECITE{Automated}{% Chen:2000:ATP,% Kemper:2009:ATA,% Wang:2005:AAO,% Holzmann:2002:AVM,% Memon:2001:HGT% }. \NAMECITE{Automatic}{% Bailey:2003:ADD,% Chechik:2001:AAC,% Demsky:2009:AEH,% Fetzer:2004:ADM,% Healy:2002:ADE,% Jiau:2006:CAA,% Marongiu:2000:AMS,% Milicev:2002:AMT,% Nebut:2006:ATG,% Verdickt:2005:AIM,% Williams:2005:AMS,% Gu:2000:EIA,% Maruyama:2000:ACG,% Mitchell:2006:AMS% }. \NAMECITE{Automatically}{% Antoy:2000:ACI% }. \NAMECITE{automating}{% Morel:2004:SAC% }. \NAMECITE{automation}{% Mills:2002:KBA% }. \NAMECITE{automorphism}{% Wang:2004:BBS% }. \NAMECITE{Available}{% Kistijantoro:2008:EAS% }. \NAMECITE{avoidance}{% Wu:2002:EDD% }. \NAMECITE{Avoiding}{% DeLine:2001:APM,% DeLine:2001:CAP% }. \NAMECITE{Aware}{% Halfond:2008:WPW,% Halle:2009:SVD,% Lodi:2007:SDC,% Bellavista:2003:CAM,% Capra:2003:CCA,% Chan:2003:MRM,% Julien:2006:EFR,% Malek:2005:SAA,% Zeng:2004:QAM% }. \NAMECITE{axioms}{% Pike:2006:NIA% }. \NAMECITE{Back}{% Anonymous:2004:BCa,% Anonymous:2004:BCb,% Anonymous:2004:BCc,% Anonymous:2004:BCd,% Anonymous:2004:BCe,% Anonymous:2004:BCf,% Anonymous:2004:BCg,% Anonymous:2004:BCh,% Anonymous:2005:BCa,% Anonymous:2005:BCb,% Anonymous:2005:BCc,% Anonymous:2005:BCd,% Anonymous:2005:BCe,% Anonymous:2005:BCf,% Anonymous:2005:BCg,% Anonymous:2005:BCh,% Anonymous:2005:BCi,% Anonymous:2005:BCj,% Anonymous:2005:BCk,% Anonymous:2005:BCl,% Anonymous:2006:BCa,% Anonymous:2006:BCb,% Anonymous:2006:BCc,% Anonymous:2006:BCd,% Anonymous:2006:BCe,% Anonymous:2006:BCf,% Anonymous:2006:BCg,% Anonymous:2006:BCh,% Anonymous:2006:BCi,% Anonymous:2006:BCj,% Anonymous:2006:BCk,% Anonymous:2006:BCl,% Anonymous:2007:BCa,% Anonymous:2007:BCb,% Anonymous:2007:BCc,% Anonymous:2007:BCd,% Anonymous:2007:BCe,% Anonymous:2007:BCf,% Anonymous:2007:BCg,% Anonymous:2007:BCh,% Anonymous:2007:BCi,% Anonymous:2007:BCj,% Anonymous:2007:BCk,% Anonymous:2007:BCl,% Anonymous:2008:BCa,% Anonymous:2008:BCb,% Anonymous:2008:BCc,% Anonymous:2008:BCd,% Anonymous:2008:BCe,% Anonymous:2008:BCf,% Anonymous:2009:BCa,% Anonymous:2009:BCb,% Anonymous:2009:BCc,% Anonymous:2009:BCd,% Anonymous:2009:BCe,% Anonymous:2009:BCf,% Bontemps:2005:LSC% }. \NAMECITE{Background}{% Carver:2008:IEB% }. \NAMECITE{Backward}{% Sproston:2006:BBM% }. \NAMECITE{base}{% Niemela:2005:TAK% }. \NAMECITE{Based}{% Anonymous:2008:CPS,% Anonymous:2009:CPSa,% Anonymous:2009:CPSb,% Barak:2006:IHS,% Bartoletti:2008:SBD,% Canal:2008:MBA,% Cuadrado:2009:MBA,% Demsky:2006:GDR,% Haider:2008:EDB,% Kemerer:2009:IDC,% Keung:2008:AXP,% Kounev:2006:PME,% Krishnamurthy:2006:SWG,% Littlewood:2007:UMA,% Liu:2006:SDH,% Masood:2009:SET,% Masri:2007:EST,% Parsons:2008:EIC,% Poshyvanyk:2007:FLU,% Rutherford:2008:ETS,% Sampath:2007:ACA,% Sarkar:2007:ABI,% Sharp:2006:SAO,% Shoham:2008:SSM,% Stuermer:2007:STM,% Uchitel:2005:GES,% VanRompaey:2007:DTS,% Zhou:2007:MMM,% Auer:2006:OPF,% Balsamo:2004:MBP,% Biggerstaff:2004:NAT,% Bowman:2000:SPS,% Briand:2003:IGB,% Briand:2004:AIS,% Briand:2005:EIF,% Cleland-Huang:2003:EBT,% Cortellessa:2005:MBP,% Cugola:2001:JEB,% DeLoach:2000:TBR,% Dolado:2000:VCB,% El-Fakih:2004:FBI,% France:2004:UBP,% Frey:2002:FSV,% Gokhale:2005:SAS,% Gorlatch:2000:TFB,% Gregoriades:2005:SBA,% Hastings:2001:VBA,% Holzmann:2002:AVM,% Huang:2003:MMC,% Inoue:2005:RSS,% Jorgensen:2005:EBG,% Kamiya:2002:CMT,% Kao:2003:CQP,% Laitenberger:2001:IRQ,% Lee:2004:ORT,% Li:2003:RSE,% Liu:2005:DLP,% Miller:2004:CBM,% Mills:2002:KBA,% Moon:2005:ADD,% Morisio:2002:QPL,% Myrtveit:2001:ADS,% Niu:2003:TSM,% Peters:2002:RBM,% Petriu:2000:ABP,% Prowell:2003:FSB,% Rajgopal:2002:MOT,% Seaman:2003:UIE,% Selby:2005:ERB,% Sun:2006:DSI,% Thelin:2003:ECU,% Tian:2004:EWS,% Traore:2004:ESR,% Vitharana:2003:KBR,% Wang:2004:BBS,% Wang:2006:TCM,% Whisnant:2004:EAB,% Xu:2003:FMB,% Xu:2003:TBD,% Yang:2002:CNA% }. \NAMECITE{Basis}{% Moody:2009:PNT,% Shin:2000:EDM% }. \NAMECITE{{Bayesian}}{% Dai:2007:UAS,% Hearty:2009:PPV,% Mendes:2008:BNM,% Pai:2007:EAS,% Wooff:2002:BGM% }. \NAMECITE{{BBN}}{% Littlewood:2007:UMA% }. \NAMECITE{{BDD}}{% Wang:2004:BBS,% Wang:2005:SPS% }. \NAMECITE{{BDD}-based}{% Wang:2004:BBS% }. \NAMECITE{{BDD}-like}{% Wang:2005:SPS% }. \NAMECITE{Behavior}{% Plasil:2002:BPS,% Uchitel:2009:SPB,% Damas:2005:GAB,% Diaz:2001:MDB,% Yang:2002:CNA% }. \NAMECITE{Behavioral}{% Canal:2008:MBA,% Chen:2003:COS,% Harel:2002:OSB,% Uchitel:2003:SBM% }. \NAMECITE{behaviorally}{% Sauer:2000:ESD% }. \NAMECITE{Benchmarking}{% Lessmann:2008:BCM,% Janka:2002:VBM% }. \NAMECITE{benefit}{% Biffl:2003:IDD% }. \NAMECITE{Benefits}{% Dzidek:2008:REE% }. \NAMECITE{Best}{% Menzies:2006:SBP% }. \NAMECITE{Better}{% Tian:2002:BRA% }. \NAMECITE{Between}{% Capra:2008:ESR,% Antoniol:2002:RTL,% Chechik:2001:AAC,% Damian:2006:ESC,% Hsu:2003:SPN,% Jiau:2006:CAA,% Jilani:2001:DAM,% Murphy:2001:SRM,% Zhou:2009:EPC% }. \NAMECITE{bidding}{% Jorgensen:2004:ESS,% Kitchenham:2003:MSB% }. \NAMECITE{binaries}{% Lakhotia:2005:MDO% }. \NAMECITE{Bisimulation}{% Sproston:2006:BBM% }. \NAMECITE{biting}{% Stuart:2001:SVB% }. \NAMECITE{black}{% Barbier:2003:CAB,% Xie:2005:CIB% }. \NAMECITE{blueprint}{% Ducasse:2005:CBV% }. \NAMECITE{bootstrap}{% Lei:2003:ESN% }. \NAMECITE{bounded}{% Coppit:2005:SAB% }. \NAMECITE{Bounding}{% Lee:2001:BCR% }. \NAMECITE{bounds}{% Popov:2003:EBR% }. \NAMECITE{box}{% Xie:2005:CIB% }. \NAMECITE{branch}{% Healy:2002:ADE% }. \NAMECITE{Branching}{% deAlfaro:2009:LBS% }. \NAMECITE{bridging}{% Murphy:2001:SRM% }. \NAMECITE{brokerages}{% Mok:2004:STC% }. \NAMECITE{browsing}{% Drummond:2000:LAA% }. \NAMECITE{Budget}{% Nan:2009:IBS% }. \NAMECITE{bug}{% Williams:2005:AMS% }. \NAMECITE{Buggy}{% Kim:2008:CSC% }. \NAMECITE{bugs}{% Li:2006:CMF% }. \NAMECITE{Build}{% deJonge:2005:BLC% }. \NAMECITE{Build-level}{% deJonge:2005:BLC% }. \NAMECITE{building}{% Leveson:2000:ISA% }. \NAMECITE{Bunch}{% Mitchell:2006:AMS% }. \NAMECITE{Business}{% Zou:2007:IUC,% Desai:2005:IPD,% Vitharana:2003:KBR,% Weber:2005:FSB% }. \NAMECITE{Bytecode}{% Saougkos:2007:RJB,% Jackson:2001:LEO% }. \NAMECITE{c}{% Ernst:2002:EAC,% Chaki:2004:MVS,% Edwards:2004:CCW,% Srivastava:2008:MIH% }. \NAMECITE{cache}{% Lee:2001:BCR% }. \NAMECITE{cache-related}{% Lee:2001:BCR% }. \NAMECITE{calculation}{% Beyer:2005:ERC% }. \NAMECITE{Calculus}{% Norman:2009:MCP,% Santone:2003:HSL,% diBlasio:2000:CFA% }. \NAMECITE{calibrating}{% Baik:2002:DCC% }. \NAMECITE{Call}{% Anonymous:2004:CP,% Anonymous:2004:CPI,% Anonymous:2005:CP,% Anonymous:2007:CPS,% Anonymous:2008:CPS,% Anonymous:2009:CPN,% Anonymous:2009:CPSa,% Anonymous:2009:CPSb,% Diaz:2001:CP,% McMaster:2008:CSC,% Offutt:2002:CP% }. \NAMECITE{Call-for-Papers}{% Anonymous:2007:CPS% }. \NAMECITE{Call-Stack}{% McMaster:2008:CSC% }. \NAMECITE{calls}{% Bailey:2003:ADD,% Lakhotia:2005:MDO% }. \NAMECITE{candidate}{% Hayes:2006:ACL% }. \NAMECITE{Capability}{% Jeffrey:2007:IFD,% ElEmam:2000:VII,% Manzoni:2003:IER% }. \NAMECITE{capture}{% Briand:2000:CEC,% ElEmam:2001:ECR% }. \NAMECITE{capture-recapture}{% Briand:2000:CEC,% ElEmam:2001:ECR% }. \NAMECITE{Career}{% Anonymous:2008:ICSb% }. \NAMECITE{{CARISMA}}{% Capra:2003:CCA% }. \NAMECITE{Carving}{% Elbaum:2009:CRD% }. \NAMECITE{Case}{% Dingsoyr:2008:IEP,% Do:2006:UMF,% Li:2007:SAR,% Masri:2007:EST,% Mattsson:2009:LMD,% Napier:2009:CPP,% Vegas:2009:MSE,% Atkins:2002:UVC,% Borger:2000:PMS,% Chen:2003:CRF,% Dinh-Trong:2005:FPR,% Elbaum:2002:TCP,% Kao:2003:CQP,% Memon:2001:HGT,% Morisio:2002:QPL,% Nebut:2006:ATG,% Shinjo:2005:AEP,% Tomer:2004:ESR,% Weyuker:2000:EPT,% Baik:2002:DCC,% Costagliola:2006:CMC% }. \NAMECITE{Cases}{% Elbaum:2009:CRD,% Jeffrey:2007:IFD,% Maxion:2000:EEH,% Memon:2005:SFD,% Rothermel:2001:PTC% }. \NAMECITE{catalog}{% Delgado:2004:TCR% }. \NAMECITE{{CatchUp}}{% Xing:2007:AES% }. \NAMECITE{Categorization}{% Yu:2004:CCC% }. \NAMECITE{category}{% Chen:2003:CRF% }. \NAMECITE{category-partition}{% Chen:2003:CRF% }. \NAMECITE{Cause}{% Eaddy:2008:DCC% }. \NAMECITE{Causes}{% Ren:2006:IFC% }. \NAMECITE{{CCFinder}}{% Kamiya:2002:CMT% }. \NAMECITE{Celebrates}{% Anonymous:2006:ICSb,% Anonymous:2006:ICSa,% Anonymous:2006:ICSc% }. \NAMECITE{Center}{% Anonymous:2008:ICSb% }. \NAMECITE{centered}{% Leveson:2000:ISA,% Murata:2000:HIH% }. \NAMECITE{centralized}{% Arisholm:2004:EED,% Lee:2004:FCD% }. \NAMECITE{Centric}{% Cleland-Huang:2008:GCT,% Lum:2003:UCC% }. \NAMECITE{Certifiably}{% Heitmeyer:2008:AFM% }. \NAMECITE{Chain}{% Sproston:2006:BBM% }. \NAMECITE{Chains}{% Baier:2007:MCM,% Baier:2003:MCA% }. \NAMECITE{Change}{% DAmbros:2009:VCC,% Fluri:2007:CDT,% Ren:2006:IFC,% Rovegaard:2008:ESV,% Sillito:2008:AAQ,% Zhou:2009:EPC,% Cleland-Huang:2003:EBT,% Eick:2001:DCD,% Graves:2000:PFI,% Koru:2005:CHC,% Tsantalis:2005:PPC,% Volzer:2004:STI,% Ying:2004:PSC% }. \NAMECITE{Change-Proneness}{% Zhou:2009:EPC% }. \NAMECITE{Changes}{% Kim:2008:CSC,% Eick:2002:VSC,% Purushothaman:2005:TUR,% Ying:2004:PSC,% Zimmermann:2005:MVH% }. \NAMECITE{Channel}{% Mitchell:2008:CCC% }. \NAMECITE{characteristics}{% Kelly:2006:SDC% }. \NAMECITE{characterization}{% Yilmaz:2006:CAE% }. \NAMECITE{Characterizing}{% Mitchell:2008:CCC% }. \NAMECITE{{CHARMY}}{% Pelliccione:2009:CFD% }. \NAMECITE{Charts}{% Sengupta:2006:TMS,% Alur:2003:IMS,% Bontemps:2005:LSC% }. \NAMECITE{check}{% Hou:2006:USS% }. \NAMECITE{Checker}{% Bang:2001:CMC,% Holzmann:2007:DME,% Holzmann:1997:MCS% }. \NAMECITE{Checking}{% Baier:2007:MCM,% Donatelli:2009:MCT,% Han:2009:CGP,% Hughes:2008:IGM,% Norman:2009:MCP,% Sproston:2006:BBM,% Xie:2005:CIB,% Andrews:2003:GTR,% Antoy:2000:ACI,% Baier:2003:MCA,% Braberman:2005:SMA,% Chan:2001:OSM,% Edwards:2004:CCW,% Gurfinkel:2003:TLQ,% Santone:2003:HSL% }. \NAMECITE{checklist}{% Laitenberger:2001:IRQ,% Thelin:2003:ECU% }. \NAMECITE{checklist-based}{% Thelin:2003:ECU% }. \NAMECITE{Chief}{% Anonymous:2008:SJS,% Knight:2006:ENE,% Kramer:2006:EMN% }. \NAMECITE{choice}{% Chen:2003:CRF% }. \NAMECITE{{CK}}{% Subramanyam:2003:EAC% }. \NAMECITE{Claims}{% Littlewood:2007:UMA,% Devanbu:2000:CVT% }. \NAMECITE{Class}{% Casale:2009:CEC,% Costagliola:2005:CPA,% Miner:2006:SGC,% Rountev:2004:FCA,% Shen:2009:ESA,% Zhou:2009:EPC,% Briand:2003:IGB,% Briand:2004:AIS,% Ducasse:2005:CBV,% ElEmam:2001:CEC,% ElEmam:2002:OCS,% Evanco:2003:CCE,% Kim:2004:SRA,% Maruyama:2000:ACG% }. \NAMECITE{Class-Oriented}{% Casale:2009:CEC% }. \NAMECITE{Classes}{% Henkel:2007:DDJ,% Henkel:2008:EDD,% Marcus:2008:UCC,% Olague:2007:EVT,% Vicario:2009:USS,% Chae:2004:ICM,% Edwards:2004:CCW% }. \NAMECITE{Classification}{% Lessmann:2008:BCM,% Medvidovic:2000:CCF,% Yang:2002:CNA% }. \NAMECITE{Classifications}{% Vegas:2009:MSE% }. \NAMECITE{Classifying}{% Haran:2007:TCE,% Kim:2008:CSC% }. \NAMECITE{Clean}{% Kim:2008:CSC% }. \NAMECITE{client}{% Hwang:2004:CTT,% Hwang:2004:TTN,% Menasce:2000:MDP,% Ramesh:2000:MCS% }. \NAMECITE{client-server}{% Ramesh:2000:MCS% }. \NAMECITE{client/server}{% Hwang:2004:CTT,% Hwang:2004:TTN,% Menasce:2000:MDP% }. \NAMECITE{clock}{% Hrischuk:2002:LCR% }. \NAMECITE{Clone}{% Bellon:2007:CEC,% Bruntink:2005:UCD,% Kamiya:2002:CMT% }. \NAMECITE{Clones}{% Baker:2007:FCD,% Basit:2009:DMA% }. \NAMECITE{closed}{% Paulson:2004:ESO% }. \NAMECITE{closed-source}{% Paulson:2004:ESO% }. \NAMECITE{Clustering}{% Kadamuddi:2000:CAP,% Lodi:2007:SDC,% Maqbool:2007:HCS,% Andritsos:2005:ITS,% Tian:2002:BRA% }. \NAMECITE{{CMM}}{% Agrawal:2007:SEQ,% Manzoni:2003:IER% }. \NAMECITE{Co}{% DAmbros:2009:VCC% }. \NAMECITE{Co-Change}{% DAmbros:2009:VCC% }. \NAMECITE{{COCOMO}}{% Baik:2002:DCC% }. \NAMECITE{Code}{% Binkley:2006:TSR,% Fluri:2007:CDT,% Kemerer:2009:IDC,% Mantyla:2009:WTD,% Menzies:2007:DMS,% Menzies:2007:PPR,% Stuermer:2007:STM,% Zhang:2007:CDM,% Antoniol:2002:RTL,% Bailey:2003:ADD,% Bojic:2004:ALF,% Bruntink:2005:UCD,% Dunsmore:2003:DET,% Eick:2001:DCD,% Eisenbarth:2003:LFS,% Godfrey:2005:UOA,% Hendrix:2002:CEC,% Hendrix:2002:ECS,% Hou:2006:USS,% Kamiya:2002:CMT,% Laitenberger:2001:IRQ,% Li:2006:CMF,% Muccini:2004:USA,% Purushothaman:2005:TUR,% Robillard:2004:HED,% Vokac:2004:DFD,% Williams:2005:AMS,% Ying:2004:PSC% }. \NAMECITE{codesign}{% Baghdadi:2002:CPE% }. \NAMECITE{Cognitive}{% Parsons:2004:CHS,% Hungerford:2004:RSD,% Miller:2004:CBM% }. \NAMECITE{cognitive-based}{% Miller:2004:CBM% }. \NAMECITE{Cohesion}{% Marcus:2008:UCC,% Chae:2004:ICM% }. \NAMECITE{Collect}{% Ko:2006:ESH% }. \NAMECITE{collection}{% Jorgensen:2004:RSE% }. \NAMECITE{collocation}{% Teasley:2002:RSD% }. \NAMECITE{Combining}{% Baghdadi:2002:CPE,% Napier:2009:CPP,% Freimut:2005:DIC,% Littlewood:2000:MEC% }. \NAMECITE{Comments}{% Bang:2001:CMC,% Berry:2003:CFM,% Chen:2003:COS,% Evanco:2003:CCE,% Furia:2006:CIL,% Jiau:2004:CSP,% Jiau:2006:CAA,% Kao:2003:CQP,% Menzies:2007:PPR,% Morisio:2003:CMS,% Roberts:2001:RCF,% Sobel:2003:RCF,% Yadav:2001:CFI,% Zhang:2002:CAW,% Zhang:2007:CDM,% Bellini:2006:RCI,% Oliveira:2004:RJA% }. \NAMECITE{Commerce}{% Zou:2007:IUC,% Avritzer:2004:RMP% }. \NAMECITE{commercial}{% Chavez:2000:DAS% }. \NAMECITE{Common}{% Hamill:2009:CTS,% Yu:2004:CCC% }. \NAMECITE{commonality}{% Moon:2005:ADD% }. \NAMECITE{Communicating}{% Mahony:2000:TCO% }. \NAMECITE{Communication}{% Mitchell:2008:CCC,% Babaoglu:2001:GCP,% Glasser:2004:ACM,% Herbsleb:2003:ESS,% Huang:2003:MMC,% Lai:2003:MES% }. \NAMECITE{{CoMoM}}{% Casale:2009:CEC% }. \NAMECITE{Companies}{% Anda:2009:VRS% }. \NAMECITE{Company}{% Kitchenham:2007:CVW% }. \NAMECITE{Comparative}{% Mendes:2008:BNM,% Maxion:2000:EEH,% Myrtveit:2005:RVC% }. \NAMECITE{Comparing}{% Andrews:2006:UMA,% Boland:2003:CPR,% Koru:2005:CHC,% Shepperd:2001:CSP,% Tan:2005:CUF,% Prechelt:2001:CEM,% Xie:2005:CIB% }. \NAMECITE{Comparison}{% Bellon:2007:CEC,% Laitenberger:2001:IRQ,% Medvidovic:2000:CCF,% Molokken-Ostvold:2005:CSP,% Riemenschneider:2002:ESD,% Thelin:2003:ECU% }. \NAMECITE{comparisons}{% Ntafos:2001:CRP% }. \NAMECITE{Complex}{% Andersson:2007:RQA,% Damian:2006:ESC,% Fenton:2000:QAF,% Luqi:2004:DDD,% Yilmaz:2006:CAE% }. \NAMECITE{Complexity}{% Arisholm:2007:EPP,% Chatterjee:2001:CPA,% Bandi:2003:PMP,% Darcy:2005:SCS,% Gold:2005:SCM,% Gursaran:2001:AWP,% Subramanyam:2003:EAC,% Zhang:2002:CAW% }. \NAMECITE{compliant}{% Shinjo:2005:AEP% }. \NAMECITE{comply}{% Manzoni:2003:IER% }. \NAMECITE{Component}{% Hatton:2009:PLD,% Kounev:2006:PME,% Lau:2007:SCM,% Parsons:2008:EIC,% Zachariadis:2006:SCS,% Dolado:2000:VCB,% Liu:2005:DLP,% Morel:2004:SAC,% Rothenberger:2003:SSR% }. \NAMECITE{Component-Based}{% Kounev:2006:PME,% Parsons:2008:EIC,% Dolado:2000:VCB,% Liu:2005:DLP% }. \NAMECITE{Components}{% Canal:2008:MBA,% Kistijantoro:2008:EAS,% Li:2008:SPS,% Ropponen:2000:CSD,% Ben-Shaul:2001:DAD,% Chaki:2004:MVS,% Dillon:2003:IGC,% Inoue:2005:RSS,% Long:2003:TST,% Plasil:2002:BPS,% Vitharana:2003:KBR,% deJonge:2005:BLC% }. \NAMECITE{composite}{% Mok:2004:STC% }. \NAMECITE{Composition}{% Ardagna:2007:ASC,% Ye:2009:AAS,% Zeng:2004:QAM% }. \NAMECITE{Compositional}{% Bode:2009:CDE,% Bohnenkamp:2006:MCM,% Xu:2002:CSA,% Zave:2009:CCI% }. \NAMECITE{Compositions}{% Dong:2007:VDP% }. \NAMECITE{Comprehension}{% Cornelissen:2009:SSP,% Dolado:2003:EII,% Hendrix:2002:CEC,% Hendrix:2002:ECS,% Shaw:2003:MDR% }. \NAMECITE{comprehensive}{% Briand:2000:CEC% }. \NAMECITE{Compression}{% Saougkos:2007:RJB% }. \NAMECITE{computation}{% Eom:2001:THT,% Rosti:2002:MPA% }. \NAMECITE{Computational}{% Adve:2000:PEE,% Dillon:2003:IGC% }. \NAMECITE{Computer}{% Anonymous:2004:ICSa,% Anonymous:2004:ICSb,% Anonymous:2004:ICSc,% Anonymous:2004:ICSd,% Anonymous:2004:ICSe,% Anonymous:2004:ICSf,% Anonymous:2006:ICSa,% Anonymous:2006:ICSb,% Anonymous:2006:ICSc,% Anonymous:2006:JICa,% Anonymous:2006:JICb,% Anonymous:2007:AICa,% Anonymous:2007:AICb,% Anonymous:2007:JICa,% Anonymous:2007:JICb,% Anonymous:2007:JICc,% Anonymous:2007:JICd,% Anonymous:2007:JICe,% Anonymous:2008:ICSa,% Anonymous:2008:ICSb,% Anonymous:2008:ICSc,% Anonymous:2009:GRJ,% Anonymous:2009:ICS,% Hillston:2009:GEI,% Vitharana:2003:CMG% }. \NAMECITE{Computer-mediated}{% Vitharana:2003:CMG% }. \NAMECITE{computers}{% Chamberlain:2000:ZMI% }. \NAMECITE{Computing}{% Saougkos:2007:RJB,% Wing:2000:SIF,% deLeon:2006:HID,% Chan:2003:MRM,% Lum:2003:UCC,% Satoh:2003:TFM,% Zheng:2006:MMC,% Anonymous:2009:CPN% }. \NAMECITE{Concept}{% Sampath:2007:ACA,% Tonella:2001:CAM,% Tonella:2003:UCL% }. \NAMECITE{Conceptual}{% Marcus:2008:UCC,% Andrade:2004:MFV,% Cysneiros:2004:NRE% }. \NAMECITE{concern}{% Bruntink:2005:UCD% }. \NAMECITE{Concerns}{% Eaddy:2008:DCC% }. \NAMECITE{concurrent}{% Iyer:2001:ATE,% Koppol:2002:IIT,% Lei:2006:RTC,% Long:2003:TST,% Mills:2002:KBA,% Wang:2004:BBS,% diBlasio:2000:CFA% }. \NAMECITE{condition}{% Jones:2003:TSR% }. \NAMECITE{condition/decision}{% Jones:2003:TSR% }. \NAMECITE{Conditions}{% Chang:2008:DNC,% Mitchell:2005:RRC% }. \NAMECITE{Conference}{% Anonymous:2003:SSI,% Binkley:2007:GEI,% Canfora:2009:GEI,% Dillon:2004:GEI,% Franceschinis:2006:GEI,% Griswold:2003:GEI,% Griswold:2006:GEI,% Gyimothy:2006:GEI,% vanDeursen:2005:GEI,% Bowman:2000:SPS,% Canfora:2003:GEI,% Harrold:2003:GEI,% Kramer:2001:GEI,% Devanbu:2008:ISS% }. \NAMECITE{Confidence}{% Littlewood:2007:UMA,% Lei:2003:ESN% }. \NAMECITE{Configurable}{% Cohen:2008:CIT,% Silva:2001:CCO% }. \NAMECITE{configuration}{% Yilmaz:2006:CAE,% vanderHoek:2002:TCM% }. \NAMECITE{configurations}{% Petrenko:2004:CCE% }. \NAMECITE{Confirming}{% Petrenko:2004:CCE% }. \NAMECITE{conformance}{% Constant:2007:IFV,% El-Fakih:2004:FBI% }. \NAMECITE{Confounding}{% Zhou:2009:EPC,% ElEmam:2001:CEC,% Evanco:2003:CCE% }. \NAMECITE{Congress}{% Wing:2000:SIF% }. \NAMECITE{conjunctive}{% Chen:2002:EDO% }. \NAMECITE{consensus}{% Guerraoui:2001:GCS% }. \NAMECITE{considering}{% Chae:2004:ICM% }. \NAMECITE{Consistency}{% Kuncak:2006:MPA,% Chechik:2001:AAC,% Jiau:2006:CAA% }. \NAMECITE{constrained}{% Malek:2005:SAA% }. \NAMECITE{constraint}{% Bolognesi:2000:TCO% }. \NAMECITE{constraint-object-oriented}{% Bolognesi:2000:TCO% }. \NAMECITE{Constraints}{% Cohen:2008:CIT,% Healy:2002:ADE,% Mok:2004:STC% }. \NAMECITE{Constructing}{% Cohen:2008:CIT,% Costagliola:2006:CMC,% Moody:2009:PNT,% Miller:2004:CBM% }. \NAMECITE{construction}{% Mookerjee:2002:DCP,% Souter:2003:CCD,% Wang:2006:TCM,% Zhang:2001:DCA% }. \NAMECITE{constructs}{% Sinha:2000:ATP% }. \NAMECITE{Container}{% Henkel:2007:DDJ,% Henkel:2008:EDD% }. \NAMECITE{Content}{% Pai:2007:EAS,% Briand:2000:CEC,% Lum:2003:UCC,% Padberg:2004:UML% }. \NAMECITE{Contents}{% Anonymous:2004:ITSf,% Anonymous:2004:ITSd,% Wong:2004:XMS% }. \NAMECITE{Context}{% Bellavista:2003:CAM,% Holmes:2006:ASC,% Cabri:2002:EMA,% Capra:2003:CCA,% Chan:2003:MRM,% Julien:2006:EFR% }. \NAMECITE{Context-aware}{% Bellavista:2003:CAM,% Capra:2003:CCA,% Chan:2003:MRM,% Julien:2006:EFR% }. \NAMECITE{context-dependent}{% Cabri:2002:EMA% }. \NAMECITE{contextual}{% Souter:2003:CCD% }. \NAMECITE{continuity}{% Janka:2002:VBM% }. \NAMECITE{Continuous}{% Porter:2007:SPI,% Yilmaz:2007:RES,% Baier:2003:MCA,% Makaroff:2001:DIV% }. \NAMECITE{continuous-time}{% Baier:2003:MCA% }. \NAMECITE{Contract}{% Edwards:2004:CCW,% LeTraon:2006:DCI% }. \NAMECITE{Contract-checking}{% Edwards:2004:CCW% }. \NAMECITE{Control}{% Hall:2008:POS,% Mangeruca:2007:SPD,% Masood:2009:SET,% Zave:2009:CCI,% Arisholm:2004:EED,% Atkins:2002:UVC,% Haxthausen:2000:FDV,% Hendrix:2002:CEC,% Hendrix:2002:ECS,% Jalote:2002:OCL,% Wang:2005:AAO,% Wang:2006:TCM,% diBlasio:2000:CFA% }. \NAMECITE{control-flow}{% diBlasio:2000:CFA% }. \NAMECITE{controlled}{% Briand:2001:CEE,% Prechelt:2001:CEM,% Prechelt:2002:TCE,% Sjoeberg:2005:SCE% }. \NAMECITE{controller}{% Havelund:2001:FAS,% Marchand:2000:IDP% }. \NAMECITE{Controversies}{% Barbier:2003:CAB% }. \NAMECITE{conversations}{% Fu:2005:SCA% }. \NAMECITE{converters}{% Wing:2000:RTC% }. \NAMECITE{coordination}{% Cabri:2002:EMA,% Mookerjee:2002:DCP% }. \NAMECITE{copy}{% Li:2006:CMF% }. \NAMECITE{copy-paste}{% Li:2006:CMF% }. \NAMECITE{{CORBA}}{% Canal:2003:ARC% }. \NAMECITE{core}{% Moon:2005:ADD% }. \NAMECITE{Correct}{% Shen:2009:ESA,% Dillon:2003:IGC% }. \NAMECITE{Correction}{% Hwang:2004:CTT,% Song:2006:SDA% }. \NAMECITE{Corrections}{% DeLine:2001:CAP,% Hendrix:2002:CEC% }. \NAMECITE{Correctness}{% Bucci:2005:CVP% }. \NAMECITE{Cost}{% Jorgensen:2007:SRS,% Keung:2008:AXP,% Kitchenham:2007:CVW,% Yang:2008:SUS,% Auer:2006:OPF,% Biffl:2003:IDD,% Freimut:2005:DIC,% Jorgensen:2005:EBG,% King:2000:PMC,% Strike:2001:SCE,% Xie:2003:SEI% }. \NAMECITE{cost-effective}{% King:2000:PMC% }. \NAMECITE{cost-effectiveness}{% Freimut:2005:DIC% }. \NAMECITE{Costs}{% Dzidek:2008:REE% }. \NAMECITE{Counterexample}{% Han:2009:CGP% }. \NAMECITE{coupling}{% Arisholm:2004:DCM,% Yu:2004:CCC% }. \NAMECITE{cover}{% Anonymous:2004:BCa,% Anonymous:2004:BCb,% Anonymous:2004:BCc,% Anonymous:2004:BCd,% Anonymous:2004:BCe,% Anonymous:2004:BCf,% Anonymous:2004:BCg,% Anonymous:2004:BCh,% Anonymous:2004:FCa,% Anonymous:2004:FCb,% Anonymous:2004:FCc,% Anonymous:2004:FCd,% Anonymous:2004:FCe,% Anonymous:2004:FCf,% Anonymous:2004:FCg,% Anonymous:2004:FCh,% Anonymous:2004:IFCa,% Anonymous:2004:IFCb,% Anonymous:2004:IFCc,% Anonymous:2004:IFCd,% Anonymous:2004:IFCe,% Anonymous:2004:IFCf,% Anonymous:2004:IFCg,% Anonymous:2004:IFCh,% Anonymous:2005:BCa,% Anonymous:2005:BCb,% Anonymous:2005:BCc,% Anonymous:2005:BCd,% Anonymous:2005:BCe,% Anonymous:2005:BCf,% Anonymous:2005:BCg,% Anonymous:2005:BCh,% Anonymous:2005:BCi,% Anonymous:2005:BCj,% Anonymous:2005:BCk,% Anonymous:2005:BCl,% Anonymous:2005:FCa,% Anonymous:2005:FCb,% Anonymous:2005:FCc,% Anonymous:2005:FCd,% Anonymous:2005:FCe,% Anonymous:2005:FCf,% Anonymous:2005:FCg,% Anonymous:2005:FCh,% Anonymous:2005:FCi,% Anonymous:2005:FCj,% Anonymous:2005:FCk,% Anonymous:2005:FCl,% Anonymous:2005:IFCa,% Anonymous:2005:IFCb,% Anonymous:2005:IFCc,% Anonymous:2005:IFCd,% Anonymous:2005:IFCe,% Anonymous:2005:IFCf,% Anonymous:2005:IFCg,% Anonymous:2005:IFCh,% Anonymous:2005:IFCi,% Anonymous:2005:IFCj,% Anonymous:2005:IFCk,% Anonymous:2005:IFCl,% Anonymous:2006:BCa,% Anonymous:2006:BCb,% Anonymous:2006:BCc,% Anonymous:2006:BCd,% Anonymous:2006:BCe,% Anonymous:2006:BCf,% Anonymous:2006:BCg,% Anonymous:2006:BCh,% Anonymous:2006:BCi,% Anonymous:2006:BCj,% Anonymous:2006:BCk,% Anonymous:2006:BCl,% Anonymous:2006:FCa,% Anonymous:2006:FCb,% Anonymous:2006:FCc,% Anonymous:2006:FCd,% Anonymous:2006:FCe,% Anonymous:2006:FCf,% Anonymous:2006:FCg,% Anonymous:2006:FCh,% Anonymous:2006:FCi,% Anonymous:2006:FCj,% Anonymous:2006:FCk,% Anonymous:2006:FCl,% Anonymous:2006:IFCa,% Anonymous:2006:IFCb,% Anonymous:2006:IFCc% }. \NAMECITE{cover}{% Anonymous:2006:IFCd,% Anonymous:2006:IFCe,% Anonymous:2006:IFCf,% Anonymous:2006:IFCg,% Anonymous:2006:IFCh,% Anonymous:2006:IFCi,% Anonymous:2006:IFCj,% Anonymous:2006:IFCk,% Anonymous:2006:IFCl,% Anonymous:2007:BCa,% Anonymous:2007:BCb,% Anonymous:2007:BCc,% Anonymous:2007:BCd,% Anonymous:2007:BCe,% Anonymous:2007:BCf,% Anonymous:2007:BCg,% Anonymous:2007:BCh,% Anonymous:2007:BCi,% Anonymous:2007:BCj,% Anonymous:2007:BCk,% Anonymous:2007:BCl,% Anonymous:2007:FCa,% Anonymous:2007:FCb,% Anonymous:2007:FCc,% Anonymous:2007:FCd,% Anonymous:2007:FCe,% Anonymous:2007:FCf,% Anonymous:2007:FCg,% Anonymous:2007:FCh,% Anonymous:2007:FCi,% Anonymous:2007:FCj,% Anonymous:2007:FCk,% Anonymous:2007:FCl,% Anonymous:2007:IFCa,% Anonymous:2007:IFCb,% Anonymous:2007:IFCc,% Anonymous:2007:IFCd,% Anonymous:2007:IFCe,% Anonymous:2007:IFCf,% Anonymous:2007:IFCg,% Anonymous:2007:IFCh,% Anonymous:2007:IFCi,% Anonymous:2007:IFCj,% Anonymous:2007:IFCk,% Anonymous:2007:IFCl,% Anonymous:2008:BCa,% Anonymous:2008:BCb,% Anonymous:2008:BCc,% Anonymous:2008:BCd,% Anonymous:2008:BCe,% Anonymous:2008:BCf,% Anonymous:2008:FCa,% Anonymous:2008:FCb,% Anonymous:2008:FCc,% Anonymous:2008:FCd,% Anonymous:2008:FCe,% Anonymous:2008:FCf,% Anonymous:2008:IFCa,% Anonymous:2008:IFCb,% Anonymous:2008:IFCc,% Anonymous:2008:IFCd,% Anonymous:2008:IFCe,% Anonymous:2008:IFCf,% Anonymous:2009:BCa,% Anonymous:2009:BCb,% Anonymous:2009:BCc,% Anonymous:2009:BCd,% Anonymous:2009:BCe,% Anonymous:2009:BCf,% Anonymous:2009:FCa,% Anonymous:2009:FCb,% Anonymous:2009:FCc,% Anonymous:2009:FCd,% Anonymous:2009:FCe,% Anonymous:2009:FCf,% Anonymous:2009:IFCa,% Anonymous:2009:IFCb,% Anonymous:2009:IFCc,% Anonymous:2009:IFCd,% Anonymous:2009:IFCe,% Anonymous:2009:IFCf% }. \NAMECITE{Coverage}{% Andrews:2006:UMA,% Chittimalli:2009:RCI,% McMaster:2008:CSC,% Devanbu:2000:CVT,% Jones:2003:TSR,% Marre:2003:USS% }. \NAMECITE{Covering}{% Yilmaz:2006:CAE% }. \NAMECITE{{CP}}{% Li:2006:CMF% }. \NAMECITE{{CP-Miner}}{% Li:2006:CMF% }. \NAMECITE{craft}{% Havelund:2001:FAS% }. \NAMECITE{Criteria}{% Andrews:2006:UMA,% Rutherford:2008:ETS% }. \NAMECITE{criterion}{% Foss:2003:SSM,% Kelly:2006:SDC% }. \NAMECITE{Critical}{% Cleland-Huang:2008:GCT,% deLeon:2006:HID,% Lutz:2004:EAS,% Pietro:2000:GES% }. \NAMECITE{Cross}{% Kitchenham:2007:CVW% }. \NAMECITE{Crosscutting}{% Eaddy:2008:DCC,% Bruntink:2005:UCD% }. \NAMECITE{Cryptographic}{% Devanbu:2000:CVT% }. \NAMECITE{{CSDP}}{% Anonymous:2008:ICSc% }. \NAMECITE{{CSL}}{% Donatelli:2009:MCT% }. \NAMECITE{{CTK}}{% Silva:2001:CCO% }. \NAMECITE{{CTTE}}{% Mori:2002:CSD% }. \NAMECITE{currencies}{% Camp:2001:AGP% }. \NAMECITE{Current}{% Perry:2000:CTEa,% Perry:2000:CTEb% }. \NAMECITE{customer}{% Succi:2001:AES% }. \NAMECITE{customizable}{% Dillon:2003:IGC% }. \NAMECITE{Cycle}{% Agrawal:2007:SEQ,% Nan:2009:IBS% }. \NAMECITE{cycles}{% Siegel:2002:IPI% }. \NAMECITE{Data}{% Basit:2009:DMA,% Demsky:2006:GDR,% Desmet:2008:PPA,% Duraes:2006:ESF,% Halle:2009:SVD,% Hamill:2009:CTS,% Kemerer:2009:IDC,% Kuncak:2006:MPA,% Menzies:2007:DMS,% Menzies:2007:PPR,% Zhang:2007:CDM,% Atkins:2002:UVC,% Baumstark:2005:RSI,% Braunl:2000:PIA,% Eick:2001:DCD,% Elbaum:2005:LUS,% Freimut:2005:DIC,% Gu:2000:EIA,% Jorgensen:2004:RSE,% Kitchenham:2001:MSM,% Little:2003:PII,% Michael:2001:GST,% Murata:2000:HIH,% Myrtveit:2001:ADS,% Nyland:2000:DMD,% Shepperd:2001:PSD,% Shin:2000:EDM,% Strike:2001:SCE,% Tian:2002:BRA,% Tian:2004:EWS,% Wang:2004:BBS,% Wang:2005:SPS,% Yen:2001:DMI% }. \NAMECITE{Data-Aware}{% Halle:2009:SVD% }. \NAMECITE{data-flow}{% Gu:2000:EIA% }. \NAMECITE{data-parallel}{% Nyland:2000:DMD% }. \NAMECITE{data-structures}{% Wang:2005:SPS% }. \NAMECITE{database}{% Hwang:2004:CTT,% Hwang:2004:TTN% }. \NAMECITE{Datatypes}{% Attiogbe:2007:FTE% }. \NAMECITE{{DBM}}{% Carnevali:2009:SDF% }. \NAMECITE{Deadline}{% Brylow:2004:DAI% }. \NAMECITE{deadlock}{% Wu:2002:EDD% }. \NAMECITE{Deadlocks}{% Mitchell:2008:CCC,% Lee:2004:FCD,% Villadangos:2003:SAR% }. \NAMECITE{Debugging}{% Liu:2006:SDH,% Chen:2001:RDU,% Xie:2003:SEI% }. \NAMECITE{Decay}{% Haider:2008:EDB,% Eick:2001:DCD% }. \NAMECITE{decision}{% Chavez:2000:DAS,% Jones:2003:TSR% }. \NAMECITE{decision-analytic}{% Chavez:2000:DAS% }. \NAMECITE{decisions}{% Egyed:2006:SMD% }. \NAMECITE{decomposition}{% Tonella:2003:UCL,% Wang:2005:AAO% }. \NAMECITE{decorate}{% Bratthall:2002:IPD% }. \NAMECITE{deep}{% Sawyer:2005:SKA% }. \NAMECITE{def}{% Souter:2003:CCD% }. \NAMECITE{def-use}{% Souter:2003:CCD% }. \NAMECITE{Defect}{% Haider:2008:EDB,% Koru:2009:IFF,% Lessmann:2008:BCM,% Menzies:2007:DMS,% Menzies:2007:PPR,% Vokac:2004:DFD,% Zhang:2007:CDM,% Biffl:2003:IDD,% Briand:2000:CEC,% Padberg:2004:UML,% Song:2006:SDA% }. \NAMECITE{Defects}{% Eaddy:2008:DCC,% Haider:2008:EDB,% Mantyla:2009:WTD,% Subramanyam:2003:EAC% }. \NAMECITE{defined}{% Teruel:2003:WDG% }. \NAMECITE{Defining}{% Jilani:2001:DAM% }. \NAMECITE{definition}{% Boute:2000:SFD,% Briand:2002:OPG% }. \NAMECITE{Degradation}{% Yilmaz:2007:RES% }. \NAMECITE{Delay}{% Juan:2001:RMR,% Lee:2001:BCR% }. \NAMECITE{delegated}{% Arisholm:2004:EED% }. \NAMECITE{Deliberate}{% Hannay:2008:RDA% }. \NAMECITE{delivery}{% Murphy:2002:TMU% }. \NAMECITE{Delta}{% dAmorim:2008:DEE% }. \NAMECITE{{DeMIMA}}{% Gueheneuc:2008:DMA% }. \NAMECITE{Dense}{% Vicario:2009:USS,% Wang:2006:TIA% }. \NAMECITE{Dense-Time}{% Vicario:2009:USS,% Wang:2006:TIA% }. \NAMECITE{Density}{% Carnevali:2009:SDF% }. \NAMECITE{Dependability}{% Bode:2009:CDE,% Bobbio:2003:PFT,% Maxion:2000:EEH,% Wang:2005:AAO,% Whisnant:2004:EAB% }. \NAMECITE{dependable}{% Murphy:2002:TMU% }. \NAMECITE{Dependence}{% Chang:2008:DNC,% Binkley:2004:AVP% }. \NAMECITE{Dependencies}{% Cataldo:2009:SDW,% Desmet:2008:PPA,% deLeon:2006:HID% }. \NAMECITE{dependency}{% Egyed:2003:SDA% }. \NAMECITE{dependent}{% Berling:2003:EEM,% Cabri:2002:EMA,% Chae:2004:ICM,% Vicario:2001:SAD% }. \NAMECITE{Deployed}{% Haran:2007:TCE,% Elbaum:2005:PDS% }. \NAMECITE{deployment}{% Ben-Shaul:2001:DAD,% Zheng:2006:MMC% }. \NAMECITE{derive}{% Rauber:2000:TAD% }. \NAMECITE{description}{% Braberman:2005:SMA,% Medvidovic:2000:CCF,% Ravindran:2002:EDR% }. \NAMECITE{descriptions}{% Mori:2004:DDM% }. \NAMECITE{Design}{% Adve:2000:PEE,% Anderson:2003:DIF,% Barak:2006:IHS,% Bartoletti:2008:SBD,% Batory:2000:DWV,% Caporuscio:2003:DES,% Capra:2008:ESR,% Dong:2007:VDP,% Gueheneuc:2008:DMA,% Hannay:2008:RDA,% Holzmann:2007:DME,% Kemerer:2009:IDC,% LeTraon:2006:DCI,% Liu:2005:DLP,% Lui:2008:EPP,% Makaroff:2001:DIV,% Mangeruca:2007:SPD,% Mori:2004:DDM,% Sun:2006:DSI,% Tsantalis:2006:DPD,% Yen:2001:DMI,% Zhang:2001:DCA,% Zhou:2006:EAO,% Bandi:2003:PMP,% Bansiya:2002:HMO,% Bederson:2004:TDI,% Berling:2003:EEM,% Bratthall:2002:IPD,% Briand:2001:MDE,% Casati:2000:UPD,% Chatzigeorgiou:2003:MAO,% Desai:2005:IPD,% Egyed:2006:SMD,% Gorlatch:2000:TFB,% Hou:2006:USS,% Hsiung:2004:VAF,% Kelly:2006:SDC,% Marchand:2000:IDP,% Menasce:2000:MDP,% Mills:2002:KBA,% Mok:2004:STC,% Mori:2002:CSD,% Murphy:2001:SRM,% Nyland:2000:DMD,% Prechelt:2001:CEM,% Prechelt:2002:TCE,% Subramanyam:2003:EAC,% Tan:2006:STF,% Vitharana:2003:KBR,% Vokac:2004:DFD,% Wang:2006:TCM,% Xing:2005:AEH,% Xu:2003:FMB% }. \NAMECITE{Design-level}{% Liu:2005:DLP% }. \NAMECITE{design-time}{% Egyed:2006:SMD% }. \NAMECITE{Designing}{% Litoiu:2000:DPR,% Pelliccione:2009:CFD% }. \NAMECITE{designs}{% Briand:2001:CEE,% Chechik:2001:AAC,% Jiau:2006:CAA% }. \NAMECITE{detect}{% Chen:2002:EDO,% Godfrey:2005:UOA% }. \NAMECITE{Detecting}{% Basit:2009:DMA,% Kshemkalyani:2007:DAS,% Lakhotia:2005:MDO% }. \NAMECITE{Detection}{% Bellon:2007:CEC,% Jeffrey:2007:IFD,% Tsantalis:2006:DPD,% VanRompaey:2007:DTS,% Alagar:2001:TTS,% Bailey:2003:ADD,% Biffl:2003:IDD,% Bruntink:2005:UCD,% Fetzer:2004:ADM,% Healy:2002:ADE,% Kamiya:2002:CMT,% Lee:2004:FCD,% Littlewood:2000:MEC,% Memon:2005:SFD,% Zheng:2006:VSA% }. \NAMECITE{determinants}{% Gopal:2002:MPS% }. \NAMECITE{Determining}{% Freimut:2005:DIC,% Murtojarvi:2007:DPN% }. \NAMECITE{Developed}{% Anda:2009:VRS,% Olague:2007:EVT% }. \NAMECITE{developer}{% Riemenschneider:2002:ESD% }. \NAMECITE{Developers}{% Ko:2006:ESH,% Storey:2009:HSD,% Robillard:2004:HED% }. \NAMECITE{developing}{% Moon:2005:ADD,% Mori:2002:CSD,% Ocampo:2003:TRP% }. \NAMECITE{Development}{% Benaroch:2009:IEO,% Beydoun:2009:FGM,% Capra:2008:ESR,% Jorgensen:2007:SRS,% Li:2008:SPS,% Mattsson:2009:LMD,% Nan:2009:IBS,% Olague:2007:EVT,% Wing:2000:SIF,% Balsamo:2004:MBP,% Berry:2003:CFM,% Bolognesi:2000:TCO,% Briand:2001:MDE,% Briand:2005:EIF,% Cubranic:2005:HPM,% Cugola:2001:JEB,% Dinh-Trong:2005:FPR,% Dunsmore:2003:DET,% Gopal:2002:MPS,% Haxthausen:2000:FDV,% Herbsleb:2003:ESS,% Jorgensen:2005:EBG,% Julien:2006:EFR,% Kao:2003:CQP,% Luqi:2004:DDD,% Molokken-Ostvold:2005:CSP,% Mori:2004:DDM,% Morisio:2002:QPL,% Pendharkar:2005:PMP,% Perry:2002:RII,% Roberts:1998:FII,% Roberts:2001:RCF,% Ropponen:2000:CSD,% Sauer:2000:ESD,% Selby:2005:ERB,% Sobel:2002:FMA,% Teasley:2002:RSD,% Xie:2003:SEI,% Yadav:2001:CFI,% Sobel:2003:RCF% }. \NAMECITE{Diagnosing}{% Lee:2000:DRS% }. \NAMECITE{diagnosis}{% Bailey:2003:ADD,% Xu:2003:TBD% }. \NAMECITE{Diagrams}{% Attiogbe:2007:FTE,% Briand:2006:TRE,% Mitchell:2008:CCC,% Eshuis:2004:TSV,% Hendrix:2002:CEC,% Hendrix:2002:ECS,% Hungerford:2004:RSD,% Milicev:2002:AMT% }. \NAMECITE{diamonds}{% Barbier:2003:CAB% }. \NAMECITE{{Diff}}{% Xing:2007:AES% }. \NAMECITE{Differencing}{% Fluri:2007:CDT% }. \NAMECITE{different}{% Alshayeb:2003:EVO% }. \NAMECITE{Differential}{% Elbaum:2009:CRD% }. \NAMECITE{Digital}{% Anonymous:2007:AICa,% Anonymous:2007:AICb% }. \NAMECITE{dimensional}{% Marongiu:2000:AMS% }. \NAMECITE{Directed}{% Demsky:2006:GDR% }. \NAMECITE{Disaggregating}{% Baik:2002:DCC% }. \NAMECITE{Disclosure}{% Cavusoglu:2007:EVD% }. \NAMECITE{Discovered}{% Mantyla:2009:WTD% }. \NAMECITE{Discovering}{% Chang:2008:DNC,% Henkel:2007:DDJ,% Henkel:2008:EDD,% Schmerl:2006:DAR,% Ernst:2001:DDL% }. \NAMECITE{Discrete}{% Kemper:2009:ATA% }. \NAMECITE{Discrete-Event}{% Kemper:2009:ATA% }. \NAMECITE{Disruptive}{% Vandewoude:2007:TLD% }. \NAMECITE{Disseminate}{% Cavusoglu:2007:EVD% }. \NAMECITE{distance}{% Jilani:2001:DAM% }. \NAMECITE{Distilling}{% Fluri:2007:CDT% }. \NAMECITE{distinguishing}{% Zhang:2003:OTT% }. \NAMECITE{Distributed}{% Briand:2006:TRE,% Damian:2008:NMM,% Kounev:2006:PME,% Pickin:2007:TSU,% Porter:2007:SPI,% Rutherford:2008:ETS,% Yilmaz:2007:RES,% Ben-Shaul:2001:DAD,% Bowman:2000:SPS,% Buchs:2000:FSF,% Chen:2002:EDO,% Glasser:2004:ACM,% Haxthausen:2000:FDV,% Herbsleb:2003:ESS,% Holzmann:2002:AVM,% Hrischuk:2002:LCR,% Khoumsi:2002:TAT,% Lee:2004:FCD,% Malek:2005:SAA,% Marongiu:2000:AMS,% Miller:2004:GMP,% Ravindran:2002:EDR,% Stankovic:2002:DPP,% Wu:2002:EDD% }. \NAMECITE{Distribution}{% Zhang:2008:DSF% }. \NAMECITE{Distributions}{% Andersson:2007:RQA,% Hatton:2009:PLD% }. \NAMECITE{diverse}{% Dunsmore:2003:DET,% Littlewood:2000:MEC,% Popov:2003:EBR% }. \NAMECITE{Diversity}{% vanderMeulen:2008:ESD,% Littlewood:2000:UPD% }. \NAMECITE{Do}{% Eaddy:2008:DCC% }. \NAMECITE{Documentation}{% Henkel:2007:DDJ,% Henkel:2008:EDD,% Luqi:2004:DDD,% Antoniol:2002:RTL,% Arisholm:2006:IUD,% Prechelt:2002:TCE% }. \NAMECITE{documents}{% Laitenberger:2001:IRQ% }. \NAMECITE{Does}{% Eick:2001:DCD% }. \NAMECITE{Domain}{% Botting:2005:SET,% Cuadrado:2009:MBA,% DeLoach:2000:TBR,% Evermann:2005:TFD,% Horvath:2002:TDA,% Moon:2005:ADD% }. \NAMECITE{Domain-Specific}{% Cuadrado:2009:MBA% }. \NAMECITE{Domains}{% Carnevali:2009:SDF% }. \NAMECITE{dominance}{% Shaw:2003:MDR% }. \NAMECITE{Driven}{% Escalona:2008:NMD,% Lodi:2007:SDC,% Mattsson:2009:LMD,% Briand:2002:OPG,% Brylow:2004:DAI,% Egyed:2003:SDA,% Luqi:2004:DDD,% Nebut:2006:ATG,% Xu:2006:TDM% }. \NAMECITE{dual}{% Baden:2000:PMD% }. \NAMECITE{dual-tier}{% Baden:2000:PMD% }. \NAMECITE{Dup}{% Baker:2007:FCD% }. \NAMECITE{during}{% Jeffrey:2007:IFD,% Ko:2006:ESH,% Lutz:2004:EAS,% Sillito:2008:AAQ% }. \NAMECITE{Dynamic}{% Arisholm:2004:DCM,% Ben-Shaul:2001:DAD,% Chuang:2008:DQA,% Cornelissen:2009:SSP,% Hearty:2009:PPV,% Vandewoude:2007:TLD,% Cheng:2002:FID,% Diaz:2001:MDB,% Mock:2005:PSD,% Mookerjee:2002:DCP,% Ravindran:2002:EDR,% Sherman:2003:KEL,% Vicario:2001:SAD% }. \NAMECITE{Dynamically}{% Ernst:2001:DDL% }. \NAMECITE{e-commerce}{% Avritzer:2004:RMP,% Zou:2007:IUC% }. \NAMECITE{{e-Transactions}}{% Frolund:2002:TEE% }. \NAMECITE{Eager}{% VanRompaey:2007:DTS% }. \NAMECITE{early}{% Sawyer:2005:SKA% }. \NAMECITE{Economic}{% Benaroch:2009:IEO% }. \NAMECITE{{ED}}{% Haider:2008:EDB% }. \NAMECITE{{Editor}}{% Anonymous:2005:EAE,% Atkins:2002:UVC,% Griswold:2003:GEI,% Hassan:2005:GEI,% Knight:2005:ENAa,% Knight:2006:ENE,% Kramer:2006:EMN,% Kramer:2008:ENAa,% Rothermel:2005:GEI,% Wohlin:2001:GEI,% vanDeursen:2005:GEI% }. \NAMECITE{{Editor-in-Chief}}{% Kramer:2006:EMN,% Knight:2006:ENE% }. \NAMECITE{Editorial}{% Andrews:2001:E,% Andrews:2002:ENE,% Anonymous:2004:ENA,% Anonymous:2005:EAE,% Anonymous:2005:ESJ,% Anonymous:2007:ENA,% Ball:2004:EAI,% Harman:2005:GES,% Knight:2002:E,% Knight:2003:ENA,% Knight:2004:EAF,% Knight:2004:EAIa,% Knight:2004:EAIb,% Knight:2004:EST,% Knight:2005:ENAa,% Knight:2005:ENAb,% Knight:2006:ENE,% Kramer:2006:EMN,% Kramer:2006:ENAb,% Kramer:2007:ESJ,% Kramer:2008:ENAa,% Kramer:2008:ENAb,% Kramer:2009:ENA,% Kramer:2009:ESJ,% Uchitel:2005:GES,% Kramer:2006:ENAa% }. \NAMECITE{Editors}{% Anonymous:2007:ENA,% Anonymous:2008:SJS,% Knight:2005:ENAb,% Kramer:2006:ENAa,% Kramer:2006:ENAb,% Kramer:2008:ENAb,% Kramer:2009:ENA,% Binkley:2007:GEI,% Canfora:2003:GEI,% Canfora:2009:GEI,% Cheng:2000:GEI,% Cheng:2000:WSP,% Devanbu:2000:GEI,% Dillon:2004:GEI,% Elbaum:2008:GEI,% Favre:2009:GEI,% Franceschinis:2006:GEI,% Griswold:2006:GEI,% Gyimothy:2006:GEI,% Harrold:2002:GEI,% Harrold:2003:GEI,% Hillston:2009:GEI,% Kramer:2001:GEI,% McDaniel:2008:GEI,% Morisio:2003:GEI,% Talia:2000:GEIa,% Talia:2000:GEIb% }. \NAMECITE{Educational}{% Carver:2008:IEB% }. \NAMECITE{Effect}{% Lui:2008:EPP,% Zhou:2009:EPC,% Arisholm:2004:EED,% ElEmam:2001:CEC,% Evanco:2003:CCE,% Xie:2003:SEI% }. \NAMECITE{Effective}{% Dig:2008:ESM,% Masood:2009:SET,% King:2000:PMC,% Lum:2003:UCC,% Robillard:2004:HED% }. \NAMECITE{Effectiveness}{% Carver:2008:IEB,% vanderMeulen:2008:ESD,% Biffl:2003:IDD,% Erdogmus:2005:ETF,% Freimut:2005:DIC,% Hendrix:2002:CEC,% Hendrix:2002:ECS,% Koopman:2000:EHE,% Memon:2005:SFD,% Sauer:2000:ESD% }. \NAMECITE{Effects}{% Whisnant:2004:EAB,% Yilmaz:2007:RES,% Dolado:2003:EII,% Littlewood:2000:MEC,% Prechelt:2001:EME,% Succi:2001:AES% }. \NAMECITE{Efficiency}{% Cavusoglu:2007:EVD,% Shinjo:2005:AEP% }. \NAMECITE{Efficient}{% Berling:2003:EEM,% Beyer:2005:ERC,% Casale:2009:CEC,% Gu:2000:EIA,% Kshemkalyani:2007:DAS,% Kuo:2003:EOS,% Shen:2009:ESA,% dAmorim:2008:DEE,% Chen:2002:EDO,% Gilmore:2001:EAA,% Iyer:2001:ATE,% Kang:2000:ESS,% Rauber:2000:TAD,% Wu:2002:EDD,% Yilmaz:2006:CAE% }. \NAMECITE{Effort}{% Agrawal:2007:SEQ,% Capra:2008:ESR,% Jorgensen:2009:ILL,% Mendes:2008:BNM,% Menzies:2006:SBP,% Nan:2009:IBS,% Briand:2001:MDE,% Fioravanti:2001:EPM,% Hastings:2001:VBA,% Jorgensen:2004:RAE,% Jorgensen:2004:RSE,% Pendharkar:2005:PMP,% Smith:2001:ESU,% Song:2006:SDA% }. \NAMECITE{{EFSM}}{% Petrenko:2004:CCE% }. \NAMECITE{{EgoSpaces}}{% Julien:2006:EFR% }. \NAMECITE{{EIC}}{% Andrews:2002:ENE% }. \NAMECITE{Electronic}{% Dingsoyr:2008:IEP,% Mok:2004:STC% }. \NAMECITE{Elements}{% Hannay:2008:RDA% }. \NAMECITE{elicitation}{% Cysneiros:2004:NRE% }. \NAMECITE{Eliciting}{% Juristo:2007:GEU% }. \NAMECITE{Eliminating}{% Maxion:2000:EEH,% Siegel:2002:IPI% }. \NAMECITE{Embedded}{% Cuadrado:2009:MBA,% Mangeruca:2007:SPD,% Saougkos:2007:RJB,% Hsiung:2004:VAF,% Janka:2002:VBM,% Kim:2004:SRA,% Konrad:2004:OAP,% Stewart:2003:TAF,% Wang:2006:TCM% }. \NAMECITE{{EMERALDS}}{% Zuberi:2001:ESM% }. \NAMECITE{Empirical}{% Capra:2008:ESR,% Carver:2008:IEB,% Damian:2006:ESC,% Do:2006:UMF,% Dzidek:2008:REE,% Gyimothy:2005:EVO,% Harrold:2001:ESP,% Kemerer:2009:IDC,% Lutz:2004:EAS,% Masri:2007:EST,% Olague:2007:EVT,% Pai:2007:EAS,% Rovegaard:2008:ESV,% Shin:2000:EDM,% Subramanyam:2003:EAC,% Telang:2007:EAI,% Zhou:2006:EAO,% Alshayeb:2003:EVO,% Berry:2003:CFM,% Cartwright:2000:EIO,% Dolado:2003:EII,% Dyba:2005:EIK,% Elbaum:2002:TCP,% Ernst:2002:EAC,% Herbsleb:2003:ESS,% Jorgensen:2004:ESS,% Kitchenham:2002:PGE,% Maxion:2000:EEH,% Myrtveit:2001:ADS,% Paulson:2004:ESO,% Singer:2002:EIE,% Smith:2001:ESU,% Sobel:2002:FMA,% Sobel:2003:RCF,% Tonella:2005:RAI,% Vitharana:2003:CMG,% Vitharana:2003:KBR,% Vokac:2004:DFD% }. \NAMECITE{empirically}{% Seaman:2003:UIE% }. \NAMECITE{empirically-based}{% Seaman:2003:UIE% }. \NAMECITE{Employee}{% Dingsoyr:2008:IEP% }. \NAMECITE{employing}{% Jalote:2002:OCL% }. \NAMECITE{Emulation}{% Duraes:2006:ESF% }. \NAMECITE{Enabling}{% Selby:2005:ERB% }. \NAMECITE{End}{% Adve:2000:PEE,% Damas:2005:GAB,% Frolund:2002:TEE% }. \NAMECITE{End-to-End}{% Adve:2000:PEE,% Frolund:2002:TEE% }. \NAMECITE{end-user}{% Damas:2005:GAB% }. \NAMECITE{Ends}{% Milicev:2007:SAA% }. \NAMECITE{Engineering}{% Anda:2009:VRS,% Anonymous:2003:SSI,% Anonymous:2007:CPS,% Anonymous:2008:CPS,% Antkiewicz:2009:EFS,% Atkinson:2009:FIM,% Briand:2006:TRE,% Cabri:2002:EMA,% Damian:2006:ESC,% Devanbu:2008:ISS,% Dillon:2004:GEI,% Favre:2009:GEI,% Griswold:2006:GEI,% Haley:2008:SRE,% Hall:2008:POS,% Hannay:2007:SRT,% Hannay:2008:RDA,% Haran:2007:TCE,% McDaniel:2008:GEI,% Moody:2009:PNT,% Napier:2009:CPP,% Ravindran:2002:EDR,% Spiekermann:2009:EP,% Vegas:2009:MSE,% Wang:2006:TIA,% Zachariadis:2006:SCS,% vanDeursen:2005:GEI,% Bhatti:2006:XFP,% Boute:2000:SFD,% Broy:2001:TMF,% Harrold:2003:GEI,% Hrischuk:2002:LCR,% Kitchenham:2002:PGE,% Kramer:2001:GEI,% Lanza:2003:PVL,% Li:2003:RSE,% Morisio:2003:GEI,% Niemela:2005:TAK,% Parsons:2004:CHS,% Sawyer:2005:SKA,% Shin:2000:EDM,% Singer:2002:EIE,% Sjoeberg:2005:SCE,% Snavely:2005:UUU,% vanLamsweerde:2000:HOG,% Griswold:2003:GEI,% Anonymous:2004:CPI,% Anonymous:2004:ITSa,% Anonymous:2004:ITSb,% Anonymous:2004:ITSc,% Anonymous:2004:ITSd,% Anonymous:2004:ITSe,% Anonymous:2004:ITSf% }. \NAMECITE{Enhanced}{% Franks:2009:EMS,% Neumann:2002:ENN% }. \NAMECITE{Enhancing}{% Kistijantoro:2008:EAS,% Traore:2004:ESR% }. \NAMECITE{Ensuring}{% Vandewoude:2007:TLD% }. \NAMECITE{entities}{% Godfrey:2005:UOA% }. \NAMECITE{Entropy}{% Dai:2007:UAS% }. \NAMECITE{environment}{% Kadamuddi:2000:CAP,% Ruthruff:2006:IFL,% Succi:2001:AES,% Whisnant:2004:EAB,% Zhang:2001:DCA% }. \NAMECITE{Environments}{% Saougkos:2007:RJB,% Batory:2000:DWV,% Milicev:2002:AMT,% Wong:2004:XMS% }. \NAMECITE{Epidemiological}{% Antoniol:2006:FIE% }. \NAMECITE{equational}{% Lee:2004:ORT% }. \NAMECITE{equations}{% Marongiu:2000:AMS% }. \NAMECITE{Equipped}{% Attiogbe:2007:FTE% }. \NAMECITE{{ERP}}{% Stensrud:2003:IHP% }. \NAMECITE{Errata}{% Henkel:2008:EDD% }. \NAMECITE{error}{% Jorgensen:2004:RSE% }. \NAMECITE{Errors}{% Botting:2005:SET,% Maxion:2000:EEH,% Xie:2003:URF% }. \NAMECITE{establishment}{% Sherman:2003:KEL% }. \NAMECITE{estimate}{% Lei:2003:ESN% }. \NAMECITE{Estimating}{% Popov:2003:EBR,% Briand:2000:CEC,% Lai:2003:MES,% Padberg:2004:UML% }. \NAMECITE{Estimation}{% Fioravanti:2001:EPM,% Haider:2008:EDB,% Jorgensen:2007:SRS,% Jorgensen:2009:ILL,% Keung:2008:AXP,% Kitchenham:2007:CVW,% Menzies:2006:SBP,% Zheng:2008:PME,% Auer:2006:OPF,% Baghdadi:2002:CPE,% Costagliola:2005:CPA,% Dolado:2000:VCB,% Hastings:2001:VBA,% Huang:2003:USS,% Jorgensen:2004:RAE,% Jorgensen:2004:RSE,% Rallis:2001:RES,% Smith:2001:ESU,% Strike:2001:SCE% }. \NAMECITE{Ethical}{% Singer:2002:EIE% }. \NAMECITE{evaluate}{% Atkins:2002:UVC% }. \NAMECITE{Evaluating}{% Arisholm:2004:EED,% Arisholm:2007:EPP,% ElEmam:2001:ECR,% Rutherford:2008:ETS,% Tian:2004:EWS,% Tomer:2004:ESR,% Briand:2001:CEE% }. \NAMECITE{Evaluation}{% Bellon:2007:CEC,% Bode:2009:CDE,% Casale:2009:CEC,% Dzidek:2008:REE,% Franceschinis:2006:GEI,% Gallagher:2008:SAV,% Halfond:2008:WPW,% Hillston:2009:GEI,% Kounev:2006:PME,% Lei:2003:ESN,% Vicario:2009:USS,% Arisholm:2006:IUD,% Berling:2003:EEM,% Briand:2000:CEC,% Caporuscio:2003:DES,% Dunsmore:2003:DET,% Foss:2003:SSM,% Myrtveit:2001:ADS,% Nottegar:2001:PEM,% Seaman:2003:UIE% }. \NAMECITE{Event}{% Cleland-Huang:2003:EBT,% Kemper:2009:ATA,% Cugola:2001:JEB% }. \NAMECITE{Event-based}{% Cleland-Huang:2003:EBT,% Cugola:2001:JEB% }. \NAMECITE{events}{% Mok:2004:STC% }. \NAMECITE{Evidence}{% Jorgensen:2005:EBG,% Eick:2001:DCD% }. \NAMECITE{Evidence-based}{% Jorgensen:2005:EBG% }. \NAMECITE{Evolution}{% Binkley:2007:GEI,% DAmbros:2009:VCC,% Gyimothy:2006:GEI,% Harman:2005:GES,% Xing:2007:AES,% Anton:2003:FPE,% Ernst:2001:DDL,% Michael:2001:GST,% Seaman:2003:UIE% }. \NAMECITE{evolutionary}{% Cleland-Huang:2003:EBT,% Xing:2005:AEH% }. \NAMECITE{Evolving}{% Yilmaz:2007:RES,% Kelly:2006:SDC,% Memon:2005:SFD% }. \NAMECITE{Examining}{% Zhou:2009:EPC% }. \NAMECITE{Example}{% Littlewood:2007:UMA% }. \NAMECITE{Examples}{% Holmes:2006:ASC% }. \NAMECITE{Exception}{% Burnett:2000:EHS,% Hagen:2000:EHW,% Borger:2000:PMS,% Buhr:2000:AEH,% Fetzer:2004:ADM,% Koopman:2000:EHE,% Maxion:2000:EEH,% Miller:2004:GMP,% Perry:2000:CTEa,% Perry:2000:CTEb,% Sinha:2000:ATP% }. \NAMECITE{exceptions}{% Chatterjee:2001:CPA% }. \NAMECITE{executables}{% Snavely:2005:UUU% }. \NAMECITE{Execution}{% Poshyvanyk:2007:FLU,% dAmorim:2008:DEE,% Baumstark:2005:RSI,% Malkhi:2000:SEJ,% Pietro:2000:GES% }. \NAMECITE{Executions}{% Haran:2007:TCE% }. \NAMECITE{Exercising}{% Masri:2007:EST% }. \NAMECITE{exhaustive}{% Coppit:2005:SAB% }. \NAMECITE{Existing}{% Binkley:2006:TSR,% Mendonca:2000:VAI% }. \NAMECITE{Experience}{% Weyuker:2000:EPT,% Seaman:2003:UIE% }. \NAMECITE{Experiment}{% Baker:2007:FCD,% Bratthall:2002:IPD,% Briand:2001:CEE,% Prechelt:2001:CEM,% Prechelt:2001:EME% }. \NAMECITE{experimental}{% Arisholm:2006:IUD,% Briand:2005:EIF,% Darcy:2005:SCS,% Laitenberger:2001:IRQ,% Thelin:2003:ECU% }. \NAMECITE{experimenting}{% Peleg:2000:MMP% }. \NAMECITE{Experiments}{% Hannay:2007:SRT,% Hannay:2008:RDA,% Briand:2004:AIS,% Prechelt:2002:TCE,% Sjoeberg:2005:SCE% }. \NAMECITE{expert}{% Freimut:2005:DIC,% Li:2003:RSE% }. \NAMECITE{Expertise}{% Arisholm:2007:EPP% }. \NAMECITE{Explaining}{% Riemenschneider:2002:ESD% }. \NAMECITE{exploitation}{% Healy:2002:ADE% }. \NAMECITE{Exploiting}{% Flanagan:2005:EPA,% Costagliola:2006:CMC% }. \NAMECITE{Exploration}{% Schafer:2006:SSE,% dAmorim:2008:DEE,% Gurfinkel:2003:TLQ% }. \NAMECITE{Exploratory}{% Ko:2006:ESH,% Kao:2003:CQP,% Morisio:2002:QPL,% Robillard:2004:HED% }. \NAMECITE{explosion}{% Alagar:2001:TTS,% Stuart:2001:SVB% }. \NAMECITE{extended}{% Milicev:2002:AMT% }. \NAMECITE{extending}{% Parsons:2004:CHS% }. \NAMECITE{Extensible}{% Strein:2007:EMM,% Strein:2007:EMP% }. \NAMECITE{Extension}{% Holzmann:2007:DME% }. \NAMECITE{Extensions}{% Norman:2009:MCP,% Manzoni:2003:IER% }. \NAMECITE{extracted}{% Tian:2004:EWS% }. \NAMECITE{Extracting}{% Parsons:2008:EIC% }. \NAMECITE{Extraction}{% Demsky:2009:AEH,% Fluri:2007:CDT,% Holzmann:2002:AVM,% Jackson:2001:LEO% }. \NAMECITE{facilitating}{% Julien:2006:EFR% }. \NAMECITE{factorial}{% Berling:2003:EEM% }. \NAMECITE{Factors}{% Roberts:1998:FII,% Yadav:2001:CFI,% Dyba:2005:EIK,% Menzies:2003:MSF,% Morisio:2002:SFF,% Morisio:2003:CMS,% Roberts:2001:RCF% }. \NAMECITE{Failure}{% Hamill:2009:CTS,% Liu:2008:SSF,% Ren:2006:IFC,% Menzies:2003:MSF,% Morisio:2002:SFF,% Morisio:2003:CMS,% Tian:2004:EWS,% Zeller:2002:SIF% }. \NAMECITE{failure-inducing}{% Zeller:2002:SIF% }. \NAMECITE{Failures}{% Cataldo:2009:SDW,% Fenton:2000:QAF% }. \NAMECITE{Families}{% Cuadrado:2009:MBA% }. \NAMECITE{family}{% Elbaum:2002:TCP% }. \NAMECITE{{FAML}}{% Beydoun:2009:FGM% }. \NAMECITE{Farewell}{% Anonymous:2005:EAE,% Knight:2004:EAF,% Knight:2004:EAIa,% Knight:2003:ENA% }. \NAMECITE{Fast}{% Lee:2004:FCD% }. \NAMECITE{Fault}{% Andersson:2007:RQA,% Hamill:2009:CTS,% Jeffrey:2007:IFD,% Marcus:2008:UCC,% Olague:2007:EVT,% Pai:2007:EAS,% Bobbio:2003:PFT,% Briand:2002:AAF,% Delgado:2004:TCR,% Graves:2000:PFI,% Gyimothy:2005:EVO,% Kuhn:2004:SFI,% Littlewood:2000:MEC,% Memon:2005:SFD,% Pike:2006:NIA,% Rushby:1999:SFV,% Ruthruff:2006:IFL,% Yilmaz:2006:CAE,% Zheng:2006:VSA% }. \NAMECITE{fault-detection}{% Memon:2005:SFD% }. \NAMECITE{Fault-Proneness}{% Olague:2007:EVT,% Briand:2002:AAF% }. \NAMECITE{fault-tolerant}{% Pike:2006:NIA,% Rushby:1999:SFV% }. \NAMECITE{Faults}{% Do:2006:UMF,% Duraes:2006:ESF,% Zhang:2008:DSF,% Zhou:2006:EAO,% Bailey:2003:ADD,% Fenton:2000:QAF,% Mosse:2003:NRT,% Ostrand:2005:PLN% }. \NAMECITE{Feature}{% Antoniol:2006:FIE,% Apel:2008:AFM,% Poshyvanyk:2007:FLU,% Auer:2006:OPF% }. \NAMECITE{features}{% Bojic:2004:ALF,% Eisenbarth:2003:LFS% }. \NAMECITE{{FEDERATE}}{% Bhatti:2006:XFP% }. \NAMECITE{federated}{% Bhatti:2006:XFP% }. \NAMECITE{Field}{% Duraes:2006:ESF% }. \NAMECITE{file}{% Andrews:2003:GTR,% Makaroff:2001:DIV% }. \NAMECITE{Filtering}{% Masri:2007:EST% }. \NAMECITE{Filters}{% Zheng:2008:PME% }. \NAMECITE{find}{% Xie:2003:URF% }. \NAMECITE{Finding}{% Baker:2007:FCD,% Weimer:2008:PFS,% Li:2006:CMF,% Williams:2005:AMS% }. \NAMECITE{Findings}{% Lessmann:2008:BCM% }. \NAMECITE{Fine}{% Fluri:2007:CDT,% Anderson:2003:DIF,% Stewart:2003:TAF% }. \NAMECITE{Fine-Grained}{% Fluri:2007:CDT,% Anderson:2003:DIF% }. \NAMECITE{finite}{% Zhang:2003:OTT% }. \NAMECITE{finite-state}{% Zhang:2003:OTT% }. \NAMECITE{Firm}{% Telang:2007:EAI% }. \NAMECITE{First}{% Wing:2000:SIF,% Erdogmus:2005:ETF,% Franceschinis:2006:GEI% }. \NAMECITE{five}{% Riemenschneider:2002:ESD% }. \NAMECITE{Fixture}{% VanRompaey:2007:DTS% }. \NAMECITE{Flexible}{% Ardagna:2007:ASC,% Atkinson:2009:FIM,% DeLine:2001:APM,% DeLine:2001:CAP,% Molokken-Ostvold:2005:CSP,% Tan:2005:CUF% }. \NAMECITE{flow}{% Baghdadi:2002:CPE,% Gu:2000:EIA,% diBlasio:2000:CFA% }. \NAMECITE{Flows}{% Masri:2007:EST% }. \NAMECITE{Fluid}{% Gribaudo:2002:FSP% }. \NAMECITE{flush}{% Gribaudo:2002:FSP% }. \NAMECITE{flush-out}{% Gribaudo:2002:FSP% }. \NAMECITE{{FM}}{% Wing:2000:SIF% }. \NAMECITE{forces}{% Gopal:2005:IIF% }. \NAMECITE{Form}{% Koru:2009:IFF,% Balbo:2002:PFS% }. \NAMECITE{Formal}{% Attiogbe:2007:FTE,% Berry:2003:CFM,% Havelund:2001:FAS,% Haxthausen:2000:FDV,% Heitmeyer:2008:AFM,% Sobel:2002:FMA,% Sobel:2003:RCF,% Wing:2000:SIF,% Antoy:2000:ACI,% Apvrille:2004:TRT,% Bhargavan:2002:VFA,% Binkley:2004:AVP,% Bowman:2000:SPS,% Buchs:2000:FSF,% Cangussu:2002:FMS,% Constant:2007:IFV,% Frey:2002:FSV,% Huang:2003:MMC,% Lai:2003:MES,% Lotz:2000:FSM,% Pike:2006:NIA,% Rushby:1999:SFV,% Stubblebine:2002:ALF,% Xu:2003:FAM% }. \NAMECITE{Formalism}{% Bohnenkamp:2006:MCM% }. \NAMECITE{formality}{% Briand:2005:EIF% }. \NAMECITE{Formalization}{% Barbier:2003:FWP,% Tan:2003:FWP% }. \NAMECITE{Formalizing}{% Botting:2005:SET,% Cheng:2002:FID,% Evermann:2005:TFD% }. \NAMECITE{formally}{% Gorlatch:2000:TFB,% Li:2004:FVA% }. \NAMECITE{formally-based}{% Gorlatch:2000:TFB% }. \NAMECITE{foundation}{% Broy:2001:TMF% }. \NAMECITE{Foundations}{% Anonymous:2003:SSI,% Devanbu:2008:ISS,% Griswold:2003:GEI,% Janicki:2001:FTA,% Prowell:2003:FSB% }. \NAMECITE{Four}{% Anda:2009:VRS% }. \NAMECITE{fractional}{% Berling:2003:EEM% }. \NAMECITE{Fragment}{% Rountev:2004:FCA% }. \NAMECITE{Framework}{% Antkiewicz:2009:EFS,% Gallagher:2008:SAV,% Haley:2008:SRE,% Lessmann:2008:BCM,% Pelliccione:2009:CFD,% Andrade:2004:MFV,% Bhatti:2006:XFP,% Bobbio:2000:MFI,% Buchs:2000:FSF,% Chen:2003:CRF,% Deavours:2002:MFI,% Frey:2002:FSV,% Hsiung:2004:VAF,% Jiau:2004:CSP,% Kao:2003:CQP,% Kim:2004:SRA,% Li:2004:FVA,% Medvidovic:2000:CCF,% Morisio:2002:QPL,% Murata:2000:HIH,% Oliveira:2004:SPR,% Satoh:2003:TFM,% Shull:2000:IRT,% Stankovic:2002:DPP,% Xu:2003:FMB% }. \NAMECITE{framework-based}{% Kao:2003:CQP,% Morisio:2002:QPL% }. \NAMECITE{Framework-Specific}{% Antkiewicz:2009:EFS% }. \NAMECITE{frameworks}{% Mendonca:2000:VAI% }. \NAMECITE{{FreeBSD}}{% Dinh-Trong:2005:FPR% }. \NAMECITE{frequency}{% Vokac:2004:DFD% }. \NAMECITE{Front}{% Anonymous:2004:FCa,% Anonymous:2004:FCb,% Anonymous:2004:FCc,% Anonymous:2004:FCd,% Anonymous:2004:FCe,% Anonymous:2004:FCf,% Anonymous:2004:FCg,% Anonymous:2004:FCh,% Anonymous:2005:FCa,% Anonymous:2005:FCb,% Anonymous:2005:FCc,% Anonymous:2005:FCd,% Anonymous:2005:FCe,% Anonymous:2005:FCf,% Anonymous:2005:FCg,% Anonymous:2005:FCh,% Anonymous:2005:FCi,% Anonymous:2005:FCj,% Anonymous:2005:FCk,% Anonymous:2005:FCl,% Anonymous:2006:FCa,% Anonymous:2006:FCb,% Anonymous:2006:FCc,% Anonymous:2006:FCd,% Anonymous:2006:FCe,% Anonymous:2006:FCf,% Anonymous:2006:FCg,% Anonymous:2006:FCh,% Anonymous:2006:FCi,% Anonymous:2006:FCj,% Anonymous:2006:FCk,% Anonymous:2006:FCl,% Anonymous:2007:FCa,% Anonymous:2007:FCb,% Anonymous:2007:FCc,% Anonymous:2007:FCd,% Anonymous:2007:FCe,% Anonymous:2007:FCf,% Anonymous:2007:FCg,% Anonymous:2007:FCh,% Anonymous:2007:FCi,% Anonymous:2007:FCj,% Anonymous:2007:FCk,% Anonymous:2007:FCl,% Anonymous:2008:FCa,% Anonymous:2008:FCb,% Anonymous:2008:FCc,% Anonymous:2008:FCd,% Anonymous:2008:FCe,% Anonymous:2008:FCf,% Anonymous:2009:FCa,% Anonymous:2009:FCb,% Anonymous:2009:FCc,% Anonymous:2009:FCd,% Anonymous:2009:FCe,% Anonymous:2009:FCf,% Anonymous:2004:IFCa,% Anonymous:2004:IFCb,% Anonymous:2004:IFCc,% Anonymous:2004:IFCd,% Anonymous:2004:IFCe,% Anonymous:2004:IFCf,% Anonymous:2004:IFCg,% Anonymous:2004:IFCh,% Anonymous:2005:IFCa,% Anonymous:2005:IFCb,% Anonymous:2005:IFCc,% Anonymous:2005:IFCd,% Anonymous:2005:IFCe,% Anonymous:2005:IFCf,% Anonymous:2005:IFCg,% Anonymous:2005:IFCh,% Anonymous:2005:IFCi,% Anonymous:2005:IFCj,% Anonymous:2005:IFCk,% Anonymous:2005:IFCl,% Anonymous:2006:IFCa,% Anonymous:2006:IFCb,% Anonymous:2006:IFCc,% Anonymous:2006:IFCd,% Anonymous:2006:IFCe,% Anonymous:2006:IFCf,% Anonymous:2006:IFCg,% Anonymous:2006:IFCh,% Anonymous:2006:IFCi,% Anonymous:2006:IFCj% }. \NAMECITE{front}{% Anonymous:2006:IFCk,% Anonymous:2006:IFCl,% Anonymous:2007:IFCa,% Anonymous:2007:IFCb,% Anonymous:2007:IFCc,% Anonymous:2007:IFCd,% Anonymous:2007:IFCe,% Anonymous:2007:IFCf,% Anonymous:2007:IFCg,% Anonymous:2007:IFCh,% Anonymous:2007:IFCi,% Anonymous:2007:IFCj,% Anonymous:2007:IFCk,% Anonymous:2007:IFCl,% Anonymous:2008:IFCa,% Anonymous:2008:IFCb,% Anonymous:2008:IFCc,% Anonymous:2008:IFCd,% Anonymous:2008:IFCe,% Anonymous:2008:IFCf,% Anonymous:2009:IFCa,% Anonymous:2009:IFCb,% Anonymous:2009:IFCc,% Anonymous:2009:IFCd,% Anonymous:2009:IFCe,% Anonymous:2009:IFCf% }. \NAMECITE{{FSM}}{% El-Fakih:2004:FBI% }. \NAMECITE{{FSM}-based}{% El-Fakih:2004:FBI% }. \NAMECITE{function}{% Boute:2000:SFD,% Sherman:2003:KEL% }. \NAMECITE{Functional}{% Anton:2003:FPE,% Koru:2009:IFF,% Tan:2006:STF% }. \NAMECITE{Functionalities}{% Juristo:2007:GEU% }. \NAMECITE{Functions}{% Carnevali:2009:SDF,% Boland:2003:CPR,% Shin:2000:EDM% }. \NAMECITE{{Fusion}}{% Weber:2005:FSB% }. \NAMECITE{future}{% Frakes:2005:SRR% }. \NAMECITE{gap}{% Murphy:2001:SRM% }. \NAMECITE{General}{% Andrews:2003:GTR,% Hatton:2009:PLD,% Miner:2006:SGC,% VanRompaey:2007:DTS% }. \NAMECITE{generalized}{% Balbo:2002:PFS,% Lee:2004:FCD,% Teruel:2003:WDG% }. \NAMECITE{generated}{% Bailey:2003:ADD% }. \NAMECITE{Generating}{% Damas:2005:GAB,% Michael:2001:GST,% Camp:2001:AGP% }. \NAMECITE{Generation}{% Han:2009:CGP,% Krishnamurthy:2006:SWG,% Masood:2009:SET,% Pietro:2000:GES,% Chen:2003:CRF,% Devanbu:2000:GEI,% Dillon:2003:IGC,% Hayes:2006:ACL,% Kang:2000:ESS,% Maruyama:2000:ACG,% Memon:2001:HGT,% Nebut:2006:ATG,% Tai:2002:TGS,% Zhang:2001:DCA% }. \NAMECITE{Generators}{% Stuermer:2007:STM,% Batory:2000:DWV,% Biggerstaff:2004:NAT,% Costagliola:2006:CMC% }. \NAMECITE{Generic}{% Beydoun:2009:FGM,% Guerraoui:2001:GCS,% Zhang:2001:DCA% }. \NAMECITE{{GenVoca}}{% Batory:2000:DWV% }. \NAMECITE{glasses}{% Ducasse:2005:CBV% }. \NAMECITE{Global}{% Spinellis:2003:GAT,% Alagar:2001:TTS,% Binkley:2004:AVP% }. \NAMECITE{globally}{% Herbsleb:2003:ESS% }. \NAMECITE{Goal}{% Cleland-Huang:2008:GCT,% Demsky:2006:GDR,% Briand:2002:OPG,% vanLamsweerde:2000:HOG% }. \NAMECITE{Goal-Centric}{% Cleland-Huang:2008:GCT% }. \NAMECITE{Goal-Directed}{% Demsky:2006:GDR% }. \NAMECITE{goal-driven}{% Briand:2002:OPG% }. \NAMECITE{goal-oriented}{% vanLamsweerde:2000:HOG% }. \NAMECITE{Governance}{% Capra:2008:ESR% }. \NAMECITE{Grained}{% Fluri:2007:CDT,% Anderson:2003:DIF% }. \NAMECITE{Grammar}{% Kraft:2009:GRP% }. \NAMECITE{Grammars}{% Hughes:2008:IGM,% Yang:2002:CNA% }. \NAMECITE{graph}{% Briand:2003:IGB,% Wang:2004:BBS% }. \NAMECITE{graph-based}{% Briand:2003:IGB% }. \NAMECITE{graphical}{% Bratthall:2002:IPD,% Wooff:2002:BGM% }. \NAMECITE{graphics}{% Bederson:2004:TDI% }. \NAMECITE{Graphs}{% Chang:2008:DNC,% Dillon:2003:IGC,% Zhang:2004:UHG% }. \NAMECITE{Great}{% Anonymous:2009:GRJ% }. \NAMECITE{Greedy}{% Cohen:2008:CIT% }. \NAMECITE{grids}{% Burnett:2002:THS% }. \NAMECITE{Group}{% Babaoglu:2001:GCP,% Vitharana:2003:CMG% }. \NAMECITE{groups}{% Sherman:2003:KEL% }. \NAMECITE{growth}{% Turski:2002:RMS% }. \NAMECITE{guardian}{% Miller:2004:GMP% }. \NAMECITE{Guest}{% Harman:2005:GES,% Uchitel:2005:GES,% Binkley:2007:GEI,% Canfora:2003:GEI,% Canfora:2009:GEI,% Cheng:2000:GEI,% Cheng:2000:WSP,% Devanbu:2000:GEI,% Dillon:2004:GEI,% Elbaum:2008:GEI,% Favre:2009:GEI,% Franceschinis:2006:GEI,% Griswold:2003:GEI,% Griswold:2006:GEI,% Gyimothy:2006:GEI,% Harrold:2002:GEI,% Harrold:2003:GEI,% Hassan:2005:GEI,% Hillston:2009:GEI,% Kramer:2001:GEI,% McDaniel:2008:GEI,% Morisio:2003:GEI,% Rothermel:2005:GEI,% Talia:2000:GEIa,% Talia:2000:GEIb,% Wohlin:2001:GEI,% vanDeursen:2005:GEI% }. \NAMECITE{{GUI}}{% McMaster:2008:CSC,% Memon:2001:HGT,% Memon:2005:SFD% }. \NAMECITE{Guide}{% Dingsoyr:2008:IEP,% Zimmermann:2005:MVH% }. \NAMECITE{Guided}{% Kraft:2009:GRP,% Bontemps:2005:LSC% }. \NAMECITE{Guidelines}{% Juristo:2007:GEU,% Briand:2001:CEE,% Jorgensen:2005:EBG,% Kitchenham:2002:PGE% }. \NAMECITE{Hadas}{% Ben-Shaul:2001:DAD% }. \NAMECITE{hammock}{% Zhang:2004:UHG% }. \NAMECITE{Handling}{% Murata:2000:HIH,% vanLamsweerde:2000:HOG,% Borger:2000:PMS,% Buhr:2000:AEH,% Burnett:2000:EHS,% Fetzer:2004:ADM,% Hagen:2000:EHW,% Koopman:2000:EHE,% Maxion:2000:EEH,% Miller:2004:GMP,% Perry:2000:CTEa,% Perry:2000:CTEb,% Sinha:2000:ATP% }. \NAMECITE{Hard}{% Bohnenkamp:2006:MCM% }. \NAMECITE{hardware}{% Baghdadi:2002:CPE,% Barat:2002:RIS,% Lotz:2000:FSM% }. \NAMECITE{hardware/software}{% Baghdadi:2002:CPE,% Barat:2002:RIS% }. \NAMECITE{Heap}{% Demsky:2009:AEH% }. \NAMECITE{help}{% Eom:2001:THT% }. \NAMECITE{Heuristic}{% Santone:2003:HSL% }. \NAMECITE{heuristics}{% Parsons:2004:CHS% }. \NAMECITE{Hidden}{% deLeon:2006:HID% }. \NAMECITE{Hiding}{% Srivastava:2008:MIH% }. \NAMECITE{Hierarchical}{% Maqbool:2007:HCS,% Memon:2001:HGT,% Bansiya:2002:HMO% }. \NAMECITE{High}{% Zhou:2006:EAO,% deLeon:2006:HID,% Bobbio:2003:PFT,% Koru:2005:CHC,% Stensrud:2003:IHP,% Wang:2005:AAO% }. \NAMECITE{high-change}{% Koru:2005:CHC% }. \NAMECITE{high-level}{% Bobbio:2003:PFT% }. \NAMECITE{Higher}{% Basit:2009:DMA% }. \NAMECITE{Higher-Level}{% Basit:2009:DMA% }. \NAMECITE{highest}{% Koru:2005:CHC% }. \NAMECITE{Highly}{% Cohen:2008:CIT,% Olague:2007:EVT% }. \NAMECITE{Highly-Configurable}{% Cohen:2008:CIT% }. \NAMECITE{{Hipikat}}{% Cubranic:2005:HPM% }. \NAMECITE{histories}{% Zimmermann:2005:MVH% }. \NAMECITE{history}{% Graves:2000:PFI,% Xing:2005:AEH,% Ying:2004:PSC% }. \NAMECITE{homogeneous}{% Burnett:2002:THS% }. \NAMECITE{Horizontal}{% Barak:2006:IHS% }. \NAMECITE{hostile}{% Devanbu:2002:SQI% }. \NAMECITE{human}{% Leveson:2000:ISA,% Murata:2000:HIH% }. \NAMECITE{human-centered}{% Leveson:2000:ISA% }. \NAMECITE{hybrid}{% Wang:2005:SPS% }. \NAMECITE{hypermedia}{% Diaz:2001:MDB% }. \NAMECITE{Hypothesis}{% Liu:2006:SDH% }. \NAMECITE{{I/O}}{% Chen:2000:ATP,% Rosti:2002:MPA% }. \NAMECITE{Idealized}{% Littlewood:2007:UMA% }. \NAMECITE{Identification}{% Antoniol:2006:FIE,% Gueheneuc:2008:DMA,% Tsantalis:2009:IMM% }. \NAMECITE{Identifying}{% Manzoni:2003:IER,% Ren:2006:IFC,% Stensrud:2003:IHP,% Bruntink:2005:UCD% }. \NAMECITE{{IEC}}{% ElEmam:2000:VII% }. \NAMECITE{IEEE}{% Rothermel:2005:GEI,% Anonymous:2004:ICSa,% Anonymous:2004:ICSb,% Anonymous:2004:ICSc,% Anonymous:2004:ICSd,% Anonymous:2004:ICSe,% Anonymous:2004:ICSf,% Anonymous:2006:ICSa,% Anonymous:2006:ICSb,% Anonymous:2006:ICSc,% Anonymous:2006:JICa,% Anonymous:2006:JICb,% Anonymous:2007:AICa,% Anonymous:2007:AICb,% Anonymous:2007:JICa,% Anonymous:2007:JICb,% Anonymous:2007:JICc,% Anonymous:2007:JICd,% Anonymous:2007:JICe,% Anonymous:2008:ICSa,% Anonymous:2008:ICSb,% Anonymous:2008:ICSc,% Anonymous:2009:GRJ,% Anonymous:2009:ICS,% Anonymous:2004:CPI,% Anonymous:2004:ITSa,% Anonymous:2004:ITSb,% Anonymous:2004:ITSc,% Anonymous:2004:ITSd,% Anonymous:2004:ITSe,% Anonymous:2004:ITSf,% Anonymous:2009:CPN% }. \NAMECITE{{IFIP}}{% Bowman:2000:SPS% }. \NAMECITE{{II}}{% Baik:2002:DCC% }. \NAMECITE{{III}}{% Braunl:2000:PIA% }. \NAMECITE{image}{% Baumstark:2005:RSI% }. \NAMECITE{image-processing}{% Baumstark:2005:RSI% }. \NAMECITE{Impact}{% Carver:2008:IEB,% Cataldo:2009:SDW,% Dingsoyr:2008:IEP,% Jorgensen:2009:ILL,% Kemerer:2009:IDC,% Nan:2009:IBS,% Ren:2006:IFC,% Rovegaard:2008:ESV,% Telang:2007:EAI,% Yang:2008:SUS,% Arisholm:2006:IUD,% Atkins:2002:UVC,% Gopal:2005:IIF,% Jorgensen:2004:RSE,% Roberts:1998:FII,% Roberts:2001:RCF,% Tonella:2003:UCL,% Yadav:2001:CFI% }. \NAMECITE{imperfect}{% Xie:2003:SEI% }. \NAMECITE{implement}{% Bobbio:2000:MFI% }. \NAMECITE{Implementation}{% deLeon:2006:HID,% Anderson:2003:DIF,% Antoy:2000:ACI,% Deavours:2002:MFI,% Forax:2004:RIJ,% Lai:2003:MES,% Makaroff:2001:DIV,% Mosse:2003:NRT,% Murphy:2001:SRM,% Roberts:2001:RCF,% Tan:2006:STF% }. \NAMECITE{implementations}{% Rauber:2000:TAD% }. \NAMECITE{implementing}{% Little:2003:PII,% Roberts:1998:FII,% Yadav:2001:CFI% }. \NAMECITE{implications}{% Kuhn:2004:SFI,% Subramanyam:2003:EAC% }. \NAMECITE{Importance}{% Rovegaard:2008:ESV% }. \NAMECITE{Improve}{% LeTraon:2006:DCI,% Smith:2001:ESU,% Williams:2005:AMS% }. \NAMECITE{improved}{% Volzer:2004:STI% }. \NAMECITE{improvement}{% Auer:2006:OPF,% Dyba:2005:EIK% }. \NAMECITE{Improving}{% Chae:2004:ICM,% Jeffrey:2007:IFD,% Siegel:2002:IPI,% Zou:2007:IUC,% Briand:2004:AIS,% Mendonca:2000:VAI% }. \NAMECITE{imputation}{% Myrtveit:2001:ADS% }. \NAMECITE{{INCA}}{% Siegel:2002:IPI% }. \NAMECITE{incidence}{% Graves:2000:PFI% }. \NAMECITE{inclusion}{% Verdickt:2005:AIM% }. \NAMECITE{incomplete}{% Strike:2001:SCE% }. \NAMECITE{inconsistent}{% Pike:2006:NIA% }. \NAMECITE{Increase}{% Littlewood:2007:UMA% }. \NAMECITE{Incremental}{% Koppol:2002:IIT,% Marchand:2000:IDP,% Reiss:2006:IMS,% El-Fakih:2004:FBI% }. \NAMECITE{independent}{% Braunl:2000:PIA,% Chamberlain:2000:ZMI,% Rallis:2001:RES,% Talia:2000:GEIa,% Talia:2000:GEIb% }. \NAMECITE{Index}{% Anonymous:2004:AI,% Anonymous:2006:AI,% Anonymous:2007:AI,% Anonymous:2008:AI,% Anonymous:2001:AI,% Anonymous:2001:SI,% Anonymous:2002:AIa,% Anonymous:2002:AIb,% Anonymous:2002:SIa,% Anonymous:2002:SIb,% Anonymous:2003:AI,% Anonymous:2003:SI% }. \NAMECITE{inducing}{% Zeller:2002:SIF% }. \NAMECITE{Industrial}{% Napier:2009:CPP,% Tomer:2004:ESR,% Vokac:2004:DFD,% Volzer:2004:STI% }. \NAMECITE{Inevitability}{% Wang:2006:TIA% }. \NAMECITE{Inference}{% Alur:2003:IMS,% Dillon:2003:IGC,% Keung:2008:AXP% }. \NAMECITE{inferences}{% Rajgopal:2002:MOT% }. \NAMECITE{influence}{% Dolado:2003:EII% }. \NAMECITE{influences}{% Little:2003:PII% }. \NAMECITE{Information}{% Andritsos:2005:ITS,% Anonymous:2004:IAa,% Anonymous:2004:IAb,% Anonymous:2004:ICSa,% Anonymous:2004:ICSb,% Anonymous:2004:ICSd,% Anonymous:2004:ICSe,% Anonymous:2004:TIAa,% Anonymous:2004:TIAb,% Anonymous:2004:TIAc,% Anonymous:2004:TIAd,% Anonymous:2004:TIAe,% Anonymous:2004:TIAf,% Anonymous:2004:TIAg,% Anonymous:2004:TIAh,% Anonymous:2004:TIAi,% Anonymous:2004:TIAj,% Anonymous:2005:TIAa,% Anonymous:2005:TIAb,% Anonymous:2005:TIAc,% Anonymous:2005:TIAd,% Anonymous:2005:TIAe,% Anonymous:2005:TIAf,% Anonymous:2005:TIAg,% Anonymous:2005:TIAh,% Anonymous:2005:TIAi,% Anonymous:2005:TIAj,% Anonymous:2005:TIAk,% Anonymous:2005:TIAl,% Anonymous:2006:TIAa,% Anonymous:2006:TIAb,% Anonymous:2006:TIAc,% Anonymous:2006:TIAd,% Anonymous:2006:TIAe,% Anonymous:2006:TIAf,% Anonymous:2006:TIAg,% Anonymous:2006:TIAh,% Anonymous:2006:TIAi,% Anonymous:2006:TIAj,% Anonymous:2006:TIAk,% Anonymous:2006:TIAl,% Anonymous:2007:TIAa,% Anonymous:2007:TIAb,% Anonymous:2007:TIAc,% Anonymous:2007:TIAd,% Anonymous:2007:TIAe,% Anonymous:2007:TIAf,% Anonymous:2007:TIAg,% Anonymous:2007:TIAh,% Anonymous:2007:TIAi,% Anonymous:2007:TIAj,% Anonymous:2007:TIAk,% Anonymous:2007:TIAl,% Anonymous:2008:TIAa,% Anonymous:2008:TIAb,% Anonymous:2008:TIAc,% Anonymous:2008:TIAd,% Anonymous:2008:TIAe,% Anonymous:2008:TIAf,% Anonymous:2009:TIAa,% Anonymous:2009:TIAb,% Anonymous:2009:TIAc,% Anonymous:2009:TIAd,% Anonymous:2009:TIAe,% Anonymous:2009:TIAf,% Chittimalli:2009:RCI,% DAmbros:2009:VCC,% Ko:2006:ESH,% Masri:2007:EST,% Poshyvanyk:2007:FLU,% Sarkar:2007:ABI,% Srivastava:2008:MIH,% Bratthall:2002:IPD,% Jorgensen:2004:RSE,% Nixon:2000:MPR% }. \NAMECITE{Information-Theoretic}{% Sarkar:2007:ABI,% Andritsos:2005:ITS% }. \NAMECITE{Infrastructure}{% Atkinson:2009:FIM,% Porter:2007:SPI,% Cugola:2001:JEB% }. \NAMECITE{inheritance}{% Chen:2003:COS,% Gursaran:2001:AWP,% Harel:2002:OSB,% Zhang:2002:CAW% }. \NAMECITE{input}{% Zeller:2002:SIF% }. \NAMECITE{inspection}{% Anderson:2003:DIF,% Biffl:2003:IDD,% Dunsmore:2003:DET,% Freimut:2005:DIC,% Miller:2004:CBM,% Padberg:2004:UML,% Parnas:2003:RIS,% Perry:2002:RII,% Vitharana:2003:CMG,% Xu:2003:IVS% }. \NAMECITE{Inspections}{% Carver:2008:IEB% }. \NAMECITE{inspectors}{% ElEmam:2001:ECR% }. \NAMECITE{instance}{% Chae:2004:ICM% }. \NAMECITE{instantiation}{% Jiau:2004:CSP,% Oliveira:2004:SPR% }. \NAMECITE{institutional}{% Gopal:2005:IIF% }. \NAMECITE{instruction}{% Barat:2002:RIS% }. \NAMECITE{instrumentation}{% Chen:2001:RDU% }. \NAMECITE{Integrating}{% Constant:2007:IFV,% Cortellessa:2007:ISM,% Cheng:2002:FID% }. \NAMECITE{Integration}{% Attiogbe:2007:FTE,% Briand:2003:IGB,% Delamaro:2001:IMA,% Koppol:2002:IIT,% Maruyama:2000:ACG% }. \NAMECITE{Integrative}{% Benaroch:2009:IEO% }. \NAMECITE{integrity}{% Devanbu:2002:SQI% }. \NAMECITE{Intent}{% Leveson:2000:ISA,% Hou:2006:USS% }. \NAMECITE{Interaction}{% Cohen:2008:CIT,% Desai:2005:IPD,% Uchitel:2005:GES,% Sun:2006:DSI% }. \NAMECITE{Interactions}{% Parsons:2008:EIC,% Kuhn:2004:SFI% }. \NAMECITE{Interactive}{% Ruthruff:2006:IFL,% Bederson:2004:TDI,% Mori:2002:CSD% }. \NAMECITE{Interface}{% Delamaro:2001:IMA,% Hughes:2008:IGM,% Janicki:2001:FTA,% Seaman:2003:UIE% }. \NAMECITE{interfaces}{% Alencar:2002:LTI,% Mori:2004:DDM,% Tonella:2005:RAI% }. \NAMECITE{internally}{% Laitenberger:2001:IRQ% }. \NAMECITE{International}{% Anonymous:2003:SSI,% Binkley:2007:GEI,% Canfora:2009:GEI,% Dillon:2004:GEI,% Elbaum:2008:GEI,% Franceschinis:2006:GEI,% Griswold:2006:GEI,% Gyimothy:2006:GEI,% Harrold:2002:GEI,% Rothermel:2005:GEI,% Wohlin:2001:GEI,% Canfora:2003:GEI,% Harrold:2003:GEI,% Kramer:2001:GEI% }. \NAMECITE{Internet}{% Bellavista:2003:CAM,% Morisio:2003:GEI,% Ocampo:2003:TRP% }. \NAMECITE{{InterPlay}}{% Barak:2006:IHS% }. \NAMECITE{interprocedural}{% Gu:2000:EIA% }. \NAMECITE{interrupt}{% Brylow:2004:DAI% }. \NAMECITE{interrupt-driven}{% Brylow:2004:DAI% }. \NAMECITE{Interval}{% Bellini:2006:RCI,% Furia:2006:CIL,% Mattolini:2001:ILR,% Perry:2002:RII% }. \NAMECITE{intervals}{% Lei:2003:ESN% }. \NAMECITE{Int'l}{% Bowman:2000:SPS% }. \NAMECITE{Introduction}{% Andrews:2002:ENE,% Anonymous:2004:ENA,% Anonymous:2005:EAE,% Anonymous:2007:ENA,% Binkley:2007:GEI,% Canfora:2009:GEI,% Cheng:2000:WSP,% Ciardo:2002:ISS,% Devanbu:2008:ISS,% Dillon:2004:GEI,% Elbaum:2008:GEI,% Favre:2009:GEI,% Franceschinis:2006:GEI,% Griswold:2006:GEI,% Gyimothy:2006:GEI,% Harrold:2002:GEI,% Hassan:2005:GEI,% Hillston:2009:GEI,% Knight:2004:EAIa,% Knight:2004:EAIb,% Knight:2005:ENAa,% Knight:2005:ENAb,% Kramer:2006:ENAa,% Kramer:2006:ENAb,% Kramer:2008:ENAa,% Kramer:2008:ENAb,% Kramer:2009:ENA,% McDaniel:2008:GEI,% Rothermel:2005:GEI,% vanDeursen:2005:GEI,% Ball:2004:EAI,% Canfora:2003:GEI,% Cheng:2000:GEI,% Devanbu:2000:GEI,% Griswold:2003:GEI,% Harrold:2003:GEI,% Knight:2003:ENA,% Kordon:2002:IRS,% Kramer:2001:GEI,% Morisio:2003:GEI,% Talia:2000:GEIa,% Talia:2000:GEIb,% Wohlin:2001:GEI% }. \NAMECITE{invariant}{% Yen:2001:DMI% }. \NAMECITE{invariants}{% Ernst:2001:DDL% }. \NAMECITE{investigate}{% Robillard:2004:HED% }. \NAMECITE{Investigating}{% Biffl:2003:IDD,% Shull:2000:IRT% }. \NAMECITE{Investigation}{% Koru:2009:IFF,% Briand:2003:IGB,% Briand:2005:EIF,% Cartwright:2000:EIO,% Dolado:2003:EII,% Dyba:2005:EIK,% Gold:2005:SCM,% Vitharana:2003:CMG% }. \NAMECITE{{IP}}{% Zave:2009:CCI% }. \NAMECITE{irregularities}{% Murata:2000:HIH% }. \NAMECITE{{ISO}}{% ElEmam:2000:VII% }. \NAMECITE{{ISO/IEC}}{% ElEmam:2000:VII% }. \NAMECITE{isolating}{% Zeller:2002:SIF% }. \NAMECITE{Issue}{% Anonymous:2004:CPI,% Anonymous:2007:CPS,% Anonymous:2009:CPSa,% Anonymous:2009:CPSb,% Gyimothy:2006:GEI,% Harman:2005:GES,% Hassan:2005:GEI,% Hillston:2009:GEI,% Anonymous:2006:I,% Anonymous:2007:I,% Anonymous:2007:IT,% Anonymous:2008:ITa,% Anonymous:2008:ITb,% Anonymous:2008:ITc% }. \NAMECITE{Issues}{% Rovegaard:2008:ESV,% Singer:2002:EIE,% Talia:2000:GEIa,% Talia:2000:GEIb,% Weyuker:2000:EPT,% Wing:2000:SIF% }. \NAMECITE{{Itanium}}{% Snavely:2005:UUU% }. \NAMECITE{Iterative}{% Bianchi:2003:IRL,% Olague:2007:EVT,% Alshayeb:2003:EVO% }. \NAMECITE{Java}{% Henkel:2008:EDD,% Borger:2000:PMS,% Briand:2006:TRE,% Chatterjee:2001:CPA,% Forax:2004:RIJ,% Fu:2005:RTJ,% Henkel:2007:DDJ,% Kirkegaard:2004:SAX,% Long:2003:TST,% Malkhi:2000:SEJ,% Ren:2006:IFC,% Rountev:2004:FCA,% Saougkos:2007:RJB,% Sharp:2006:SAO% }. \NAMECITE{{Java/JVM}}{% Borger:2000:PMS% }. \NAMECITE{{JEDI}}{% Cugola:2001:JEB% }. \NAMECITE{Jiau}{% Oliveira:2004:RJA% }. \NAMECITE{Join}{% Anonymous:2006:JICa,% Anonymous:2006:JICb,% Anonymous:2007:JICa,% Anonymous:2007:JICb,% Anonymous:2007:JICc,% Anonymous:2007:JICd,% Anonymous:2007:JICe% }. \NAMECITE{Joining}{% Anonymous:2009:GRJ% }. \NAMECITE{Journal}{% Anonymous:2005:ESJ,% Kramer:2007:ESJ,% Kramer:2008:SJA,% Kramer:2009:ESJ% }. \NAMECITE{Journals}{% Anonymous:2008:SJS% }. \NAMECITE{{JVM}}{% Borger:2000:PMS% }. \NAMECITE{kernel}{% Yu:2004:CCC% }. \NAMECITE{Key}{% Sherman:2003:KEL,% Dyba:2005:EIK% }. \NAMECITE{Knowledge}{% Cavusoglu:2007:EVD,% Mills:2002:KBA,% Vegas:2009:MSE,% Vitharana:2003:KBR,% Niemela:2005:TAK,% Sawyer:2005:SKA% }. \NAMECITE{Knowledge-based}{% Mills:2002:KBA,% Vitharana:2003:KBR% }. \NAMECITE{Labels}{% Baier:2007:MCM% }. \NAMECITE{Language}{% Anonymous:2007:CPS,% Atkinson:2009:FIM,% Barbier:2003:FWP,% Botting:2005:SET,% Favre:2009:GEI,% Tan:2003:FWP,% Chamberlain:2000:ZMI,% Costagliola:2006:CMC,% Evermann:2005:TFD,% Ravindran:2002:EDR,% Zhang:2001:DCA% }. \NAMECITE{Languages}{% Antkiewicz:2009:EFS,% Cuadrado:2009:MBA,% Medvidovic:2000:CCF,% Spinellis:2003:GAT,% Talia:2000:GEIa,% Talia:2000:GEIb% }. \NAMECITE{Large}{% Adve:2000:PEE,% Concas:2007:PLL,% Sarkar:2008:MMQ,% vanderMeulen:2008:ESD,% Kamiya:2002:CMT,% Koru:2005:CHC,% Li:2006:CMF,% Ostrand:2005:PLN,% Perry:2002:RII,% Rosti:2002:MPA,% Selby:2005:ERB,% Sherman:2003:KEL% }. \NAMECITE{Large-Scale}{% Sarkar:2008:MMQ,% Koru:2005:CHC,% Li:2006:CMF,% Perry:2002:RII,% Selby:2005:ERB% }. \NAMECITE{lattice}{% Tonella:2003:UCL% }. \NAMECITE{Law}{% Hatton:2009:PLD% }. \NAMECITE{Laws}{% Concas:2007:PLL% }. \NAMECITE{Layered}{% Franks:2009:EMS,% Westfechtel:2001:LAU% }. \NAMECITE{Lead}{% Damian:2006:ESC% }. \NAMECITE{Learn}{% Menzies:2007:DMS,% Menzies:2007:PPR,% Zhang:2007:CDM% }. \NAMECITE{Learned}{% Jorgensen:2009:ILL% }. \NAMECITE{Learning}{% Hearty:2009:PPV,% Drummond:2000:LAA,% Kao:2003:CQP,% Morisio:2002:QPL,% Padberg:2004:UML,% Shull:2000:IRT% }. \NAMECITE{legacy}{% Bianchi:2003:IRL% }. \NAMECITE{Lessons}{% Jorgensen:2009:ILL% }. \NAMECITE{Lessons-Learned}{% Jorgensen:2009:ILL% }. \NAMECITE{Level}{% Agrawal:2007:SEQ,% Basit:2009:DMA,% Bobbio:2003:PFT,% Goseva-Popstojanova:2003:ALR,% Li:2004:FVA,% Liu:2005:DLP,% Teruel:2003:WDG,% Yacoub:2002:MAL,% deJonge:2005:BLC% }. \NAMECITE{levels}{% Manzoni:2003:IER% }. \NAMECITE{Leveraging}{% Elbaum:2005:LUS% }. \NAMECITE{libraries}{% Drummond:2000:LAA% }. \NAMECITE{Library}{% Anonymous:2007:AICa,% Anonymous:2007:AICb% }. \NAMECITE{Licenses}{% Murtojarvi:2007:DPN% }. \NAMECITE{Lightweight}{% Jackson:2001:LEO,% Lanza:2003:PVL% }. \NAMECITE{like}{% Wang:2005:SPS% }. \NAMECITE{likelihood}{% Myrtveit:2001:ADS% }. \NAMECITE{likelihood-based}{% Myrtveit:2001:ADS% }. \NAMECITE{likely}{% Ernst:2001:DDL% }. \NAMECITE{limitations}{% Auer:2006:OPF% }. \NAMECITE{limits}{% Jalote:2002:OCL% }. \NAMECITE{line}{% Moon:2005:ADD% }. \NAMECITE{Linear}{% deAlfaro:2009:LBS,% Wang:2005:SPS% }. \NAMECITE{link}{% Hayes:2006:ACL% }. \NAMECITE{Linking}{% Mattsson:2009:LMD,% Srivastava:2008:MIH% }. \NAMECITE{links}{% Antoniol:2002:RTL% }. \NAMECITE{{Linux}}{% Yu:2004:CCC% }. \NAMECITE{List}{% Anonymous:2004:ICSc,% Anonymous:2004:ICSf,% Anonymous:2004:ITSc,% Anonymous:2006:RL,% Anonymous:2007:RL,% Anonymous:2008:RL,% Anonymous:2009:RL,% Anonymous:2000:RL,% Anonymous:2001:RL,% Anonymous:2003:RL,% Anonymous:2004:RL,% Anonymous:2005:RL% }. \NAMECITE{live}{% Bontemps:2005:LSC% }. \NAMECITE{local}{% Santone:2003:HSL% }. \NAMECITE{localization}{% Ruthruff:2006:IFL% }. \NAMECITE{Locating}{% Bojic:2004:ALF,% Eisenbarth:2003:LFS% }. \NAMECITE{Location}{% Poshyvanyk:2007:FLU,% Ostrand:2005:PLN% }. \NAMECITE{log}{% Andrews:2003:GTR% }. \NAMECITE{Logic}{% Bellini:2006:RCI,% Furia:2006:CIL,% Gurfinkel:2003:TLQ,% Mattolini:2001:ILR,% Stubblebine:2002:ALF% }. \NAMECITE{Logical}{% Hrischuk:2002:LCR,% Alencar:2002:LTI,% Mori:2004:DDM,% Xing:2005:AEH,% Xu:2003:FAM% }. \NAMECITE{logs}{% Tian:2004:EWS% }. \NAMECITE{Longitudinal}{% Dingsoyr:2008:IEP% }. \NAMECITE{look}{% Yang:2002:CNA% }. \NAMECITE{look-ahead}{% Yang:2002:CNA% }. \NAMECITE{Low}{% Vandewoude:2007:TLD,% Zhou:2006:EAO% }. \NAMECITE{{M}}{% Haider:2008:EDB% }. \NAMECITE{machine}{% Chamberlain:2000:ZMI,% Padberg:2004:UML% }. \NAMECITE{machines}{% Bontemps:2005:LSC,% Nottegar:2001:PEM,% Zhang:2003:OTT% }. \NAMECITE{Maintain}{% Cleland-Huang:2008:GCT% }. \NAMECITE{maintainability}{% Arisholm:2004:EED,% Briand:2001:CEE,% Huang:2003:MMC,% Yu:2004:CCC% }. \NAMECITE{Maintenance}{% Binkley:2007:GEI,% Canfora:2009:GEI,% Dzidek:2008:REE,% Gyimothy:2006:GEI,% Harman:2005:GES,% Ko:2006:ESH,% Reiss:2006:IMS,% Antoniol:2004:ASN,% Arisholm:2006:IUD,% Bandi:2003:PMP,% Canfora:2003:GEI,% Fioravanti:2001:EPM,% Prechelt:2001:CEM,% Prechelt:2002:TCE,% Tan:2005:CUF% }. \NAMECITE{majorization}{% Boland:2003:CPR% }. \NAMECITE{malicious}{% Lakhotia:2005:MDO% }. \NAMECITE{manage}{% Weber:2005:FSB% }. \NAMECITE{Management}{% Benaroch:2009:IEO,% Damian:2006:ESC,% Li:2008:SPS,% Nixon:2000:MPR,% Bellavista:2003:CAM,% Bhatti:2006:XFP,% Eick:2001:DCD,% Hagen:2000:EHW,% Seaman:2003:UIE,% Westfechtel:2001:LAU,% vanderHoek:2002:TCM% }. \NAMECITE{manager}{% Ropponen:2000:CSD% }. \NAMECITE{managing}{% Cleland-Huang:2003:EBT,% Egyed:2006:SMD% }. \NAMECITE{mapping}{% Marongiu:2000:AMS% }. \NAMECITE{{Markov}}{% Baier:2003:MCA,% Baier:2007:MCM,% Rajgopal:2002:MOT,% Sproston:2006:BBM,% Zhou:2007:MMM% }. \NAMECITE{{Markovian}}{% Bobbio:2000:MFI,% Carnevali:2009:SDF,% Horvath:2002:TDA% }. \NAMECITE{{MAS}}{% Beydoun:2009:FGM% }. \NAMECITE{masking}{% Fetzer:2004:ADM% }. \NAMECITE{Matching}{% Holmes:2006:ASC,% Braberman:2005:SMA,% Kang:2004:SMT% }. \NAMECITE{Mathematical}{% Chatzigeorgiou:2003:MAO,% Broy:2001:TMF% }. \NAMECITE{mathematics}{% Boute:2000:SFD% }. \NAMECITE{matters}{% Jorgensen:2004:RAE% }. \NAMECITE{Maturing}{% Vegas:2009:MSE% }. \NAMECITE{maturity}{% Manzoni:2003:IER% }. \NAMECITE{Maximum}{% Dai:2007:UAS% }. \NAMECITE{Maximum-Entropy}{% Dai:2007:UAS% }. \NAMECITE{Measure}{% Zhou:2007:MMM,% ElEmam:2000:VII% }. \NAMECITE{Measurement}{% Gopal:2002:MPS,% Arisholm:2004:DCM,% Hastings:2001:VBA,% Kitchenham:2001:MSM,% Kitchenham:2004:SPM,% Koru:2005:CHC,% Mendonca:2000:VAI% }. \NAMECITE{measures}{% Briand:2002:OPG,% Jilani:2001:DAM,% Kitchenham:2004:SPM,% Li:2003:RSE% }. \NAMECITE{Measuring}{% Huang:2003:MMC,% Kallepalli:2001:MMU,% Sarkar:2007:ABI,% Sarkar:2008:MMQ,% Prechelt:2001:EME% }. \NAMECITE{mechanism}{% Maruyama:2000:ACG,% Miller:2004:CBM% }. \NAMECITE{Mechanisms}{% Cavusoglu:2007:EVD,% vanMoorsel:2006:ARM,% Buhr:2000:AEH% }. \NAMECITE{Media}{% Damian:2008:NMM,% Zave:2009:CCI,% Makaroff:2001:DIV% }. \NAMECITE{mediated}{% Vitharana:2003:CMG% }. \NAMECITE{Membership}{% Anonymous:2008:ICSa,% Anonymous:2009:ICS% }. \NAMECITE{memory}{% Cubranic:2005:HPM,% Marongiu:2000:AMS,% Zuberi:2001:ESM% }. \NAMECITE{Merging}{% Dig:2008:ESM,% Godfrey:2005:UOA,% Mens:2002:SAS% }. \NAMECITE{Message}{% Kramer:2006:EMN,% Sengupta:2006:TMS,% Alur:2003:IMS,% Gorlatch:2000:TFB,% Murphy:2002:TMU% }. \NAMECITE{messages}{% Ramesh:2000:MCS% }. \NAMECITE{Meta}{% Strein:2007:EMM,% Costagliola:2006:CMC% }. \NAMECITE{meta-{CASE}}{% Costagliola:2006:CMC% }. \NAMECITE{Meta-Model}{% Strein:2007:EMM% }. \NAMECITE{Metamodel}{% Beydoun:2009:FGM,% Strein:2007:EMP,% Zachariadis:2006:SCS% }. \NAMECITE{Metaphor}{% Antoniol:2006:FIE% }. \NAMECITE{Method}{% Tsantalis:2009:IMM,% Borger:2000:PMS,% Dolado:2000:VCB,% En-Nouaary:2002:TWM,% Holzmann:2002:AVM,% Janicki:2001:FTA,% Jorgensen:2004:RSE,% Lakhotia:2005:MDO,% Maruyama:2000:ACG,% Menasce:2000:MDP,% Mills:2002:KBA,% Teruel:2003:WDG% }. \NAMECITE{methodological}{% Andrade:2004:MFV% }. \NAMECITE{methodologies}{% Riemenschneider:2002:ESD% }. \NAMECITE{methodology}{% Baden:2000:PMD,% Baghdadi:2002:CPE,% Burnett:2002:THS,% Marchand:2000:IDP,% Nyland:2000:DMD,% Roberts:1998:FII,% Roberts:2001:RCF,% Yacoub:2002:MAL,% Yadav:2001:CFI% }. \NAMECITE{Methods}{% Heitmeyer:2008:AFM,% Pai:2007:EAS,% Poshyvanyk:2007:FLU,% Wing:2000:SIF,% Berry:2003:CFM,% Bowman:2000:SPS,% Broy:2001:TMF,% Dobrica:2002:SSA,% El-Fakih:2004:FBI,% Forax:2004:RIJ,% Grammatikakis:2000:PQS,% Hayes:2006:ACL,% Juan:2001:RMR,% Lei:2003:ESN,% Myrtveit:2001:ADS,% Peleg:2000:MMP,% Sobel:2002:FMA,% Sobel:2003:RCF% }. \NAMECITE{Metrics}{% Kraft:2009:GRP,% Olague:2007:EVT,% Sarkar:2007:ABI,% Sarkar:2008:MMQ,% VanRompaey:2007:DTS,% Wohlin:2001:GEI,% Zhou:2006:EAO,% Zhou:2009:EPC,% deAlfaro:2009:LBS,% Alshayeb:2003:EVO,% Bandi:2003:PMP,% Chae:2004:ICM,% ElEmam:2001:CEC,% Evanco:2003:CCE,% Fioravanti:2001:EPM,% Gold:2005:SCM,% Gopal:2005:IIF,% Gursaran:2001:AWP,% Gyimothy:2005:EVO,% Lei:2003:ESN,% Sharma:2006:AWP,% Subramanyam:2003:EAC,% Zhang:2002:CAW% }. \NAMECITE{Metrics-Based}{% VanRompaey:2007:DTS% }. \NAMECITE{Metrics-Guided}{% Kraft:2009:GRP% }. \NAMECITE{microkernel}{% Zuberi:2001:ESM% }. \NAMECITE{microprocessor}{% Lotz:2000:FSM% }. \NAMECITE{Middleware}{% Chuang:2008:DQA,% Bellavista:2003:CAM,% Capra:2003:CCA,% Chan:2003:MRM,% Malek:2005:SAA,% Ravindran:2002:EDR,% Verdickt:2005:AIM,% Wong:2004:XMS,% Zeng:2004:QAM,% Zheng:2006:MMC% }. \NAMECITE{{Miner}}{% Li:2006:CMF% }. \NAMECITE{Mining}{% Anonymous:2004:CPI,% Basit:2009:DMA,% Chang:2008:DNC,% Hassan:2005:GEI,% Menzies:2007:DMS,% Menzies:2007:PPR,% Shoham:2008:SSM,% Zhang:2007:CDM,% Zimmermann:2005:MVH,% Song:2006:SDA,% Williams:2005:AMS,% Ying:2004:PSC% }. \NAMECITE{mismatch}{% DeLine:2001:APM,% DeLine:2001:CAP% }. \NAMECITE{Mismatching}{% Canal:2008:MBA% }. \NAMECITE{missing}{% Myrtveit:2001:ADS% }. \NAMECITE{Mixed}{% Damian:2008:NMM% }. \NAMECITE{{MMRE}}{% Foss:2003:SSM% }. \NAMECITE{{MNav}}{% Zhou:2007:MMM% }. \NAMECITE{{MobiGATE}}{% Zheng:2006:MMC% }. \NAMECITE{Mobile}{% Chuang:2008:DQA,% Saougkos:2007:RJB,% Zachariadis:2006:SCS,% Cabri:2002:EMA,% Caporuscio:2003:DES,% Capra:2003:CCA,% Chan:2003:MRM,% Julien:2006:EFR,% Lum:2003:UCC,% Murphy:2002:TMU,% Nottegar:2001:PEM,% Satoh:2003:TFM,% Zheng:2006:MMC% }. \NAMECITE{mobility}{% Xu:2003:FAM% }. \NAMECITE{{MobiPADS}}{% Chan:2003:MRM% }. \NAMECITE{Mobius}{% Deavours:2002:MFI% }. \NAMECITE{Model}{% Baier:2003:MCA,% Baier:2007:MCM,% Balsamo:2004:MBP,% Bang:2001:CMC,% Canal:2008:MBA,% Cortellessa:2005:MBP,% Cuadrado:2009:MBA,% Donatelli:2009:MCT,% Escalona:2008:NMD,% Haider:2008:EDB,% Han:2009:CGP,% Hearty:2009:PPV,% Holzmann:2007:DME,% Hughes:2008:IGM,% Mattsson:2009:LMD,% Norman:2009:MCP,% Shen:2009:ESA,% Sproston:2006:BBM,% Strein:2007:EMM,% Stuermer:2007:STM,% Wilson:2007:NAO,% Zheng:2008:PME,% Zhou:2007:MMM,% Bansiya:2002:HMO,% Braberman:2005:SMA,% Cangussu:2002:FMS,% Cangussu:2003:USA,% Chan:2001:OSM,% Cheng:2002:FID,% Foss:2003:SSM,% Glasser:2004:ACM,% Gurfinkel:2003:TLQ,% Harrold:2001:ESP,% Holzmann:1997:MCS,% Holzmann:2002:AVM,% Janka:2002:VBM,% Lai:2003:MES,% Lee:2004:FCD,% Lotz:2000:FSM,% Manzoni:2003:IER,% Milicev:2002:AMT,% Miller:2004:GMP,% Niu:2003:TSM,% Peleg:2000:MMP,% Pendharkar:2005:PMP,% Rajgopal:2002:MOT,% Ramesh:2000:MCS,% Santone:2003:HSL,% Tan:2006:STF,% Tomer:2004:ESR,% Traore:2004:ESR,% Turski:2002:RMS,% Wang:2006:TCM,% Wu:2002:EDD,% Xu:2003:FAM,% Xu:2003:FMB% }. \NAMECITE{Model-Based}{% Canal:2008:MBA,% Cuadrado:2009:MBA,% Stuermer:2007:STM,% Zhou:2007:MMM,% Balsamo:2004:MBP,% Cortellessa:2005:MBP,% Niu:2003:TSM,% Traore:2004:ESR,% Wang:2006:TCM,% Xu:2003:FMB% }. \NAMECITE{Model-checking}{% Baier:2003:MCA% }. \NAMECITE{Model-Driven}{% Escalona:2008:NMD,% Mattsson:2009:LMD% }. \NAMECITE{Modeling}{% Antkiewicz:2009:EFS,% Barbier:2003:FWP,% Bohnenkamp:2006:MCM,% Botting:2005:SET,% Briand:2001:MDE,% Dai:2007:UAS,% Diaz:2001:MDB,% Franks:2009:EMS,% Kitchenham:2001:MSM,% Kitchenham:2003:MSB,% Kounev:2006:PME,% Littlewood:2000:MEC,% Tan:2003:FWP,% Uchitel:2005:GES,% Andrade:2004:MFV,% Avritzer:2004:RMP,% Bobbio:2000:MFI,% Cheng:2002:FID,% Evermann:2005:TFD,% Hsu:2003:SPN,% Kallepalli:2001:MMU,% Menasce:2000:MDP,% Milicev:2002:AMT,% Shin:2000:EDM,% Xu:2006:TDM% }. \NAMECITE{Models}{% Carnevali:2009:SDF,% Casale:2009:CEC,% Cortellessa:2007:ISM,% Kemper:2009:ATA,% Lau:2007:SCM,% Lessmann:2008:BCM,% Mangeruca:2007:SPD,% Mendes:2008:BNM,% Miner:2006:SGC,% Pickin:2007:TSU,% Rosti:2002:MPA,% Rutherford:2008:ETS,% Uchitel:2009:SPB,% Bratthall:2002:IPD,% Briand:2000:CEC,% Briand:2002:AAF,% Ciardo:2002:ISS,% Cysneiros:2004:NRE,% Damas:2005:GAB,% DeLoach:2000:TBR,% ElEmam:2001:ECR,% Gilmore:2001:EAA,% Huang:2003:USS,% Jackson:2001:LEO,% Molokken-Ostvold:2005:CSP,% Mori:2002:CSD,% Murphy:2001:SRM,% Myrtveit:2005:RVC,% Ramesh:2001:TRM,% Riemenschneider:2002:ESD,% Uchitel:2003:SBM,% Verdickt:2005:AIM,% Wooff:2002:BGM% }. \NAMECITE{{MODEST}}{% Bohnenkamp:2006:MCM% }. \NAMECITE{modified}{% Jones:2003:TSR% }. \NAMECITE{Modular}{% Chaki:2004:MVS,% Hughes:2008:IGM,% Kuncak:2006:MPA,% Rajgopal:2002:MOT,% Srivastava:2008:MIH,% Pietro:2000:GES% }. \NAMECITE{Modularization}{% Sarkar:2007:ABI,% Sarkar:2008:MMQ,% Mitchell:2006:AMS% }. \NAMECITE{module}{% Janicki:2001:FTA,% Tonella:2001:CAM% }. \NAMECITE{Modules}{% Apel:2008:AFM,% Koru:2009:IFF,% Koru:2005:CHC% }. \NAMECITE{Monitoring}{% Yilmaz:2007:RES,% Delgado:2004:TCR% }. \NAMECITE{monitors}{% Peters:2002:RBM% }. \NAMECITE{Moral}{% Shaw:2003:MDR% }. \NAMECITE{motivated}{% Sauer:2000:ESD% }. \NAMECITE{Move}{% Tsantalis:2009:IMM% }. \NAMECITE{moving}{% Hsu:2003:SPN% }. \NAMECITE{mu}{% Santone:2003:HSL% }. \NAMECITE{mu-calculus}{% Santone:2003:HSL% }. \NAMECITE{multi}{% Forax:2004:RIJ,% Yen:2001:DMI% }. \NAMECITE{multi-invariant}{% Yen:2001:DMI% }. \NAMECITE{multi-methods}{% Forax:2004:RIJ% }. \NAMECITE{Multiclass}{% Casale:2009:CEC% }. \NAMECITE{multicomputers}{% Baden:2000:PMD% }. \NAMECITE{Multicore}{% Holzmann:2007:DME% }. \NAMECITE{multidevice}{% Mori:2004:DDM% }. \NAMECITE{multifactor}{% Berling:2003:EEM% }. \NAMECITE{multilayer}{% Ramesh:2000:MCS% }. \NAMECITE{Multilayered}{% Gueheneuc:2008:DMA% }. \NAMECITE{Multilegged}{% Littlewood:2007:UMA% }. \NAMECITE{Multilevel}{% Atkinson:2009:FIM% }. \NAMECITE{multilinguistic}{% Kamiya:2002:CMT% }. \NAMECITE{multimedia}{% Hsu:2003:SPN% }. \NAMECITE{Multiphase}{% Gouda:2002:MS% }. \NAMECITE{multiple}{% Kitchenham:2004:SPM,% Mori:2004:DDM% }. \NAMECITE{multiplicity}{% Peleg:2000:MMP% }. \NAMECITE{multiprocessor}{% Baghdadi:2002:CPE,% Janka:2002:VBM,% Yen:2001:DMI% }. \NAMECITE{multiprocessors}{% Kadamuddi:2000:CAP,% Silva:2001:CCO% }. \NAMECITE{multithreaded}{% Shinjo:2005:AEP,% Wang:2006:RAA% }. \NAMECITE{Mutation}{% Abraham:2009:MOS,% Andrews:2006:UMA,% Delamaro:2001:IMA,% Do:2006:UMF% }. \NAMECITE{Navigability}{% Zhou:2007:MMM% }. \NAMECITE{{NDT}}{% Escalona:2008:NMD% }. \NAMECITE{Need}{% Damian:2008:NMM% }. \NAMECITE{needs}{% Antoniol:2004:ASN% }. \NAMECITE{Neglected}{% Chang:2008:DNC% }. \NAMECITE{negotiation}{% Lum:2003:UCC% }. \NAMECITE{Negotiations}{% Damian:2008:NMM% }. \NAMECITE{net}{% Bobbio:2003:PFT,% Hsu:2003:SPN,% Teruel:2003:WDG% }. \NAMECITE{net-level}{% Teruel:2003:WDG% }. \NAMECITE{Nets}{% Juan:2001:RMR,% Kounev:2006:PME,% Balbo:2002:PFS,% Bucci:2005:CVP,% Ciardo:2002:ISS,% Gribaudo:2002:FSP,% Horvath:2002:TDA,% Teruel:2003:WDG,% Xu:2002:CSA,% Xu:2006:TDM% }. \NAMECITE{Network}{% Hearty:2009:PPV,% Mendes:2008:BNM,% Bhargavan:2002:VFA,% Neumann:2002:ENN,% Ramesh:2000:MCS% }. \NAMECITE{Networks}{% Franks:2009:EMS% }. \NAMECITE{neural}{% Neumann:2002:ENN% }. \NAMECITE{next}{% Devanbu:2000:GEI% }. \NAMECITE{nominal}{% Biffl:2003:IDD% }. \NAMECITE{Non}{% Carnevali:2009:SDF,% Bobbio:2000:MFI,% Horvath:2002:TDA% }. \NAMECITE{Non-{Markovian}}{% Carnevali:2009:SDF,% Bobbio:2000:MFI,% Horvath:2002:TDA% }. \NAMECITE{nonatomic}{% Fetzer:2004:ADM% }. \NAMECITE{noncircular}{% Yang:2002:CNA% }. \NAMECITE{nondeterministic}{% Hwang:2004:CTT,% Hwang:2004:TTN,% Zhang:2003:OTT% }. \NAMECITE{Nonfunctional}{% Cysneiros:2004:NRE,% Gregoriades:2005:SBA% }. \NAMECITE{nonhomogeneous}{% Huang:2003:USS% }. \NAMECITE{Nonparametric}{% Wilson:2007:NAO,% Lei:2003:ESN% }. \NAMECITE{nonpreemptive}{% Mosse:2003:NRT% }. \NAMECITE{Notations}{% Moody:2009:PNT,% Niu:2003:TSM% }. \NAMECITE{note}{% Pike:2006:NIA% }. \NAMECITE{Novel}{% Lessmann:2008:BCM% }. \NAMECITE{Number}{% Murtojarvi:2007:DPN,% Ostrand:2005:PLN% }. \NAMECITE{{O}}{% Chen:2000:ATP,% Rosti:2002:MPA% }. \NAMECITE{obfuscated}{% Lakhotia:2005:MDO% }. \NAMECITE{obfuscation}{% Collberg:2002:WTP% }. \NAMECITE{Object}{% Binkley:2006:TSR,% Concas:2007:PLL,% Demsky:2009:AEH,% Dig:2008:ESM,% Konrad:2004:OAP,% Mahony:2000:TCO,% Marcus:2008:UCC,% Olague:2007:EVT,% Sarkar:2008:MMQ,% Sharp:2006:SAO,% Zhou:2006:EAO,% Zhou:2009:EPC,% dAmorim:2008:DEE,% Alshayeb:2003:EVO,% Arisholm:2004:DCM,% Arisholm:2004:EED,% Bandi:2003:PMP,% Bansiya:2002:HMO,% Bolognesi:2000:TCO,% Bowman:2000:SPS,% Briand:2001:CEE,% Briand:2001:MDE,% Briand:2002:AAF,% Buchs:2000:FSF,% Cartwright:2000:EIO,% Cavalcanti:2000:WPS,% Chatzigeorgiou:2003:MAO,% Chen:2003:COS,% Cheng:2002:FID,% Costagliola:2005:CPA,% DeLoach:2000:TBR,% Dunsmore:2003:DET,% ElEmam:2001:CEC,% ElEmam:2002:OCS,% Evanco:2003:CCE,% Fioravanti:2001:EPM,% Gursaran:2001:AWP,% Gyimothy:2005:EVO,% Harel:2002:OSB,% Iyer:2001:ATE,% Jackson:2001:LEO,% Milicev:2002:AMT,% Sharma:2006:AWP,% Shull:2000:IRT,% Silva:2001:CCO,% Souter:2003:CCD,% Subramanyam:2003:EAC,% Tsantalis:2005:PPC,% Xing:2005:AEH,% Zhang:2002:CAW% }. \NAMECITE{Object-Oriented}{% Binkley:2006:TSR,% Concas:2007:PLL,% Demsky:2009:AEH,% Dig:2008:ESM,% Marcus:2008:UCC,% Olague:2007:EVT,% Sarkar:2008:MMQ,% Zhou:2006:EAO,% Zhou:2009:EPC,% dAmorim:2008:DEE,% Alshayeb:2003:EVO,% Arisholm:2004:DCM,% Arisholm:2004:EED,% Bandi:2003:PMP,% Bansiya:2002:HMO,% Briand:2001:CEE,% Briand:2001:MDE,% Briand:2002:AAF,% Buchs:2000:FSF,% Cartwright:2000:EIO,% Cavalcanti:2000:WPS,% Chatzigeorgiou:2003:MAO,% Cheng:2002:FID,% Costagliola:2005:CPA,% DeLoach:2000:TBR,% Dunsmore:2003:DET,% ElEmam:2001:CEC,% ElEmam:2002:OCS,% Evanco:2003:CCE,% Fioravanti:2001:EPM,% Gursaran:2001:AWP,% Gyimothy:2005:EVO,% Iyer:2001:ATE,% Shull:2000:IRT,% Souter:2003:CCD,% Subramanyam:2003:EAC,% Tsantalis:2005:PPC,% Xing:2005:AEH,% Zhang:2002:CAW% }. \NAMECITE{objects}{% Alencar:2002:LTI,% Canal:2003:ARC,% Hsu:2003:SPN,% diBlasio:2000:CFA% }. \NAMECITE{observable}{% Zhang:2003:OTT% }. \NAMECITE{obstacles}{% vanLamsweerde:2000:HOG% }. \NAMECITE{Off}{% Li:2008:SPS% }. \NAMECITE{Off-the-Shelf}{% Li:2008:SPS% }. \NAMECITE{one}{% Sherman:2003:KEL% }. \NAMECITE{one-way}{% Sherman:2003:KEL% }. \NAMECITE{online}{% Chen:2002:EDO,% Kuo:2003:EOS% }. \NAMECITE{only}{% Strein:2007:EMP% }. \NAMECITE{onto}{% Marongiu:2000:AMS% }. \NAMECITE{{OO}}{% Tan:2006:STF% }. \NAMECITE{Open}{% Capra:2008:ESR,% Bowman:2000:SPS,% Dinh-Trong:2005:FPR,% Gyimothy:2005:EVO,% Koru:2005:CHC,% Paulson:2004:ESO% }. \NAMECITE{open-source}{% Koru:2005:CHC,% Paulson:2004:ESO% }. \NAMECITE{Operating}{% Dolev:2008:TSS,% Koopman:2000:EHE,% Li:2004:FVA% }. \NAMECITE{operational}{% Briand:2002:OPG,% Rajgopal:2002:MOT% }. \NAMECITE{operations}{% Lutz:2004:EAS% }. \NAMECITE{Operators}{% Abraham:2009:MOS% }. \NAMECITE{opinion}{% Freimut:2005:DIC,% Li:2003:RSE% }. \NAMECITE{Opportunities}{% Tsantalis:2009:IMM,% Elbaum:2005:PDS% }. \NAMECITE{{OPS5}}{% Kang:2004:SMT% }. \NAMECITE{{OPSS}}{% Cugola:2001:JEB% }. \NAMECITE{Optimal}{% Auer:2006:OPF,% Yang:2008:SUS,% Zhang:2003:OTT,% Zheng:2008:PME,% ElEmam:2002:OCS% }. \NAMECITE{Optimization}{% Anonymous:2008:CPS,% Benaroch:2009:IEO,% Chari:2006:STP% }. \NAMECITE{Optimized}{% Ngo-The:2009:ORA% }. \NAMECITE{Optimizing}{% Chan:2001:OSM,% Lee:2004:ORT% }. \NAMECITE{Optimum}{% Jalote:2002:OCL% }. \NAMECITE{Order}{% Wilson:2007:NAO,% Briand:2003:IGB,% Mitchell:2005:RRC% }. \NAMECITE{Order-Statistic}{% Wilson:2007:NAO% }. \NAMECITE{Organizations}{% Ye:2009:AAS% }. \NAMECITE{Oriented}{% Binkley:2006:TSR,% Casale:2009:CEC,% Concas:2007:PLL,% Demsky:2009:AEH,% Dig:2008:ESM,% Ducasse:2009:SAR,% Hall:2008:POS,% Marcus:2008:UCC,% Olague:2007:EVT,% Sarkar:2008:MMQ,% Zhou:2006:EAO,% Zhou:2009:EPC,% dAmorim:2008:DEE,% Alshayeb:2003:EVO,% Andrade:2004:MFV,% Arisholm:2004:DCM,% Arisholm:2004:EED,% Bandi:2003:PMP,% Bansiya:2002:HMO,% Bolognesi:2000:TCO,% Briand:2001:CEE,% Briand:2001:MDE,% Briand:2002:AAF,% Buchs:2000:FSF,% Cartwright:2000:EIO,% Cavalcanti:2000:WPS,% Chatzigeorgiou:2003:MAO,% Cheng:2002:FID,% Costagliola:2005:CPA,% DeLoach:2000:TBR,% Dunsmore:2003:DET,% ElEmam:2001:CEC,% ElEmam:2002:OCS,% Evanco:2003:CCE,% Fioravanti:2001:EPM,% Gursaran:2001:AWP,% Gyimothy:2005:EVO,% Iyer:2001:ATE,% Sharma:2006:AWP,% Shull:2000:IRT,% Souter:2003:CCD,% Subramanyam:2003:EAC,% Tsantalis:2005:PPC,% Wang:2005:AAO,% Xing:2005:AEH,% Xu:2003:FMB,% Xu:2006:TDM,% Zhang:2002:CAW,% vanLamsweerde:2000:HOG% }. \NAMECITE{origin}{% Godfrey:2005:UOA% }. \NAMECITE{Other}{% Damian:2006:ESC% }. \NAMECITE{overruns}{% Molokken-Ostvold:2005:CSP% }. \NAMECITE{Package}{% Hall:2008:POS% }. \NAMECITE{packaging}{% DeLine:2001:APM,% DeLine:2001:CAP% }. \NAMECITE{Pair}{% Arisholm:2007:EPP% }. \NAMECITE{Pairs}{% Lui:2008:EPP% }. \NAMECITE{pairwise}{% Tai:2002:TGS% }. \NAMECITE{paleontology}{% Anton:2003:FPE% }. \NAMECITE{Papers}{% Anonymous:2004:CP,% Anonymous:2004:CPI,% Anonymous:2005:CP,% Anonymous:2007:CPS,% Anonymous:2008:CPS,% Anonymous:2009:CPN,% Anonymous:2009:CPSa,% Anonymous:2009:CPSb,% Bowman:2000:SPS,% Diaz:2001:CP,% Offutt:2002:CP% }. \NAMECITE{paradigm}{% Burnett:2000:EHS% }. \NAMECITE{{Parallaxis}}{% Braunl:2000:PIA% }. \NAMECITE{{Parallaxis-III}}{% Braunl:2000:PIA% }. \NAMECITE{Parallel}{% Adve:2000:PEE,% Baumstark:2005:RSI,% Braunl:2000:PIA,% Chamberlain:2000:ZMI,% Chen:2000:ATP,% Frey:2002:FSV,% Grammatikakis:2000:PQS,% Marongiu:2000:AMS,% Nyland:2000:DMD,% Prakash:2000:APS,% Rauber:2000:TAD,% Rosti:2002:MPA,% Stankovic:2002:DPP,% Talia:2000:GEIa,% Talia:2000:GEIb% }. \NAMECITE{parallelization}{% Gu:2000:EIA% }. \NAMECITE{parallelizing}{% Kadamuddi:2000:CAP% }. \NAMECITE{parameters}{% Binkley:2004:AVP% }. \NAMECITE{Parametric}{% Bobbio:2003:PFT,% Wang:2005:SPS% }. \NAMECITE{Parse}{% Kraft:2009:GRP% }. \NAMECITE{Part}{% Barbier:2003:FWP,% Tan:2003:FWP% }. \NAMECITE{Partial}{% Uchitel:2009:SPB,% Mitchell:2005:RRC% }. \NAMECITE{Participation}{% Dingsoyr:2008:IEP% }. \NAMECITE{partition}{% Boland:2003:CPR,% Chen:2003:CRF,% Ntafos:2001:CRP% }. \NAMECITE{partitionable}{% Babaoglu:2001:GCP% }. \NAMECITE{passing}{% Gorlatch:2000:TFB% }. \NAMECITE{paste}{% Li:2006:CMF% }. \NAMECITE{Pattern}{% Gueheneuc:2008:DMA,% Tsantalis:2006:DPD,% France:2004:UBP,% Prechelt:2002:TCE% }. \NAMECITE{Patterns}{% Dong:2007:VDP,% Dong:2008:TAP,% Casati:2000:UPD,% Konrad:2004:OAP,% Prechelt:2001:CEM,% Smith:2001:ESU,% Vokac:2004:DFD% }. \NAMECITE{Payoffs}{% Damian:2006:ESC% }. \NAMECITE{{PEPA}}{% Gilmore:2001:EAA% }. \NAMECITE{Perceived}{% Little:2003:PII% }. \NAMECITE{Perceptions}{% Napier:2009:CPP% }. \NAMECITE{Performance}{% Adve:2000:PEE,% Casale:2009:CEC,% Cortellessa:2007:ISM,% Kounev:2006:PME,% Nottegar:2001:PEM,% Yilmaz:2007:RES,% Zheng:2008:PME,% Avritzer:2004:RMP,% Baghdadi:2002:CPE,% Balsamo:2004:MBP,% Bandi:2003:PMP,% Berling:2003:EEM,% Bucci:2005:CVP,% Chen:2000:ATP,% Cheng:2000:GEI,% Cheng:2000:WSP,% Ciardo:2002:ISS,% Cortellessa:2005:MBP,% Liu:2005:DLP,% Menasce:2000:MDP,% Nixon:2000:MPR,% Petriu:2000:ABP,% Stensrud:2003:IHP,% Verdickt:2005:AIM,% Weyuker:2000:EPT,% Whisnant:2004:EAB% }. \NAMECITE{performed}{% Eom:2001:THT% }. \NAMECITE{personal}{% Prechelt:2001:EME% }. \NAMECITE{perspective}{% Barat:2002:RIS,% Laitenberger:2001:IRQ% }. \NAMECITE{{Petri}}{% Balbo:2002:PFS,% Bobbio:2003:PFT,% Bucci:2005:CVP,% Ciardo:2002:ISS,% Gribaudo:2002:FSP,% Horvath:2002:TDA,% Hsu:2003:SPN,% Juan:2001:RMR,% Kounev:2006:PME,% Teruel:2003:WDG,% Xu:2002:CSA,% Xu:2006:TDM% }. \NAMECITE{{Petri}-net}{% Hsu:2003:SPN% }. \NAMECITE{phase}{% Sawyer:2005:SKA% }. \NAMECITE{Physics}{% Moody:2009:PNT% }. \NAMECITE{Planning}{% Chari:2006:STP,% Ngo-The:2009:ORA,% Memon:2001:HGT% }. \NAMECITE{plans}{% Rajgopal:2002:MOT% }. \NAMECITE{Platform}{% Cortellessa:2007:ISM% }. \NAMECITE{platforms}{% Devanbu:2002:SQI% }. \NAMECITE{playground}{% Malkhi:2000:SEJ% }. \NAMECITE{Pluggable}{% Kuncak:2006:MPA% }. \NAMECITE{Plumblines}{% Cleland-Huang:2008:GCT% }. \NAMECITE{{POEMS}}{% Adve:2000:PEE% }. \NAMECITE{point}{% Costagliola:2005:CPA% }. \NAMECITE{pointer}{% Wang:2004:BBS% }. \NAMECITE{points}{% Bruns:2003:SPA,% Chatterjee:2001:CPA,% Mock:2005:PSD% }. \NAMECITE{points-to}{% Bruns:2003:SPA,% Chatterjee:2001:CPA,% Mock:2005:PSD% }. \NAMECITE{{Poisson}}{% Huang:2003:USS% }. \NAMECITE{policies}{% Bobbio:2000:MFI,% Tan:2005:CUF% }. \NAMECITE{policy}{% Bhatti:2006:XFP,% Mookerjee:2002:DCP,% vanderHoek:2002:TCM% }. \NAMECITE{Polymetric}{% Lanza:2003:PVL% }. \NAMECITE{Polymorphism}{% Rountev:2004:FCA% }. \NAMECITE{Population}{% vanderMeulen:2008:ESD% }. \NAMECITE{populations}{% vanOmmering:2005:SRP% }. \NAMECITE{portability}{% Shinjo:2005:AEP% }. \NAMECITE{portable}{% Chen:2000:ATP% }. \NAMECITE{Positive}{% Halfond:2008:WPW% }. \NAMECITE{{POSIX}}{% Koopman:2000:EHE,% Li:2004:FVA,% Shinjo:2005:AEP% }. \NAMECITE{{POSIX}-compliant}{% Shinjo:2005:AEP% }. \NAMECITE{possible}{% Bratthall:2002:IPD% }. \NAMECITE{Potentially}{% Zhou:2009:EPC% }. \NAMECITE{Power}{% Concas:2007:PLL,% Hatton:2009:PLD,% Marchand:2000:IDP% }. \NAMECITE{Power-Law}{% Hatton:2009:PLD% }. \NAMECITE{Power-Laws}{% Concas:2007:PLL% }. \NAMECITE{Practical}{% Duraes:2006:ESF,% Borger:2000:PMS% }. \NAMECITE{Practice}{% Li:2008:SPS% }. \NAMECITE{Practices}{% Menzies:2006:SBP,% Rothenberger:2003:SSR% }. \NAMECITE{Precision}{% Menzies:2007:PPR,% Siegel:2002:IPI% }. \NAMECITE{precondition}{% Cavalcanti:2000:WPS% }. \NAMECITE{predicate}{% Alagar:2001:TTS,% Binkley:2004:AVP% }. \NAMECITE{predicates}{% Chen:2002:EDO% }. \NAMECITE{Predict}{% Olague:2007:EVT% }. \NAMECITE{Predicting}{% Bandi:2003:PMP,% Graves:2000:PFI,% Hearty:2009:PPV,% Ostrand:2005:PLN,% Shepperd:2001:PSD,% Tsantalis:2005:PPC,% Ying:2004:PSC,% Zhou:2006:EAO,% Pendharkar:2005:PMP% }. \NAMECITE{Prediction}{% Lessmann:2008:BCM,% Marcus:2008:UCC,% Mendes:2008:BNM,% Balsamo:2004:MBP,% Fioravanti:2001:EPM,% Gyimothy:2005:EVO,% Harrold:2001:ESP,% Liu:2005:DLP,% Myrtveit:2005:RVC,% Shepperd:2001:CSP,% Song:2006:SDA,% Tian:2002:BRA% }. \NAMECITE{Predictor}{% Menzies:2007:PPR% }. \NAMECITE{Predictors}{% Menzies:2007:DMS,% Zhang:2007:CDM% }. \NAMECITE{preemption}{% Bobbio:2000:MFI,% Lee:2001:BCR% }. \NAMECITE{preemptive}{% Bucci:2004:TSS,% Bucci:2005:CVP% }. \NAMECITE{Preliminary}{% Kitchenham:2002:PGE% }. \NAMECITE{preprocessed}{% Spinellis:2003:GAT% }. \NAMECITE{preprocessor}{% Ernst:2002:EAC% }. \NAMECITE{Prescriptions}{% Napier:2009:CPP% }. \NAMECITE{Presence}{% Cohen:2008:CIT,% Dig:2008:ESM,% Chatterjee:2001:CPA% }. \NAMECITE{Preserving}{% Mangeruca:2007:SPD% }. \NAMECITE{Pressure}{% Nan:2009:IBS% }. \NAMECITE{{PRI}}{% Horvath:2002:TDA% }. \NAMECITE{Price}{% Murtojarvi:2007:DPN,% Telang:2007:EAI% }. \NAMECITE{primitives}{% Miller:2004:GMP% }. \NAMECITE{principal}{% Rothenberger:2003:SSR% }. \NAMECITE{Principle}{% Dai:2007:UAS% }. \NAMECITE{priorities}{% Teruel:2003:WDG% }. \NAMECITE{Prioritization}{% Do:2006:UMF,% Li:2007:SAR,% Elbaum:2002:TCP,% Jones:2003:TSR% }. \NAMECITE{Prioritizing}{% Rothermel:2001:PTC% }. \NAMECITE{Priority}{% Grammatikakis:2000:PQS% }. \NAMECITE{Privacy}{% Breaux:2008:ARR,% Spiekermann:2009:EP% }. \NAMECITE{Privately}{% Weimer:2008:PFS% }. \NAMECITE{Probabilistic}{% Han:2009:CGP,% Norman:2009:MCP,% Poshyvanyk:2007:FLU,% Pendharkar:2005:PMP% }. \NAMECITE{probability}{% Tsantalis:2005:PPC% }. \NAMECITE{Problem}{% Hall:2008:POS,% Peleg:2000:MMP,% Stuart:2001:SVB% }. \NAMECITE{Problems}{% Menzies:2007:PPR,% Lee:2000:DRS% }. \NAMECITE{procedure}{% Bailey:2003:ADD% }. \NAMECITE{Process}{% Dingsoyr:2008:IEP,% Ducasse:2009:SAR,% Napier:2009:CPP,% Porter:2007:SPI,% Yilmaz:2007:RES,% Briand:2002:OPG,% Cangussu:2002:FMS,% Cangussu:2003:USA,% Dyba:2005:EIK,% ElEmam:2000:VII,% Huang:2003:USS,% Jalote:2002:OCL,% Jiau:2004:CSP,% Litoiu:2000:DPR,% Manzoni:2003:IER,% Ocampo:2003:TRP,% Oliveira:2004:SPR,% Prechelt:2001:EME,% Vitharana:2003:CMG,% Wang:2005:AAO% }. \NAMECITE{process-control}{% Wang:2005:AAO% }. \NAMECITE{Process-Oriented}{% Ducasse:2009:SAR% }. \NAMECITE{Processes}{% Ardagna:2007:ASC,% Damian:2006:ESC,% Olague:2007:EVT,% Zou:2007:IUC,% Alshayeb:2003:EVO,% Desai:2005:IPD,% Murata:2000:HIH,% Nottegar:2001:PEM% }. \NAMECITE{processing}{% Baumstark:2005:RSI,% Braunl:2000:PIA,% Janka:2002:VBM,% Talia:2000:GEIa,% Talia:2000:GEIb% }. \NAMECITE{processors}{% Barat:2002:RIS% }. \NAMECITE{Product}{% Balbo:2002:PFS,% Moon:2005:ADD,% vanOmmering:2005:SRP% }. \NAMECITE{production}{% Kang:2004:SMT% }. \NAMECITE{Productivity}{% Damian:2006:ESC,% Kao:2003:CQP,% Kitchenham:2004:SPM,% Morisio:2002:QPL% }. \NAMECITE{products}{% Koru:2005:CHC,% Paulson:2004:ESO% }. \NAMECITE{profile}{% Apvrille:2004:TRT% }. \NAMECITE{Profiling}{% Elbaum:2005:PDS% }. \NAMECITE{Program}{% Cornelissen:2009:SSP,% Lui:2008:EPP,% Mock:2005:PSD,% Strein:2007:EMM,% Strein:2007:EMP,% Chen:2001:RDU,% Dolado:2003:EII,% Ernst:2001:DDL,% Gu:2000:EIA,% Prechelt:2002:TCE,% Sauer:2000:ESD,% Shaw:2003:MDR,% Tonella:2003:UCL,% Weber:2005:FSB% }. \NAMECITE{Programmer}{% Arisholm:2007:EPP% }. \NAMECITE{Programming}{% Arisholm:2007:EPP,% Barak:2006:IHS,% Sillito:2008:AAQ,% Baden:2000:PMD,% Batory:2000:DWV,% Chamberlain:2000:ZMI,% Erdogmus:2005:ETF,% Stankovic:2002:DPP,% Xu:2003:TBD,% vanderHoek:2002:TCM% }. \NAMECITE{Programs}{% Demsky:2009:AEH,% Ren:2006:IFC,% dAmorim:2008:DEE,% vanderMeulen:2008:ESD,% Baumstark:2005:RSI,% Cavalcanti:2000:WPS,% Gopal:2002:MPS,% Gopal:2005:IIF,% Gorlatch:2000:TFB,% Iyer:2001:ATE,% Koppol:2002:IIT,% Lei:2006:RTC,% Prakash:2000:APS,% Shinjo:2005:AEP,% Sinha:2000:ATP,% Wang:2006:RAA,% Xu:2003:TBD,% Zhang:2004:UHG% }. \NAMECITE{Project}{% Hearty:2009:PPV,% Antoniol:2004:ASN,% Auer:2006:OPF,% Bergin:2000:SRP,% Cubranic:2005:HPM,% Dinh-Trong:2005:FPR,% Freimut:2005:DIC,% Jorgensen:2004:ESS,% Molokken-Ostvold:2005:CSP,% Ropponen:2000:CSD% }. \NAMECITE{Projects}{% Agrawal:2007:SEQ,% Capra:2008:ESR,% Briand:2002:AAF,% Stensrud:2003:IHP% }. \NAMECITE{Proneness}{% Olague:2007:EVT,% Pai:2007:EAS,% Zhou:2009:EPC,% Briand:2002:AAF% }. \NAMECITE{proof}{% King:2000:PMC,% Littlewood:2000:UPD% }. \NAMECITE{proofing}{% Collberg:2002:WTP% }. \NAMECITE{Proper}{% Murtojarvi:2007:DPN% }. \NAMECITE{Properties}{% Demsky:2009:AEH,% Donatelli:2009:MCT,% Halle:2009:SVD,% Kshemkalyani:2007:DAS,% Uchitel:2009:SPB,% Braberman:2005:SMA,% Briand:2001:MDE,% Stewart:2003:TAF% }. \NAMECITE{Property}{% Gursaran:2001:AWP,% Zhang:2002:CAW,% Sharma:2006:AWP% }. \NAMECITE{proportional}{% Ntafos:2001:CRP% }. \NAMECITE{Proposed}{% Lessmann:2008:BCM% }. \NAMECITE{Protecting}{% Halfond:2008:WPW% }. \NAMECITE{Protection}{% Desmet:2008:PPA,% Collberg:2002:WTP% }. \NAMECITE{protocol}{% Camp:2001:AGP,% Huang:2003:MMC,% Lai:2003:MES% }. \NAMECITE{protocols}{% Desai:2005:IPD,% Plasil:2002:BPS% }. \NAMECITE{prototype}{% Seaman:2003:UIE% }. \NAMECITE{prototyping}{% Janka:2002:VBM,% Kordon:2002:IRS% }. \NAMECITE{Provable}{% Desmet:2008:PPA% }. \NAMECITE{Providing}{% Keung:2008:AXP% }. \NAMECITE{Proximity}{% Liu:2008:SSF% }. \NAMECITE{PSP}{% Prechelt:2001:EME,% Kemerer:2009:IDC% }. \NAMECITE{publish}{% Caporuscio:2003:DES% }. \NAMECITE{publish/subscribe}{% Caporuscio:2003:DES% }. \NAMECITE{purity}{% Flanagan:2005:EPA% }. \NAMECITE{QEST}{% Franceschinis:2006:GEI% }. \NAMECITE{{QoS}}{% Chuang:2008:DQA,% Lodi:2007:SDC,% Zeng:2004:QAM% }. \NAMECITE{{QoS}-Aware}{% Lodi:2007:SDC,% Zeng:2004:QAM% }. \NAMECITE{qualitative}{% Bratthall:2002:IPD% }. \NAMECITE{Qualities}{% Cleland-Huang:2008:GCT% }. \NAMECITE{Quality}{% Agrawal:2007:SEQ,% Capra:2008:ESR,% Damian:2006:ESC,% Kao:2003:CQP,% Kemerer:2009:IDC,% Morisio:2002:QPL,% Porter:2007:SPI,% Sarkar:2007:ABI,% Sarkar:2008:MMQ,% Yilmaz:2007:RES,% Bansiya:2002:HMO,% Briand:2001:CEE,% Chatzigeorgiou:2003:MAO,% Parnas:2003:RIS% }. \NAMECITE{Quantitative}{% Andersson:2007:RQA,% Fenton:2000:QAF,% Franceschinis:2006:GEI,% Hillston:2009:GEI,% Vicario:2009:USS,% Litoiu:2000:DPR% }. \NAMECITE{quasi}{% Laitenberger:2001:IRQ% }. \NAMECITE{quasi-experimental}{% Laitenberger:2001:IRQ% }. \NAMECITE{query}{% Gurfinkel:2003:TLQ% }. \NAMECITE{Questions}{% Sillito:2008:AAQ% }. \NAMECITE{queue}{% Devanbu:2002:SQI% }. \NAMECITE{Queueing}{% Franks:2009:EMS,% Kounev:2006:PME,% Ramesh:2000:MCS% }. \NAMECITE{queues}{% Grammatikakis:2000:PQS% }. \NAMECITE{queuing}{% Antoniol:2004:ASN% }. \NAMECITE{Quiescence}{% Vandewoude:2007:TLD% }. \NAMECITE{race}{% Mitchell:2005:RRC% }. \NAMECITE{Radar}{% DAmbros:2009:VCC% }. \NAMECITE{radial}{% Shin:2000:EDM% }. \NAMECITE{railway}{% Haxthausen:2000:FDV% }. \NAMECITE{random}{% Boland:2003:CPR,% Ntafos:2001:CRP% }. \NAMECITE{Ranking}{% Inoue:2005:RSS,% Poshyvanyk:2007:FLU,% Li:2003:RSE% }. \NAMECITE{Rapid}{% Teasley:2002:RSD,% Julien:2006:EFR,% Kordon:2002:IRS% }. \NAMECITE{rapidly}{% Memon:2005:SFD% }. \NAMECITE{rational}{% Manzoni:2003:IER% }. \NAMECITE{Reachability}{% Lei:2006:RTC,% Iyer:2001:ATE% }. \NAMECITE{Reactive}{% Vicario:2009:USS,% Constant:2007:IFV% }. \NAMECITE{reading}{% Laitenberger:2001:IRQ,% Shull:2000:IRT,% Thelin:2003:ECU% }. \NAMECITE{Real}{% Bellini:2006:RCI,% Furia:2006:CIL,% Apvrille:2004:TRT,% Braberman:2005:SMA,% Bucci:2004:TSS,% Bucci:2005:CVP,% En-Nouaary:2002:TWM,% Hsiung:2004:VAF,% Juan:2001:RMR,% Kang:2000:ESS,% Kuo:2003:EOS,% Lee:2001:BCR,% Lee:2004:ORT,% Li:2004:FVA,% Luqi:2004:DDD,% Mattolini:2001:ILR,% Mosse:2003:NRT,% Peleg:2000:MMP,% Peters:2002:RBM,% Ravindran:2002:EDR,% Stewart:2003:TAF,% Xu:2002:CSA,% Zuberi:2001:ESM% }. \NAMECITE{Real-Time}{% Bellini:2006:RCI,% Furia:2006:CIL,% Apvrille:2004:TRT,% Braberman:2005:SMA,% Bucci:2004:TSS,% Bucci:2005:CVP,% En-Nouaary:2002:TWM,% Hsiung:2004:VAF,% Juan:2001:RMR,% Kang:2000:ESS,% Kuo:2003:EOS,% Lee:2001:BCR,% Lee:2004:ORT,% Li:2004:FVA,% Luqi:2004:DDD,% Mattolini:2001:ILR,% Mosse:2003:NRT,% Peleg:2000:MMP,% Peters:2002:RBM,% Ravindran:2002:EDR,% Stewart:2003:TAF,% Xu:2002:CSA,% Zuberi:2001:ESM% }. \NAMECITE{Realism}{% Jorgensen:2004:RAE% }. \NAMECITE{Realistic}{% Dzidek:2008:REE% }. \NAMECITE{Really}{% Mantyla:2009:WTD% }. \NAMECITE{Reasoning}{% Demsky:2006:GDR% }. \NAMECITE{Reasons}{% Anonymous:2009:GRJ,% Jorgensen:2004:RSE% }. \NAMECITE{recapture}{% Briand:2000:CEC,% ElEmam:2001:ECR% }. \NAMECITE{recency}{% Stubblebine:2002:ALF% }. \NAMECITE{Recommend}{% Holmes:2006:ASC% }. \NAMECITE{Recomputing}{% Chittimalli:2009:RCI% }. \NAMECITE{Reconfigurable}{% Barat:2002:RIS% }. \NAMECITE{Reconstruction}{% Ducasse:2009:SAR% }. \NAMECITE{Recovering}{% Antoniol:2002:RTL% }. \NAMECITE{Recovery}{% Kraft:2009:GRP,% Maqbool:2007:HCS,% Mosse:2003:NRT% }. \NAMECITE{recurrence}{% Marongiu:2000:AMS% }. \NAMECITE{rediscovered}{% Lee:2000:DRS% }. \NAMECITE{Reducing}{% Perry:2002:RII% }. \NAMECITE{Reduction}{% Jeffrey:2007:IFD,% Juan:2001:RMR,% McMaster:2008:CSC,% Jones:2003:TSR,% Wang:2004:BBS% }. \NAMECITE{redundancies}{% Xie:2003:URF% }. \NAMECITE{redundant}{% Bobbio:2003:PFT% }. \NAMECITE{reengineering}{% Bianchi:2003:IRL% }. \NAMECITE{Refactoring}{% Binkley:2006:TSR,% Kraft:2009:GRP,% Tonella:2005:RAI,% Tsantalis:2009:IMM,% Mens:2004:SSR% }. \NAMECITE{Refactorings}{% Dig:2008:ESM% }. \NAMECITE{Reference}{% Demsky:2009:AEH,% Ocampo:2003:TRP,% Ramesh:2001:TRM,% Turski:2002:RMS% }. \NAMECITE{References}{% Sharp:2006:SAO% }. \NAMECITE{Refinding}{% Storey:2009:HSD% }. \NAMECITE{Refinement}{% Shen:2009:ESA,% Batory:2004:SSW,% Cavalcanti:2000:WPS% }. \NAMECITE{reflective}{% Capra:2003:CCA,% Chan:2003:MRM,% Forax:2004:RIJ% }. \NAMECITE{reflexion}{% Murphy:2001:SRM% }. \NAMECITE{Regression}{% Chittimalli:2009:RCI,% Li:2007:SAR,% Harrold:2001:ESP,% Rothermel:2001:PTC,% Xie:2005:CIB% }. \NAMECITE{Regulatory}{% Breaux:2008:ARR% }. \NAMECITE{Relate}{% Ko:2006:ESH% }. \NAMECITE{Related}{% Desmet:2008:PPA,% Lee:2001:BCR,% Li:2006:CMF% }. \NAMECITE{relation}{% Chen:2003:CRF% }. \NAMECITE{relational}{% Beyer:2005:ERC% }. \NAMECITE{relations}{% Hsu:2003:SPN,% Inoue:2005:RSS,% Shaw:2003:MDR% }. \NAMECITE{Relationship}{% Capra:2008:ESR,% Koru:2009:IFF,% Barbier:2003:FWP,% Tan:2003:FWP% }. \NAMECITE{Relationships}{% Damian:2006:ESC% }. \NAMECITE{Release}{% Ngo-The:2009:ORA,% Yang:2008:SUS% }. \NAMECITE{Relevant}{% Holmes:2006:ASC,% Ko:2006:ESH% }. \NAMECITE{Reliability}{% Dai:2007:UAS,% Myrtveit:2005:RVC,% Rallis:2001:RES,% Wilson:2007:NAO,% Frolund:2002:TEE,% Gokhale:2005:SAS,% Huang:2003:USS,% Kallepalli:2001:MMU,% Kim:2004:SRA,% Popov:2003:EBR,% Rajgopal:2002:MOT,% Tian:2002:BRA,% Tian:2004:EWS,% Yacoub:2002:MAL% }. \NAMECITE{Reliable}{% Yilmaz:2007:RES% }. \NAMECITE{Reminding}{% Storey:2009:HSD% }. \NAMECITE{remote}{% Malkhi:2000:SEJ% }. \NAMECITE{Repair}{% Demsky:2006:GDR% }. \NAMECITE{replacement}{% Tan:2005:CUF% }. \NAMECITE{Replaying}{% Elbaum:2009:CRD% }. \NAMECITE{Replicated}{% Andersson:2007:RQA,% Laitenberger:2001:IRQ% }. \NAMECITE{replication}{% Dinh-Trong:2005:FPR,% Litoiu:2000:DPR% }. \NAMECITE{Reply}{% Bellini:2006:RCI,% Yadav:2001:CFI% }. \NAMECITE{Repositories}{% Anonymous:2004:CPI,% Hassan:2005:GEI,% Williams:2005:AMS% }. \NAMECITE{repository}{% Vitharana:2003:KBR% }. \NAMECITE{Representation}{% Haley:2008:SRE,% DeLoach:2000:TBR,% Jiau:2004:CSP,% Oliveira:2004:SPR% }. \NAMECITE{Reproducibility}{% Anda:2009:VRS% }. \NAMECITE{required}{% Manzoni:2003:IER% }. \NAMECITE{Requirements}{% Breaux:2008:ARR,% Carver:2008:IEB,% Damian:2006:ESC,% Damian:2008:NMM,% Escalona:2008:NMD,% Haley:2008:SRE,% Napier:2009:CPP,% Peters:2002:RBM,% Chechik:2001:AAC,% Cysneiros:2004:NRE,% ElEmam:2000:VII,% Gregoriades:2005:SBA,% Hayes:2006:ACL,% Hrischuk:2002:LCR,% Jiau:2006:CAA,% Moon:2005:ADD,% Nixon:2000:MPR,% Ramesh:2001:TRM,% Rosti:2002:MPA,% Sawyer:2005:SKA,% Xu:2003:IVS,% vanLamsweerde:2000:HOG% }. \NAMECITE{Requirements-based}{% Peters:2002:RBM% }. \NAMECITE{research}{% Bergin:2000:SRP,% Frakes:2005:SRR,% Kitchenham:2002:PGE,% Sauer:2000:ESD% }. \NAMECITE{resolution}{% Lee:2004:FCD% }. \NAMECITE{Resolving}{% Mitchell:2005:RRC,% Villadangos:2003:SAR% }. \NAMECITE{Resource}{% Ngo-The:2009:ORA,% Bellavista:2003:CAM,% Malek:2005:SAA% }. \NAMECITE{resource-constrained}{% Malek:2005:SAA% }. \NAMECITE{Respect}{% Arisholm:2007:EPP% }. \NAMECITE{Respectful}{% Wing:2000:RTC% }. \NAMECITE{respondent}{% Jorgensen:2004:RSE% }. \NAMECITE{Response}{% Menzies:2007:PPR,% Oliveira:2004:RJA,% Roberts:2001:RCF,% Sobel:2003:RCF% }. \NAMECITE{Restart}{% vanMoorsel:2006:ARM% }. \NAMECITE{restructuring}{% Tonella:2001:CAM% }. \NAMECITE{result}{% Andrews:2003:GTR% }. \NAMECITE{Retaining}{% Jeffrey:2007:IFD% }. \NAMECITE{Retargeting}{% Baumstark:2005:RSI% }. \NAMECITE{Retrieval}{% Poshyvanyk:2007:FLU% }. \NAMECITE{retrieving}{% Vitharana:2003:KBR% }. \NAMECITE{reuse}{% Devanbu:2000:GEI,% Frakes:2005:SRR,% Menzies:2003:MSF,% Morel:2004:SAC,% Morisio:2002:SFF,% Morisio:2003:CMS,% Parsons:2004:CHS,% Rothenberger:2003:SSR,% Selby:2005:ERB,% Succi:2001:AES,% Tomer:2004:ESR,% vanOmmering:2005:SRP% }. \NAMECITE{reuse-based}{% Selby:2005:ERB% }. \NAMECITE{Reverse}{% Briand:2006:TRE,% vanDeursen:2005:GEI,% Hrischuk:2002:LCR,% Lanza:2003:PVL,% Snavely:2005:UUU% }. \NAMECITE{Reversible}{% Chen:2001:RDU% }. \NAMECITE{Review}{% Hannay:2007:SRT,% Jorgensen:2007:SRS,% Kitchenham:2007:CVW,% Traore:2004:ESR% }. \NAMECITE{Reviewer}{% Anonymous:2008:RL% }. \NAMECITE{Reviewers}{% Anonymous:2003:RL,% Anonymous:2004:RL,% Anonymous:2005:RL,% Anonymous:2006:RL,% Anonymous:2007:RL,% Anonymous:2009:RL,% Anonymous:2000:RL,% Anonymous:2001:RL% }. \NAMECITE{Reviewing}{% Hungerford:2004:RSD% }. \NAMECITE{Reviews}{% Kemerer:2009:IDC,% Mantyla:2009:WTD,% Rallis:2001:RES,% Sauer:2000:ESD% }. \NAMECITE{revisited}{% Turski:2002:RMS% }. \NAMECITE{Revisiting}{% Saougkos:2007:RJB% }. \NAMECITE{revocation}{% Stubblebine:2002:ALF% }. \NAMECITE{rhetoric}{% Purushothaman:2005:TUR% }. \NAMECITE{Risk}{% Benaroch:2009:IEO,% Damian:2006:ESC,% Li:2008:SPS,% Cortellessa:2005:MBP,% Goseva-Popstojanova:2003:ALR,% Neumann:2002:ENN,% Ropponen:2000:CSD,% Yacoub:2002:MAL% }. \NAMECITE{risks}{% Kitchenham:2003:MSB% }. \NAMECITE{{RMI}}{% Sharp:2006:SAO% }. \NAMECITE{{RMI}-Based}{% Sharp:2006:SAO% }. \NAMECITE{robust}{% Yen:2001:DMI% }. \NAMECITE{Robustness}{% Fu:2005:RTJ% }. \NAMECITE{Role}{% Hannay:2008:RDA,% Masood:2009:SET,% Avritzer:2004:RMP,% Jorgensen:2004:RSE,% Parnas:2003:RIS% }. \NAMECITE{Role-Based}{% Masood:2009:SET% }. \NAMECITE{roles}{% Canal:2003:ARC% }. \NAMECITE{Router}{% Hall:2008:POS% }. \NAMECITE{{RPG}}{% Succi:2001:AES% }. \NAMECITE{rule}{% Chavez:2000:DAS,% Lee:2004:ORT% }. \NAMECITE{rule-based}{% Lee:2004:ORT% }. \NAMECITE{Rules}{% Breaux:2008:ARR,% Casati:2000:UPD% }. \NAMECITE{Running}{% Schmerl:2006:DAR% }. \NAMECITE{Runtime}{% Wang:2006:RAA,% Delgado:2004:TCR% }. \NAMECITE{{RUP}}{% Manzoni:2003:IER% }. \NAMECITE{{Rushby}}{% Pike:2006:NIA% }. \NAMECITE{Safe}{% Srivastava:2008:MIH,% Vandewoude:2007:TLD,% Villadangos:2003:SAR% }. \NAMECITE{Safety}{% Littlewood:2007:UMA,% Lutz:2004:EAS,% Wang:2004:BBS,% Wang:2005:SPS% }. \NAMECITE{safety-analysis}{% Wang:2004:BBS% }. \NAMECITE{safety-critical}{% Lutz:2004:EAS% }. \NAMECITE{Same}{% Anda:2009:VRS% }. \NAMECITE{{SARE}}{% Marongiu:2000:AMS% }. \NAMECITE{{SATIN}}{% Zachariadis:2006:SCS% }. \NAMECITE{satisfaction}{% Succi:2001:AES% }. \NAMECITE{Saturation}{% Miner:2006:SGC% }. \NAMECITE{Scalable}{% Masood:2009:SET,% Shen:2009:ESA% }. \NAMECITE{Scale}{% Barak:2006:IHS,% Sarkar:2008:MMQ,% Kamiya:2002:CMT,% Koru:2005:CHC,% Li:2006:CMF,% Perry:2002:RII,% Selby:2005:ERB% }. \NAMECITE{Scale-Up}{% Barak:2006:IHS% }. \NAMECITE{Scaling}{% Batory:2004:SSW% }. \NAMECITE{Scenario}{% Barak:2006:IHS,% Gregoriades:2005:SBA,% Braberman:2005:SMA,% Egyed:2003:SDA% }. \NAMECITE{Scenario-Based}{% Barak:2006:IHS,% Gregoriades:2005:SBA% }. \NAMECITE{scenario-driven}{% Egyed:2003:SDA% }. \NAMECITE{scenario-matching}{% Braberman:2005:SMA% }. \NAMECITE{Scenarios}{% Poshyvanyk:2007:FLU,% Uchitel:2009:SPB,% Damas:2005:GAB,% Hrischuk:2002:LCR,% Mitchell:2005:RRC,% Uchitel:2003:SBM% }. \NAMECITE{schedulability}{% Kuo:2003:EOS,% Xu:2002:CSA% }. \NAMECITE{Schedule}{% Nan:2009:IBS% }. \NAMECITE{scheduler}{% Mosse:2003:NRT% }. \NAMECITE{scheduling}{% Li:2004:FVA% }. \NAMECITE{scheme}{% Huang:2003:USS,% Vitharana:2003:KBR% }. \NAMECITE{{Schur}}{% Boland:2003:CPR% }. \NAMECITE{Scientific}{% Moody:2009:PNT,% Chen:2000:ATP% }. \NAMECITE{{SCL}}{% Hou:2006:USS% }. \NAMECITE{Scoring}{% Tsantalis:2006:DPD% }. \NAMECITE{Screening}{% Yilmaz:2007:RES% }. \NAMECITE{Search}{% Anonymous:2008:CPS,% Li:2007:SAR,% Santone:2003:HSL% }. \NAMECITE{Search-Based}{% Anonymous:2008:CPS% }. \NAMECITE{Searching}{% Bruns:2003:SPA% }. \NAMECITE{second}{% Bowman:2000:SPS% }. \NAMECITE{Section}{% Anonymous:2003:SSI,% Binkley:2007:GEI,% Canfora:2009:GEI,% Devanbu:2008:ISS,% Favre:2009:GEI,% Franceschinis:2006:GEI,% Griswold:2006:GEI,% McDaniel:2008:GEI,% Uchitel:2005:GES,% Ciardo:2002:ISS% }. \NAMECITE{Secure}{% Bartoletti:2008:SBD,% Heitmeyer:2008:AFM,% Malkhi:2000:SEJ,% McDaniel:2008:GEI,% Xu:2006:TDM% }. \NAMECITE{Security}{% Breaux:2008:ARR,% Haley:2008:SRE,% Lotz:2000:FSM% }. \NAMECITE{see}{% Burnett:2002:THS% }. \NAMECITE{Seek}{% Anonymous:2008:SJS,% Ko:2006:ESH% }. \NAMECITE{Selected}{% Bowman:2000:SPS% }. \NAMECITE{Selecting}{% Menzies:2006:SBP% }. \NAMECITE{selection}{% Harrold:2001:ESP% }. \NAMECITE{selective}{% Santone:2003:HSL% }. \NAMECITE{Selectively}{% Jeffrey:2007:IFD% }. \NAMECITE{Self}{% Dolev:2008:TSS% }. \NAMECITE{Self-Stabilizing}{% Dolev:2008:TSS% }. \NAMECITE{Semantics}{% Bartoletti:2008:SBD,% Botting:2005:SET,% Mangeruca:2007:SPD,% Milicev:2007:SAA,% Bobbio:2003:PFT,% Cavalcanti:2000:WPS,% Evermann:2005:TFD,% Niu:2003:TSM,% Stubblebine:2002:ALF% }. \NAMECITE{Semantics-Based}{% Bartoletti:2008:SBD% }. \NAMECITE{Semantics-Preserving}{% Mangeruca:2007:SPD% }. \NAMECITE{sensitivity}{% Cangussu:2003:USA% }. \NAMECITE{Sequence}{% Briand:2006:TRE,% Mitchell:2008:CCC,% Sengupta:2006:TMS,% Alur:2003:IMS,% Bontemps:2005:LSC,% Prowell:2003:FSB% }. \NAMECITE{sequence-based}{% Prowell:2003:FSB% }. \NAMECITE{sequences}{% Pietro:2000:GES% }. \NAMECITE{sequential}{% Baumstark:2005:RSI,% Molokken-Ostvold:2005:CSP,% Rallis:2001:RES% }. \NAMECITE{series}{% Briand:2004:AIS% }. \NAMECITE{Server}{% Kistijantoro:2008:EAS,% Fu:2005:RTJ,% Hwang:2004:CTT,% Hwang:2004:TTN,% Makaroff:2001:DIV,% Menasce:2000:MDP,% Ramesh:2000:MCS,% Tian:2004:EWS% }. \NAMECITE{Servers}{% Lodi:2007:SDC% }. \NAMECITE{Service}{% Anonymous:2009:CPSa,% Anonymous:2009:CPSb,% Ardagna:2007:ASC,% Halle:2009:SVD,% Ye:2009:AAS,% Caporuscio:2003:DES,% Guerraoui:2001:GCS,% Lum:2003:UCC,% Niemela:2005:TAK% }. \NAMECITE{Service-Based}{% Anonymous:2009:CPSa,% Anonymous:2009:CPSb% }. \NAMECITE{Services}{% Anonymous:2009:CPSa,% Anonymous:2009:CPSb,% Bartoletti:2008:SBD,% Anton:2003:FPE,% Fu:2005:SCA,% Ocampo:2003:TRP,% Zeng:2004:QAM,% Zheng:2006:MMC% }. \NAMECITE{Session}{% Desmet:2008:PPA,% Krishnamurthy:2006:SWG,% Sampath:2007:ACA,% Elbaum:2005:LUS% }. \NAMECITE{Session-Based}{% Krishnamurthy:2006:SWG% }. \NAMECITE{Sessions}{% Jorgensen:2009:ILL% }. \NAMECITE{set}{% Barat:2002:RIS% }. \NAMECITE{sets}{% Marre:2003:USS,% Mock:2005:PSD,% Myrtveit:2001:ADS% }. \NAMECITE{setting}{% Volzer:2004:STI% }. \NAMECITE{{Seventh}}{% Wohlin:2001:GEI% }. \NAMECITE{several}{% Lei:2003:ESN% }. \NAMECITE{Severity}{% Zhou:2006:EAO% }. \NAMECITE{{SEXTANT}}{% Schafer:2006:SSE% }. \NAMECITE{Shallow}{% Sawyer:2005:SKA% }. \NAMECITE{shared}{% Yen:2001:DMI% }. \NAMECITE{Shelf}{% Li:2008:SPS% }. \NAMECITE{Shortening}{% Kang:2004:SMT% }. \NAMECITE{side}{% Dolado:2003:EII% }. \NAMECITE{{SIFT}}{% Whisnant:2004:EAB% }. \NAMECITE{signal}{% Janka:2002:VBM% }. \NAMECITE{significance}{% Inoue:2005:RSS% }. \NAMECITE{SIGSOFT}{% Devanbu:2008:ISS% }. \NAMECITE{Similarity}{% Tsantalis:2006:DPD% }. \NAMECITE{simpler}{% Prechelt:2001:CEM% }. \NAMECITE{Simplifying}{% Zeller:2002:SIF% }. \NAMECITE{Simulation}{% Rutherford:2008:ETS,% Stuart:2001:SVB,% Antoniol:2004:ASN,% Foss:2003:SSM,% Frey:2002:FSV,% Gokhale:2005:SAS,% Grammatikakis:2000:PQS,% Prakash:2000:APS,% Shepperd:2001:CSP% }. \NAMECITE{Simulation-Based}{% Rutherford:2008:ETS% }. \NAMECITE{Simulation-verification}{% Stuart:2001:SVB% }. \NAMECITE{simulations}{% Bhargavan:2002:VFA% }. \NAMECITE{Site}{% Zhou:2007:MMM% }. \NAMECITE{Size}{% Hatton:2009:PLD,% Koru:2009:IFF,% Zhou:2009:EPC,% Costagliola:2005:CPA,% Dolado:2000:VCB,% ElEmam:2001:CEC,% ElEmam:2002:OCS,% Evanco:2003:CCE,% Hastings:2001:VBA,% Kitchenham:2004:SPM,% Lai:2003:MES% }. \NAMECITE{Size-Defect}{% Koru:2009:IFF% }. \NAMECITE{{Skoll}}{% Porter:2007:SPI% }. \NAMECITE{{SLA}}{% Lodi:2007:SDC% }. \NAMECITE{{SLA}-Driven}{% Lodi:2007:SDC% }. \NAMECITE{slices}{% Tonella:2003:UCL% }. \NAMECITE{slicing}{% Mock:2005:PSD% }. \NAMECITE{{Sloan}}{% Bergin:2000:SRP% }. \NAMECITE{Small}{% Botting:2005:SET,% Purushothaman:2005:TUR,% Zuberi:2001:ESM% }. \NAMECITE{small-memory}{% Zuberi:2001:ESM% }. \NAMECITE{Smells}{% VanRompaey:2007:DTS% }. \NAMECITE{smooth}{% Turski:2002:RMS% }. \NAMECITE{Snapshots}{% Kshemkalyani:2007:DAS% }. \NAMECITE{Society}{% Anonymous:2008:SJS,% Anonymous:2004:ICSa,% Anonymous:2004:ICSb,% Anonymous:2004:ICSc,% Anonymous:2004:ICSd,% Anonymous:2004:ICSe,% Anonymous:2004:ICSf,% Anonymous:2006:ICSa,% Anonymous:2006:ICSb,% Anonymous:2006:ICSc,% Anonymous:2006:JICa,% Anonymous:2006:JICb,% Anonymous:2007:AICa,% Anonymous:2007:AICb,% Anonymous:2007:JICa,% Anonymous:2007:JICb,% Anonymous:2007:JICc,% Anonymous:2007:JICd,% Anonymous:2007:JICe,% Anonymous:2008:ICSa,% Anonymous:2008:ICSb,% Anonymous:2008:ICSc,% Anonymous:2009:GRJ,% Anonymous:2009:ICS% }. \NAMECITE{Softly}{% Bohnenkamp:2006:MCM% }. \NAMECITE{Software}{% Agrawal:2007:SEQ,% Anda:2009:VRS,% Andersson:2007:RQA,% Anonymous:2003:SSI,% Anonymous:2004:CPI,% Anonymous:2004:ITSa,% Anonymous:2004:ITSb,% Anonymous:2004:ITSc,% Anonymous:2004:ITSd,% Anonymous:2004:ITSe,% Anonymous:2004:ITSf,% Anonymous:2007:CPS,% Anonymous:2008:CPS,% Anonymous:2009:CPSa,% Anonymous:2009:CPSb,% Basit:2009:DMA,% Binkley:2007:GEI,% Briand:2006:TRE,% Canfora:2009:GEI,% Capra:2008:ESR,% Cataldo:2009:SDW,% Chang:2008:DNC,% Chari:2006:STP,% Concas:2007:PLL,% Coppit:2005:SAB,% Cortellessa:2007:ISM,% Dai:2007:UAS,% Devanbu:2008:ISS,% Dig:2008:ESM,% Dillon:2004:GEI,% Ducasse:2009:SAR,% Duraes:2006:ESF,% Dzidek:2008:REE,% Elbaum:2008:GEI,% Favre:2009:GEI,% Frakes:2005:SRR,% Gallagher:2008:SAV,% Griswold:2003:GEI,% Griswold:2006:GEI,% Gyimothy:2006:GEI,% Hall:2008:POS,% Hamill:2009:CTS,% Hannay:2007:SRT,% Hannay:2008:RDA,% Haran:2007:TCE,% Harman:2005:GES,% Harrold:2002:GEI,% Hassan:2005:GEI,% Hatton:2009:PLD,% Heitmeyer:2008:AFM,% Hughes:2008:IGM,% Jiau:2004:CSP,% Jorgensen:2007:SRS,% Kemerer:2009:IDC,% Keung:2008:AXP,% Kim:2008:CSC,% Kitchenham:2004:SPM,% Ko:2006:ESH,% Koru:2009:IFF,% Kuhn:2004:SFI,% Lau:2007:SCM,% LeTraon:2006:DCI,% Lessmann:2008:BCM,% Li:2008:SPS,% Littlewood:2007:UMA,% Mangeruca:2007:SPD,% Maqbool:2007:HCS,% Mattsson:2009:LMD,% McDaniel:2008:GEI,% Moody:2009:PNT,% Murphy:2001:SRM,% Murtojarvi:2007:DPN,% Nan:2009:IBS,% Ngo-The:2009:ORA,% Olague:2007:EVT,% Oliveira:2004:SPR,% Pai:2007:EAS,% Pickin:2007:TSU,% Reiss:2006:IMS,% Rothermel:2005:GEI,% Rountev:2004:FCA,% Sarkar:2007:ABI,% Sarkar:2008:MMQ,% Schafer:2006:SSE,% Sharp:2006:SAO,% Song:2006:SDA,% Storey:2009:HSD,% Strike:2001:SCE,% Telang:2007:EAI,% Vegas:2009:MSE,% Wilson:2007:NAO,% Wohlin:2001:GEI,% Yang:2008:SUS,% Yilmaz:2007:RES,% Zhang:2008:DSF,% vanMoorsel:2006:ARM,% vanOmmering:2005:SRP,% vanderMeulen:2008:ESD% }. \NAMECITE{software}{% Alshayeb:2003:EVO,% Anderson:2003:DIF,% Andritsos:2005:ITS,% Antoniol:2004:ASN,% Arisholm:2004:DCM,% Arisholm:2004:EED,% Arisholm:2006:IUD,% Atkins:2002:UVC,% Baghdadi:2002:CPE,% Balsamo:2004:MBP,% Barat:2002:RIS,% Berry:2003:CFM,% Beyer:2005:ERC,% Boute:2000:SFD,% Bratthall:2002:IPD,% Briand:2000:CEC,% Briand:2002:AAF,% Broy:2001:TMF,% Brylow:2004:DAI,% Canfora:2003:GEI,% Cangussu:2002:FMS,% Cangussu:2003:USA,% Cartwright:2000:EIO,% Chaki:2004:MVS,% Chavez:2000:DAS,% Cheng:2000:GEI,% Cheng:2000:WSP,% Collberg:2002:WTP,% Cubranic:2005:HPM,% Darcy:2005:SCS,% Delgado:2004:TCR,% Devanbu:2000:GEI,% Dobrica:2002:SSA,% Dolado:2000:VCB,% Drummond:2000:LAA,% Dyba:2005:EIK,% Eick:2002:VSC,% ElEmam:2000:VII,% ElEmam:2002:OCS,% Elbaum:2005:PDS,% Fenton:2000:QAF,% Gokhale:2005:SAS,% Gopal:2002:MPS,% Gopal:2005:IIF,% Graves:2000:PFI,% Gyimothy:2005:EVO,% Harrold:2003:GEI,% Hastings:2001:VBA,% Herbsleb:2003:ESS,% Holzmann:2002:AVM,% Hsiung:2004:VAF,% Huang:2003:USS,% Hungerford:2004:RSD,% Inoue:2005:RSS,% Jalote:2002:OCL,% Jorgensen:2004:ESS,% Jorgensen:2004:RSE,% Jorgensen:2005:EBG,% Kadamuddi:2000:CAP,% Kelly:2006:SDC,% Kim:2004:SRA,% Kitchenham:2001:MSM,% Kitchenham:2002:PGE,% Kitchenham:2003:MSB,% Kramer:2001:GEI,% Lee:2000:DRS,% Lei:2003:ESN,% Li:2003:RSE,% Li:2006:CMF,% Littlewood:2000:MEC,% Medvidovic:2000:CCF,% Memon:2005:SFD,% Mens:2002:SAS,% Mens:2004:SSR,% Menzies:2003:MSF,% Michael:2001:GST,% Miller:2004:CBM,% Mitchell:2006:AMS,% Molokken-Ostvold:2005:CSP,% Mookerjee:2002:DCP,% Morisio:2002:SFF,% Morisio:2003:CMS,% Morisio:2003:GEI,% Muccini:2004:USA,% Myrtveit:2005:RVC,% Neumann:2002:ENN,% Ostrand:2005:PLN,% Parnas:2003:RIS,% Parsons:2004:CHS,% Paulson:2004:ESO,% Pendharkar:2005:PMP,% Perry:2002:RII,% Plasil:2002:BPS,% Prechelt:2001:EME,% Prowell:2003:FSB,% Rajgopal:2002:MOT,% Rallis:2001:RES% }. \NAMECITE{software}{% Riemenschneider:2002:ESD,% Ropponen:2000:CSD,% Rothenberger:2003:SSR,% Satoh:2003:TFM,% Sauer:2000:ESD,% Selby:2005:ERB,% Shepperd:2001:CSP,% Shin:2000:EDM,% Shinjo:2005:AEP,% Singer:2002:EIE,% Sjoeberg:2005:SCE,% Smith:2001:ESU,% Sobel:2002:FMA,% Sobel:2003:RCF,% Subramanyam:2003:EAC,% Succi:2001:AES,% Talia:2000:GEIa,% Talia:2000:GEIb,% Tan:2005:CUF,% Teasley:2002:RSD,% Tian:2004:EWS,% Tomer:2004:ESR,% Turski:2002:RMS,% Verdickt:2005:AIM,% Vitharana:2003:CMG,% Volzer:2004:STI,% Wang:2004:BBS,% Wang:2006:TCM,% Weyuker:2000:EPT,% Wooff:2002:BGM,% Xie:2003:SEI,% Xing:2005:AEH,% Xu:2003:FMB,% Xu:2003:IVS,% Xu:2006:TDM,% Zheng:2006:VSA,% Zimmermann:2005:MVH% }. \NAMECITE{Software-Based}{% Littlewood:2007:UMA% }. \NAMECITE{software-fault}{% Delgado:2004:TCR% }. \NAMECITE{Solution}{% Franks:2009:EMS,% Balbo:2002:PFS% }. \NAMECITE{solutions}{% Prechelt:2001:CEM,% Siegel:2002:IPI% }. \NAMECITE{Solving}{% Hall:2008:POS% }. \NAMECITE{some}{% Huang:2003:USS% }. \NAMECITE{sorting}{% Grammatikakis:2000:PQS% }. \NAMECITE{Source}{% Capra:2008:ESR,% Fluri:2007:CDT,% Bojic:2004:ALF,% Dinh-Trong:2005:FPR,% Eisenbarth:2003:LFS,% Godfrey:2005:UOA,% Gyimothy:2005:EVO,% Hendrix:2002:CEC,% Hendrix:2002:ECS,% Hou:2006:USS,% Kamiya:2002:CMT,% Koru:2005:CHC,% Paulson:2004:ESO,% Purushothaman:2005:TUR,% Robillard:2004:HED,% Williams:2005:AMS,% Ying:2004:PSC% }. \NAMECITE{Space}{% dAmorim:2008:DEE,% Bucci:2004:TSS,% Havelund:2001:FAS,% Kang:2000:ESS% }. \NAMECITE{space-craft}{% Havelund:2001:FAS% }. \NAMECITE{spaces}{% Yilmaz:2006:CAE% }. \NAMECITE{spanning}{% Marre:2003:USS% }. \NAMECITE{sparse}{% Shepperd:2001:PSD% }. \NAMECITE{{SPARTACAS}}{% Morel:2004:SAC% }. \NAMECITE{Spatial}{% Gold:2005:SCM,% Hsu:2003:SPN% }. \NAMECITE{spatial-temporal}{% Hsu:2003:SPN% }. \NAMECITE{Special}{% Anonymous:2003:SSI,% Anonymous:2004:CPI,% Anonymous:2007:CPS,% Anonymous:2009:CPSa,% Anonymous:2009:CPSb,% Binkley:2007:GEI,% Canfora:2009:GEI,% Devanbu:2008:ISS,% Favre:2009:GEI,% Franceschinis:2006:GEI,% Griswold:2006:GEI,% Gyimothy:2006:GEI,% Harman:2005:GES,% Hassan:2005:GEI,% Hillston:2009:GEI,% McDaniel:2008:GEI,% Uchitel:2005:GES,% Wing:2000:SIF,% Ciardo:2002:ISS,% Talia:2000:GEIa,% Talia:2000:GEIb% }. \NAMECITE{Specific}{% Antkiewicz:2009:EFS,% Cuadrado:2009:MBA,% Kim:2004:SRA% }. \NAMECITE{Specification}{% Bellini:2006:RCI,% Demsky:2006:GDR,% Furia:2006:CIL,% Shoham:2008:SSM,% Antoy:2000:ACI,% Babaoglu:2001:GCP,% Borger:2000:PMS,% Buchs:2000:FSF,% France:2004:UBP,% Frey:2002:FSV,% Huang:2003:MMC,% Janicki:2001:FTA,% Lai:2003:MES,% Mattolini:2001:ILR,% Peleg:2000:MMP,% Prowell:2003:FSB% }. \NAMECITE{Specification-Based}{% Demsky:2006:GDR% }. \NAMECITE{Specifications}{% Pelliccione:2009:CFD,% Weimer:2008:PFS,% Jilani:2001:DAM,% Leveson:2000:ISA,% Sun:2006:DSI% }. \NAMECITE{specify}{% Hou:2006:USS,% Teruel:2003:WDG% }. \NAMECITE{Specifying}{% Halle:2009:SVD,% Mok:2004:STC% }. \NAMECITE{spectra}{% Xie:2005:CIB% }. \NAMECITE{speed}{% Herbsleb:2003:ESS% }. \NAMECITE{SPIN}{% Bang:2001:CMC,% Havelund:2001:FAS,% Holzmann:1997:MCS,% Holzmann:2007:DME% }. \NAMECITE{splitting}{% Godfrey:2005:UOA% }. \NAMECITE{{SPNs}}{% Bobbio:2000:MFI% }. \NAMECITE{spreadsheet}{% Burnett:2000:EHS,% Burnett:2002:THS,% Ruthruff:2006:IFL% }. \NAMECITE{Spreadsheets}{% Abraham:2009:MOS% }. \NAMECITE{spurious}{% Siegel:2002:IPI% }. \NAMECITE{stability}{% Kelly:2006:SDC% }. \NAMECITE{stabilization}{% Gouda:2002:MS% }. \NAMECITE{Stabilizing}{% Dolev:2008:TSS% }. \NAMECITE{Stable}{% Kshemkalyani:2007:DAS% }. \NAMECITE{Stack}{% Devanbu:2002:SQI,% McMaster:2008:CSC% }. \NAMECITE{Staff}{% Anonymous:2004:ICSc,% Anonymous:2004:ICSf,% Anonymous:2004:ITSc% }. \NAMECITE{staffing}{% Antoniol:2004:ASN% }. \NAMECITE{State}{% Anonymous:2005:ESJ,% Attiogbe:2007:FTE,% Baier:2007:MCM,% Carnevali:2009:SDF,% Knight:2006:ENE,% Kramer:2007:ESJ,% Kramer:2008:SJA,% Kramer:2009:ESJ,% Li:2008:SPS,% Uchitel:2005:GES,% Vicario:2009:USS,% dAmorim:2008:DEE,% Alagar:2001:TTS,% Bontemps:2005:LSC,% Briand:2004:AIS,% Bucci:2004:TSS,% Cangussu:2003:USA,% Kang:2000:ESS,% Knight:2004:EST,% Mens:2002:SAS,% Stuart:2001:SVB,% Sun:2006:DSI,% Zhang:2003:OTT% }. \NAMECITE{State-Based}{% Uchitel:2005:GES,% Briand:2004:AIS,% Sun:2006:DSI% }. \NAMECITE{State-Density}{% Carnevali:2009:SDF% }. \NAMECITE{state-of-the-art}{% Mens:2002:SAS% }. \NAMECITE{State-of-the-Practice}{% Li:2008:SPS% }. \NAMECITE{State-Space}{% dAmorim:2008:DEE% }. \NAMECITE{statecharts}{% Chan:2001:OSM% }. \NAMECITE{{STATEMATE}}{% Bode:2009:CDE% }. \NAMECITE{Static}{% Kirkegaard:2004:SAX,% Menzies:2007:DMS,% Menzies:2007:PPR,% Sharp:2006:SAO,% Shoham:2008:SSM,% Vicario:2001:SAD,% Zhang:2007:CDM,% Zheng:2006:VSA% }. \NAMECITE{station}{% Marchand:2000:IDP% }. \NAMECITE{Statistic}{% Wilson:2007:NAO% }. \NAMECITE{Statistical}{% Keung:2008:AXP,% Liu:2006:SDH,% Jalote:2002:OCL,% Kallepalli:2001:MMU% }. \NAMECITE{status}{% Frakes:2005:SRR% }. \NAMECITE{steering}{% Vicario:2001:SAD% }. \NAMECITE{step}{% Batory:2004:SSW% }. \NAMECITE{step-wise}{% Batory:2004:SSW% }. \NAMECITE{Stochastic}{% Donatelli:2009:MCT,% Norman:2009:MCP,% Vicario:2009:USS,% Balbo:2002:PFS,% Bucci:2005:CVP,% Gribaudo:2002:FSP,% Horvath:2002:TDA,% Teruel:2003:WDG% }. \NAMECITE{Stock}{% Telang:2007:EAI% }. \NAMECITE{stopping}{% Chavez:2000:DAS% }. \NAMECITE{storing}{% Vitharana:2003:KBR% }. \NAMECITE{Strategies}{% Rothenberger:2003:SSR,% Briand:2003:IGB,% Elbaum:2005:PDS% }. \NAMECITE{strategy}{% Tai:2002:TGS% }. \NAMECITE{streaming}{% Wong:2004:XMS% }. \NAMECITE{Stress}{% Krishnamurthy:2006:SWG% }. \NAMECITE{strong}{% Chen:2002:EDO% }. \NAMECITE{{STRPN}}{% Hsu:2003:SPN% }. \NAMECITE{Structural}{% Holmes:2006:ASC,% Darcy:2005:SCS,% Gursaran:2001:AWP,% Zhang:2002:CAW% }. \NAMECITE{Structure}{% Demsky:2006:GDR,% Kuncak:2006:MPA,% Dillon:2003:IGC,% Gokhale:2005:SAS,% Hendrix:2002:CEC,% Hendrix:2002:ECS,% Zhang:2004:UHG% }. \NAMECITE{structure-based}{% Gokhale:2005:SAS% }. \NAMECITE{structured}{% Bederson:2004:TDI,% Traore:2004:ESR% }. \NAMECITE{structures}{% Wang:2004:BBS,% Wang:2005:SPS,% Yen:2001:DMI% }. \NAMECITE{student}{% Xu:2003:TBD% }. \NAMECITE{Studies}{% Jorgensen:2007:SRS,% Kitchenham:2007:CVW,% Elbaum:2002:TCP,% Harrold:2001:ESP,% Myrtveit:2005:RVC,% Singer:2002:EIE% }. \NAMECITE{Study}{% Agrawal:2007:SEQ,% Anda:2009:VRS,% Capra:2008:ESR,% Carver:2008:IEB,% Damian:2006:ESC,% Dingsoyr:2008:IEP,% Duraes:2006:ESF,% Kemerer:2009:IDC,% Ko:2006:ESH,% Littlewood:2007:UMA,% Liu:2008:SSF,% Masri:2007:EST,% Mattsson:2009:LMD,% Mendes:2008:BNM,% Napier:2009:CPP,% Rovegaard:2008:ESV,% Vegas:2009:MSE,% Yang:2008:SUS,% Atkins:2002:UVC,% Borger:2000:PMS,% Dinh-Trong:2005:FPR,% Foss:2003:SSM,% Hayes:2006:ACL,% Herbsleb:2003:ESS,% Hungerford:2004:RSD,% Jorgensen:2004:ESS,% Kao:2003:CQP,% Kelly:2006:SDC,% Maxion:2000:EEH,% Morisio:2002:QPL,% Paulson:2004:ESO,% Robillard:2004:HED,% Shinjo:2005:AEP,% Smith:2001:ESU,% Tomer:2004:ESR,% Vokac:2004:DFD,% Weyuker:2000:EPT,% Xie:2003:SEI% }. \NAMECITE{Studying}{% Memon:2005:SFD% }. \NAMECITE{style}{% Arisholm:2004:EED,% Malek:2005:SAA% }. \NAMECITE{style-aware}{% Malek:2005:SAA% }. \NAMECITE{{SubCM}}{% Volzer:2004:STI% }. \NAMECITE{Subject}{% Anonymous:2001:SI,% Anonymous:2002:SIa,% Anonymous:2002:SIb,% Anonymous:2003:SI% }. \NAMECITE{subscribe}{% Caporuscio:2003:DES% }. \NAMECITE{Success}{% Morisio:2002:SFF,% Dyba:2005:EIK,% Gopal:2002:MPS,% Menzies:2003:MSF,% Morisio:2003:CMS% }. \NAMECITE{Suite}{% Jeffrey:2007:IFD,% McMaster:2008:CSC,% Jones:2003:TSR% }. \NAMECITE{Suites}{% Cohen:2008:CIT,% Olague:2007:EVT,% Rutherford:2008:ETS% }. \NAMECITE{Supertotal}{% Boute:2000:SFD% }. \NAMECITE{Support}{% Egyed:2006:SMD,% Haran:2007:TCE,% Kistijantoro:2008:EAS,% Storey:2009:HSD,% Xing:2007:AES,% Caporuscio:2003:DES,% Elbaum:2005:LUS,% Ernst:2001:DDL,% Eshuis:2004:TSV,% Long:2003:TST,% Mori:2002:CSD,% Vitharana:2003:CMG% }. \NAMECITE{Supported}{% Binkley:2006:TSR,% Apvrille:2004:TRT% }. \NAMECITE{supporting}{% Baghdadi:2002:CPE,% Chen:2003:CRF,% Dillon:2003:IGC,% Ducasse:2005:CBV,% Stubblebine:2002:ALF% }. \NAMECITE{Survey}{% Cornelissen:2009:SSP,% Li:2008:SPS,% Balsamo:2004:MBP,% Dobrica:2002:SSA,% Mens:2002:SAS,% Mens:2004:SSR,% Ropponen:2000:CSD,% Sjoeberg:2005:SCE% }. \NAMECITE{Symbolic}{% Wang:2005:SPS,% Chan:2001:OSM% }. \NAMECITE{symmetry}{% Wang:2004:BBS% }. \NAMECITE{Symposium}{% Elbaum:2008:GEI,% Harrold:2002:GEI,% Rothermel:2005:GEI,% Wohlin:2001:GEI% }. \NAMECITE{symptoms}{% Lee:2000:DRS% }. \NAMECITE{Synchronizability}{% Fu:2005:SCA% }. \NAMECITE{synchronization}{% Stubblebine:2002:ALF% }. \NAMECITE{Synchronous}{% Mangeruca:2007:SPD,% Ramesh:2000:MCS% }. \NAMECITE{Syntax}{% Botting:2005:SET,% Halfond:2008:WPW,% Evermann:2005:TFD% }. \NAMECITE{Syntax-Aware}{% Halfond:2008:WPW% }. \NAMECITE{Synthesis}{% Pickin:2007:TSU,% Uchitel:2003:SBM,% Uchitel:2009:SPB,% Marchand:2000:IDP,% Sun:2006:DSI% }. \NAMECITE{Synthetic}{% Krishnamurthy:2006:SWG% }. \NAMECITE{System}{% Anda:2009:VRS,% Arisholm:2007:EPP,% Bellini:2006:RCI,% Chari:2006:STP,% Concas:2007:PLL,% Elbaum:2009:CRD,% Furia:2006:CIL,% Heitmeyer:2008:AFM,% Kemper:2009:ATA,% deAlfaro:2009:LBS,% Anton:2003:FPE,% Berling:2003:EEM,% Capra:2003:CCA,% Cartwright:2000:EIO,% Fenton:2000:QAF,% Haxthausen:2000:FDV,% Hrischuk:2002:LCR,% Kamiya:2002:CMT,% Kordon:2002:IRS,% Marongiu:2000:AMS,% Mattolini:2001:ILR,% Mookerjee:2002:DCP,% Mori:2002:CSD,% Petriu:2000:ABP,% Rallis:2001:RES,% Ravindran:2002:EDR,% Roberts:1998:FII,% Stewart:2003:TAF,% Weber:2005:FSB,% Yadav:2001:CFI,% Zachariadis:2006:SCS% }. \NAMECITE{Systematic}{% Cornelissen:2009:SSP,% Hannay:2007:SRT,% Jorgensen:2007:SRS,% Kim:2004:SRA,% Kitchenham:2007:CVW,% Liu:2008:SSF,% Pike:2006:NIA,% Rushby:1999:SFV,% Stuermer:2007:STM,% Tan:2006:STF% }. \NAMECITE{Systemic}{% Cleland-Huang:2008:GCT% }. \NAMECITE{SysTems}{% Franceschinis:2006:GEI,% Adve:2000:PEE,% Andersson:2007:RQA,% Anonymous:2009:CPSa,% Anonymous:2009:CPSb,% Benaroch:2009:IEO,% Bohnenkamp:2006:MCM,% Cohen:2008:CIT,% Dolev:2008:TSS,% Hatton:2009:PLD,% Hillston:2009:GEI,% Kounev:2006:PME,% Krishnamurthy:2006:SWG,% Littlewood:2007:UMA,% Marcus:2008:UCC,% Masood:2009:SET,% McDaniel:2008:GEI,% Parsons:2008:EIC,% Rutherford:2008:ETS,% Schmerl:2006:DAR,% Vicario:2009:USS,% Wang:2006:TIA,% Yilmaz:2007:RES,% Zachariadis:2006:SCS,% deLeon:2006:HID,% vanMoorsel:2006:ARM,% Babaoglu:2001:GCP,% Baghdadi:2002:CPE,% Bianchi:2003:IRL,% Bobbio:2003:PFT,% Bowman:2000:SPS,% Briand:2001:MDE,% Bucci:2004:TSS,% Bucci:2005:CVP,% Buchs:2000:FSF,% Chavez:2000:DAS,% Chen:2000:ATP,% Chen:2003:COS,% Constant:2007:IFV,% Costagliola:2005:CPA,% En-Nouaary:2002:TWM,% Fioravanti:2001:EPM,% Glasser:2004:ACM,% Hagen:2000:EHW,% Harel:2002:OSB,% Holzmann:2002:AVM,% Janka:2002:VBM,% Juan:2001:RMR,% Kadamuddi:2000:CAP,% Kang:2000:ESS,% Kang:2004:SMT,% Khoumsi:2002:TAT,% Konrad:2004:OAP,% Koopman:2000:EHE,% Kuo:2003:EOS,% Lee:2001:BCR,% Lee:2004:ORT,% Li:2004:FVA,% Luqi:2004:DDD,% Malek:2005:SAA,% Marongiu:2000:AMS,% Menasce:2000:MDP,% Miller:2004:GMP,% Mills:2002:KBA,% Mitchell:2006:AMS,% Murata:2000:HIH,% Nixon:2000:MPR,% Ostrand:2005:PLN,% Peters:2002:RBM,% Pietro:2000:GES,% Popov:2003:EBR,% Ravindran:2002:EDR,% Roberts:2001:RCF,% Selby:2005:ERB,% Shinjo:2005:AEP,% Souter:2003:CCD,% Tsantalis:2005:PPC,% Turski:2002:RMS,% Vicario:2001:SAD,% Wang:2005:AAO,% Wang:2005:SPS,% Weyuker:2000:EPT,% Xu:2002:CSA,% Xu:2003:TBD,% Yen:2001:DMI,% Wing:2000:SIF% }. \NAMECITE{Table}{% Anonymous:2004:ITSd,% Anonymous:2004:ITSf% }. \NAMECITE{tackle}{% Alagar:2001:TTS% }. \NAMECITE{Tagging}{% Storey:2009:HSD% }. \NAMECITE{Tainting}{% Halfond:2008:WPW% }. \NAMECITE{tale}{% Berry:2003:CFM,% Sobel:2002:FMA,% Sobel:2003:RCF% }. \NAMECITE{tamper}{% Collberg:2002:WTP% }. \NAMECITE{tamper-proofing}{% Collberg:2002:WTP% }. \NAMECITE{Task}{% Sillito:2008:AAQ,% Wang:2006:TCM,% Mori:2002:CSD,% Smith:2001:ESU% }. \NAMECITE{Tasks}{% Haran:2007:TCE,% Ko:2006:ESH,% Lui:2008:EPP% }. \NAMECITE{Taxonomy}{% Ducasse:2009:SAR,% Delgado:2004:TCR% }. \NAMECITE{{TCTL}}{% Wang:2006:TIA% }. \NAMECITE{team}{% Teasley:2002:RSD% }. \NAMECITE{teams}{% Biffl:2003:IDD,% Miller:2004:CBM% }. \NAMECITE{technical}{% Sauer:2000:ESD% }. \NAMECITE{Technically}{% Anonymous:2007:IT,% Anonymous:2008:ITa,% Anonymous:2008:ITb,% Anonymous:2008:ITc% }. \NAMECITE{Technique}{% Krishnamurthy:2006:SWG,% France:2004:UBP,% Gribaudo:2002:FSP,% Iyer:2001:ATE,% Neumann:2002:ENN% }. \NAMECITE{Techniques}{% Alagar:2001:TTS,% Do:2006:UMF,% Haran:2007:TCE,% Masri:2007:EST,% Vegas:2009:MSE,% Dunsmore:2003:DET,% Littlewood:2000:MEC,% Ruthruff:2006:IFL,% Shepperd:2001:CSP,% Shull:2000:IRT,% Williams:2005:AMS% }. \NAMECITE{Technology}{% Hwang:2004:CTT,% Hwang:2004:TTN% }. \NAMECITE{telecommunication}{% Petriu:2000:ABP% }. \NAMECITE{Template}{% Niu:2003:TSM% }. \NAMECITE{Temporal}{% Gurfinkel:2003:TLQ,% Halle:2009:SVD,% Hsu:2003:SPN,% Khoumsi:2002:TAT% }. \NAMECITE{Terms}{% Anonymous:2008:SJS% }. \NAMECITE{Test}{% Chari:2006:STP,% Cohen:2008:CIT,% Do:2006:UMF,% Elbaum:2002:TCP,% Elbaum:2009:CRD,% Jeffrey:2007:IFD,% Jones:2003:TSR,% Li:2007:SAR,% Masood:2009:SET,% Masri:2007:EST,% McMaster:2008:CSC,% Pickin:2007:TSU,% Rutherford:2008:ETS,% VanRompaey:2007:DTS,% Andrews:2003:GTR,% Briand:2003:IGB,% Burnett:2002:THS,% Cangussu:2002:FMS,% Cangussu:2003:USA,% Chen:2003:CRF,% Darcy:2005:SCS,% Devanbu:2000:CVT,% Erdogmus:2005:ETF,% Harrold:2001:ESP,% Memon:2001:HGT,% Memon:2005:SFD,% Michael:2001:GST,% Nebut:2006:ATG,% Rajgopal:2002:MOT,% Rothermel:2001:PTC,% Tai:2002:TGS% }. \NAMECITE{test-first}{% Erdogmus:2005:ETF% }. \NAMECITE{Test-suite}{% Jones:2003:TSR% }. \NAMECITE{Testability}{% Harman:2004:TT% }. \NAMECITE{testbed}{% vanderHoek:2002:TCM% }. \NAMECITE{Testing}{% Andrews:2006:UMA,% Burnett:2002:THS,% Chittimalli:2009:RCI,% Elbaum:2008:GEI,% Harrold:2002:GEI,% Krishnamurthy:2006:SWG,% Liu:2006:SDH,% Rothermel:2005:GEI,% Rountev:2004:FCA,% Sampath:2007:ACA,% Stuermer:2007:STM,% Vegas:2009:MSE,% Avritzer:2004:RMP,% Boland:2003:CPR,% Briand:2004:AIS,% Constant:2007:IFV,% Coppit:2005:SAB,% Delamaro:2001:IMA,% El-Fakih:2004:FBI,% Elbaum:2005:LUS,% Elbaum:2005:PDS,% En-Nouaary:2002:TWM,% Fu:2005:RTJ,% Hwang:2004:CTT,% Hwang:2004:TTN,% Kallepalli:2001:MMU,% Khoumsi:2002:TAT,% King:2000:PMC,% Koppol:2002:IIT,% Kuhn:2004:SFI,% Lei:2006:RTC,% Long:2003:TST,% Marre:2003:USS,% Muccini:2004:USA,% Ntafos:2001:CRP,% Petrenko:2004:CCE,% Rothermel:2001:PTC,% Satoh:2003:TFM,% Sinha:2000:ATP,% Tai:2002:TGS,% Weyuker:2000:EPT,% Wooff:2002:BGM,% Xie:2005:CIB,% Zhang:2003:OTT% }. \NAMECITE{Testing-Based}{% Liu:2006:SDH% }. \NAMECITE{tests}{% Kuo:2003:EOS% }. \NAMECITE{Their}{% Cataldo:2009:SDW,% Dong:2007:VDP% }. \NAMECITE{them}{% Ropponen:2000:CSD% }. \NAMECITE{Theoretic}{% Sarkar:2007:ABI,% Andritsos:2005:ITS% }. \NAMECITE{theoretical}{% Riemenschneider:2002:ESD,% Vitharana:2003:KBR% }. \NAMECITE{Theory}{% Hannay:2007:SRT,% Wang:2006:TIA,% Alencar:2002:LTI,% DeLoach:2000:TBR% }. \NAMECITE{theory-based}{% DeLoach:2000:TBR% }. \NAMECITE{Threat}{% Xu:2006:TDM% }. \NAMECITE{Threat-driven}{% Xu:2006:TDM% }. \NAMECITE{Three}{% Olague:2007:EVT,% Dunsmore:2003:DET,% Frolund:2002:TEE% }. \NAMECITE{three-tier}{% Frolund:2002:TEE% }. \NAMECITE{tier}{% Baden:2000:PMD,% Frolund:2002:TEE% }. \NAMECITE{Time}{% Agrawal:2007:SEQ,% Bellini:2006:RCI,% Frey:2002:FSV,% Furia:2006:CIL,% Horvath:2002:TDA,% Nan:2009:IBS,% Vicario:2009:USS,% Wang:2006:TIA,% Yang:2008:SUS,% Apvrille:2004:TRT,% Baier:2003:MCA,% Braberman:2005:SMA,% Bucci:2004:TSS,% Bucci:2005:CVP,% Egyed:2006:SMD,% En-Nouaary:2002:TWM,% Hsiung:2004:VAF,% Juan:2001:RMR,% Kang:2000:ESS,% Kang:2004:SMT,% Kuo:2003:EOS,% Lee:2001:BCR,% Lee:2004:ORT,% Li:2004:FVA,% Luqi:2004:DDD,% Mattolini:2001:ILR,% Mosse:2003:NRT,% Peleg:2000:MMP,% Peters:2002:RBM,% Pietro:2000:GES,% Pike:2006:NIA,% Ravindran:2002:EDR,% Rushby:1999:SFV,% Stewart:2003:TAF,% Vicario:2001:SAD,% Xu:2002:CSA,% Zuberi:2001:ESM% }. \NAMECITE{time-dependent}{% Vicario:2001:SAD% }. \NAMECITE{time-triggered}{% Pike:2006:NIA,% Rushby:1999:SFV% }. \NAMECITE{Timed}{% Bohnenkamp:2006:MCM,% Bucci:2004:TSS,% Donatelli:2009:MCT,% Dong:2008:TAP,% En-Nouaary:2002:TWM,% Mahony:2000:TCO% }. \NAMECITE{timing}{% Healy:2002:ADE,% Mok:2004:STC,% Xu:2003:IVS% }. \NAMECITE{token}{% Kamiya:2002:CMT% }. \NAMECITE{token-based}{% Kamiya:2002:CMT% }. \NAMECITE{tolerant}{% Pike:2006:NIA,% Rushby:1999:SFV% }. \NAMECITE{Tool}{% Attiogbe:2007:FTE,% Binkley:2006:TSR,% Eshuis:2004:TSV,% Long:2003:TST,% Schafer:2006:SSE,% Anderson:2003:DIF,% Baik:2002:DCC,% Eom:2001:THT,% Gurfinkel:2003:TLQ,% Mitchell:2006:AMS,% Seaman:2003:UIE,% Stewart:2003:TAF,% Volzer:2004:STI% }. \NAMECITE{Tool-Equipped}{% Attiogbe:2007:FTE% }. \NAMECITE{Tool-Supported}{% Binkley:2006:TSR% }. \NAMECITE{Toolkit}{% Bederson:2004:TDI,% Apvrille:2004:TRT% }. \NAMECITE{Tools}{% Bellon:2007:CEC,% Atkins:2002:UVC,% Collberg:2002:WTP,% Delgado:2004:TCR,% Talia:2000:GEIa,% Talia:2000:GEIb% }. \NAMECITE{tour}{% Bontemps:2005:LSC% }. \NAMECITE{Trace}{% Kemper:2009:ATA,% Egyed:2003:SDA,% Janicki:2001:FTA% }. \NAMECITE{Traceability}{% Cleland-Huang:2008:GCT,% Antoniol:2002:RTL,% Cleland-Huang:2003:EBT,% Ramesh:2001:TRM% }. \NAMECITE{tracing}{% Hayes:2006:ACL% }. \NAMECITE{Tracking}{% Murphy:2002:TMU,% Zheng:2008:PME% }. \NAMECITE{training}{% Prechelt:2001:EME% }. \NAMECITE{{Tranquility}}{% Vandewoude:2007:TLD% }. \NAMECITE{Transactions}{% Anonymous:2004:CPI,% Anonymous:2004:ITSa,% Anonymous:2004:ITSb,% Anonymous:2004:ITSc,% Anonymous:2004:ITSd,% Anonymous:2004:ITSe,% Anonymous:2004:ITSf,% Anonymous:2009:CPN,% Frolund:2002:TEE% }. \NAMECITE{transfer}{% Zhang:2003:OTT% }. \NAMECITE{Transformation}{% Xu:2003:TBD,% Biggerstaff:2004:NAT,% Harman:2004:TT,% Rauber:2000:TAD,% Tan:2006:STF% }. \NAMECITE{Transformation-based}{% Xu:2003:TBD,% Biggerstaff:2004:NAT% }. \NAMECITE{Transformations}{% Kirkegaard:2004:SAX,% Milicev:2002:AMT,% Spinellis:2003:GAT% }. \NAMECITE{transformer}{% Marchand:2000:IDP% }. \NAMECITE{transient}{% Gribaudo:2002:FSP,% Mosse:2003:NRT% }. \NAMECITE{Transition}{% Barak:2006:IHS% }. \NAMECITE{transitions}{% Horvath:2002:TDA% }. \NAMECITE{transport}{% Zheng:2006:MMC% }. \NAMECITE{Tree}{% Fluri:2007:CDT,% Bobbio:2003:PFT% }. \NAMECITE{Trees}{% Kraft:2009:GRP,% Sherman:2003:KEL,% Zhang:2003:OTT% }. \NAMECITE{Trends}{% Hamill:2009:CTS,% Perry:2000:CTEa,% Perry:2000:CTEb% }. \NAMECITE{Triggered}{% Sengupta:2006:TMS,% Pike:2006:NIA,% Rushby:1999:SFV% }. \NAMECITE{{TSE}}{% Anonymous:2004:TIAa,% Anonymous:2004:TIAb,% Anonymous:2004:TIAc,% Anonymous:2004:TIAd,% Anonymous:2004:TIAe,% Anonymous:2004:TIAf,% Anonymous:2004:TIAg,% Anonymous:2004:TIAh,% Anonymous:2004:TIAi,% Anonymous:2004:TIAj,% Anonymous:2005:TIAa,% Anonymous:2005:TIAb,% Anonymous:2005:TIAc,% Anonymous:2005:TIAd,% Anonymous:2005:TIAe,% Anonymous:2005:TIAf,% Anonymous:2005:TIAg,% Anonymous:2005:TIAh,% Anonymous:2005:TIAi,% Anonymous:2005:TIAj,% Anonymous:2005:TIAk,% Anonymous:2005:TIAl,% Anonymous:2006:TIAa,% Anonymous:2006:TIAb,% Anonymous:2006:TIAc,% Anonymous:2006:TIAd,% Anonymous:2006:TIAe,% Anonymous:2006:TIAf,% Anonymous:2006:TIAg,% Anonymous:2006:TIAh,% Anonymous:2006:TIAi,% Anonymous:2006:TIAj,% Anonymous:2006:TIAk,% Anonymous:2006:TIAl,% Anonymous:2007:TIAa,% Anonymous:2007:TIAb,% Anonymous:2007:TIAc,% Anonymous:2007:TIAd,% Anonymous:2007:TIAe,% Anonymous:2007:TIAf,% Anonymous:2007:TIAg,% Anonymous:2007:TIAh,% Anonymous:2007:TIAi,% Anonymous:2007:TIAj,% Anonymous:2007:TIAk,% Anonymous:2007:TIAl,% Anonymous:2008:TIAa,% Anonymous:2008:TIAb,% Anonymous:2008:TIAc,% Anonymous:2008:TIAd,% Anonymous:2008:TIAe,% Anonymous:2008:TIAf,% Anonymous:2009:TIAa,% Anonymous:2009:TIAb,% Anonymous:2009:TIAc,% Anonymous:2009:TIAd,% Anonymous:2009:TIAe,% Anonymous:2009:TIAf,% Knight:2004:EST,% Knight:2006:ENE% }. \NAMECITE{tune}{% Eom:2001:THT% }. \NAMECITE{tuning}{% Chen:2000:ATP,% Stewart:2003:TAF% }. \NAMECITE{{TURTLE}}{% Apvrille:2004:TRT% }. \NAMECITE{tutoring}{% Xu:2003:TBD% }. \NAMECITE{Two}{% Anonymous:2006:ICSb,% Prechelt:2002:TCE,% Alshayeb:2003:EVO,% Anonymous:2006:ICSa,% Anonymous:2006:ICSc,% ElEmam:2001:ECR,% Koru:2005:CHC% }. \NAMECITE{Type}{% Srivastava:2008:MIH,% Dolado:2003:EII,% Wing:2000:RTC% }. \NAMECITE{Type-Safe}{% Srivastava:2008:MIH% }. \NAMECITE{Types}{% Mantyla:2009:WTD% }. \NAMECITE{ultra}{% Wang:2005:AAO% }. \NAMECITE{ultra-high}{% Wang:2005:AAO% }. \NAMECITE{{UML}}{% Apvrille:2004:TRT,% Arisholm:2006:IUD,% Briand:2005:EIF,% Briand:2006:TRE,% Dzidek:2008:REE,% Eshuis:2004:TSV,% France:2004:UBP,% Goseva-Popstojanova:2003:ALR,% Milicev:2002:AMT,% Milicev:2007:SAA,% Pickin:2007:TSU,% Verdickt:2005:AIM% }. \NAMECITE{{UML}-based}{% Briand:2005:EIF,% France:2004:UBP% }. \NAMECITE{Uncertainty}{% Dai:2007:UAS,% Jorgensen:2009:ILL,% Yang:2008:SUS,% Jorgensen:2004:RAE,% Jorgensen:2005:EBG% }. \NAMECITE{understanding}{% Ducasse:2005:CBV,% Purushothaman:2005:TUR,% Sawyer:2005:SKA,% Tonella:2003:UCL% }. \NAMECITE{Unified}{% Barbier:2003:FWP,% Tan:2003:FWP,% Huang:2003:USS,% Manzoni:2003:IER,% Murata:2000:HIH% }. \NAMECITE{uniform}{% Tan:2005:CUF,% Westfechtel:2001:LAU% }. \NAMECITE{Unit}{% Elbaum:2009:CRD,% Vegas:2009:MSE% }. \NAMECITE{units}{% Murphy:2002:TMU% }. \NAMECITE{Unpredication}{% Snavely:2005:UUU% }. \NAMECITE{unscheduling}{% Snavely:2005:UUU% }. \NAMECITE{unspeculation}{% Snavely:2005:UUU% }. \NAMECITE{Updates}{% Vandewoude:2007:TLD% }. \NAMECITE{Usability}{% Juristo:2007:GEU,% Zou:2007:IUC% }. \NAMECITE{usage}{% Kallepalli:2001:MMU,% Thelin:2003:ECU% }. \NAMECITE{usage-based}{% Thelin:2003:ECU% }. \NAMECITE{Use}{% Dingsoyr:2008:IEP,% Do:2006:UMF,% Hannay:2007:SRT,% Littlewood:2007:UMA,% Storey:2009:HSD,% Bruntink:2005:UCD,% Ernst:2002:EAC,% Inoue:2005:RSS,% Littlewood:2000:UPD,% Nebut:2006:ATG,% Souter:2003:CCD% }. \NAMECITE{usefulness}{% Prechelt:2002:TCE% }. \NAMECITE{User}{% Lum:2003:UCC,% Sampath:2007:ACA,% Seaman:2003:UIE,% Anton:2003:FPE,% Damas:2005:GAB,% Elbaum:2005:LUS,% Mori:2004:DDM,% Whisnant:2004:EAB% }. \NAMECITE{User-centric}{% Lum:2003:UCC% }. \NAMECITE{user-session}{% Elbaum:2005:LUS% }. \NAMECITE{User-Session-Based}{% Sampath:2007:ACA% }. \NAMECITE{user-visible}{% Anton:2003:FPE% }. \NAMECITE{users}{% Weber:2005:FSB% }. \NAMECITE{Using}{% Andrews:2006:UMA,% Atkins:2002:UVC,% Cangussu:2003:USA,% Casati:2000:UPD,% Cleland-Huang:2008:GCT,% Godfrey:2005:UOA,% Halfond:2008:WPW,% Hearty:2009:PPV,% Hou:2006:USS,% Kounev:2006:PME,% Kshemkalyani:2007:DAS,% Marcus:2008:UCC,% Marre:2003:USS,% Muccini:2004:USA,% Olague:2007:EVT,% Padberg:2004:UML,% Pai:2007:EAS,% Poshyvanyk:2007:FLU,% Rutherford:2008:ETS,% Shoham:2008:SSM,% Tonella:2003:UCL,% Tsantalis:2006:DPD,% Vicario:2009:USS,% Xie:2003:URF,% Zhang:2004:UHG,% Zheng:2008:PME,% Bandi:2003:PMP,% Berling:2003:EEM,% Briand:2001:MDE,% Bucci:2005:CVP,% Chen:2001:RDU,% Goseva-Popstojanova:2003:ALR,% Graves:2000:PFI,% Havelund:2001:FAS,% Juan:2001:RMR,% Kelly:2006:SDC,% Kitchenham:2004:SPM,% Lee:2000:DRS,% Malkhi:2000:SEJ,% Marchand:2000:IDP,% Maruyama:2000:ACG,% Memon:2001:HGT,% Milicev:2002:AMT,% Mitchell:2006:AMS,% Shepperd:2001:CSP,% Sherman:2003:KEL,% Shin:2000:EDM,% Smith:2001:ESU,% Wang:2004:BBS,% Xu:2002:CSA,% Xu:2006:TDM,% Zou:2007:IUC% }. \NAMECITE{utility}{% Gold:2005:SCM% }. \NAMECITE{validate}{% Cangussu:2003:USA% }. \NAMECITE{Validating}{% ElEmam:2000:VII,% Halle:2009:SVD% }. \NAMECITE{Validation}{% Mendonca:2000:VAI,% Olague:2007:EVT,% Alshayeb:2003:EVO,% Apvrille:2004:TRT,% Chavez:2000:DAS,% Dolado:2000:VCB,% Gyimothy:2005:EVO% }. \NAMECITE{validity}{% ElEmam:2001:CEC,% Evanco:2003:CCE,% Myrtveit:2005:RVC% }. \NAMECITE{value}{% Xie:2005:CIB,% Zheng:2006:VSA% }. \NAMECITE{values}{% Koru:2005:CHC% }. \NAMECITE{Variability}{% Anda:2009:VRS,% Moon:2005:ADD,% Weber:2005:FSB% }. \NAMECITE{variable}{% Baik:2002:DCC,% Cangussu:2003:USA% }. \NAMECITE{variables}{% Binkley:2004:AVP,% Chae:2004:ICM% }. \NAMECITE{{VBR}}{% Makaroff:2001:DIV% }. \NAMECITE{vector}{% Hastings:2001:VBA% }. \NAMECITE{vector-based}{% Hastings:2001:VBA% }. \NAMECITE{Velocity}{% Hearty:2009:PPV% }. \NAMECITE{verification}{% Bucci:2005:CVP,% Chaki:2004:MVS,% Constant:2007:IFV,% Devanbu:2000:CVT,% Frey:2002:FSV,% Haxthausen:2000:FDV,% Holzmann:2002:AVM,% Hsiung:2004:VAF,% Pike:2006:NIA,% Rushby:1999:SFV,% Stuart:2001:SVB,% Traore:2004:ESR,% Xu:2003:IVS,% Xu:2006:TDM% }. \NAMECITE{verified}{% Li:2004:FVA% }. \NAMECITE{Verifying}{% Pelliccione:2009:CFD,% Eshuis:2004:TSV% }. \NAMECITE{{Verisim}}{% Bhargavan:2002:VFA% }. \NAMECITE{version}{% Atkins:2002:UVC,% Westfechtel:2001:LAU,% Zimmermann:2005:MVH,% Atkins:2002:UVC% }. \NAMECITE{versus}{% Arisholm:2004:EED,% Kitchenham:2007:CVW,% Molokken-Ostvold:2005:CSP% }. \NAMECITE{{VERTAF}}{% Hsiung:2004:VAF% }. \NAMECITE{via}{% Boland:2003:CPR,% Cabri:2002:EMA,% Nottegar:2001:PEM% }. \NAMECITE{viewpoint}{% Andrade:2004:MFV% }. \NAMECITE{viewpoint-oriented}{% Andrade:2004:MFV% }. \NAMECITE{Views}{% Rovegaard:2008:ESV,% Lanza:2003:PVL% }. \NAMECITE{Vigilance}{% LeTraon:2006:DCI% }. \NAMECITE{Virtual}{% Cleland-Huang:2008:GCT,% Janka:2002:VBM% }. \NAMECITE{visibility}{% Volzer:2004:STI% }. \NAMECITE{visible}{% Anton:2003:FPE% }. \NAMECITE{Visual}{% Moody:2009:PNT,% Batory:2000:DWV,% Costagliola:2006:CMC,% Lanza:2003:PVL,% Zhang:2001:DCA% }. \NAMECITE{Visualization}{% Gallagher:2008:SAV,% Binkley:2004:AVP% }. \NAMECITE{Visualizing}{% DAmbros:2009:VCC,% Dong:2007:VDP,% Eick:2002:VSC% }. \NAMECITE{visually}{% Ducasse:2005:CBV% }. \NAMECITE{Vulnerabilities}{% Desmet:2008:PPA% }. \NAMECITE{Vulnerability}{% Cavusoglu:2007:EVD,% Telang:2007:EAI% }. \NAMECITE{warehousing}{% Little:2003:PII% }. \NAMECITE{Warp}{% Frey:2002:FSV% }. \NAMECITE{Warp-based}{% Frey:2002:FSV% }. \NAMECITE{{WASP}}{% Halfond:2008:WPW% }. \NAMECITE{Watermarking}{% Collberg:2002:WTP% }. \NAMECITE{way}{% Sherman:2003:KEL% }. \NAMECITE{weakest}{% Cavalcanti:2000:WPS% }. \NAMECITE{{Web}}{% Bartoletti:2008:SBD,% Desmet:2008:PPA,% Elbaum:2005:LUS,% Escalona:2008:NMD,% Fu:2005:SCA,% Halfond:2008:WPW,% Halle:2009:SVD,% Kallepalli:2001:MMU,% Mendes:2008:BNM,% Sampath:2007:ACA,% Tian:2004:EWS,% Zeng:2004:QAM,% Zhou:2007:MMM% }. \NAMECITE{weights}{% Auer:2006:OPF% }. \NAMECITE{Well}{% Teruel:2003:WDG% }. \NAMECITE{Well-defined}{% Teruel:2003:WDG% }. \NAMECITE{Weyuker}{% Zhang:2002:CAW,% Gursaran:2001:AWP,% Sharma:2006:AWP% }. \NAMECITE{{WFMS}}{% Cugola:2001:JEB% }. \NAMECITE{where}{% Eom:2001:THT% }. \NAMECITE{white}{% Barbier:2003:CAB% }. \NAMECITE{Whole}{% Barbier:2003:FWP,% Tan:2003:FWP% }. \NAMECITE{Whole-Part}{% Barbier:2003:FWP,% Tan:2003:FWP% }. \NAMECITE{wireless}{% Bellavista:2003:CAM,% Caporuscio:2003:DES,% Morisio:2003:GEI,% Niemela:2005:TAK,% Ocampo:2003:TRP,% Wong:2004:XMS% }. \NAMECITE{wise}{% Batory:2004:SSW% }. \NAMECITE{Within}{% Kitchenham:2007:CVW% }. \NAMECITE{Within-Company}{% Kitchenham:2007:CVW% }. \NAMECITE{wizards}{% Batory:2000:DWV% }. \NAMECITE{Work}{% Cataldo:2009:SDW% }. \NAMECITE{workbenches}{% Costagliola:2006:CMC% }. \NAMECITE{workflow}{% Hagen:2000:EHW% }. \NAMECITE{workflows}{% Casati:2000:UPD% }. \NAMECITE{Working}{% vanDeursen:2005:GEI% }. \NAMECITE{Workload}{% Krishnamurthy:2006:SWG,% Tian:2004:EWS% }. \NAMECITE{Workshop}{% Cheng:2000:WSP,% Cheng:2000:GEI% }. \NAMECITE{World}{% Wing:2000:SIF% }. \NAMECITE{Wp}{% En-Nouaary:2002:TWM% }. \NAMECITE{Wp-method}{% En-Nouaary:2002:TWM% }. \NAMECITE{wrappers}{% Edwards:2004:CCW% }. \NAMECITE{{X}}{% Bhatti:2006:XFP,% Keung:2008:AXP% }. \NAMECITE{{X-FEDERATE}}{% Bhatti:2006:XFP% }. \NAMECITE{{XML}}{% Kirkegaard:2004:SAX,% Wong:2004:XMS% }. \NAMECITE{{XP}}{% Hearty:2009:PPV% }. \NAMECITE{{Xstream}}{% Wong:2004:XMS% }. \NAMECITE{Year}{% Anonymous:2006:ICSb,% Anonymous:2006:ICSc,% Anonymous:2006:ICSa% }. \NAMECITE{Z}{% Mahony:2000:TCO% }. \NAMECITE{{ZPL}}{% Chamberlain:2000:ZMI% }.