Data Driven Software Technology

Yuting Chen

Associate Professor

Research Interests: Program analysis and software testing, formal methods

Short Bio

Yuting Chen received the B.S. and M.S. degrees in Computer Science from Nanjing University, China, in 2000 and 2003, respectively. He received the Ph.D. degree in Computer Science from Hosei University, Japan, in 2007. He joined Shanghai Jiao Tong University in 2008. Yuting Chen visited UTDallas and UCDavis as visiting scholar in 2007 and 2014, respectively. His research interests include program analysis and software testing, and data-driven software development. Yuting Chen received the NASAC-NeuSoft Young Research Award in 2018.


My research interests and some selected publications are given as follows. A complete list can be found in DBLP.

1. Automated Test Input Generation

[1] Yuting Chen, Ting Su, Zhendong Su: Deep differential testing of JVM implementations. ICSE 2019: 1257-1268
[2] Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao: Coverage-directed differential testing of JVM implementations. PLDI 2016: 85-99
[3] 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)
[4] 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. ESEC/SIGSOFT FSE 2017: 245-256
[5] Yuting Chen, Zhendong Su: Guided differential testing of certificate validation in SSL/TLS implementations. ESEC/SIGSOFT FSE 2015: 793-804
[6] Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao: A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs. ASE 2009: 221-232
[7] Shaoying Liu, Yuting Chen: A relation-based method combining functional and structural testing for test case generation. Journal of Systems and Software 81(2): 234-248 (2008)

2. AI-Supported System Analysis and Bug Localization

[1] Weizhao Yuan, Hoang H. Nguyen, Lingxiao Jiang, Yuting Chen, Jianjun Zhao, Haibo Yu: API recommendation for event-driven Android application development. Information & Software Technology 107: 30-47 (2019)
[2] Weizhao Yuan, Hoang H. Nguyen, Lingxiao Jiang, Yuting Chen: LibraryGuru: API recommendation for Android developers. ICSE (Companion Volume) 2018: 364-365
[3] Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao: Rule-directed code clone synchronization. ICPC 2016: 1-10
[4] Ziyi Lin, Hao Zhong, Yuting Chen, Jianjun Zhao: LockPeeker: detecting latent locks in Java APIs. ASE 2016: 368-378
[5] Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao: Supporting Selective Undo for Refactoring. SANER 2016: 13-23
[6] Christoph Bockisch, Marnix van't Riet, Haihan Yin, Mehmet Aksit, Ziyi Lin, Yuting Chen, Jianjun Zhao: Trace-based debugging for advanced-dispatching programming languages. ICOOOLPS@ECOOP 2015: 3:1-3:10
[7] Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao: JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). ASE 2015: 178-189
[8] Qiang Sun, Yuting Chen, Jianjun Zhao: Constraint-based locality analysis for X10 programs. PEPM 2013: 137-146
[9] Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao: Extracting URLs from JavaScript via program analysis. ESEC/SIGSOFT FSE 2013: 627-630
[10] Qiang Sun, Jianjun Zhao, Yuting Chen: Probabilistic Points-to Analysis for Java. CC 2011: 62-81
[11] Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen: Frequency Estimation of Virtual Call Targets for Object-Oriented Programs. ECOOP 2011: 510-532
[12] Cheng Zhang, Dacong Yan, Jianjun Zhao, Yuting Chen, Shengqian Yang: BPGen: an automated breakpoint generator for debugging. ICSE (2) 2010: 271-274
[13] Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee: A Systematic Approach for Integrating Fault Trees into System Statecharts. COMPSAC 2008: 120-123

3. Dependable Systems Development Based on Formal Engineering Methods - Modelling, Technical Review, and Testing

[1] Shaoying Liu, Yuting Chen, Fumiko Nagoya, John A. McDermid: Formal Specification-Based Inspection for Verification of Programs. IEEE Trans. Software Eng. 38(5): 1100-1122 (2012)
[2] Shaoying Liu, John A. McDermid, Yuting Chen: A Rigorous Method for Inspection of Model-Based Formal Specifications. IEEE Transactions on Reliability 59(4): 667-684 (2010)
[3] Yuting Chen, Shaoying Liu, W. Eric Wong: A Review Approach to Detecting Violations of Consistency between Specification and Program Structures. International Journal of Software Engineering and Knowledge Engineering 18(8): 1013-1042 (2008)
[4] Yuting Chen, Shaoying Liu, Fumiko Nagoya: A Tool-Supported Review Approach to Detecting Structural Consistency Violations. ICECCS 2006: 121-130
[5] Fumiko Nagoya, Shaoying Liu, Yuting Chen: A Tool and Case Study for Specification-Based Program Review. COMPSAC (1) 2005: 375-380
[6] Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid: An Automated Approach to Specification-Based Program Inspection. ICFEM 2005: 421-434
[7] Yuting Chen, Shaoying Liu, Fumiko Nagoya: An Approach to Integration Testing Based on Data Flow Specifications. ICTAC 2004: 235-249
[8] Yuting Chen, Shaoying Liu: An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. APSEC 2004: 276-283


[1] Yuting Chen,Jingyu Zhou, Jianjun Zhao: Programming Languages fo the Internet. Communications of the CCF, 9(4), April 2013 (in Chinese).


1. 973 Program in China (Grant No. 2015CB352203)

2. National Key Research and Development Program of China (Project No. 2018YFB1003903)

3. Others

Services & Activities

1. SATE 2019 Program Chair (

2. NASAC 2018/2019--Outstanding Ph.D Students Forum (Program Chair)

3. CCF TCSS Member

4. CCF TFFM Member


1. Programming in C++

2. Program analysis and verification

3. Problem solving



Data Driven Software Technology

Address: SEIEE Building 3-313 (East), Shanghai Jiao Tong University
800 Dongchuan Road, Minhang, Shanghai