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

研究领域

程序分析

 

从程序代码(源代码、字节码、二进制码)出发,自动或者半自动地分析程序的性质,寻找程序可能的缺陷,改善软件的可靠性和安全性。

 

目前正在进行中的研究工作包括面向C代码的静态分析以及面向Android应用软件的静态和动态分析。

 

近期发表论文:

  1. Lightweight energy consumption analysis and prediction for Android applications. Science of Computer Programming, 2017.
  2. Comprehensive Static Analysis for Configurable Software via Combinatorial Instanstiation. Compsac 2017
  3. Combinatorial Testing on Implementations of HTML5 Support. IWCT 2017.
  4. InsDal: A Safe and Extensible Instrumentation Tool on Dalvik Byte-code for Android Applications. SANER 2017.
  5. Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps. IEEE Transations on Software Engineering, 2016.
  6. PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment. Cluster Computing, 2016.
  7. Lightweight Method-level Energy Consumption Estimation for Android Applications. TASE 2016.
  8. Automatic Detection of Parameter Shielding for Test Case Generation. SEKE 2015.
  9. Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. SERE 2014
  10. Generating combinatorial test suite using combinatorial optimization. Journal of Systems and Software, 2014.

教育背景

2002-09--2007-07   中国科学院软件研究所   博士
1996-09--2001-07   中国科学技术大学   学士

工作经历

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


学生指导

欢迎有志于软件事业,有较好的计算机软件理论基础,并具有一定软件开发能力的优秀学子来课题组继续深造。


在读研究生

  1. 马旭桐  软件工程  


已毕业学生

  1. 吴添勇  软件工程  2014年毕业

  2. 林精荐  计算机软件与理论  2015年毕业

  3. 卢琼  计算机软件与理论  2016年毕业

  4. 燕东  软件工程 2017年毕业

  5. 邓茜  软件工程 2017年转博