TING SU (苏亭)

Ph.D, Research Fellow
School of Computer Science and Engineering
Nanyang Technological University (NTU)
E-mail: tsuletgo AT gmail DOT com

I am now a research fellow in Nanyang Technological University (NTU), Singapore. Before that, I got my Ph.D in computer science from East China Normal University (ECNU), Shanghai, China (2011-2016), and was surpervised by Prof. Jifeng He and Prof. Geguang Pu. I also had one-year memorable visit in University of California, Davis (UCD), USA (02/2014-02/2015), and was advised by Prof. Zhendong Su. Now, I work with Prof. Yang Liu in Cyber Security Lab (CSL), NTU, Singapore (10/2016-now). I also worked as an software engineer in Synopsys, and a research scientist in Rolls-Royce@NTU Research Lab (12/2016-10/2017).

My research focuses on developing effective methodologies, techniques and tools to improve software quality, reliability and security:

Publications (Google Scholar)

  1. Efficiently Manifesting Asynchronous Programming Errors in Android Apps
    Lingling Fan, Ting Su*, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu
    The 33rd IEEE/ACM International Conference on Automated Software Engineering
    ASE 2018 (acceptance rate: 19.9%)
    (*Corresponding author)

  2. DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
    Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang
    The 33rd IEEE/ACM International Conference on Automated Software Engineering
    ASE 2018 (acceptance rate: 19.9%), arXiv, www

  3. AUSERA: Large-Scale Automated Security Risk Assessment of Global Mobile Banking Apps
    Sen Chen, Guozhu Meng, Ting Su, Lingling Fan, Yinxing Xue, Yang Liu, Lihua Xu, Minhui Xue, Bo Li, and Shuang Hao

  4. Towards Efficient Data-flow Test Data Generation
    Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu and Zhendong Su
    (submitted to IEEE Transactions on Software Engineering, TSE), pdf, www

  5. Towards Efficient Data Flow Test Input Generation Using KLEE
    Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu and Geguang Pu
    The 1st International KLEE Workshop on Symbolic Execution
    KLEE Workshop 2018, pdf

  6. Large-Scale Analysis of Framework-Specific Exceptions in Android Apps
    Lingling Fan#, Ting Su#*, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu and Zhendong Su
    The 40th International Conference on Software Engineering
    ICSE 2018 (acceptance rate: 20%), pdf, www, bibtex, award
    (#Equal Contribution, *Corresponding author)

  7. ACM SIGSOFT Distinguished Paper Award

  8. From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation
    Chunyang Chen, Ting Su*, Guozhu Meng, Zhenchang Xing and Yang Liu
    The 40th International Conference on Software Engineering
    ICSE 2018 (acceptance rate: 20%), pdf, tool (UI2code)
    (*Corresponding author)

  9. SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
    Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su*, Weikai Miao and Geguang Pu
    The 40th International Conference on Software Engineering
    ICSE 2018 SEIP, pdf, tool (SmartUnit)
    (*Corresponding author)

    Highlights: (1) SmartUnit has been applied in several industry-scale embeded control systems, tested millions lines of C code.
    (2) SmartUnit fully automatically supports unit testing for statement, branch, boundary value and MC/DC coverage.

  10. AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis
    Guozhu Meng, Yinxing Xue, Jing Kai Siow, Ting Su, Annamalai Narayanan, Yang Liu

  11. Guided, Stochastic Model-Based GUI Testing of Android Apps
    Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su
    The 11th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    ESEC/FSE 2017 (acceptance rate: 24%), pdf, slides, tool (Stoat), Stoat (Google Site), bibtex, Press (in Chinese)

    Highlights:: (1) Stoat has contributted to these popular apps: WeChat (1 bug), Gmail(1 bug), and Google+(2 bugs). All these bugs were reported and confirmed/fixed.
    (2) Stoat has won Best Research Tool Award (First Prize, pdf) in NASAC 2017 (National Software Application Conference) held by CCF (China Computer Federation).

  12. A Survey on Data-Flow Testing
    Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su
    ACM Computing Surveys, 2017 (Impact Factor : 6.748), pdf, data, bibtex

  13. Automated Coverage-driven Testing: Combining Symbolic Execution and Model Checking
    Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su
    SCIENCE CHINA Information Sciences, 2016 (Impact Factor : 1.628, invited paper),

  14. Automated Requirements Validation for ATP Software via Specification Review and Testing
    Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen and Kunpeng Xiong
    The 18th International Conference on Formal Engineering Methods
    ICFEM 2016, pdf

  15. FSMdroid: Guided GUI Testing of Android Apps
    Ting Su
    The 38th International Conference on Software Engineering
    ICSE 2016, ACM Student Research Competition, pdf, Got 1st Place, Press.

  16. Coverage-Directed Differential Testing of JVM Implementations
    Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao
    ACM SIGPLAN Conference on Programming Language Design and Implementation
    PLDI 2016 (acceptance rate: 16%), pdf, slides, talk video

  17. Combining Symbolic Execution and Model Checking for Data Flow Testing
    Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
    37th {IEEE/ACM} International Conference on Software Engineering
    ICSE 2015 (acceptance rate: 18.5%), pdf, ppt, tool (CAUT)

  18. Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis
    Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su
    8th International Conference on Knowledge Science, Engineering and Management
    KSEM 2015, pdf

  19. Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution
    Ting Su, Siyuan Jiang, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Jianjun Zhao
    Eighth International Conference on Software Security and Reliability
    SERE 2014 (acceptance rate: 30%), pdf, slides

  20. Runtime Verification by Convergent Formula Progression
    Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu and Wangwei Liu
    21st Asia-Pacific Software Engineering Conference
    APSEC 2014, pdf

  21. Modeling and Verification of AUTOSAR OS and EMS Application
    Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo
    Seventh International Symposium on Theoretical Aspects of Software Engineering
    TASE 2013, pdf

  22. The Semantics and Verification of Timed Service Choreography
    Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su
    International Journal of Computer Mathematics
    IJCM 2013.

Invited Talks/Presentations

  • Title: Guided, Stochastic Model-based GUI Testing of Android Apps
    Cybertech Asia 2018, Singapore, 27-28 March, 2018 (Invited by NTU)
  • Title: Stoat: A cloud-based Mobile App Testing Service
    DSTA, Singapore, 5 March, 2018 (Invited by DSTA)
  • Title: Stoat: Guided, Stochastic Model-based GUI Testing of Android Apps
    长三角智慧软件工程研讨会, Shanghai, China, 10-11 November, 2017 (Invited by Prof. Geguang Pu, ECNU)
  • Title:Combining Symbolic Execution and Model Checking for Data Flow Testing
    Shanghai Jiaotong University, Shanghai, China, 4 May, 2015 (Invited by Prof. Yuting Chen, SJTU)


  • Co-PI, NTUitive Gap Fund Grant, Cloud-based Mobile App Testing Service, NTU, Singapore, 2017
  • Best Research Tool Award (First Prize, NASAC 2017), CCF, 2017
  • First Prize in ACM Student Research Competition (ICSE 2016), ACM, 2016
  • Outstanding PhD Thesis Cultivation Sholarship, ECNU, 2016
  • National Scholarship for Doctorate, China, 2014
  • Graduate Student Overseas Visiting Scholarship, ECNU, 2014

Academic Services

Reviewer and co-reviewer of journals and conferences:

Industrial Experience

Teaching Assistants

Other Links

  • Github: github.com/tingsu
  • CAUT: a Dynamic Symbolic Execution (DSE)-based test generator for C language
  • A Bibliography of Papers and Tools on Data Flow Testing, maintained by myself.

  • A List of Code-based Test Generators, maintained by Zoltán MICSKEI.
  • A Bibliography of Papers on Symbolic Execution Technique and its Applications, maintained by Saswat Anand, another link
  • A List of Android research papers and tools, maintained by impillar.

  • Google Coding Style Guides, Research News
  • researchers: Philip Guo, Koushik Sen
  • labs: xuanwu_lab, SEAL
  • material: Introduction to Software Testing, Latex for ECNU PhD Thesis, Advice for researchers and students by Michael Ernst

    Last Modification: 2017.4