熊英飞

新体制长聘副教授
“百人计划”研究员

北京大学 信息科学技术学院 软件工程研究所

办公室:理科一号楼1431房间
电子邮件:
电话:010-62757008-12

English

教育与工作经历

论文列表

标记"#"的作者按音序排列

[AAAI19] 孙泽宇, 朱琪豪, 牟力立, 熊英飞, 李戈, 张路. A Grammar-Based Structural CNN Decoder for Code Generation. AAAI'19: Thirty-Third AAAI Conference on Artificial Intelligence, 2019年1月.
[JOS18] 张健, 张超, 玄跻峰, 熊英飞, 王千祥, 梁彬, 李炼, 窦文生, 陈振邦, 陈立前, 蔡彦. 程序分析研究进展. 软件学报, 2018年10月.
[ICSME18] 悦茹茹, 郜哲, 孟娜, 熊英飞, 王啸吟, David Morgenthaler. Automatic Clone Recommendation for Refactoring Based on the Present and the Past . ICSME'18: 34th IEEE International Conference on Software Maintenance and Evolution, 2018年9月. [全文]
[ISSTA18a] 姜佳君, 熊英飞, 张洪宇, 高庆, 陈向群. Shaping Program Repair Space with Existing Patches and Similar Code. ISSTA'18: International Symposium on Software Testing and Analysis, 2018年7月. [全文][Tool:SimFix]
[ISSTA18b] 张煜皓, 陈逸凡, 張成志, 熊英飞, 张路. An Empirical Study on TensorFlow Program Bugs. ISSTA'18: International Symposium on Software Testing and Analysis, 2018年7月. [全文]
[GI18] 熊英飞, 王博, 伏贵荣, 臧琳飞. Learning to Synthesize. GI'18: Genetic Improvment Workshop, 2018年5月. [全文]
[ICSE18a] 熊英飞, 刘鑫远#, 曾沐焓#, 张路, 黄罡. Identifying Patch Correctness in Test-Based Program Repair. ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden, 2018年5月. [全文][Long Version][Slides]
[ICSE18b] 周抒睿, Ştefan Stănciulescu, Olaf Leenich, 熊英飞, Andrzej Wąsowski, Christian Kästner. Identifying Features in Forks. ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden, 2018年5月. [全文]
[Interwa17] 成羽丰, 王萌, 熊英飞, 吴争锴, 吴逸鸣, 张路. Un-preprocessing: Extended CPP that works with your tools. Internetware'17: 9th Asia-Pacific Symposium on Internetware, Shanghai, China, pages 21-30, 2017年9月. [全文] 被邀请投稿到期刊
[ESEM17] 黄袁, Qiaoyang Zheng, 陈湘萍, 熊英飞, 刘志勇, 罗笑南. Mining Version Control System for Automatically Generating Commit Comment. ESEM'17: 11th International Symposium on Empirical Software Engineering and Measurement, Toronto, Canada, 2017年8月.
[ISSTA17] 王博, 熊英飞, 史杨勍惟, 张路, 郝丹. Faster Mutation Analysis via Equivalence Modulo States. ISSTA'17: International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pages 295-306, 2017年7月. [全文][胶片][CoRR Version] ACM SIGSOFT杰出论文奖
[ICSE17a] 熊英飞, 王杰, 严润发, 章嘉晨, 韩石, 黄罡, 张路. Precise Condition Synthesis for Program Repair. ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina, 2017年5月. [全文][胶片][工具][技术报告版本(较长)][软工研究与实践][AI头条][微软研究院博客][量子位][机器之心]
[ICSE17b] 陈俊洁, 白彦威, 郝丹#, 熊英飞#, 张洪宇#, 谢冰. Learning to Prioritize Test Programs for Compiler Testing. ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina, 2017年5月. [全文]
[ESOP17] 唐浩, 王迪, 熊英飞, 张令明, 王啸吟, 张路. Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. ESOP'17: 26th European Symposium on Programming, Uppsala, Sweden, 2017年4月. [全文][工具]
[JOS17] 黄袁, 刘志勇, 陈湘萍, 熊英飞, 罗笑南. 基于关键类判定的代码提交理解辅助方法. 软件学报, 28(6), 2017年2月. [全文]
[FSE16] 王然, 邹达明, 贺心蕊, 熊英飞, 张路, 黄罡. Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors. FSE'16: 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, pp. 619-630, Seatle, WA, USA, 2016年11月. [全文][源码和数据][软工研究与实践]
[TSC16] 黄罡, 刘譞哲, 陆璇, 马郓, 张颖, 熊英飞. Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach. IEEE Transactions on Services Computing, Online First, 2016年7月.
[ECOOP16] 汪成龙#, 姜佳君#, 李军#, 熊英飞, 罗翔宇, 张路, 胡振江. Transforming programs between APIs with Many-to-Many Mappings. ECOOP'16: 30th European Conference on Object-Oriented Programming, pp. 25:1-25:26, Rome, Italy, 2016年7月. [全文][工具]
[JCRD16] 武义涵, 黄罡, 张颖, 熊英飞. 一种基于模型的云计算容错机制开发方法. 计算机研究与发展(黄罡老师优青特邀论文),第53卷,第1期, 2016年6月.
[SciChina16] 高庆, 李军, 熊英飞, 郝丹, 肖旭生, Kunal Taneja, 张路, 谢涛. High-confidence software evolution. Science China Information Sciences, 59:071101, 2016年6月. [全文][DOI]
[ICSE16] 陈俊洁, 胡文翔, 郝丹#, 熊英飞#, 张洪宇#, 张路, 谢冰. An Empirical Comparison of Compiler Testing Techniques. ICSE'16: 38th International Conference on Software Engineering, pp. 180-190, Austin, Texas, USA, 2016年5月. [全文][实验数据][软工研究与实践]
[ICST16b] 陈俊洁, 白彦威, 郝丹#, 熊英飞#, 张洪宇#, 张路, 谢冰. Test Case Prioritization for Compilers: a Text-Vector Based Approach. ICST'16: IEEE International Conference on Software Testing, Verificationa and Validation, pp. 266-277, Chicago, IL, USA, 2016年4月. [全文]
[ICST16a] 成羽丰, 王萌, 熊英飞, 郝丹, 张路. Empirical Evaluation of Test Coverage for Functional Programs. ICST'16: IEEE International Conference on Software Testing, Verificationa and Validation (the posted version corrects some data representation errors in the published version), pp. 255-265, Chicago, IL, USA, 2016年4月. [错误更正版][实验数据]
[ASE15] 高庆, 张汉生, 王杰, 熊英飞, 张路, 梅宏. Fixing Recurring Crash Bugs via Analyzing Q&A Sites. ASE'15: 30th IEEE/ACM International Conference on Automated Software Engineering, pages 307-318, Lincoln, Nebraska, USA, 2015年11月. [全文][工具]
[FSE15-NIER] 熊英飞, 郝丹, 张路, 祝韬, 朱沐尧, 兰天. Inner Oracles: Input-Specific Assertions on Internal States. ESEC/FSE'15-NIER: New Idea Track at 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 902-905, Bergamo, Italy, 2015年8月. [全文][胶片][工具]
[TSE15] 熊英飞, 张汉生, Arnaud Hubaux, Steven She, 王杰, Krzysztof Czarnecki. Range Fixes: Interactive Error Resolution for Software Configuration. IEEE Transactions on Software Engineering, Volume 41, Issue 6, pages 603-619, 2015年6月. [全文][DOI] Featured on the Homepage
[ICSE15b] 邹达明, 王然, 熊英飞, 张路, 苏振东, 梅宏. A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE'15: 37th International Conference on Software Engineering, pages 529-539, Florence, Italy, 2015年5月. [全文][实验数据] ACM SIGSOFT杰出论文奖入围
[ICSE15a] 高庆, 熊英飞, 米亚晴, 张路, 杨纬坤, 周钊平, 谢冰, 梅宏. Safe Memory-Leak Fixing for C Programs. ICSE'15: 37th International Conference on Software Engineering, pages 459-470, Florence, Italy, 2015年5月. [全文][工具]
[PEPM15] 李军#, 汪成龙#, 熊英飞, 胡振江. SWIN: Towards Type-Safe Java Program Adaptation between APIs. In PEPM'15: Partial Evaluation and Program Manipulation Workshop, pages 91-102, Mumbai, India, 2015年1月. [全文][工具] 被邀请投稿到期刊
[FCST14] 吴阳怿, 吴逸鸣, 熊英飞. 基于上下文无关文法的可逆变换模型. 计算机科学与探索, 2015 9(7):793-802, 提前在线公开, 2014年12月.
[NASAC14] 吴阳怿, 吴逸鸣, 熊英飞. 基于上下文无关文法的可逆变换模型. 第十三届全国软件与应用学术会议(NASAC2014), 桂林,广西, 2014年11月. [全文] 被邀请投稿到期刊
[Interwa14] 武义涵, 宋晖, 熊英飞, 郑子彬, 张颖, 黄罡. Model Defined Fault Tolerance in Cloud. In Internetware'14: the Sixth Asia-Pacific Symposium on Internetware, pages 116-119, Hong Kong, China, 2014年11月.
[ASE14] 张洁, 陈俊洁, 郝丹, 熊英飞, 谢冰, 张路, 梅宏. Search-Based Inference of Polynomial Metamorphic Relations. In ASE'14: 29th IEEE/ACM International Conference on Automated Software Engineering, pp 701-712, Vasteras, Sweden, 2014年9月. [全文]
[ICSME14] 黄柱彬, 熊英飞, 张洪宇, 郝丹, 张路, 梅宏. Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis. In ICSME'14: 30th International Conference on Software Maintenance and Evolution, pages 181-190, Victoria, Canada, 2014年9月. [全文][胶片]
[JCST14b] 谢涛, 张路, 肖旭生, 熊英飞, 郝丹. Cooperative Software Testing and Analysis: Advances and Challenges. Journal of Computer Science and Technology, Volume 29, Issue 4, pp 713-723, 2014年7月. [DOI]
[JCST14a] 王波, 熊英飞, 胡振江, 赵海燕, 张伟, 梅宏. Interactive Inconsistency Fixing in Feature Modeling. Journal of Computer Science and Technology, Volume 29, Issue 4, pp 724-736, 2014年7月. [DOI]
[MRT13] 武义涵, 张颖, 熊英飞, 张晓东, 黄罡. Towards RSA-Based High Availability Configuration in Cloud. In MRT'13: 8th International Workshop on Models at Run.time, Austin, Texas, USA, 2013年9月. [全文]
[SPLC13] 王波, Leonardo Passos, 熊英飞, Krzysztof Czarnecki, 赵海燕, 张伟. SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities. In SPLC'13: Proceedings of 17th International Software Product Line Conference, pp. 257-271, Tokyo, Japan, 2013年8月. [全文][胶片]
[ICWS13] 李军, 熊英飞, 刘譞哲, 张路. How Does Web Service API Evolution Affect Clients?. In ICWS'13: Proceedings of IEEE 20th International Conference on Web Service (Application & Experience Track), pp 300-307, Santa Clara, CA, USA, 2013年6月. [全文]
[FCSC12] 王波, 胡振江, 孙强, 赵海燕, 熊英飞, 张伟, 梅宏. Supporting Feature Model Refinement with Updatable View. Frontiers of Computer Science in China, Vol 7, Issue 2, pp 257-271, 2013年4月. [DOI]
[SOSYM13a] Moisés Castelo Branco, 熊英飞, Krzysztof Czarnecki, Jochen Küster#, Hagen Völzer#. A Case Study on Consistency Management of Business and IT Process Models in Banking. Software and Systems Modeling, Springer. Online First, 2013年3月. [全文][DOI]
[SOSYM13b] Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki#, Zinovy Diskin#, 熊英飞#. Model Synchronization Based on Triple Graph Grammars: Correctness, Completeness and Invertibility. Software and Systems Modeling, Springer. Online First, 2013年1月. [全文][DOI]
[FSE12] 王啸吟, 张路, 谢涛, 熊英飞, 梅宏. Automating Presentation Changes in Dynamic Web Applications via Collaborative Hybrid Analysis. In FSE'12: 20th International Symposium on the Foundations of Software Engineering, pages 16:1-16:11, 2012年11月. [全文][胶片]
[ICSM12] 宋晖, 黄罡, 熊英飞, 孙艳春. Inferring the Data Access from the Clients of Generic APIs. In ICSM'12: 28th IEEE International Conference on Software Maintenance, pages 388--397, Riva del Garda, Italy, 2012年9月. [全文]
[ICSE12] 熊英飞, Arnaud Hubaux, Steven She, Krzysztof Czarnecki. Generating Range Fixes for Software Configuration. In ICSE'12: Proceedings of 34th International Conference on Software Engineering, pages 89-99, Zurich, Switzerland, 2012年6月. [全文][胶片][Teaser Video (Download)][Teaser Video (Online)]
[VaMoS12] Arnaud Hubaux, 熊英飞, Krzysztof Czarnecki. A User Survey of Configuration Challenges in Linux and eCos. VaMoS'12: Sixth International Workshop on Variability Modelling of Software-intensive Systems, 2012年1月. [Link]
[GSDTR11a] 熊英飞, Arnaud Hubaux, Steven She, Krzysztof Czarnecki. Generating Range Fixes for Software Configuration. Technical Report GSDLAB-TR 2011-10-27, Generative Software Development Laboratory, University of Waterloo, 2011年10月. [全文]
[MODELS11a] Zinovy Diskin#, 熊英飞#, Krzysztof Czarnecki, Hartmut Ehrig#, Frank Hermann#, Fernando Orejas#. From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case. MODELS'11: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, pages 304-318, 2011年10月. [全文]
[MODELS11b] Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki#, Zinovy Diskin#, 熊英飞#. Correctness of Model Synchronization Based on Triple Graph Grammars. MODELS'11: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, pages 668-682, 2011年10月. [全文] 被邀请投稿到期刊
[GSDTR11d] Arnaud Hubaux, 熊英飞, Krzysztof Czarnecki. Configuration Challenges in Linux and eCos: A Survey. Technical Report, GSDLAB-TR 2011-09-29, 2011年9月. [全文]
[JOT11] Zinovy Diskin#, 熊英飞#, Krzysztof Czarnecki. From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. Journal of Object Technology, Volume 10, pp. 6:1-25, 2011年6月. [DOI]
[GSDTR11b] 熊英飞. Configurator Semantics of the CDL Language. Technical Report GSDLAB-TR 2011-06-05, Generative Software Development Laboratory, University of Waterloo, 2011年6月. [Link]
[FOSD11] Leonardo Passos#, Marko Novakovic#, 熊英飞, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wąsowski. A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System. FOSD'11: 3rd International Workshop on Feature-Oriented Software Development, 2011年6月. [Link]
[GSDTR11c] Zinovy Diskin#, 熊英飞#, Krzysztof Czarnecki, Hartmut Ehrig#, Frank Hermann#, Fernando Orejas#. From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case. Technical Report GSDLAB-TR 2011-05-03, Generative Software Development Laboratory, University of Waterloo, 2011年5月. [Link]
[JSS10] 宋晖, 黄罡, Franck Chauvel, 熊英飞, 胡振江, 孙艳春, 梅宏. Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach. Journal of Systems and Software, Volume 84, Issue 5, Pages 711-723, Elsevier, 2011年5月. [DOI]
[SoSym11] 熊英飞, 宋晖, 胡振江, 武市正人. Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. Software and Systems Modeling, Springer. Online First, 2011年1月. [DOI]
[MDI10] Zinovy Diskin#, 熊英飞#, Krzysztof Czarnecki. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In MDI'10: Proceedings of the 1st Workshop on Model Driven Interoperability, pages 42-51, 2010年10月. [全文][胶片] 邀请到后期论文集
[MODELS10a] 宋晖, 黄罡, 熊英飞, Franck Chauvel, 孙艳春, 梅宏. Inferring Meta-Models for Runtime System Data from the Clients of Management APIs. In MODELS'10: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Part II, 168-182, 2010年10月. [全文]
[MODELS10b] 王波, 熊英飞, 胡振江, 赵海燕, 张伟, 梅宏. A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models. In MODELS'10: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Part I, 181-195, 2010年10月. [全文][胶片]
[LWI10] 王波, 胡振江, 熊英飞, 赵海燕, 张伟, 梅宏. Tolerating Inconsistency in Feature Models. In LWI'10: Proceedings of 3rd Workshop on Living With Inconsistency in Software Development, pages 15-20, 2010年9月. [全文]
[ICMT10] Zinovy Diskin#, 熊英飞#, Krzysztof Czarnecki. From State- to Delta-Based Bidirectional Model Transformations. In ICMT'10: Proceedings of the 3rd International Conference on Model Transformation, pages 61-76, 2010年6月. [全文][胶片] 被邀请投稿到期刊
[MRT09] 宋晖, 熊英飞, Franck Chauvel, 黄罡, 胡振江, 梅宏. Generating Synchronization Engines between Running Systems and Their Model-Based Views. In Models@run.time'09: Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, page 140-154, 2009年10月. [Post-Proceeding Version][Proceeding Version] 邀请到后期论文集
[SES09] 熊英飞, 胡振江, 赵海燕, 宋晖, 武市正人, 梅宏. Beanbag: A Language for Automatic Model Inconsistency Fixing. ソフトウェアエンジニアリングシンポジウム2009(SES2009), ポスター展示, 東京女子大学, pp 189, 2009年9月. [全文][Poster]
[PhDThesis] 熊英飞. A Language-based Approach to Model Synchronization in Software Engineering. 東京大学数理情報学専攻博士論文, 2009年9月. [全文]
[FSE09] 熊英飞, 胡振江, 赵海燕, 宋晖, 武市正人, 梅宏. Supporting Automatic Model Inconsistency Fixing. In ESEC/FSE'09: Proceedings of 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 315-324, 2009年8月. [全文][胶片][Bib]
[ICMT09] 熊英飞, 宋晖, 胡振江, 武市正人. Supporting Parallel Updates with Bidirectional Model Transformations. In ICMT'09: Proceedings of the Second International Conference on Model Transformation, ETH Zurich, Switzerland, pages 213-228, 2009年6月. [全文][胶片][Bib] 被邀请投稿到期刊
[AWFS09] 熊英飞, 宋晖, 胡振江, 武市正人. From Bidirectional Model Transformation to Model Synchronization. In AWFS'09: Proceedings of the Sixth Asian Workshop on Foundations of Software, Tokyo, Japan, pages 56-65, 2009年4月. [全文]
[GRACETR08b] 宋晖, 熊英飞, 胡振江, 黄罡, 梅宏. A Model-Driven Framework for Constructing Runtime Architecture Infrastructures. Technical Report GRACE-TR-2008-05, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics, Japan, 2008年12月. [全文][Bib]
[GRACETR08a] 熊英飞, 赵海燕, 胡振江, 武市正人, 宋晖, 梅宏. Beanbag: Operation-based Synchronization with Intra-relations. Technical Report GRACE-TR-2008-04, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics, Japan, 2008年12月. [全文][Bib]
[QoP08] 俞一峻, 海谷治彦, 鹫崎弘宜, 熊英飞, 胡振江, 吉岡信和. Enforcing a Security Pattern in Stakeholder Goal Models. In QoP'08: Proceedings of the 4th Workshop on Quality of Protection, co-located with CCS-2008, Alexandria VA, USA, pages 9-14, 2008年10月. [全文]
[JSSST08] 熊英飞, 胡振江, 宋晖, 武市正人, 赵海燕, 梅宏. On-Site Synchronizers for Multi-View Applications. 日本ソフトウェア科学会第25回大会, 筑波大学東京キャンパス, 3C-2, 2008年9月. [全文][胶片]
[METR08] 熊英飞, 胡振江, 武市正人, 赵海燕, 梅宏. On-Site Synchronization of Software Artifacts. Technical Report METR 2008-21, Department of Mathematical Informatics, University of Tokyo, 2008年4月. [全文]
[ASE07] 熊英飞, 刘东喜, 胡振江, 赵海燕, 武市正人, 梅宏. Towards Automatic Model Synchronization from Model Transformations. In ASE'07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, Georgia, pages 164-173, 2007年11月. [全文][胶片][Bib]
[JSSST07] 刘东喜, 中野圭介, 林康史, 胡振江, 武市正人, 森畑明昌, 熊英飞. Bi-X Core: A General-Purpose Bidirectional Transformation Language. 日本ソフトウェア科学会第24回大会, 日本奈良先端科学技術大学院大学, 2C-3, 2007年9月. [全文][Bib]
[GTTSE07a] 熊英飞, 刘东喜, 胡振江, 武市正人. A Bidirectional Transformation Approach towards Automatic Model Synchronization. In GTTSE'07: (informal) Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, pages 359–360, 2007年7月. [全文]
[GTTSE07b] 刘东喜, 熊英飞, 胡振江, 武市正人. Bi-CQ: A Bidirectional Code Query Language. In GTTSE'07: (informal) Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, pages 348–349, 2007年7月.
[ISPJ07] 熊英飞, 胡振江, 刘东喜, 赵海燕, 梅宏, 武市正人. Realizing Bidirectional Graph Transformations From Bidirectional Tree Transformations. 日本情報処理学会第69回全国大会 (IPSJ'07), 早稲田大学大久保キャンパス, 2007年3月. [全文]
[METR06] 胡振江#, 刘东喜#, 梅宏#, 武市正人#, 熊英飞#, 赵海燕#. A Compositional Approach to Bidirectional Model Transformation. Technical Report METR 2006-54, Department of Mathematical Informatics, University of Tokyo, 2006年10月. [全文]
[WAOSD04] 熊英飞, 万峰. CCC: An Aspect-Oriented Intermediate Language on .Net Platform. In WOSD'04: Proceedings of the International Workshop on Aspect-Oriented Software Development, pages 44-58, 2004年9月. [全文][胶片]
[BEngThesis] 熊英飞. 语言独立的面向方面扩展的设计与实现. 本科毕业论文, 电子科技大学, 2004年7月. [全文]

Disclaimer

课程

学术服务

所获奖励与项目资助

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1999

关于我的链接

其他链接