IEEE计算机学会、IEEE计算机学会软件工程技术委员会、IEEE可靠性学会共同主办的第17届软件可靠性工程国际会议，2006年11月7日至10日在美国北卡罗莱纳州Raleigh举行，现将会议的论文集目录整理报道于下，供参考查找。
1.软件系统灾难硬化（DisasterHardeningforSoftwareSystems）
作者：C.V.Ramamoorth
CaliforniaUniv.,Berkeley,CA;
Onpage(s):3-4
2.软件可消费性展望（APerspectiveonSoftwareConsumability）
作者：CarlKessler
IBMSoftwareGroup,Armonk,NY;
Onpage(s):5-5
3.软件安全：内置数据安全性（SoftwareSecurity:BuildingSecurityIn）
作者：GaryMcGraw
Cigital,Inc.,Dulles,VA;
Onpage(s):6-6
4.软件建模对软件产业的实用性（TheRelevanceofSoftwareModelingtotheSoftwareIndustry）
作者：未标注
Onpage(s):10-10
5.在商用电子表格多模式语言世界中刻度数据流测试方法（ScalingaDataflowTestingMethodologytotheMultiparadigmWorldofCommercialSpreadsheets）
作者：MarcIIFisherGreggRothermelTylerCreelanMargaretBurnett
NebraskaUniv.,Lincoln,NE;
Onpage(s):13-22
6.动态片断的记忆前向计算（MemorizedForwardComputationofDynamicSlices）
作者：WesMasriNagiNahasAndyPodgurski
Dept.ofComput.Sci.,AmericanUniv.ofBeirut;
Onpage(s):23-32
7.调用堆覆盖用于减少图形用户界面测试套件（CallStackCoverageforGUITest-SuiteReduction）
作者：ScottMcMasterAtifMemon
Dept.ofComput.Sci.,MarylandUniv.,CollegePark,MD;
Onpage(s):33-44
8.稳定时间：软件产品的一个质量度量（StabilizationTime-AQualityMetricforSoftwareProducts）
作者：VibhuSaujanyaSharmaPankajJalote
Dept.ofComput.Sci.&Eng.,,IndianInst.ofTechnol.Kanpur;
Onpage(s):45-51
9.使用非齐次普阿松模型的基于度量的软件可靠性模型（Metrics-BasedSoftwareReliabilityModelsUsingNon-homogeneousPoissonProcesses）
作者：KazuyaShibataKoichiroRinsakaTadashiDohi
Dept.ofInf.Eng.,HiroshimaUniv.;
Onpage(s):52-61
10.历史的内在过程和产品度量用于软件失效的早期估计（UsingHistoricalIn-ProcessandProductMetricsforEarlyEstimationofSoftwareFailures）
作者：NachiappanNagappanThomasBallBrendanMurphy
MicrosoftRes.,Redmond,WA;
Onpage(s):62-74
11.BPEL4WS单元测试：用并行路径分析法生成测试案例（BPEL4WSUnitTesting:TestCaseGenerationUsingaConcurrentPathAnalysisApproach）
作者：JunYanZhongjieLiYuanYuanWeiSunJianZhang
Inst.ofSoftware,ChineseAcad.ofSci.,Beijing;
Onpage(s):75-84
注：BPEL4WS是.BusinessProcessExecutionLanguageforWebServices的缩写
12.用于模型转换的基于Metamodel的测试生成：一种算法和工具（Metamodel-basedTestGenerationforModelTransformations:anAlgorithmandaTool）
作者：ErwanBrottierFranckFleureyJimSteelBenoitBaudryYvesLeTraon
FranceTelecomR&D,Lannion;
Onpage(s):85-94
注：Metamodel是指若干模型集合的规格说明
13.一种系统的生成UML设计语言测试数据的方法（ASystematicApproachtoGenerateInputstoTestUMLDesignModels）
作者：TrungT.Dinh-TrongSudiptoGhoshRobertB.France
Dept.ofComput.Sci.,ColoradoStateUniv.,FortCollin,CO;
Onpage(s):95-104
14.具有数字输入输出的同步程序，应用CLP自动生成测试序列
（UsingCLPtoAutomaticallyGenerateTestSequencesforSynchronousProgramswithNumericInputsandOutputs）
作者：BesnikSeljimiIoannisParissis
Lab.LSR-IMAG,Univ.JosephFourier,Grenoble;
Onpage(s):105-116
注：CLP是ConstraintLogicProgramming的缩写
15.通过击键动力学评估硬化资格证明的可靠性（EvaluatingtheReliabilityofCredentialHardeningthroughKeystrokeDynamics）
作者：NickBartlowBojanCukic
LaneDept.ofComput.Sci.&Electr.Eng.,WestVirginiaUniv.,Morgantown,WV;
Onpage(s):117-126
16.一种新颖的SOAP面向附件的数据安全模型（ANovelSOAPAttachment-OrientedSecurityModel）
作者：XiaolingCuiLeiLiJunWei
Inst.ofSoftware,ChineseAcad.ofSci.,Beijing;
Onpage(s):127-135
注：SOAP是SimpleObjectAccessProtocol的缩写
17.一种用于系统地测试基于数据安全机制的攻击模拟器（AnAttackSimulatorforSystematicallyTestingProgram-basedSecurityMechanisms）
作者：BenBreechMikeTegtmeyerLoriPollock
Comput.&InfoSci.,DelawareUniv.,Newark,DE;
Onpage(s):136-145
18.监控软件系统的安全健康状态（MonitoringtheSecurityHealthofSoftwareSystems）
作者：AshishAggarwalPankajJalote
Comput.Sci.&Eng.,IndianInst.ofTechnol.;
Onpage(s):146-158
19.一个好的图形用户界面特性的研究
作者：QingXieAtifMMemon
Dept.ofComput.Sci.,MarylandUniv.,CollegePark,MD;
Onpage(s):159-168
20.AspectJ联结点集的备候选故障模型（ACandidateFaultModelforAspectJPointcuts）
作者：JonS.BaekkenRogerT.Alexander
Sch.ofElectr.Eng.&Comput.Sci.,WashingtonStateUniv.,Pullman,WA;
Onpage(s):169-178
注：AspectJ是一种面向方面编程(AOP)语言
21.AspectJ程序检测冗余单元测试（DetectingRedundantUnitTestsforAspectJPrograms）
作者：TaoXieJianjunZhaoDarkoMarinovDavidNotkin
Dept.ofComput.Sci.,NorthCarolinaStateUniv.,Raleigh,NC;
Onpage(s):179-190
22.用‘尾分裂’技术预计失效的软件模块：一个操作系统案例研究（”Tail-Splitting”toPredictFailingSoftwareModules-withaCaseStudyonanOperatingSystemsProduct）
作者：RamChillaregeP.Santhanam
ChillaregeInc.,Baltimore,MD;
Onpage(s):191-196
23.基于体系结构的软件可靠性的适当性，精确性，可刻度性，和不确定性：从大型经验案例研究获得的教训（Adequacy,Accuracy,Scalability,andUncertaintyofArchitecture-basedSoftwareReliability:LessonsLearnedfromLargeEmpiricalCaseStudies）
作者：KaterinaGo!seva-PopstojanovaMargaretHamillXuanWang
LaneDept.ofComput.Sci.&Electr.Eng.,WestVirginiaUniv.,Morgantown,WV;
Onpage(s):197-203
24.评估软件断言和故障的关系：实验调查（AssessingtheRelationshipbetweenSoftwareAssertionsandFaults:AnEmpiricalInvestigation）
作者：GunnarKudrjavetsNachiappanNagappanThomasBall
MicrosoftCorp.,Redmond,WA;
Onpage(s):204-212
25.在进化自动系统中，偶发事件软件设计工具支持验证（Tool-SupportedVerificationofContingencySoftwareDesigninEvolving,AutonomousSystems）
作者：RobynLutzAnnPatterson-HineAnupaBajwa
JetPropulsionLab,Caltech,Pasadena,CA;
Onpage(s):213-220
26.在重构中测试：增加保留系统方面（TestingDuringRefactoring:AddingAspectstoLegacySystems）
作者：MichaelMortensenSudiptoGhoshJamesM.Bieman
Hewlett-Packard,FortCollins,CO;
Onpage(s):221-230
27.测试执行能力估计模型模拟（ModelSimulationforTestExecutionCapacityEstimation）
作者：EduardoAranhaPauloBorbaJoseLima
InformaticsCenter,Fed.Univ.ofPernambuco,Recife;
Onpage(s):231-236
28.用电子转播文档为边界检查性能建模（ModelingthePerformanceofBorderInspectionswithElectronicTravelDocuments）
作者：PaolaBracchiBojanCukicVittorioCortellessa
LaneDept.ofCSEE,WestVirginiaUniv.,Morgantown,WV;
Onpage(s):237-246
29.软件测试中故障排除的效果：贝叶斯可靠性估计方法（OntheEffectofFaultRemovalinSoftwareTesting-BayesianReliabilityEstimationApproach）
作者：HiroyukiOkamuraHitoshiFurumuraTadashiDohi
Dept.ofInf.Eng.,HiroshimaUniv.;
Onpage(s):247-255
30.用基于状态探测方法测试Java监控器（AStateExploration-BasedApproachtoTestingJavaMonitors）
作者：YuLeiRichardCarverDavidKungVidurGuptaMonicaHernandez
Dept.ofComp.Sci.&Eng.,TexasUniv.,Arlington,TX;
Onpage(s):256-265
31.具有定制测试需求的网络测试：一种实验比较研究（WebApplicationTestingwithCustomizedTestRequirements-AnExperimentalComparisonStudy）
作者：SreedeviSampathSaraSprenkleEmilyGibsonLoriPollock
Dept.ofComput.&Inf.Sci.,DelawareUniv.,Newark,DE;
Onpage(s):266-278
32.在J2EE中用事务处理过程与复制结合提高可靠性（CombiningReplicationwithTransactionProcessingforEnhancedReliabilityinJ2EE）
作者：LinZuoShaohuaLiuJunWei
Inst.ofSoftware,ChineseAcad.ofSci.,Beijing;
Onpage(s):279-288
注：J2EE是SunMicrosystemsInc.,Java™2PlatformEnterpriseEdition
33构建阶段型软件可靠性模型（BuildingPhase-TypeSoftwareReliabilityModels）
作者：HiroyukiOkamuraTadashiDohi
Dept.ofInf.Eng.,HiroshimaUniv.;
Onpage(s):289-298
34.基于部件的软件系统，重启动，再试，再引导和维护的性能和可靠性（ReliabilityandPerformanceofComponentBasedSoftwareSystemswithRestarts,Retries,RebootsandRepairs）
作者：VibhuSaujanyaSharmaKishorS.Trivedi
Dept.ofComput.Sci.&Eng.,,IndianInst.ofTechnol.,Kanpur;
Onpage(s):299-310
35.采集界面的规格说明用于生成可检测的健壮特性（MiningInterfaceSpecificationsforGeneratingCheckableRobustnessProperties）
作者：MithunAcharyaTaoXieJunXu
Dept.ofComput.Sci.,NorthCarolinaStateUniv.,Raleigh,NC;
Onpage(s):311-320
36有效地整合软件确认策略：理解不同的假定（EffectivelyCombiningSoftwareVerificationStrategies:UnderstandingDifferentAssumptions）
作者：DavidOwenDejanDesovskiBojanCukic
LaneDept.ofComput.Sci.&Electr.Eng.,WestVirginiaUniv.,Morgantown,WV;
Onpage(s):321-330
37.软件部署剖面事件的分布探测技术（ProbeDistributionTechniquestoProfileEventsinDeployedSoftware）
作者：MadelineDiepMyraCohenSebastianElbaum
Dept.ofComput.Sci.&Eng.,NebraskaUniv.,Lincoln,NE;
Onpage(s):331-342
38测量和提高Apache和IISHTTP服务器攻击发现模型的预报能力（MeasuringandEnhancingPredictionCapabilitiesofVulnerabilityDiscoveryModelsforApacheandIISHTTPServers）
作者：OmarH.AlhazmiYashwantK.Malaiya
ColoradoStateUniv.,Boulder,CO;
Onpage(s):343-352
39.现场故障解决的排队模型（QueuingModelsforFieldDefectResolutionProcess）
作者：SwapnaS.GokhaleRobertE.Mullen
ConnecticutUniv.,Storrs,CT;
Onpage(s):353-362
40软目标可跟踪性模式（SoftgoalTraceabilityPatterns）
作者：JesseFletcherJaneCleland-Huang
CenterforRequirementsEng.,DePaulUniv.,Chicago,IL;
Onpage(s):363-374
41.DevCOP:一种Eclipse的软件认证管理系统（DevCOP:ASoftwareCertificateManagementSystemforEclipse）
作者：MarkSherriffLaurieWilliams
NorthCarolinaStateUniv.,Raleigh,NC;
Onpage(s):375-384
注1：(DevCOP)是defectestimationwithV&VCertificatesonProgramming的缩写
注2：Eclipse是一种集成开发环境(IDE)
42.CAA-DRIP:执行并列自动行动的框架（CAA-DRIP:aframeworkforimplementingCoordinatedAtomicActions）
作者：A.CapozuccaN.GuelfiP.PelliccioneA.RomanovskyA.Zorzo
LASSY,LuxembourgUniv.;
Onpage(s):385-394
注1：CAA是coordinatedatomicaction缩写
注2：DRIP是dependableremoteinteractingprocesses缩写
