陈雨亭 副教授
主页：[点击这里]
办公室电话：
办公地点：SEIEE 3-511（电信学院3号楼511）
电子邮件：chenyt@cs.sjtu.edu.cn
实验室：


研究兴趣
教育背景
工作经验
教授课程
论文发表
项目资助
获奖信息
学术服务


欢迎对程序分析与测试、程序语言、系统软件、大数据软件感兴趣的同学加入数据驱动软件技术实验室（http://ddst.sjtu.edu.cn/）。

我的研究兴趣主要包括：
1. 软件测试
2. 程序分析与验证
3. 形式化方法



1.1996-2003 南京大学 本科、硕士
2.2003-2007 日本法政大学 博士




1. 2007-2008 美国德州大学达拉斯分校 访问****
2.2014-2015 美国加州大学戴维斯分校 访问****


1. Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su: A Survey on Data-Flow Testing. ACM Comput. Surv. 50(1): 5:1-5:35 (2017)

2.Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su.Guided, Stochastic Model-Based GUI Testing of Android Apps.The 11th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017)

3. Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao. Coverage-Directed Differential Testing of JVM Implementations. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016), Santa Barbara, CA, June 13-17, 2016.
4. Ziyi Lin, Hao Zhong, Yuting Chen, Jianjun Zhao: LockPeeker: detecting latent locks in Java APIs. ASE 2016: 368-378

5.Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, and Jianjun Zhao. Rule-Directed Code Clone Synchronization. In Proc. 24th IEEE International Conference on Program Comprehension (ICPC 2016), Austin, TX, May 16-17, 2016.
6. Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, and Jianjun Zhao. Supporting Selective Undo for Refactoring. In Proc. 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Osaka, Japan, March 2016.
7.Yuting Chen, Zhendong Su:Guided differential testing of certificate validation in SSL/TLS implementations. ESEC/SIGSOFT FSE 2015: 793-804
8. Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao: JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs. ASE 2015: 178-189
9.Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao: Extracting URLs from JavaScript via program analysis. ESEC/SIGSOFT FSE 2013: 627-630
1. 针对网络安全证书验证代码的测试及测试证书随机性优化技术研究（PD） 国家自然基金面上项目（2016.1-2019.12）
2.基于模拟执行的软件功能规约的安全性验证(PD) 国家自然基金青年基金（2012.1-2014.12）
3. 基于开源生态的网构化软件开发原理和方法（参与） 国家重点基础研究发展计划（973计划）项目（2015.1-2019.12）
4. 体系结构驱动的可信软件构造方法与技术研究（参与） 国家自然基金“可信软件基础研究”重大研究计划重点支持项目（2012.1-2015.12）
5.Trustie 技术在航天控制软件生产过程中的可信评估、应用和演化研究（参与） 科技部863重点项目“高可信软件生产工具及集成环境”二期课题（2009.9-2010.12）