基本信息
严俊 男 硕导 软件研究所
电子邮件：yanjun@otcaix.iscas.ac.cn
通信地址：北京海淀区中科院软件所软件工程中心
邮政编码：100190


研究领域程序分析、软件测试

招生信息

招生专业 计算机软件与理论



招生方向网络分布计算与软件工程
教育背景 2002-09--2007-07 中国科学院软件研究所 博士
1996-09--2001-07 中国科学技术大学 学士

工作经历

工作简历 2010-01--今 中国科学院软件研究所软件工程中心 副研究员
2009-04--2009-07 香港城市大学 访问学者
2007-07--2009-12 中国科学院软件研究所计算机科学实验室 助理研究员

论文发表[1] JUTA:一个Java自动化单元测试工具，计算机研究与发展，2010，第1作者
[2] Combinatorial Testing with Shielding Parameters，Asia Pacific Software Engineering Conference，2010，第2作者
[3] Automatic Bug Triage using Semi-Supervised Text Classification ，International Conference on Software Engineering and Knowledge Engineering，2010，第3作者
[4] 组合测试:原理与方法，软件学报，2009，第1作者
[5] 基于路径分析的死循环检测，计算机学报，2009，第2作者
[6] A Backtracking Search Tool for Constructing Combinatorial Test Suites，The Journal of Systems and Software，2008，第1作者
[7] An Efficient Method to Generate Feasible Paths for Basis Path Testing，Information Processing Letters，2008，第1作者
[8] Path-Based Verification for Composition of Semantic Web Services，Annual ACM Symp. on Applied Computing，2008，第2作者
[9] Test Data Generation for C Programs with String-Handling Functions，Joint IEEE/IFIP Symp. on Theoretical Aspects of Software Engineering，2008，第3作者
[10] Finding Relations Among Linear Constraints，International Conf. on Artificial Intelligence and Symbolic Computation，2006，第1作者
[11] BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach，IEEE International Symp. on Software Reliability Engineering，2006，第1作者
[12] Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing，IEEE Annual Computer Software and Applications Conf.，2006，第1作者