Software testing and program analysis

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