基本信息

严俊  男  

中国科学院软件研究所 硕导  

中国科学院大学 岗位教师 


电子邮件: yanjun@otcaix.iscas.ac.cn
通信地址: 北京海淀区中科院软件所软件工程中心
邮政编码: 100190

部门/实验室:软件工程技术研究开发中心

研究领域

程序分析

 

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

 

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

 

课题组近期发表部分论文,完整版见这里

  1. Characterizing and Identifying Misexposed Activities in Android Applications. ASE 2018
  2. Android Stack Machine. CAV 2018
  3. LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps. ISSTA 2018
  4. Lightweight energy consumption analysis and prediction for Android applications. Science of Computer Programming, 2018.
  5. Comprehensive Static Analysis for Configurable Software via Combinatorial Instanstiation. Compsac 2017
  6. Combinatorial Testing on Implementations of HTML5 Support. IWCT 2017.
  7. InsDal: A Safe and Extensible Instrumentation Tool on Dalvik Byte-code for Android Applications. SANER 2017.
  8. Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps. IEEE Transations on Software Engineering, 2016.
  9. PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment. Cluster Computing, 2016.
  10. Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. SERE 2014
  11. 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. 邓茜  软件工程 2017年转博

  2. 马旭桐  软件工程 2018年转博

  3. 李雅琪  软件工程 


已毕业学生

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

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

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

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