基本信息

严俊  男  

中国科学院软件研究所 研究员 博导  

中国科学院大学 岗位教授 


电子邮件: yanjun {at} otcaix.iscas.ac.cn
通信地址: 北京海淀区中关村南四街4号
邮政编码: 100190

研究领域

程序分析

从程序代码(源代码、字节码、二进制码)出发,自动或者半自动地分析程序的性质,寻找程序可能的缺陷,改善软件的质量。目前正在进行中的研究工作包括面向C/C++代码的静态分析以及面向Android等新型应用软件的静态和动态分析。

 

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

  • Static Asynchronous Component Misuse Detection for Android Applications. FSE 2020
  • Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts. ICSE 2020
  • Characterizing and Identifying Misexposed Activities in Android Applications. ASE 2018
  • Android Stack Machine. CAV 2018
  • LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps. ISSTA 2018
  • Lightweight energy consumption analysis and prediction for Android applications. Science of Computer Programming, 2018.
  • Comprehensive Static Analysis for Configurable Software via Combinatorial Instanstiation. Compsac 2017
  • Combinatorial Testing on Implementations of HTML5 Support. IWCT 2017.
  • Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps. IEEE Trans Software Engineering, 2016.
  • Generating combinatorial test suite using combinatorial optimization. Journal of Systems and Software, 2014.

教育背景

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

工作经历


工作简历
2018-10~现在, 中国科学院软件研究所, 研究员
2010-01~2018-09,中国科学院软件研究所, 副研究员
2009-04~2009-07,香港城市大学, 访问学者
2007-07~2009-12,中国科学院软件研究所, 助理研究员
社会兼职
2017-03-01-今,Frontiers of Computer Science, 青年编辑

教授课程

软件测试与分析-习题课
软件测试与分析
本科生毕业设计(计算机科学与技术)

学生指导

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

    软件所的招生信息请见这里。从近几年招生情况看,软件研究所本部博、硕士研究生招生指标紧张,无法接收调剂学生。

    对课题组感兴趣的同学,还可以选择国科大杭高院软件所南京高等研究院


课题组其他导师