IEEE软件工程学报（TSE），第32卷
第32卷第1期，2006年1月
简·哈夫曼·海斯 , 亚历克斯·德克蒂亚 , Senthil Karthikeyan Sundaram公司 :
推进需求跟踪候选链接生成：方法研究。 4-19 Cemal Yilmaz公司 
, 迈拉·B·科恩 , 亚当·波特 :
复杂配置空间中高效故障表征的覆盖阵列。 20-34 郑永杰 , 阿尔文·T·S·陈 :
MobiGATE：用于主动部署传输服务的移动计算中间件。 35-50
第32卷第2期，2006年2月
秦宝松 , 马丁·谢泼德 , 米歇尔·卡特赖特 , 卡罗琳·梅尔 :
软件缺陷关联挖掘和缺陷修正工作量预测。 69-82 马丁·奥尔 , 亚当·特伦多维奇 , 伯恩哈德·格雷泽 , 恩斯特·霍恩施米德 , 斯特凡·比弗 :
基于类比的成本估算中的最佳项目特征权重：改进和局限性。 83-92 王力强 , 斯科特·斯托勒 :
多线程程序原子性的运行时分析。 93-110 Hee Beng Kuan Tan先生 , 杨勇 , 雷边 :
功能分析模型到OO设计和实现的系统化转换。 111-135
第32卷第3期，2006年3月
杰夫·克莱默 :
编辑：新助理编辑简介。 137-139 克莱门汀·内布特 , 弗兰克·弗莱瑞 , 伊夫·勒特朗 , Jean-Marc Jézéquel女士 :
自动测试生成：用例驱动的方法。 140-155 Gennaro Costagliola公司 , 文森佐·杜夫米亚 , 菲洛梅娜·费鲁奇 , 胭脂红Gravino :
利用可视化语言生成器构建Meta-CASE工作台。 156-175 李振民 , 山路 , 苏维达·迈格玛 , 周媛媛 :
CP-Miner：在大型软件代码中查找复制粘贴和相关错误。 176-192 布莱恩·米切尔 , 曼氏螺 :
关于使用束工具实现软件系统的自动模块化。 193-208
纳文·夏尔马 , 帕德马贾·乔希 , Rushikesh K.乔希 :
Weyuker属性9对面向对象度量的适用性。 209-211
第32卷第4期，2006年4月
约瑟夫·鲁思拉夫 , 玛格丽特·伯内特 , 格雷格·罗瑟梅尔 :
电子表格环境中的交互式故障定位技术。 213-239 姜正 , 劳里·A·威廉姆斯 , 纳恰帕·纳加潘 , 威尔·斯奈普斯 , 约翰·胡德波尔 , 姆拉丹·A·沃克 :
静态分析在软件故障检测中的价值。 240-253 王世革 , Kang G.Shin先生 :
嵌入式控制软件基于模型设计的任务构造。 254-264 徐殿香 , 肯达尔·尼加德 :
使用面向方面Petri网对安全软件进行威胁驱动建模和验证。 265-278
和维金·克里斯汀·加索 , 邓凤玉 :
关于“需求与设计一致性的自动分析”的评论。 279-280
第32卷第5期，2006年5月
克里斯汀·朱利安 , Gruia-Catalin罗马 :
EgoSpaces:促进上下文软件移动应用程序的快速开发。 281-298 亚历山大·埃吉德 , 大卫·S·怀尔 :
支持管理设计阶段决策。 299-314 黛安凯利 :
以稳定性为准则的进化软件设计特性研究。 315-329 拉斐·巴蒂 , 伊莉萨·贝尔蒂诺 , 阿里夫·加福尔 :
X-FEDERATE：联邦访问管理的策略工程框架。 330-346
李派克 :
关于Rushby《容错时间触发算法的系统形式验证》中不一致公理的注释。 347-348
第32卷第6期，2006年6月
孙军（Jun Sun） , 金松洞 :
根据交互和基于状态的规范进行设计合成。 349-364 埃里克·阿里斯霍姆 , 莱昂内尔·布赖恩 , Siw Elisabeth Hove先生 , Yvan Labiche公司 :
UML文档对软件维护的影响：实验评估。 365-381 于磊 , 理查德·卡弗 :
并发程序的可达性测试。 382-403 大庆侯 , H.詹姆斯·胡佛 :
使用SCL指定并检查源代码中的设计意图。 404-423
卡洛·福里亚 , 安吉洛·莫岑蒂 , 马泰奥·普拉德拉 , 马特奥·罗西 :
关于“实时系统规范的区间逻辑”的评论。 424-427 皮尔弗朗西斯科·贝里尼 , 保罗·内西 , 大卫·罗盖 :
对“实时系统规范的区间逻辑”评论的回复。 428-431
第32卷第7期，2006年7月
丹妮拉·达米安 , 詹姆斯·奇桑 :
需求工程过程和其他过程之间的复杂关系的实证研究，这些过程会在生产力、质量和风险管理方面带来回报。 433-453 布拉德利·施默尔 , 乔纳森·奥尔德里奇 , 大卫·加兰 , 瑞克·凯兹曼 , 洪燕 :
从运行的系统中发现体系结构。 454-466 丹·巴拉克 , 哈雷尔 , 拉米·马雷利 :
互动：在基于场景的编程中横向放大和过渡到设计。 467-485 塞缪尔·库内夫 :
基于排队Petri网的分布式组件系统的性能建模与评估。 486-502 考沙尔·查里 , 艾伦·R·海夫纳 :
软件系统测试规划：一种优化方法。 503-509 Farn Wang公司 , 耿殿煌 , 方瑜 :
密集时间系统的TCTL必然性分析：从理论到工程。 510-526
第32卷第8期，2006年8月
朱利安娜·弗朗西斯科尼斯 , Joost-Pieter Katoen公司 , C.穆雷·伍德赛德 :
特邀编辑介绍第一届国际系统定量评估会议（QEST）专题。 529-530 杰里米·斯普洛斯顿 , 苏珊娜·多纳泰利 :
马尔可夫链模型检验中的反向互模拟。 531-546 Aad P.A.van Moorsel先生 , 卡廷卡·沃尔特 :
软件系统中的重启机制分析。 547-558 安德鲁·米纳 :
一般模型类的饱和。 559-570
伊夫·勒特朗 , Benoit Baudry公司 , Jean-Marc Jézéquel女士 :
通过合同设计提高软件警惕性。 571-586 比克拉姆·森古普塔 , 兰斯·克莱维兰 :
触发的消息序列图。 587-607 詹姆斯·H·安德鲁斯 , 莱昂内尔·布赖恩 , Yvan Labiche公司 , 阿克巴尔·西亚米·纳明 :
使用变异分析评估和比较测试覆盖标准。 608-624
第32卷第9期，2006年9月
蒂博·吉莫西 , 瓦克拉夫·拉利希 :
特邀编辑介绍国际软件维护与进化大会特刊。 625-626 朱利亚诺·安东尼奥 , 亚恩·加埃尔·盖内乌克 :
特征识别：流行病学隐喻。 627-641 莱昂内尔·C·布里昂 , Yvan Labiche公司 , 约翰·勒杜克 :
面向分布式Java软件UML序列图的逆向工程。 642-663 玛丽亚娜·夏普 , 阿塔纳斯·鲁恩特夫 :
基于RMI的Java软件中对象引用的静态分析。 664-681 史蒂文·莱斯 :
软件工件的增量维护。 682-697 大卫·宾克利 , 玛丽亚诺·塞卡托 , 马克·哈曼 , 菲律宾Ricca , 保罗·托内拉 :
工具支持将现有面向对象代码重构为方面。 698-717 任晓霞 , 奥菲莉亚·切斯利 , 芭芭拉·莱德 :
识别Java程序中的失败原因：变更影响分析的应用。 718-732 贤秀道 , 格雷格·罗瑟梅尔 :
测试用例优先级技术实证评估中变异错误的使用。 733-752 托尔斯滕·施费尔 , 迈克尔·艾希伯格 , 迈克尔·豪普特 , 米拉·梅齐尼 :
SEXTANT软件探索工具。 753-768
第32卷第10期，2006年10月
杰夫·克莱默 :
编辑：新助理编辑简介。 769-770
周玉明 , 哈里顿·梁 :
预测高、低严重性故障的面向对象设计指标实证分析。 771-789 丹尼尔·孔特·德莱昂 , 吉姆·阿尔维斯-福斯 :
高保证和关键计算系统中隐藏的实现依赖性。 790-811 亨利克·博恩坎普 , 佩德罗·达吉尼奥 , 霍尔格·赫尔曼斯 , Joost-Pieter Katoen公司 :
MODEST：硬时间和软时间系统的组合建模形式主义。 812-830 刘超（Chao Liu） , 龙飞 , 西凤燕 , 韩嘉伟 , 塞缪尔·米奇夫 :
统计调试：基于假设测试的方法。 831-848
第32卷第11期，2006年11月
乔安·杜兰斯 , 亨利克·马德拉 :
软件故障仿真：现场数据研究和实用方法。 849-867 迪瓦卡·克里希纳穆尔西 , 杰罗姆·A·罗利亚 , Shikharsh马久姆达尔 :
基于会话的压力测试系统的合成工作负载生成技术。 868-882 蒂姆·门齐斯 , 陈志浩 , 杰鲁斯·希恩 , 凯伦·卢姆 :
选择工作量估算的最佳实践。 883-895 尼古拉·桑塔利斯 , 亚历山大·查齐格奥尔（Alexander Chatzigeorgiou） , 乔治·斯蒂芬尼德斯 , 斯皮罗斯·T·哈尔基迪斯 :
基于相似性评分的设计模式检测。 896-909 斯特凡诺斯·扎卡里亚迪斯 , 塞西莉亚·马斯科洛 , 沃尔夫冈·埃默里奇 :
SATIN组件系统——工程适应性移动系统的元模型。 910-927
第32卷第12期，2006年12月
威廉·G·格里斯沃尔德 , 巴沙尔·努塞贝 :
特邀编辑介绍国际软件工程会议特别部分。 929-930 布莱恩·德姆斯基 , 马丁·里纳德 :
基于规范的数据结构修复的目标导向推理。 931-951 里德·霍姆斯 , 罗伯特·沃克 , 盖尔·墨菲 :
近似结构上下文匹配：推荐相关示例的方法。 952-970 艾米·J·科 , 布拉德·迈尔斯 , 迈克尔·J·科布伦茨 , Htet Htet Aung公司 :
关于开发人员在软件维护任务中如何查找、关联和收集相关信息的探索性研究。 971-987
