Research
The group focuses on program analysis and software testing, such as static analysis, program slicing, symbolic execution, automated test generation, fault localization and so on.
Members
Currently, there are seven members in our group:
- Lin Mengxiang (leader), 林梦香
- Yu Kai, 虞凯
- Dong Yu, 董宇
- Zhou Yi, 周义
- Chen Jin, 陈金
- Zhang Xiangyu, 章向昱
- Hou Xiaomei, 侯笑梅
Former
- Chen Rui, 陈睿
- Shi Jiaqin, 石佳钦
- Tong Jianlin, 童建林
- Zhu Jiaqi, 朱嘉麒
- Qiao Lei, 乔雷
- Hou Shenzhou, 侯申洲
- Sun Xiucui, 孙秀翠
- Yang Shiyang, 杨仕洋
- Zhu Jiang, 朱江
- Liu Yuming, 刘玉明
- Gao Qin, 高庆
- Xue Weining, 薛维宁
- Chen Yinli, 陈胤立
- Wang Cong, 王聪
- Yang Gang, 杨刚
- Jiang Mu, 姜沐
Working hard
We have 2 MEETINGs every week,
- one for group talk & discussion
- the other for paper reading